Stability conditions in the mathematical Gauged Linear Sigma Model

Technische Samenvatting: Stabiliteitscondities in het Wiskundige Gauged Linear Sigma Model

Probleemstelling
Het artikel behandelt de uitdaging om een robuust wiskundig kader te definiëren voor het Gauged Linear Sigma Model (GLSM) dat bestaande theorieën generaliseert, specifiek de Mixed-Spin-P (MSP) veldentheorie voor quintic drie-vouden en de Fan-Jarvis-Ruan (FJR) theorie van LG-quasimaps.

Hoewel MSP-velden er succesvol in zijn geslaagd om Gromov-Witten-theorie en kwantumsingulariteitstheorie voor de quintic te overbruggen, en FJR-theorie een teltheorie biedt voor GIT-quotienten met superpotentialen, generaliseert geen van beide kaders volledig naar willekeurige variaties van vGIT master spaces die vereist zijn voor het bestuderen van hogere-genus Gromov-Witten-invarianten van Calabi-Yau complete intersecties in torische variëteiten.

Een primaire technische hindernis is het gebrek aan een stabiliteitsconditie die de gescheidenheid (separatedness) en properheid (properness) van de moduli-ruimte garandeert, in het bijzonder de cosectie degeneratie-locus. Eerdere pogingen, zoals de ad hoc eindige automorfisme-conditie in MSP of de "goede lift"-eis in FJR-theorie, falen voor algemene vGIT master spaces (bijvoorbeeld waar onstabiele loci elkaar niet-triviaal snijden of waar goede lifts niet bestaan). Zonder deze geometrische eigenschappen kan men invarianten niet definiëren via intersectietheorie of virtuele lokalisatietechnieken effectief gebruiken.

Methodologie
De auteurs introduceren een nieuwe stabiliteitsconditie genaamd $\Omega$-stabiliteit voor LG-quasimaps. De methodologie verloopt als volgt:

1. Framework Setup: De theorie is gebouwd op een ($R$-geladen) pakket $(V, G \leq \Gamma, \varpi, \vartheta)$, waarbij $V$ een affien schema is, $G$ een reductieve groep is, en $\Gamma$ een reductieve groep is die $G$ bevat met een karakter $\varpi$ die een isomorfisme $\Gamma/G \cong \mathbb{C}^*$ induceert. Het karakter $\vartheta$ beperkt zich tot een stabiliteitsparameter $\theta$ op $G$.
2. Definitie van $\Omega$-Stabiliteit: Een prestabiele LG-quasimap $\xi = (C, \Sigma_C, u, \kappa)$ wordt gedefinieerd als $\Omega$-stabiel als deze voldoet aan drie condities met betrekking tot een trippel $\Omega = (S, A, \vartheta)$:
   • $\Omega$-1: De basislocus is discreet en disjunct van speciale punten.
   • $\Omega$-2: Een hellingsconditie bij niet-speciale punten met betrekking tot een eindige verzameling $S$ van homogene elementen in de ring van invarianten. Voor $f \in S$ is de conditie: $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$. Hierbij incorporeert de helling de "R-lading" (de gewichtsverdeling onder de $\mathbb{C}^*$-actie op de vezels).
   • $\Omega$-3: De $\mathbb{Q}$-lijnbundel $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ is positief.
3. Analyse van Stabiliteit: De auteurs analyseren de afhankelijkheid van stabiliteit van de parameters $S$, $A$ en $\vartheta$. Zij tonen aan dat het variëren van $A$ voor een vaste target een wand-en-kamerstructuur (wall-and-chamber structure) creëert, vergelijkbaar met $\epsilon$-stabiele quasimaps. Zij tonen aan dat naarmate $A \to \infty$, de conditie de $\epsilon = 0^+$ stabiliteit van de FJR-theorie herstelt.
4. Reductie tot Projectieve Ruimte: Om de hoofdtheorema's te bewijzen, reduceren de auteurs het algemene geval tot het geval van projectieve ruimten met verschillende R-ladingen. Zij construeren een morfisme van de moduli van $\Omega$-stabiele LG-quasimaps naar een algemene target $X$ naar de moduli van $\Omega$-stabiele LG-quasimaps naar een projectieve ruimte $\mathbb{P}^{N-1}$, waarbij de stabiliteitscondities behouden blijven.
5. Valuatieve Criterium: Gebruikmakend van de reductie passen de auteurs het valuatieve criterium toe om gescheidenheid en properheid te bewijzen. Dit behelst het construeren van extensies van families over discrete waardetesten (discrete valuation rings), het afhandelen van niet-gereduceerde speciale vezels via blow-ups en base changes, en het uitvoeren van een stabilisatieproces om rationale staarten (rational tails) en bruggen (bridges) die de positiviteitsconditie schenden, te contraheren.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende hoofdtheorema's vast met betrekking tot de moduli-stack $\text{LGQ}^\Omega_{g,k}(X, d)$ van $\Omega$-stabiele LG-quasimaps:

• Theorem 2.4 (Gescheidenheid): De stack $\text{LGQ}^\Omega_{g,k}(X, d)$ is een gescheiden Deligne-Mumford stack van eindig type. Dit lost het probleem van niet-gescheiden moduli-ruimten op die in eerdere ad hoc constructies werden gevonden.
• Theorem 2.5 (Properheid): Indien de GIT-quotient $V//_\theta G$ projectief is en de verzameling $S$ "volledig" is (d.w.z. de gemeenschappelijke nulverzameling is de onstabiele locus), dan is de stack $\text{LGQ}^\Omega_{g,k}(X, d)$ proper.
• Generalisatie van MSP: De nieuwe stabiliteitsconditie generaliseert de MSP-velden constructie voor de quintic drie-vold. Door de theorie toe te passen op de master space $Y$ geassocieerd met de quintic, herstellen de auteurs de properheid van de cosectie degeneratie-locus, die eerder via ad hoc methoden werd aangetoond.
• Extensie naar Algemene Targets: Het framework is toepasbaar op Calabi-Yau globale complete intersecties in torische variëteiten en andere vGIT master spaces waar eerdere methoden (die "goede lifts" vereisten) faalden.
• Begrensdheid (Boundedness): Het artikel levert een bewijs voor de begrensdheid van de moduli-ruimte, waarmee een gat in de eerdere literatuur wordt gedicht betreffende de begrensdheid van stabiele quasimaps in het niet-abelse geval (met verwijzing naar een begeleidend artikel voor het volledige niet-abelse bewijs).

Betekenis en Claims
De auteurs claimen dat dit werk een gemeenschappelijke generalisatie vormt van de MSP-velden theorie en de FJR GLSM-theorie. Door $\Omega$-stabiliteit te introduceren, bieden zij een geometisch platform dat:

1. De noodzakelijke gescheidenheid en properheid van de moduli-ruimten en hun cosectie degeneratie-loci garandeert.
2. De definitie van teltheorieën voor een bredere klasse van target-ruimten mogelijk maakt, inclusief Calabi-Yau complete intersecties in torische variëteiten.
3. Een pad biedt om effectief hogere-genus Gromov-Witten-invarianten voor deze targets te berekenen, wat potentieel resultaten zoals de BCOV Feynman-regel en de Holomorfe Anomalie-vergelijking verder uitbreidt dan de quintic drie-vold.

Het artikel merkt op dat hoewel de constructie algemeen is, de specifieke keuze van het R-geladen pakket en de parameter $A$ tot verschillende enumeratieve theorieën kan leiden. Er wordt benadrukt dat voor bepaalde gevallen (bijv. Fermat-singulariteiten of Calabi-Yau complete intersecties in producten van projectieve ruimten), dit framework reeds is gebruikt om conjecturen over de BCOV Feynman-regel en de analyticiteit van partitiefuncties te bewijzen. Het werk claimt niet direct alle hogere-genus problemen op te lossen, maar legt de fundamentele stabiliteitscondities vast die nodig zijn om deze te kunnen nastreven.