Stability conditions in the mathematical Gauged Linear Sigma Model

Resumo Técnico: Condições de Estabilidade no Modelo Sigma Linear com Gauge Matemático

Enunciado do Problema
O artigo aborda o desafio de definir um arcabouço matemático robusto para o Modelo Sigma Linear com Gauge (GLSM) que generalize teorias existentes, especificamente a teoria de campos Mixed-Spin-P (MSP) para tríadeas quínticas e a teoria Fan-Jarvis-Ruan (FJR) de LG-quasimaps.

Embora os campos MSP consigam fazer a ponte entre a teoria de Gromov-Witten e a teoria de singularidades quânticas para a quíntica, e a teoria FJR forneça uma teoria de contagem para quotientes GIT com potenciais super, nenhum dos dois arcabouços se generaliza totalmente para as variações arbitrárias de espaços mestres de vGIT (variation of GIT) necessárias para o estudo de invariantes de Gromov-Witten de genus superior de interseções completas de Calabi-Yau em variedades torais.

Um obstáculo técnico primário é a falta de uma condição de estabilidade que garanta a separação e a properidade do espaço moduli, particularmente do locus de degeneração da coseção. Tentativas anteriores, como a condição ad hoc de automorfismo finito em MSP ou o requisito de "bom levantamento" (good lift) em FJR, falham para espaços mestres de vGIT gerais (por exemplo, onde os loci instáveis se interceptam de forma não trivial ou onde bons levantamentos não existem). Sem essas propriedades geométricas, não se pode definir invariantes via teoria de interseção ou utilizar técnicas de localização virtual de forma eficaz.

Metodologia
Os autores introduzem uma nova condição de estabilidade denominada $\Omega$-estabilidade para LG-quasimaps. A metodologia procede da seguinte forma:

1. Configuração do Arcabouço: A teoria é construída sobre um pacote ($R$-carregado) $(V, G \leq \Gamma, \varpi, \vartheta)$, onde $V$ é um esquema afim, $G$ é um grupo redutivo, e $\Gamma$ é um grupo redutivo contendo $G$ com um caráter $\varpi$ induzindo um isomorfismo $\Gamma/G \cong \mathbb{C}^*$. O caráter $\vartheta$ restringe-se a um parâmetro de estabilidade $\theta$ em $G$.
2. Definição de $\Omega$-Estabilidade: Um LG-quasimap prestável $\xi = (C, \Sigma_C, u, \kappa)$ é definido como $\Omega$-estável se satisfizer três condições envolvendo uma tripla $\Omega = (S, A, \vartheta)$:
   • $\Omega$-1: O locus base é discreto e disjunto de pontos especiais.
   • $\Omega$-2: Uma condição de inclinação (slope) em pontos não especiais envolvendo um conjunto finito $S$ de elementos homogêneos no anel de invariantes. Para $f \in S$, a condição é $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$. A inclinação incorpora a "carga-R" (o peso sob a ação de $\mathbb{C}^*$ nas fibras).
   • $\Omega$-3: O fibrado de linha $\mathbb{Q}$ $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ é positivo.
3. Análise de Estabilidade: Os autores analisam a dependência da estabilidade em relação aos parâmetros $S$, $A$ e $\vartheta$. Eles demonstram que, para um alvo fixo, a variação de $A$ cria uma estrutura de parede-e-câmara (wall-and-chamber) semelhante à estabilidade $\epsilon$ de quasimaps. Eles mostram que, conforme $A \to \infty$, a condição recupera a estabilidade $\epsilon = 0^+$ da teoria FJR.
4. Redução ao Espaço Projetivo: Para provar os principais teoremas, os autores reduzem o caso geral ao caso de espaços projetivos com várias cargas-R. Eles constroem um morfismo do moduli de LG-quasimaps $\Omega$-estáveis para um alvo $X$ para o moduli de LG-quasimaps $\Omega$-estáveis para um espaço projetivo $\mathbb{P}^{N-1}$, preservando as condições de estabilidade.
5. Critério Valuativo: Usando a redução, eles aplicam o critério valuativo para provar a separação e a propriedade. Isso envolve a construção de extensões de famílias sobre anéis de valorização discreta, lidando com fibras especiais não reduzidas via blow-ups e mudanças de base, e realizando um processo de estabilização para contrair caudas racionais (rational tails) e pontes que violam a condição de positividade.

Principais Contribuições e Resultados
O artigo estabelece os seguintes teoremas principais referentes ao stack de moduli $\text{LGQ}^\Omega_{g,k}(X, d)$ de LG-quasimaps $\Omega$-estáveis:

• Teorema 2.4 (Separação): O stack $\text{LGQ}^\Omega_{g,k}(X, d)$ é um stack de Deligne-Mumford separado de tipo finito. Isso resolve o problema de espaços moduli não separados encontrados em construções ad hoc anteriores.
• Teorema 2.5 (Propriedade): Se o quotiente GIT $V//_\theta G$ for projetivo e o conjunto $S$ for "cheio" (isto é, seu locus de vanish comum é o locus instável), então o stack $\text{LGQ}^\Omega_{g,k}(X, d)$ é próprio.
• Generalização de MSP: A nova condição de estabilidade generaliza a construção de campos MSP para a tríadea quíntica. Ao aplicar a teoria ao espaço mestre $Y$ associado à quíntica, os autores recuperam a propriedade do locus de degeneração da coseção, que anteriormente havia sido demonstrada via métodos ad hoc.
• Extensão para Alvos Gerais: O arcabouço aplica-se a interseções completas globais de Calabi-Yau em variedades torais e outros espaços mestres de vGIT onde métodos anteriores (que exigiam "bons levantamentos") falharam.
• Limitação (Boundedness): O artigo fornece uma prova da limitação do espaço moduli, abordando uma lacuna na literatura anterior sobre a limitação de quasimaps estáveis no caso não abeliano (referenciando um artigo complementar para a prova não abeliana completa).

Significância e Alegações
Os autores alegam que este trabalho fornece uma generalização comum da teoria de campos MSP e da teoria GLSM FJR. Ao introduzir a $\Omega$-estabilidade, eles fornecem uma plataforma geométrica que:

1. Garante a separação e a propriedade necessárias dos espaços moduli e de seus loci de degeneração de coseção.
2. Permite a definição de teorias de contagem para uma classe mais ampla de alvos, incluindo interseções completas de Calabi-Yau em variedades torais.
3. Oferece um caminho para computar efetivamente invariantes de Gromov-Witten de genus superior para esses alvos, potencialmente estendendo resultados como a regra de Feynman BCOV e a Equação de Anomalia Holomorfa além da tríadea quíntica.

O artigo observa que, embora a construção seja geral, a escolha específica do pacote de carga-R e do parâmetro $A$ pode levar a diferentes teorias enumerativas. Destaca que, para certos casos (por exemplo, singularidades de Fermat ou interseções completas de Calabi-Yau em produtos de espaços projetivos), este arcabouço já foi utilizado para provar conjecturas relativas à regra de Feynman BCOV e à analiticidade de funções de partição. O trabalho não afirma resolver todos os problemas de genus superior imediatamente, mas estabelece as condições de estabilidade fundamentais necessárias para persegui-los.