The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

1. Probleemstelling en Context

Het artikel richt zich op de Pandharipande–Thomas (PT) invarianten voor projectieve complexe 3-variëteiten ($X$). Deze invarianten tellen stabiele paren $(F, s)$, waarbij $F$ een zuivere 1-dimensionale coherent schil is en $s: \mathcal{O}_X \to F$ een sectie is met een 0-dimensionale cokern. De invarianten worden georganiseerd in genererende functies (Laurent-reeksen) in een variabele $q$, afhankelijk van de krommeklasse $\beta$ en de holomorphe Euler-kenmerk $n$.

De centrale vraag is de rationaliteitsconjectuur van Pandharipande en Thomas (Conjecture 1.3):

• Zijn de genererende functies van PT-invarianten rationale functies in $q$?
• Waar liggen de polen van deze functies? (Alleen bij $q=0$ en eenheidswortels).
• Gelden deze eigenschappen ook voor de equivariante versies en voor krommeklassen met "descendent insertions" (tautologische klassen)?

Eerdere resultaten dekten specifieke gevallen (zoals Calabi-Yau 3-variëteiten, torische variëteiten, of Fano-variëteiten), maar een algemeen bewijs voor superpositieve krommeklassen op willekeurige projectieve complexe 3-variëteiten ontbrak. Een superpositieve klasse $\beta$ is gedefinieerd als een effectieve krommeklasse waarbij elke factor (in de zin van decompositie in effectieve klassen) positief is ($c_1(X) \cdot \gamma > 0$). Voor Fano-variëteiten is elke effectieve klasse superpositief.

2. Methodologie

De auteurs maken gebruik van een krachtige theoretische framework ontwikkeld door de tweede auteur (Dominic Joyce) in eerdere werken ([27, 28]), gebaseerd op de theorie van telling van semistabiele objecten in abelse categorieën en muurkruisingsformules (wall-crossing formulae).

De kern van de methodologie bestaat uit de volgende stappen:

1. Moduli Stacks en Homologie:

   • Ze werken met de moduli-stack $M$ van objecten in de afgeleide categorie $D^b\text{coh}(X)$ en de projectief lineaire moduli-stack $M_{pl}$ (verkregen door het quotiënt te nemen onder de actie van $\mathbb{G}_m$).
   • De homologie $H_*(M)$ heeft de structuur van een gegradueerde vertexalgebra, terwijl $H_*(M_{pl})$ de structuur van een gegradueerde Lie-algebra heeft.
   • PT-invarianten en Donaldson-Thomas (DT) invarianten worden geïnterpreteerd als klassen in deze homologiegroepen.

2. Muurkruisingsformules (Wall-Crossing):

   • De auteurs gebruiken een muurkruisingsformule die de relatie blootlegt tussen PT-invarianten en 1-dimensionale DT-invarianten (die semistabiele coherent schillen tellen) onder verandering van stabiliteitscondities.
   • Deze formule wordt uitgedrukt via de Lie-haak op de homologie van $M_{pl}$. Dit stelt hen in staat om PT-klassen te schrijven als een som van iteratieve Lie-haak-producten van DT-invarianten.

3. Lifting en Vertexalgebra Technieken:

   • Een technische uitdaging is dat de muurkruisingsformules werken op $M_{pl}$, maar de PT-invarianten en hun tautologische klassen natuurlijk leven op $M$.
   • De auteurs gebruiken een "lifting" techniek (Theorema 2.9) om berekeningen van de Lie-algebra ($M_{pl}$) terug te brengen naar de vertexalgebra ($M$), gebruikmakend van een specifieke cohomologische operator $R_\eta$ en de translatie-operator $D$.

4. Periodiciteit en Polynoomgedrag:

   • Ze analyseren het gedrag van de DT-invarianten onder tensorproduct met een ample lijnbundel $L$. Dit induceert een isomorfisme tussen moduli-ruimten met verschillende $n$-waarden, wat leidt tot een periodiciteit in de invarianten.
   • Door inductie op het aantal factoren van de krommeklasse $\beta$ en het gebruik van de muurkruisingsformule, bewijzen ze dat de PT-invarianten (als elementen van de homologie) stuksgewijs kwasi-polynomen zijn in $n$.

5. Equivariante Homologie:

   • Voor de equivariante versie (onder actie van een lineaire algebraïsche groep $G$) werken ze met getruncate equivariante homologie $H_{*, \leq N}^G$. Dit is noodzakelijk omdat de volledige equivariante homologie complexe filtraties heeft die de rationaliteit kunnen schaden (zoals opgemerkt in Remark 3.2).

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende hoofdbijdragen:

• Bewijs van Rationaliteit voor Superpositieve Klassen:
  De auteurs bewijzen dat voor elke superpositieve effectieve krommeklasse $\beta$ op een projectieve complexe 3-variëteit $X$, de genererende functie van PT-invarianten (met descendent insertions) een rationale functie is in $q$.

  • Resultaat (Stelling 1.4 & 1.8): De Laurent-reeks is de expansie van een rationale functie $F(q)$.
  • Polen: De polen van deze functie komen alleen voor bij $q=0$ en bij eenheidswortels (roots of unity).

• Equivariante Versie:
  Ze bewijzen een analoog resultaat voor de $G$-equivariante genererende functies, mits men werkt binnen de getruncate homologiegroepen $H_{*, \leq N}^G$. Voor de volledige equivariante homologie zonder truncatie verwachten ze dat de rationaliteit niet geldt vanwege de groei van de orde van de polen naarmate de truncatie $N$ toeneemt.

• Technische Beperkingen:
  De auteurs kunnen geen bewijs leveren voor de symmetrie-conjectuur (Conjecture 1.3(c) en (f)), die stelt dat de functie een specifieke transformatie ondergaat onder $q \to q^{-1}$. Dit komt door technische beperkingen in de huidige theorie van Joyce ([28]), die momenteel niet toepasbaar is op de specifieke "limit stability conditions" die nodig zouden zijn voor dit symmetrie-bewijs (zoals gebruikt door Toda in Calabi-Yau gevallen).

• Relatie met K-theorie:
  Ze introduceren een verfijning van de homologie naar de groep van algebraïsche 1-cycli modulo algebraïsche equivalentie ($A^1_{alg}(X)$), in plaats van alleen $H_2(X, \mathbb{Z})$. Dit is essentieel om de klasse van de objecten in de semi-topologische K-theorie goed gedefinieerd te houden.

4. Significatie

• Unificatie van Theorieën: Het werk verbindt de theorie van PT-invarianten (stabiele paren) met die van DT-invarianten (coherent schillen) in een zeer algemeen kader, niet beperkt tot Calabi-Yau of Fano-variëteiten, maar geldend voor alle projectieve 3-variëteiten zolang de krommeklasse "superpositief" is.
• Algebraïsche Structuur: Het benadrukt de diepe rol van vertexalgebra's en Lie-algebra's in de enumeratieve meetkunde. De methode toont aan hoe complexe tellingsproblemen kunnen worden gereduceerd tot algebraïsche eigenschappen van de homologie van moduli-ruimten.
• Nieuwe Inzichten in Rationaliteit: Het bevestigt dat de rationaliteit van genererende functies een fundamenteel kenmerk is van deze invarianten, zelfs in niet-Calabi-Yau contexten, mits de juiste stabiliteitscondities (superpositiviteit) worden voldaan.
• Toekomstgericht: Het artikel markeert een stap in de richting van een volledige theorie van enumeratieve invarianten voor 3-variëteiten, hoewel het ook duidelijk maakt dat er nog technische obstakels zijn (zoals het ontbreken van de symmetrie-bewijzen) die waarschijnlijk een herziening van de onderliggende K-theoretische of framing-functie-theorie vereisen.

Samenvattend biedt dit artikel een krachtig, algebraïsch bewijs voor de rationaliteit van PT-genererende functies voor een breed scala aan krommeklassen, gebruikmakend van de geavanceerde muurkruisingsformules van Joyce, en legt het de grondslag voor verdere berekeningen en generalisaties in de enumeratieve meetkunde.