Virtual invariants from the non-associative Hilbert scheme

Technische Samenvatting: Virtuele Invarianten vanuit het Niet-Associatieve Hilbert-Schema

Probleemstelling
De geometrie van Hilbert-schema's van punten, met name in dimensies $n \geq 3$, is berucht subtiel. Hoewel het Hilbert-schema van punten op een glad oppervlak glad en goed begrepen is, is het Hilbert-schema van punten op een driedimensionale of hoger-dimensionale variëteit doorgaans singulier. In de enumeratieve geometrie, in het bijzonder voor Calabi-Yau driedimensionale en vierdimensionale variëteiten, vertrouwt men op virtuele fundamentele klassen om invarianten (zoals Donaldson-Thomas invarianten) te definiëren. Deze klassen worden traditioneel geconstrueerd via perfecte obstructietheorieën, die vaak worden gerealiseerd als kritieke loci van functies op gladde moduli-ruimten van niet-commutatieve matrices (het "niet-commutatieve matrixmodel").

Echter, bestaande modellen kampen met beperkingen:

1. Niet-commutatieve modellen vervangen de commutatieve coördinatencirkel door een vrije associatieve algebra, waarbij het Hilbert-schema wordt gerealiseerd als een kritieke locus van een potentiaal die commutativiteitsrelaties afdwingt.
2. Geneste Hilbert-schema's (ketens van subschema's) zijn over het algemeen singulier met slecht begrepen componentstructuren, maar ze zijn essentieel voor het tellen van sheaf-theorieën (bijv. Vafa-Witten theorie, Seiberg-Witten theorie).
3. Er is behoefte aan een verenigde, elementaire constructie van virtuele fundamentele klassen voor geneste Hilbert-schema's in willekeurige dimensies die leidt tot positief-dimensionale virtuele klassen wanneer de omgevingsdimensie $n$ groot is ten opzichte van het aantal punten $d$.

Methodologie
De auteurs introduceren een niet-associatief model voor het Hilbert-schema van punten. In plaats van commutativiteit te versoepelen (zoals in niet-commutatieve modellen), versoepelen zij de associativiteit terwijl zij de commutativiteit behouden.

1. Constructie van de Niet-Associatieve Omgevingsruimte:
   De auteurs definiëren het niet-associatieve geneste Hilbert-schema, aangeduid als $na\text{NHilb}^{\mathbf{d}}(A^n)$, als de moduli-ruimte van ketens van idealen $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$, waarbij $\mathbb{C}\{x_1, \dots, x_n\}^c$ de vrije unitaire, commutatieve, maar niet-associatieve algebra is op $n$ generatoren.

   • Zij bewijzen dat $na\text{NHilb}^{\mathbf{d}}(A^n)$ een gladde variëteit is.
   • De constructie maakt gebruik van een quotient stack beschrijving $[M_{n,d}/P_d]$, waarbij $M_{n,d}$ een glad lokaal gesloten subschema is van een vectorruimte die algebra-structuren parametriseert, en $P_d$ een parabolische groep is die vrij werkt.

2. Realisatie van het Klassieke Schema:
   Het klassieke geneste Hilbert-schema $NHilb^{\mathbf{d}}(A^n)$ (waar de algebra's associatief zijn) wordt ingebed in de niet-associatieve omgevingsruimte als de associativiteitslocus.

   • Deze locus wordt bepaald door het nul worden van een globale sectie $s_{ass}$ van een vectorbundel $E_{ass}$ (de associativiteitsbundel) over de gladde omgevingsruimte.
   • Bijgevolg erft $NHilb^{\mathbf{d}}(A^n)$ een canonieke perfecte obstructietheorie en een virtuele fundamentele klasse $[NHilb^{\mathbf{d}}(A^n)]^{vir}$.

3. Virtuele Lokalisatie:
   De auteurs maken gebruik van de torusactie $T = (\mathbb{C}^*)^n$ op $A^n$, die zich voortplant naar het niet-associatieve Hilbert-schema. Zij passen de Graber-Pandharipande virtuele lokalisatieformule toe om de virtuele klasse te berekenen.

   • De vaste punten komen overeen met ketens van monomiale idealen, die in bijeenhangende relatie staan met geneste partities.
   • De auteurs leiden expliciete formules af voor de tangentruimte en de obstructiebundel bij deze vaste punten, uitgedrukt in termen van de gewichten van de torusactie.

4. Iteratieve Residueformules:
   Voor de punctuele locus (specifiek de nilpotent gefilterde locus $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$) construeren zij een partiële resolutie die vezelt over een flag-variëteit. Door Atiyah-Bott lokalisatie op deze resolutie toe te passen, transformeren zij de virtuele integralen naar iteratieve residueformules.

   • Een cruciaal technisch resultaat is dat voor de nilpotent gefilterde locus alle residuen verdwijnen, behalve één enkele bijdrage van de "Porteous" geneste partitie (die alleen eenheidvectoren bevat in natuurlijke volgorde).

Kernbijdragen en Resultaten

• Stelling 1.1 (Virtuele Lokalisatieformule): De auteurs bieden een expliciete formule voor de equivariante virtuele fundamentele klasse $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ als een som over toelaatbare geneste partities. De gewichten worden gegeven door rationale functies van de torusgewichten $s_i$.

  • Toelaatbaarheidsvoorwaarde: Een partitie is toelaatbaar als deze geen vectoren bevat met 3 of meer niet-nul coördinaten, en de projectie ervan op elk 2D-vlak binnen specifieke grenzen ligt (gerelateerd aan de "Porteous"-conditie).
  • Deze formule maakt de berekening van virtuele invarianten voor alle paren $(n, d)$ mogelijk.

• Stelling 1.2 (Iteratieve Residueformule): Voor de nilpotent gefilterde locus met dimensievector $\mathbf{d} = (1, d_1, \dots, d_r)$, leiden de auteurs een enkele multivariabele iteratieve residueformule af voor virtuele integralen van tautologische klassen.

  • De formule is geldig zelfs wanneer de totale lengte $d$ de omgevingsdimensie $n$ overschrijdt, door het probleem in te bedden in een hoger-dimensionale ruimte $A^N$ ($N \gg n$) en de virtuele structuren te vergelijken.
  • De formule generaliseert eerdere technieken van Bérczi en Szenes gebruikt in singulariteitentheorie en Thom-polynoomberekeningen.

• Positief-Dimensionale Virtuele Klassen: In tegen tegenstelling tot veel eerdere constructies waar virtuele klassen zero-dimensionaal zijn (bijv. op Calabi-Yau driedimensionale variëteiten), produceert deze constructie positief-dimensionale virtuele klassen telkens wanneer de omgevingsdimensie $n$ voldoende groot is ten opzichte van het aantal punten.

• Relatie tot Niet-Commutatieve Modellen: Het artikel vestigt een rationale afbeelding van het niet-associatieve Hilbert-schema naar het niet-commutatieve geneste Hilbert-schema. Deze afbeelding is goed gedefinieerd op het domein dat de geneste Hilbert-ruimte van punten bevat en beperkt zich tot de identiteit op de associativiteitslocus. Dit suggereert een brug tussen de niet-associatieve (commutatieve maar niet-associatieve) en de niet-commutatieve benaderingen van DT-invarianten.

Betekenis en Claims
De auteurs stellen dat dit werk een elementaire en concrete constructie biedt van virtuele fundamentele klassen voor geneste Hilbert-schema's in alle dimensies.

• Unificatie: Het verenigt de studie van tautologische intersectienummers (voorheen bestudeerd op de curvilineaire component) met virtuele intersectietheorie op het volledige Hilbert-schema.
• Combinatorische Controle: De theorie toont aan dat universele intersectienummers op Hilbert-schema's van punten worden beheerst door expliciete multivariabele residueformules over de combinatorische data van monomiale idealen en partities, wat de structuur van tautologische theorieën weerspiegelt.
• Extensie naar Hogere Dimensies: De constructie is bedoeld om de niet-commutatieve matrixmodellen en de constructies van virtuele klassen op Calabi-Yau driedimensionale variëteiten uit te breiden naar hogere dimensies en geneste settings.
• Toekomstig Werk: De auteurs merken op dat dit kader in toekomstig werk zal worden gebruikt om de Donaldson-Thomas invarianten van Calabi-Yau driedimensionale variëteiten te reconstrueren vanuit het niet-associatieve model, wat een directe brug onthult tussen tautologische en virtuele theorieën.

Het artikel beweert niet de algemene existentie van DT-invarianten voor alle sheaf-moduli ruimten op te lossen, maar biedt een specifieke, robuuste machinerie voor het berekenen van virtuele invarianten op geneste Hilbert-schema's van punten met behulp van een nieuw niet-associatief geometrisch model.