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

Resumen Técnico: Conteo de Curvas Elípticas en Tresobas Toricas: Virtual, Enumerativo y Tropical

Planteamiento del Problema
Este artículo aborda la geometría enumerativa de curvas de género 1 (elípticas) en tresobas toricas suaves $X$. Específicamente, investiga la relación entre dos invariantes de conteo distintos para una clase de curva fija $\beta$ y condiciones de cohomología $\phi$:

1. Invariantes Enumerativos ($W_{X,\beta}(\phi)$): Conteos enteros de curvas de género 1 que pasan por condiciones de curva y punto fijas, definidos mediante curvas tropicales "bien espaciadas" (well-spaced).
2. Invariantes Virtuales ($L_{X,\beta}(\phi)$): Invariantes de Gromov–Witten logarítmicos asociados al par $(X, \partial X)$, donde $\partial X$ es el límite torico.

El problema central es que los invariantes de Gromov–Witten logarítmicos no son generalmente enumerativos; incluyen contribuciones de curvas tropicales "superabundantes" (aquellas con espacios de deformación más grandes de lo esperado) y estratos de frontera que no corresponden a curvas algebraicas reales en el sentido enumerativo. El artículo busca una fórmula explícita que relacione el conteo virtual con el conteo enumerativo, generalizando la relación de Getzler–Pandharipande para $\mathbb{P}^3$ a arbitrarias tresobas toricas relativas a su frontera.

Metodología
El autor emplea un enfoque comparativo utilizando geometría tropical y técnicas de degeneración logarítmica:

• Correspondencia Tropical: El invariante enumerativo $W_{X,\beta}(\phi)$ se computa mediante un teorema de correspondencia tropical (establecido en un trabajo previo con Cela [14]) como una suma ponderada sobre curvas tropicales "bien espaciadas" en $\mathbb{R}^3$. Una curva tropical es bien espaciada si, para cada plano que contiene su circuito, el entorno del circuito no está contenido en el plano, o la curva abandona el plano a través de al menos tres aristas a la distancia mínima.
• Degeneración Logarítmica: El invariante virtual $L_{X,\beta}(\phi)$ se analiza mediante el teorema de descomposición para los invariantes de Gromov–Witten logarítmicos. Este descompone el invariante en una suma sobre tipos tropicales, donde las contribuciones se reducen a contribuciones de vértices mediante degeneraciones expandidas.
• Análisis de Estratificación: El artículo compara los espacios de moduli de mapas estables logarítmicos y curvas logarítmicas bien espaciadas. Identifica que, si bien estos espacios comparten estratos indexados por tipos no superabundantes, difieren significativamente para tipos superabundantes (exceso de dimensión $e(\gamma) > 0$).
• Análisis Caso por Caso de Dimensiones de Exceso: El autor analiza sistemáticamente los tipos tropicales basados en su dimensión de exceso $e(\gamma)$:
  • $e(\gamma) = 0$: Curvas no superabundantes.
  • $e(\gamma) = 1$: Curvas donde el circuito yace en un plano pero el entorno no.
  • $e(\gamma) = 2$: Curvas donde el circuito yace en una línea.
  • $e(\gamma) = 3$: Curvas donde el circuito es contraído a un único vértice de género 1.

Contribuciones Clave y Resultados

1. La Relación de Getzler–Pandharipude Logarítmica (Teorema A):
   El resultado principal establece una fórmula explícita que relaciona los invariantes enumerativos y virtuales:
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$: Un término de corrección que contabiliza curvas tropicales bien espaciadas no rígidas de dimensión de exceso 1. Estas contribuyen al conteo enumerativo pero desaparecen en el conteo logarítmico.
   • $E_0$: Un término de corrección derivado de curvas de género 0. Es una suma ponderada sobre tipos de género 0 $\gamma$ y vértices $v$, que involucra el cuadrado del producto exterior de las direcciones de las aristas ($|u_1 \wedge u_2|^2$) y la multiplicidad tropical $M_\gamma$. Este término explica la diferencia que surge de los vértices de género 1 contraídos a un punto (dimensión de exceso 3).

2. Análisis de Vanecimiento y Contribución:

   • Tipos no superabundantes ($e=0$): Las contribuciones a $W$ y $L$ coinciden.
   • Dimensión de exceso 1 ($e=1$): La contribución logarítmica desaparece (Lema 4.3.1) porque las condiciones de pegado alrededor del lazo se vuelven triviales en la tercera dirección, lo que conduce a una clase virtual evanescente. Sin embargo, las curvas bien espaciadas de este tipo pueden contribuir a $W$.
   • Dimensión de exceso 2 ($e=2$): El artículo muestra que los tipos tropicales rígidos de esta dimensión de exceso (donde el circuito yace en una línea) no contribuyen al conteo bien espaciado a menos que se cumplan condiciones geométricas específicas, mientras que el conteo logarítmico desaparece para estos tipos.
   • Dimensión de exceso 3 ($e=3$): La contribución logarítmica es no nula e igual a $-\frac{1}{24}E_0$. La contribución bien espaciada desaparece porque tales curvas no son bien espaciadas bajo condiciones generales.

3. Desigualdad para $\mathbb{P}^3$ (Corolario B):
   Aplicando el teorema principal a $X = \mathbb{P}^3$, el artículo deriva una desigualdad entre los invariantes ordinarios de Gromov–Witten ($GW^1_{a,b}$) y los invariantes logarítmicos ($L_{a,b}$):
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   La desigualdad es estricta para grados suficientemente grandes, específicamente para $d \geq 3$ cuando se consideran todas las condiciones de línea, o para $d \geq 4$ cuando se consideran todas las condiciones de punto. Esto demuestra que los invariantes de Gromov–Witten ordinarios exceden estrictamente a los invariantes logarítmicos relativos a la frontera torica una vez que el grado es lo suficientemente alto.

4. Marco Computacional:
   El artículo proporciona un método para calcular los términos de corrección utilizando diagramas de piso (floor diagrams).

   • $E_0$ se computa modificando los métodos de diagramas de piso de Brugallé–Mikhalkin para incluir pesos de vértices derivados de la fórmula de $E_0$.
   • Se proporcionan ejemplos para grados bajos ($d=3, 4$) y condiciones específicas, calculando explícitamente la diferencia entre los invariantes.

Significado y Reivindicaciones
El artículo afirma proporcionar un "análogo logarítmico" de la relación de Getzler–Pandharipande para curvas elípticas en $\mathbb{P}^3$, extendiéndolo a todas las tresobas toricas relativas a su frontera torica.

• Unificación: Unifica la teoría de Gromov–Witten logarítmica, los ciclos de doble ramificación superior y la enumeración tropical.
• Realizabilidad: Demuestra cómo la condición de bien espaciado de Speyer, originalmente una herramienta para la realizabilidad, puede usarse para producir fórmulas combinatorias que corrigen los conteos virtuales para obtener enteros enumerativos.
• Independencia: El resultado es independiente de las multiplicidades combinatorias específicas encontradas en el trabajo previo [14]; más bien, se basa en la comparación estructural de los espacios de moduli.
• Limitaciones: El artículo reconoce que, si bien proporciona un marco teórico y fórmulas explícitas para los términos de corrección, encontrar relaciones de recursión eficientes o restricciones de "descomposición de piso" para curvas de género superior en variedades toricas generales sigue siendo un desafío abierto debido a la complejidad de las deformaciones superabundantes.

El trabajo no propone nuevas aplicaciones experimentales, sino que ofrece un puente teórico riguroso entre las geometrías virtual y enumerativa, proporcionando métodos concretos para computar la discrepancia entre ambas en el primer caso no trivial (género 1 en dimensión 3).