Enumerative Geometry and Tree-Level Gromov--Witten Invariants

Resumo Técnico: Geometria Enumerativa e Invariantes de Gromov-Witten de Nível de Árvore

Enunciado do Problema
O artigo aborda o problema de enumerar curvas racionais de um grau específico $d$ que passam por um número fixo de pontos em posição geral dentro de variedades algébricas, focando especificamente em $\mathbb{P}^1$, $\mathbb{P}^2$ e superfícies de Riemann de gênero $g > 0$. Um desafio central neste campo é o cálculo de invariantes de Gromov-Witten (GW), que contam essas curvas. Enquanto a geometria enumerativa clássica forneceu respostas para casos de baixo grau (por exemplo, as 27 linhas em uma superfície cúbica), contagens de graus mais elevados (como o número de curvas racionais de grau $d$ através de $3d-1$ pontos em $\mathbb{P}^2$) requerem um aparato sofisticado. O artigo busca fornecer um embasamento autossuficiente e um arcabouço computacional para esses invariantes de "nível de árvore" (gênero 0), recuperando fórmulas recursivas conhecidas e demonstrando técnicas de cálculo através de diferentes abordagens matemáticas.

Metodologia
Os autores empregam uma abordagem multifacetada, integrando topologia diferencial, cohomologia equivariante, geometria algébrica e geometria tropical:

1. Cohomologia Equivariante e Localização: O artigo utiliza a fórmula de localização de Atiyah-Bott. Ao considerar uma ação de toro ($\mathbb{T}$) em uma variedade $X$, integrais de classes de cohomologia equivariante sobre o espaço de módulos são reduzidas a somas sobre os loci fixos de $\mathbb{T}$. Este método é aplicado a problemas clássicos, como a contagem de linhas em superfícies cúbicas e tríades quínticas, através do cálculo das classes de Chern superiores de fibrados vetoriais sobre Grassmannianas.
2. Mapas Estáveis e Espaços de Módulos: A definição de invariantes de GW fundamenta-se na teoria dos mapas estáveis de Kontsevich. Os autores definem o espaço de módulos $\overline{\mathcal{M}}_{g,n}(X, \beta)$ de mapas estáveis de gênero $g$ com $n$ pontos marcados para uma variedade $X$ na classe de homologia $\beta$. Os invariantes são definidos como integrais de classes de cohomologia sobre este espaço.
3. Cohomologia Quântica e Potenciais: O artigo constrói o potencial de Gromov-Witten $\Phi(\gamma)$, uma função geradora para os invariantes de GW. Utilizando as equações de Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) (associatividade do produto quântico), os autores derivam relações recursivas para os invariantes.
4. Abordagens de Teoria de Quivers e Simetria de Espelho: A Seção 6 adapta o método de teoria de quivers de Kalashnikov para computar a função-$J$ pequena de Givental para variedades de flag de quivers Fano (especificamente $\mathbb{P}^1$). Isso envolve a construção de uma função-$I$ no espelho e a aplicação de uma mudança de coordenadas para recuperar o potencial de GW.
5. Geometria Tropical: A Seção 7 introduz a abordagem tropical de Mikhalkin, onde os invariantes de GW para $\mathbb{P}^2$ são computados através da enumeração de caminhos de rede $\lambda$-crescentes em polígonos de Newton, ponderados por multiplicidades específicas derivadas de algoritmos recursivos.

Principais Contribuições e Resultados

• Recuperação de Resultados Clássicos: O artigo fornece um argumento detalhado de classes de Chern e uma prova baseada em localização para a existência de exatamente 27 linhas em uma superfície cúbica não singular e 2875 linhas em uma tríade quíntica genérica.
• Derivação da Fórmula de Kontsevich-Manin: Um resultado primário é a recuperação da fórmula recursiva de Kontsevich-Manin para $N_d$, o número de curvas racionais de grau $d$ através de $3d-1$ pontos em $\mathbb{P}^2$. Ao calcular as terceiras derivadas do potencial de Gromov-Witten para $\mathbb{P}^2$ e aplicar as equações WDVV, os autores derivam:
  $$N_d = \sum_{d_1+d_2=d, d_1,d_2>0} N_{d_1}N_{d_2} \left[ \binom{3d-4}{3d_1-2} d_1^2 d_2^2 - \binom{3d-4}{3d_1-1} d_1^3 d_2 \right]$$
  Usando a condição inicial $N_1=1$, obtém-se $N_2=1$ e $N_3=12$.
• Potenciais Explícitos para $\mathbb{P}^1$ e Superfícies de Gênero $g$:
  • Para $\mathbb{P}^1$, os autores constroem explicitamente os anéis de cohomologia quântica pequena e grande e o potencial de GW $\Phi(\gamma) = \frac{1}{2}t_0^2 t_1 + e^{t_1}q$.
  • Para uma superfície de Riemann de gênero $g > 0$, $\Sigma_g$, o artigo observa que, como todos os mapas não constantes de $\mathbb{P}^1$ são impossíveis, os invariantes restringem-se a mapas constantes ($\beta=0$). O potencial resultante é $\Phi(\gamma) = \frac{1}{2}t_0^2 t_2 - \sum_{j=1}^g t_0 t_{2j-1} t_{2j}$, e o produto quântico coincide com o produto cup clássico.
• Verificação por Quivers e Geometria Tropical: O artigo demonstra como recuperar o potencial de gênero 0 para $\mathbb{P}^1$ a partir da função-$J$ de Kalashnikov via convenções de simetria de espelho. Além disso, ilustra o método de contagem tropical para $\mathbb{P}^2$, mostrando como as multiplicidades de caminhos de rede no polígono de Newton $\Delta_3$ somam o invariante conhecido $N_3=12$.

Significância e Escopo
O artigo posiciona-se como um trabalho expositivo destinado a "elucidar alguns exemplos historicamente significativos" e "capacitar o leitor a realizar exemplos". Ele afirma explicitamente que não pretende substituir compêndios abrangentes de Kontsevich-Manin, Behrend-Manin ou Fulton-Pandharipande. Em vez disso, sua significância reside em:

1. Fornecer um embasamento unificado em topologia diferencial e cohomologia equivariante necessário para calcular características de Euler e localização.
2. Oferecer uma derivação passo a passo da recursão de Kontsevich-Manin para $\mathbb{P}^2$ a partir das equações WDVV.
3. Demonstrar a consistência de diferentes estruturas computacionais (classes de Chern, localização, cohomologia quântica, métodos de quivers e geometria tropical) ao chegarem aos mesmos resultados enumerativos.

Os autores enfatizam que os invariantes de GW de nível de árvore podem ser computados como somas sobre árvores a partir de loci fixos de toro, aproveitando a força dos argumentos de localização em cohomologia equivariante. O trabalho serve como uma ponte entre a geometria enumerativa clássica e a moderna teoria de Gromov-Witten, focando na mecânica do cálculo em vez de propor novas conjecturas teóricas.