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

Technische Zusammenfassung: Elliptische Kurvenzählung in torischen dreidimensionalen Varietäten: Virtuell, enumerativ und tropisch

Problemstellung
Diese Arbeit befasst sich mit der enumerativen Geometrie von Genus-1-Kurven (elliptischen Kurven) in glatten torischen dreidimensionalen Varietäten $X$. Insbesondere untersucht sie die Beziehung zwischen zwei unterschiedlichen Zähl-Invarianten für eine feste Kurvenklasse $\beta$ und Kohomologiebedingungen $\phi$:

1. Enumerative Invarianten ($W_{X,\beta}(\phi)$): Ganzzahlige Zählungen von Genus-1-Kurven, die durch feste Kurven- und Punktbedingungen verlaufen, definiert über „gut verteilte“ (well-spaced) tropische Kurven.
2. Virtuelle Invarianten ($L_{X,\beta}(\phi)$): Logarithmische Gromov–Witten-Invarianten assoziiert mit dem Paar $(X, \partial X)$, wobei $\partial X$ die torische Begrenzung ist.

Das zentrale Problem besteht darin, dass logarithmische Grom–Witten-Invarianten im Allgemeinen nicht enumerativ sind; sie enthalten Beiträge von „superabundanten“ tropischen Kurven (solche, deren Deformationsräume größer als erwartet sind) sowie von Randstrata, die nicht mit tatsächlichen algebraischen Kurven im enumerativen Sinne korrespondieren. Die Arbeit sucht nach einer expliziten Formel, die die virtuelle Zählung mit der enumerativen Zählung in Beziehung setzt, und verallgemeinert die Getzler–Pandharipande-Relation für $\mathbb{P}^3$ auf beliebige torische dreidimensionale Varietäten relativ zu ihrer Begrenzung.

Methodik
Der Autor verwendet einen komparativen Ansatz unter Verwendung von tropischer Geometrie und logarithmischen Degenerationstechniken:

• Tropische Korrespondenz: Die enumerative Invariante $W_{X,\beta}(\phi)$ wird über einen tropischen Korrespondenzsatz (etabliert in vorangegangener Arbeit mit Cela [14]) als gewichtete Summe über „gut verteilte“ tropische Kurven in $\mathbb{R}^3$ berechnet. Eine tropische Kurve ist gut verteilt, wenn für jede Ebene, die ihren Schaltkreis (circuit) enthält, die Umgebung des Schaltkreises nicht in der Ebene liegt, oder die Kurve die Ebene über mindestens drei Kanten in einem Mindestabstand verlässt.
• Logarithmische Degeneration: Die virtuelle Invariante $L_{X,\beta}(\phi)$ wird mittels des Zerlegungssatzes für logarithmische Gromov–Witten-Invarianten analysiert. Dieser zerlegt die Invariante in eine Summe über tropische Typen, wobei die Beiträge durch expandierte Degenerationen auf Vertex-Beiträge reduziert werden.
• Stratifikationsanalyse: Die Arbeit vergleicht die Modulräume von logarithmischen stabilen Abbildungen und gut verteilten logarithmischen Kurven. Es wird identifiziert, dass diese Räume zwar dieselben Strata teilen, die durch nicht-superabundante Typen indiziert sind, sich aber signifikant für superabundante Typen (Überschussdimension $e(\gamma) > 0$) unterscheiden.
• Fallweise Analyse der Überschussdimensionen: Der Autor analysiert systematisch tropische Typen basierend auf ihrer Überschussdimension $e(\gamma)$:
  • $e(\gamma) = 0$: Nicht-superabundante Kurven.
  • $e(\gamma) = 1$: Kurven, bei denen der Schaltkreis in einer Ebene liegt, die Umgebung jedoch nicht.
  • $e(\gamma) = 2$: Kurven, bei denen der Schaltkreis in einer Geraden liegt.
  • $e(\gamma) = 3$: Kurven, bei denen der Schaltkreis zu einem einzigen Genus-1-Vertex kontrahiert wird.

Zentrale Beiträge und Ergebnisse

1. Die logarithmische Getzler–Pandharipande-Relation (Theorem A):
   Das Hauptergebnis etabliert eine explizite Formel, die die enumerativen und virtuellen Invarianten in Beziehung setzt:
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

• $E_1$: Ein Korrekturterm, der nicht-starre, gut verteilte tropische Kurven der Überschussdimension 1 berücksichtigt. Diese tragen zur enumerativen Zählung bei, verschwinden jedoch in der logarithmischen Zählung.
• $E_0$: Ein Korrekturterm, der aus Genus-0-tropischen Kurven abgeleitet ist; er ist eine gewichtete Summe über Genus-0-Typen $\gamma$ und Vertices $v$, involviert das Quadrat des Keilers der Richtungen der Kanten ($|u_1 \wedge u_2|^2$) und die tropische Multiplizität $M_\gamma$. Dieser Term erklärt den Unterschied, der dadurch entsteht, dass Genus-1-Vertices zu einem Punkt kontrahiert werden (Überschussdimension 3).

2. Analyse von Verschwinden und Beiträgen:

• Nicht-superabundante Typen ($e=0$): Die Beiträge zu $W$ und $L$ fallen überein.
• Überschussdimension 1 ($e=1$): Der logarithmische Beitrag verschwindet (Lemma 4.3.1), da die Verklebungsbedingungen um den Loop herum in der dritten Dimension trivial werden, was zu einer verschwindenden virtuellen Klasse führt. Jedoch können gut verteilte Kurven dieses Typs zu $W$ beitragen.
• Überssdimension 2 ($e=2$): Die Arbeit zeigt, dass starre tropische Typen dieser Überschussdimension (bei denen der Schaltkreis in einer Geraden liegt) nicht zur gut verteilten Zählung beitragen, sofern keine spezifischen geometrischen Bedingungen erfüllt sind, während die logarithmische Zählung für diese Typen verschwindet.
• Überschussdimension 3 ($e=3$): Der logarithmische Beitrag ist nicht Null und entspricht $-\frac{1}{24}E_0$. Der gut verteilte Beitrag verschwindet, da solche Kurven unter allgemeinen Bedingungen nicht „gut verteilt“ sind.

3. Ungleichung für $\mathbb{P}^3$ (Korollar B):
   Durch Anwendung des Haupttheorems auf $X = \mathbb{P}^3$ leitet die Arbeit eine Ungleichung zwischen den gewöhnlichen Gromov–Witten-Invarianten ($GW^1_{a,b}$) und den logarithmischen Invarianten ($L_{a,b}$) ab:
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   Die Ungleichung ist strikt für hinreichend große Grade, spezifisch für $d \geq 3$ bei Betrachtung aller Linienbedingungen, oder für $d \geq 4$ bei Betrachtung aller Punktbedingungen. Dies zeigt, dass die gewöhnlichen Gromov–Witten-Invarianten die logarithmischen Invarianten relativ zu ihrer torischen Begrenzung einmal die hinreichend großen Grade erreicht strikt übersteigen.

4. Komputationaler Rahmen:
   Die Arbeit bietet eine Methode zur Berechnung der Korrekturterme mittels Floor-Diagrammen:

• $E_0$ wird durch Modifikation der Floor-Diagramm-Methoden von Brugallé–Mikhalkin berechnet, indem Vertex-Gewichte aus der $E_0$-Formel hinzugefügt werden.
• Beispiele werden für niedrige Grade ($d=3, 4$) und spezifische Bedingungen gegeben, wobei die Differenz zwischen den Invarianten explizit berechnet wird.

Bedeutung und Ansprüche
Die Arbeit beansprucht, eine „logarithmische Analogie“ der Getzler–Pandharipande-Relation für elliptische Kurven in $\mathbb{P}^3$ zu liefern und diese auf alle torischen dreidimensionalen Varietäten relativ zu ihrer torischen Begrenzung zu erweitern.

• Vereinigung: Sie vereint logarithmische Gromov–Witten-Theorie, höhere Double-Ramification-Zyklen und tropische Enumeration.
• Realisierbarkeit: Sie demonstriert, wie Speyers „Well-spacedness“-Bedingung, ursprünglich ein Werkzeug für die Realisierbarkeit, verwendet werden kann, um kombinatorische Formeln zu erzeugen, die virtuelle Zählungen zu enumerativen ganzen Zahlen korrigieren.
• Unabhängigkeit: Das Ergebnis ist unabhängig von den spezifischen kombinatorischen Multiplizitäten früherer Arbeiten [14]; es stützt sich vielmehr auf den strukturellen Vergleich der Modulräume.
• Limitierungen: Die Arbeit räumt ein, dass sie zwar einen theoretischen Rahmen und explizite Formeln für die Korrekturterme liefert, das Finden effizienter Rekursionsrelationen oder „Floor-dekomponierter“ Constraints für höhere Genus-Kurven in allgemeinen torischen Varietäten jedoch aufgrund der Komplexität superabundanter Deformationen eine offene Herausforderung bleibt.

Die Arbeit schlägt keine neuen experimentellen Anwendungen vor, bietet aber eine rigorose theoretische Brücke zwischen virtueller und enumerativer Geometrie und liefert konkrete Methoden, um die Diskrepanz zwischen ihnen im ersten nicht-trivialen Fall (Genus 1 in Dimension 3) zu berechnen.