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

Resumo Técnico: Contagem de Curvas Elípticas em Variedades Toricas Tridimensionais: Virtual, Enumerativa e Tropical

Enunciado do Problema
Este artigo aborda a geometria enumerativa de curvas de gênero 1 (elípticas) em variedades toricas suaves $X$. Especificamente, investiga a relação entre dois distintos invariantes de contagem para uma classe de curva fixa $\beta$ e condições de cohomologia $\phi$:

1. Invariantes Enumerativos ($W_{X,\beta}(\phi)$): Contagens inteiras de curvas de gênero 1 que passam por condições fixas de curvas e pontos, definidas via curvas tropicais "bem espaçadas" (well-spaced).
2. Invariantes Virtuais ($L_{X,\beta}(\phi)$): Invariantes de Gromov–Witten logarítmicos associados ao par $(X, \partial X)$, onde $\partial X$ é a fronteira torica.

O problema central é que os invariantes de Gromov–Witten logarítmicos não são, em geral, enumerativos; eles incluem contribuições de curvas tropicais "superabundantes" (aquelas com espaços de deformação maiores do que o esperado) e estratos de fronteira que não correspondem a curvas algébricas reais no sentido enumerativo. O artigo busca uma fórmula explícita que relacione o contagem virtual com a contagem enumerativa, generalizando a relação de Getzler–Pandharipande para $\mathbb{P}^3$ para quaisquer variedades toricas arbitrárias em relação à sua fronteira.

Metodologia
O autor emprega uma abordagem comparativa utilizando geometria tropica e técnicas de degeneração logarítmica:

• Correspondência Tropical: O invariante enumerativo $W_{X,\beta}(\phi)$ é computado via um teorema de correspondência tropical (estabelecido em trabalho anterior com Cela [14]) como uma soma ponderada sobre curvas tropicais "bem espaçadas" em $\mathbb{R}^3$. Uma curva tropical é bem espaçada se, para cada plano contendo seu circuito, a vizinhança do circuito não está contida no plano, ou se a curva deixa o plano através de pelo menos três arestas na distância mínima.
• Degeneração Logarítmica: O invariante virtual $L_{X,\beta}(\phi)$ é analisado usando o teorema de decomposição para invariantes de Gromov–Witten logarítmicos. Isso decompõe o invariante em uma soma sobre tipos tropicais, onde as contribuições são reduzidas a contribuições de vértices via degenerações expandidas.
• Análise de Estratificação: O artigo compara os espaços de moduli de mapas estáveis logarítmicos e curvas logarítmicas bem espaçadas. Identifica-se que, embora esses espaços compartilhem estratos indexados por tipos não-superabundantes, eles diferem significamente para tipos superabundantes (excesso de dimensão $e(\gamma) > 0$).
• Análise Caso a Caso de Excessos de Dimensão: O autor analisa sistematicamente os tipos tropicais baseando-se em sua dimensão de excesso $e(\gamma)$:
  • $e(\gamma) = 0$: Curvas não-superabundantes.
  • $e(\gamma) = 1$: Curvas onde o circuito reside em um plano, mas a vizinhança não.
  • $e(\gamma) = 2$: Curvas onde o circuito reside em uma reta.
  • $e(\gamma) = 3$: Curvas onde o circuito é contraído para um único vértice de gênero 1.

Principais Contribuições e Resultados

1. A Relação Logarítmica de Getzler–Pandharipande (Teorema A):
   O resultado principal estabelece uma fórmula explícita relacionando os invariantes enumerativos e virtuais:
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$: Um termo de correção que contabiliza curvas tropicais de dimensão de excesso 1, não-rígidas e bem espaçadas. Estas contribuem para a contagem enumerativa, mas desaparecem na contagem logarítmica.
   • $E_0$: Um termo de correção derivado de curvas tropicais de gênero 0. É uma soma ponderada sobre tipos de gênero 0 $\gamma$ e vértices $v$, envolvendo o quadrado do produto vetorial das direções das arestas ($|u_1 \wedge u_2|^2$) e a multiplicidade tropical $M_\gamma$. Este termo contabiliza a diferença decorrente de curvas de gênero 1 contraídas a um ponto (dimensão de excesso 3).

2. Análise de Vanishing (Anulação) e Contribuição:

   • Tipos não-superabundantes ($e=0$): As contribuições para $W$ e $L$ coincidem.
   • Dimensão de excesso 1 ($e=1$): A contribuição logarítmica desaparece (Lema 4.3.1) porque as condições de colagem ao redor do laço tornam-se triviais na terceira direção, levando a uma classe virtual nula. No entanto, curvas bem espaçadas deste tipo podem contribuir para $W$.
   • Dimensão de excesso 2 ($e=2$): O artigo mostra que tipos tropicais rígidos desta dimensão de excesso (onde o circuito reside em uma reta) não contribuem para a contagem bem espaçada, a menos que condições geométricas específicas sejam atendidas, enquanto a contagem logarítmica desaparece para estes tipos.
   • Dimensão de excesso 3 ($e=3$): A contribuição logarítmica é não-nula e igual a $-\frac{1}{24}E_0$. A contribuição bem espaçada desaparece porque tais curvas não são bem espaçadas sob condições gerais.

3. Desigualdade para $\mathbb{P}^3$ (Corolário B):
   Aplicando o teorema principal a $X = \mathbb{P}^3$, o artigo deriva uma desigualdade entre os invariantes de Gromov–Witten ordinários ($GW^1_{a,b}$) e os logarítmicos ($L_{a,b}$):
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   A desigualdade é estrita para graus suficientemente grandes, especificamente para $d \geq 3$ ao considerar todas as condições de reta, ou para $d \geq 4$ ao considerar todas as condições de ponto. Isso demonstra que os invariantes de Gromov–Witten ordinários excedem estritamente os invariantes logarítmicos em relação à fronteira torica uma vez que o grau é alto o suficiente.

4. Estrutura Computacional:
   O artigo fornece um método para calcular os termos de correção usando diagramas de piso (floor diagrams):

   • $E_0$ é computado modificando os métodos de diagramas de piso de Brugallé–Mikhalkin para incluir pesos de vértices derivados da fórmula de $E_0$.
   • Exemplos são fornecidos para baixos graus ($d=3, 4$) e condições específicas, calculando explicitamente a diferença entre os invariantes.

Significância e Alegações
O artigo afirma fornecer um "análogo logarítmico" da relação de Getzler–Pandharipande para curvas elípticas em $\mathbb{P}^3$, estendendo-o para todas as variedades toricas tridimensionais em relação à sua fronteira torica.

• Unificação: Unifica a teoria de Gromov–Witten logarítmica, ciclos de dupla ramificação superior e enumeração tropical.
• Realizabilidade: Demonstra como a condição de bem-espaçamento de Speyer, originalmente uma ferramenta para realizabilidade, pode ser usada para produzir fórmulas combinatórias que corrigem contagens virtuais para obter inteiros enumerativos.
• Independência: O resultado é independente das multiplicidades combinatórias específicas encontradas no trabalho anterior [14]; em vez disso, baseia-se na comparação estrutural dos espaços de moduli.
• Limitações: O artigo reconhece que, embora forneça um arcabouço teórico e fórmulas explícitas para os termos de correção, encontrar relações de recursão eficientes ou restrições de "decomposição de piso" para curvas de gênero superior em variedades toricas gerais permanece um desafio aberto devido à complexidade das deformações superabundantes.

O trabalho não propõe novas aplicações experimentais, mas oferece uma ponte teórica rigorosa entre geometrias virtual e enumerativa, fornecendo métodos concretos para computar a discrepância entre elas no primeiro caso não trivial (gênero 1 em dimensão 3).