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

Résumé Technique : Comptage de courbes elliptiques dans les trois-folds toriques : Virtuel, Énumératif et Tropical

Énoncé du Problème
Cet article traite de la géométrie énumérative des courbes de genre 1 (elliptiques) dans des trois-folds toriques lisses $X$. Plus précisément, il étudie la relation entre deux invariants de comptage distincts pour une classe de courbe fixe $\beta$ et des conditions de cohomologie $\phi$ :

1. Invariants Énumératifs ($W_{X,\beta}(\phi)$) : Comptages entiers de courbes de genre 1 passant par des conditions de courbes et de points fixes, définis via des courbes tropicales « bien espacées » (well-spaced).
2. Invariants Virtuels ($L_{X,\beta}(\phi)$) : Invariants de Gromov–Witten logarithmiques associés au couple $(X, \partial X)$, où $\partial X$ est la frontière torique.

Le problème central est que les invariants de Gromov–Witten logarithmiques ne sont généralement pas énumératifs ; ils incluent des contributions de courbes tropicales « superabondantes » (celles dont les espaces de déformation sont plus grands que prévu) et de strates de bord qui ne correspondent pas à des courbes algébriques réelles au sens énumératif. L'article cherche une formule explicite reliant l'invariant virtuel à l'invariant énumératif, généralisant la relation de Getzler–Pandharipande pour $\mathbb{P}^3$ à tous les trois-folds toriques par rapport à leur frontière.

Méthodologie
L'auteur emploie une approche comparative utilisant la géométrie tropicale et les techniques de dégénérescence logarithmique :

• Correspondance Tropicale : L'invariant énumératif $W_{X,\beta}(\phi)$ est calculé via un théorème de correspondance tropicale (établi dans un travail antérieur avec Cela [14]) comme une somme pondérée sur des courbes tropicales « bien espacées » dans $\mathbb{R}^3$. Une courbe tropicale est dite bien espacée si, pour tout plan contenant son circuit, le voisinage du circuit n'est pas contenu dans le plan, ou si la courbe quitte le plan via au moins trois arêtes à la distance minimale.
• Dégénérescence Logarithmique : L'invariant virtuel $L_{X,\beta}(\phi)$ est analysé à l'aide du théorème de décomposition pour les invariants de Gromov–Witten logarithmiques. Ce dernier décompose l'invariant en une somme sur des types tropicaux, où les contributions sont réduites à des contributions de sommets via des dégénérescences étendues.
• Analyse de Stratification : L'article compare les espaces de modules de cartes stables logarithmiques et les courbes logarithmiques bien espacées. Il identifie que, bien que ces espaces partagent des strates indexées par des types non superabondants, ils diffèrent significativement pour les types superabondants (dimension excédentaire $e(\gamma) > 0$).
• Analyse de Cas par Cas des Dimensions Excédentaires : L'auteur analyse systématiquement les types tropicaux en fonction de leur dimension excédentaire $e(\gamma)$ :
  • $e(\gamma) = 0$ : Courbes non superabondantes.
  • $e(\gamma) = 1$ : Courbes où le circuit réside dans un plan mais le voisinage ne le fait pas.
  • $e(\gamma) = 2$ : Courbes où le circuit réside dans une droite.
  • $e(\gamma) = 3$ : Courbes où le circuit est contracté à un sommet unique de genre 1.

Contributions Clés et Résultats

1. La Relation Logarithmique de Getzler–Pandharipande (Théorème A) :
   Le résultat principal établit une formule explicite reliant les invariants énumératifs et virtuels :
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$ : Un terme de correction tenant compte des courbes tropicales non rigides et bien espacées de dimension excédentaire 1. Celles-ci contribuent au compte énumératif mais s'annulent dans le compte logarithmique.
   • $E_0$ : Un terme de correction dérivé de courbes tropicales de genre 0. Il s'agit d'une somme pondérée sur les types de genre 0 $\gamma$ et les sommets $v$, impliquant le carré du produit extérieur des directions des arêtes ($|u_1 \wedge u_2|^2$) et la multiplicité tropicale $M_\gamma$. Ce terme rend compte de la différence provenant des courbes de genre 1 contractées en un point (dimension excédentaire 3).

2. Analyse de l'Annulation et de la Contribution :

   • Types non superabondants ($e=0$) : Les contributions à $W$ et $L$ coïncident.
   • Dimension excédentaire 1 ($e=1$) : La contribution logarithmique s'annule (Lemme 4.3.1) car les conditions de collage autour de la boucle deviennent triviales dans la troisième direction, conduisant à une classe virtuelle nulle. Cependant, des courbes bien espacées de ce type peuvent contribuer à $W$.
   • Dimension excédentaire 2 ($e=2$) : L'article montre que les types tropicaux rigides de cette dimension excédentaire (où le circuit réside dans une droite) ne contribuent pas au compte bien espacé à moins que des conditions géométriques spécifiques ne soient remplies, tandis que le compte logarithmique s'annule pour ces types.
   • Dimension excédentaire 3 ($e=3$) : La contribution logarithmique est non nulle et égale à $-\frac{1}{24}E_0$. La contribution bien espacée s'annule car de telles courbes ne sont pas bien espacées sous des conditions générales.

3. Inégalité pour $\mathbb{P}^3$ (Corollaire B) :
   En appliquant le théorème principal à $X = \mathbb{P}^3$, l'article dérive une inégalité entre les invariants de Gromov–Witten ordinaires ($GW^1_{a,b}$) et les invariants logarithmiques ($L_{a,b}$) :
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   L'inégalité est stricte pour des degrés suffisamment élevés, spécifiquement pour $d \geq 3$ lorsque l'on considère toutes les conditions de droites, ou pour $d \geq 4$ pour toutes les conditions de points. Cela démontre que les invariants de Gromov–Witten ordinaires dépassent strictement les invariants logarithmiques par rapport à la frontière torique une fois que le degré est assez élevé.

4. Cadre de Calcul :
   L'article fournit une méthode pour calculer les termes de correction en utilisant des diagrammes de sol (floor diagrams).

   • $E_0$ est calculé en modifiant les méthodes de diagrammes de sol de Brugallé–Mikhalkin pour inclure des poids de sommets dérivés de la formule $E_0$.
   • Des exemples sont fournis pour des degrés faibles ($d=3, 4$) et des conditions spécifiques, calculant explicitement la différence entre les invariants.

Signification et Revendications
L'article affirme fournir un « analogue logarithmique » de la relation de Getzler–Pandharande pour les courbes elliptiques dans $\mathbb{P}^3$, en l'étendant à tous les trois-folds toriques par rapport à leur frontière torique.

• Unification : Il unifie la théorie de Gromov–Witten logarithmique, les cycles de double ramification supérieure et l'énumération tropicale.
• Réalisabilité : Il démontre comment la condition de bien-espacement de Speyer, initialement un outil de réalisabilité, peut être utilisée pour produire des formules combinatoires qui corrigent les comptes virtuels afin d'obtenir des entiers énumératifs.
• Indépendance : Le résultat est indépendant des multiplicités combinatoires spécifiques trouvées dans les travaux antérieurs [14] ; il repose plutôt sur la comparaison structurelle des espaces de modules.
• Limites : L'article reconnaît que, bien qu'il fournisse un cadre théorique et des formules explicites pour les termes de correction, trouver des relations de récurrence efficaces ou des contraintes de « décomposition de sol » pour les courbes de genre supérieur dans des variétés toriques générales reste un défi ouvert en raison de la complexité des déformations superabondantes.

Le travail ne propose pas de nouvelles applications expérimentales mais offre un pont théorique rigoureux entre les géométries virtuelles et énumératives, fournissant des méthodes concrètes pour calculer l'écart entre elles dans le premier cas non trivial (genre 1 en dimension 3).