Stability conditions in the mathematical Gauged Linear Sigma Model

Sintesi Tecnica: Condizioni di Stabilità nel Modello Sigma Lineare Gauged Matematico

Enunciato del Problema
Il saggio affronta la sfida di definire un quadro matematico robusto per il Modello Sigma Lineare Gauged (GLSM) che generalizzi le teorie esistenti, nello specifico la teoria dei campi Mixed-Spin-P (MSP) per le terne quintiche e la teoria Fan-Jarvis-Ruan (FJR) degli LG-quasimaps.

Sebbene i campi MSP riescano a collegare la teoria di Gromov-Witten e la teoria delle singolarità quantistiche per la quintica, e la teoria FJR fornisca una teoria di conteggio per i quozienti GIT con potenziali super, nessuno dei due quadri si generalizza pienamente alle variazioni arbitrarie di GIT (vGIT) degli spazi master necessari per studiare gli invarianti di Gromov-Witten di ordine superiore per le intersezioni complete Calabi-Yau in varietà toriche.

Un ostacolo tecnico primario è la mancanza di una condizione di stabilità che garantisca la separazione e la proprietà dello spazio dei moduli, in particolare del luogo di degenerazione della cosezione. Precedenti tentativi, come la condizione ad hoc dei finiti automorfismi in MSP o il requisito del "buon sollevamento" (good lift) in FJR, falliscono per i generici spazi master vGIT (ad esempio, dove i loci instabili si intersecano in modo non banale o dove i buoni sollevamenti non esistono). Senza queste proprietà geometriche, non è possibile definire invarianti tramite la teoria dell'intersezione o utilizzare efficacemente le tecniche di localizzazione virtuale.

Metodologia
Gli autori introducono una nuova condizione di stabilità denominata $\Omega$-stabilità per gli LG-quasimaps. La metodologia procede come segue:

1. Configurazione del Quadro: La teoria è costruita su un pacchetto ($R$-caricato) $(V, G \leq \Gamma, \varpi, \vartheta)$, dove $V$ è uno schema affine, $G$ è un gruppo riduttivo, e $\Gamma$ è un gruppo riduttivo contenente $G$ con un carattere $\varpi$ che induce un isomorfismo $\Gamma/G \cong \mathbb{C}^*$. Il carattere $\vartheta$ si restringe a un parametro di stabilità $\theta$ su $G$.
2. Definizione di $\Omega$-Stabilità: Un LG-quasimap prestabile $\xi = (C, \Sigma_C, u, \kappa)$ è definito $\Omega$-stabile se soddisfa tre condizioni riguardanti una tripla $\Omega = (S, A, \vartheta)$:
   • $\Omega$-1: Il locus base è discreto e disgiunto dai punti speciali.
   • $\Omega$-2: Una condizione di pendenza (slope) nei punti non speciali coinvolgente un insieme finito $S$ di elementi omogenei nell'anello degli invarianti. Per $f \in S$, la condizione è $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$. Qui, la pendenza incorpora la "carica-R" (il peso sotto l'azione $\mathbb{C}^*$ sulle fibre).
   • $\Omega$-3: Il fibrato $\mathbb{Q}$-lineare $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ è positivo.
3. Analisi della Stabilità: Gli autori analizzano la dipendenza della stabilità dai parametri $S$, $A$ e $\vartheta$. Dimostrano che, per un target fisso, la variazione di $A$ crea una struttura a muri e camere (wall-and-chamber) simile a quella degli $\epsilon$-stabili quasimaps. Mostrano che, per $A \to \infty$, la condizione recupera la stabilità $\epsilon = 0^+$ della teoria FJR.
4. Riduzione allo Spazio Proiettivo: Per dimostrare i teoremi principali, gli autori riducono il caso generale al caso di spazi proiettivi con varie cariche-R. Costruiscono un morfismo dal modulo degli LG-quasimaps $\Omega$-stabili verso un target $X$ al modulo degli LG-quasimaps $\Omega$-stabili verso uno spazio proiettivo $\mathbb{P}^{N-1}$, preservando le condizioni di stabilità.
5. Criterio Valutativo: Utilizzando la riduzione, applicano il criterio valutativo per dimostrare separazione e proprietà. Ciò comporta la costruzione di estensioni di famiglie su anelli di valuazione discreta, la gestione di fibre speciali non ridotte tramite blow-up e cambiamenti di base, e l'esecuzione di un processo di stabilizzazione per contrarre code razionali (rational tails) e ponti (bridges) che violano la condizione di positività.

Contributi Chiave e Risultati
Il saggio stabilisce i seguenti teoremi principali riguardanti lo stack dei moduli $\text{LGQ}^\Omega_{g,k}(X, d)$ degli LG-quasimaps $\Omega$-stabili:

• Teorema 2.4 (Separazione): Lo stack $\text{LGQ}^\Omega_{g,k}(X, d)$ è uno stack di Deligne-Mumford separato di tipo finito. Questo risolve il problema dei moduli non separati presenti nelle precedenti costruzioni ad hoc.
• Teorema 2.5 (Proprietà): Se il quoziente GIT $V//_\theta G$ è proiettivo e l'insieme $S$ è "pieno" (ovvero il suo luogo di annullamento comune è il locus instabile), allora lo stack $\text{LGQ}^\Omega_{g,k}(X, d)$ è proprio.
• Generalizzazione di MSP: La nuova condizione di stabilità generalizza la costruzione dei campi MSP per la terne quintica. Applicando la teoria allo spazio master $Y$ associato alla quintica, gli autori recuperano la proprietà del luogo di degenerazione della cosezione, precedentemente dimostrata tramite metodi ad hoc.
• Estensione a Target Generali: Il quadro si applica a intersezioni complete globali Calabi-Yau in varietà toriche e altri spazi master vGIT dove i precedenti metodi (che richiedevano "buoni sollevamenti") fallivano.
• Limitatezza (Boundedness): Il saggio fornisce una prova della limitatezza dello spazio dei moduli, affrontando una lacuna nella letteratura precedente riguardante la limitatezza dei quasimaps stabili nel caso non abeliano (facendo riferimento a un saggio complementare per la prova completa del caso non abeliano).

Significato e Rivendicazioni
Gli autori affermano che questo lavoro fornisce una generalizzazione comune della teoria dei campi MSP e della teoria GLSM FJR. Introducendo l'$\Omega$-stabilità, forniscono una piattaforma geometrica che:

1. Garantisce la necessaria separazione e proprietà degli spazi dei moduli e dei loro loci di degenerazione della cosezione.
2. Permette la definizione di teorie di conteggio per una classe più ampia di spazi target, incluse le intersezioni complete Calabi-Yau in varietà toriche.
3. Offre una via per calcolare efficacemente gli invarianti di Gromov-Witten di ordine superiore per questi target, estendendo potenzialmente risultati come la regola di Feynman BCOV e l'equazione dell'anomalia olofomorfa oltre la terne quintica.

Il saggio nota che, sebbene la costruzione sia generale, la scelta specifica del pacchetto a carica-R e del parametro $A$ può portare a diverse teorie enumerative. Evidenzia che, per certi casi (ad esempio, singolarità di Fermat o intersezioni complete Calabi-Yau in prodotti di spazi proiettivi), questo quadro è già stato utilizzato per dimostrare congetture riguardanti la regola di Feynman BCOV e l'analiticità delle funzioni di partizione. Il lavoro non pretende di risolvere immediatamente tutti i problemi di ordine superiore, ma stabilisce le condizioni di stabilità fondamentali necessarie per perseguirli.