Elliptic curve counting in toric threefolds: virtual, enumerative, and tropical

Technische Samenvatting: Elliptische kromme telling in torische driedevoudige ruimten: Virtueel, Enumeratief en Tropisch

Probleemstelling
Dit artikel behandelt de enumeratieve geometrie van genus 1 (elliptische) krommen in gladde torische driedevoudige ruimten $X$. Specifiek onderzoekt het de relatie tussen twee onderscheidende telling-invarianten voor een vaste krommeklasse $\beta$ en cohomologievoorwaarden $\phi$:

1. Enumeratieve Invarianten ($W_{X,\beta}(\phi)$): Gehele getalsmatige tellingen van genus 1 krommen die door vaste kromme- en puntvoorwaarden gaan, gedefinieerd via "goed gespatieerde" (well-spaced) tropische krommen.
2. Virtuele Invarianten ($L_{X,\beta}(\phi)$): Logaritmische Gromov–Witten invarianten geassocieerd met het paar $(X, \partial X)$, waarbij $\partial X$ de torische grens is.

Het centrale probleem is dat logaritmische Gromov–Witten invarianten over het algemeen niet enumeratief zijn; ze bevatten bijdragen van "superabundante" tropische krommen (krommen waarvan de deformatieruimten groter zijn dan verwacht) en randstrata die niet overeenkomen met werkelijke algebraïsche krommen in de enumeratieve zin. Het artikel streeft naar een expliciete formule die de virtuele telling relateert aan de enumeratieve telling, waarbij de Getzler–Pandharipande-relatie voor $\mathbb{P}^3$ generaliseert naar willekeurige torische driedevoudige ruimten relatief aan hun grens.

Methodologie
De auteur hanteert een vergelijkende aanpak gebruikmakend van tropische geometrie en logaritmische degeneratietechnieken:

• Tropische Correspondentie: De enumeratieve invariant $W_{X,\beta}(\phi)$ wordt berekend via een tropische correspondentietheorema (vastgesteld in eerder werk met Cela [14]) als een gewogen som over "goed gespatieerde" tropische krommen in $\mathbb{R}^3$. Een tropische kromme is goed gespatieerd als, voor elke vlak die de circuit bevat, de nabijheid van de circuit niet in het vlak ligt, of de kromme het vlak verlaat via ten minste drie randen op de minimale afstand.
• Logaritmische Degeneratie: De virtuele invariant $L_{X,\beta}(\phi)$ wordt geanalyseerd met behulp van de decompositietheorema voor logaritmische Gromov–Witten invarianten. Dit deelt de invariant op in een som over tropische typen, waarbij bijdragen worden gereduceerd tot vertex-bijdragen via uitgebreide degeneraties.
• Stratificatie-analyse: Het artikel vergelijkt de moduli ruimten van logaritmische stabiele afbeeldingen en goed gespatieerde logaritmische krommen. Het identificeert dat hoewel deze moduli ruimten dezelfde strata delen die geïndexeerd zijn door niet-superabundante typen, ze significant verschillen voor superabundante typen (excess dimensie $e(\gamma) > 0$).
• Gevalsgebaseerde Analyse van Excess Dimensies: De auteur analyseert systematisch tropische typen op basis van hun excess dimensie $e(\gamma)$:
  • $e(\gamma) = 0$: Niet-superabundante krommen.
  • $e(\gamma) = 1$: Krommen waar de circuit in een vlak ligt maar de nabijheid niet.
  • $e(\gamma) = 2$: Krommen waar de circuit in een lijn ligt.
  • $e(\gamma) = 3$: Krommen waar de circuit wordt gecontracteerd tot een enkel genus 1 vertex.

Belangrijkste Bijdragen en Resultaten

1. De Logaritmische Getzler–Pandharipande Relatie (Theorema A):
   Het hoofdbestanddeel stelt een expliciete formule vast die de enumeratieve en virtuele invarianten relateert:
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$: Een correctieterm die rekening houdt met niet-rigide, goed gespatieerde tropische krommen van excess dimensie 1. Deze dragen bij aan de enumeratieve telling maar verdwijnen in de logaritmische telling.
   • $E_0$: Een correctieterm afgeleid van genus 0 tropische krommen. Het is een gewogen som over genus 0 typen $\gamma$ en vertices $v$, waarbij de kwadraat van het wedge product van de randrichtingen ($|u_1 \wedge u_2|^2$) en de tropische multipliciteit $M_\gamma$ betrokken zijn. Deze term houdt rekening met het verschil dat voortkomt uit genus 0 vertices die gecontracteerd zijn tot een punt (excess dimensie 3).

2. Verdwijnings- en Bijdrage-analyse:

   • Niet-superabundante typen ($e=0$): De bijdragen aan zowel $W$ als $L$ komen overeen.
   • Excess dimensie 1 ($e=1$): De logaritmische bijdrage verdwijnt (Lemma 4.3.1) omdat de gluingsvoorwaarden rond de loop triviaal worden in de derde richting, wat leidt tot een verdwijnende virtuele klasse. Echter, goed gespatieerde krommen van dit type kunnen wel bijdragen aan $W$.
   • Excess dimensie 2 ($e=2$): Het artikel toont aan dat rigide tropische typen van deze excess dimensie (waar de circuit in een lijn ligt) niet bijdragen aan de goed gespatieerde telling tenzij specifieke geometrische voorwaarden worden vervuld, terwijl de logaritmische telling voor deze typen verdwijnt.
   • Excess dimensie 3 ($e=3$): De logaritmische bijdrage is niet nul en is gelijk aan $-\frac{1}{24}E_0$. De goed gespatieerde bijdrage verdwijnt omdat dergelijke krommen onder algemene condities niet goed gespatieerd zijn.

3. Ongelijkheid voor $\mathbb{P}^3$ (Corollary B):
   Door de hoofdtheorema toe te passen op $X = \mathbb{P}^3$, leidt het artikel een ongelijkheid af tussen de gewone Gromov–Witten invarianten ($GW^1_{a,b}$) en de logaritmische invarianten ($L_{a,b}$):
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   De ongelijkheid is strikt voor voldoende grote graden, specifiek voor $d \geq 3$ wanneer alle lijnvoorwaarden worden beschouwd, of voor $d \geq 4$ wanneer alle puntvoorwaarden worden beschouwd. Dit demonstreert dat de gewone Gromov–Witten invarianten de logaritmische invarianten relatief aan de torische grens strikt overtreffen zodra de graad hoog genoeg is.

4. Computationeel Kader:
   Het artikel biedt een methode voor het berekenen van de correctietermen met behulp van floor diagrammen:

   • $E_0$ wordt berekend door de floor diagram methoden van Brugallé–Mikhalkin te modificeren om vertex-gewichten toe te voegen die afgeleid zijn van de $E_0$-formule.
   • Voorbeelden worden gegeven voor lage graden ($d=3, 4$) en specifieke voorwaarden, waarbij het verschil tussen de invarianten expliciet wordt berekend.

Betekenis en Claims
Het artikel claimt een "logaritmisch analoog" van de Getzler–Pandharipande-relatie voor elliptische krommen in $\mathbb{P}^3$ te bieden, en breidt dit uit naar alle torische driedevoudige ruimten relatief aan hun torische grens.

• Unificatie: Het verenigt logaritmische Gromov–Witten theorie, hogere double ramification cycles en tropische enumeratie.
• Realiseerbaarheid: Het demonstreert hoe Speyers goed gespatieerdheidsconditie, oorspronkelijk een instrument voor realiseerbaarheid, gebruikt kan worden om combinatorische formules te produceren die virtuele tellingen corrigeren om enumeratieve gehele getallen te verkrijgen.
• Onafhankelijkheid: Het resultaat is onafhankelijk van de specifieke combinatorische multipliciteiten gevonden in eerder werk [14]; het steunt eerder op de structurele vergelijking van moduli ruimten.
• Beperkingen: Het artikel erkent dat hoewel het een theoretisch kader en expliciete formules voor de correctietermen biedt, het vinden van efficiënte recursie-relaties of "floor decomposed" restricties voor hogere genus krommen in algemene torische variëteiten een open uitdaging blijft vanwege de complexiteit van superabundante deformaties.

Het werk stelt geen nieuwe experimentele toepassingen voor, maar biedt een rigoureuze theoretische brug tussen virtuele en enumeratieve geometrie, waarbij concrete methoden worden geleverd om het discrepantie tussen hen te berekenen in het eerste niet-triviale geval (genus 1 in dimensie 3).