Holomorphic anomaly equations for $\mathbb{C}^5/\mathbb{Z}_5$

Resumo Técnico: Equações de Anomalia Holomórfica para $[\mathbb{C}^5/\mathbb{Z}_5]$

Enunciado do Problema
Este artigo investiga a estrutura dos invariantes de Gromov-Witten $T$-equivariantes para o pilha quociente $[\mathbb{C}^5/\mathbb{Z}_5]$, onde o grupo cíclico $\mathbb{Z}_5$ atua em $\mathbb{C}^5$ via multiplicação pela raiz quinta da unidade. Especificamente, os autores visam estabelecer "equações de anomalia holomórfica" (equações diferenciais) para as funções geradoras (potenciais) desses invariantes, denotadas por $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$, para gênero $g \geq 2$. O estudo opera no âmbito da teoria de Gromov-Witten torcida para pilhas alvo não compactas, utilizando localização virtual para definir os invariantes.

Metodologia
Os autores empregam uma estratégia consistente com a abordagem utilizada em [13] para geometrias semelhantes, baseando-se na semissimplicidade da teoria de gênero 0 subjacente. A metodologia procede através das seguintes etapas:

1. Teorema do Espelho e Construção de Séries: Os autores utilizam o teorema do espelho para $[\mathbb{C}^5/\mathbb{Z}_5]$ (Proposição 1.1), que relaciona a função $J$ à função $I$ através de uma transformação de espelho $T(x)$. A partir da função $I$, eles definem um conjunto de séries de potências formais ($L, C_1, C_2, C_3$) e quantidades derivadas ($X_1, X_2, A_1, A_2, B_i$) que satisfazem relações diferenciais específicas (Equações 1.6–1.11).
2. Estrutura de Frobenius e Semissimplicidade: A teoria de Gromov-Witten de gênero 0 de $[\mathbb{C}^5/\mathbb{Z}_5]$ é mostrada como gerando uma estrutura de Frobenius semissimples na cohomologia de Chen-Ruan $H^*_{T,Orb}([\mathbb{C}^5/\mathbb{Z}_5])$. Isso permite a aplicação da classificação de Givental-Teleman de teorias de campo cohomológicas (CohFTs) semissimples.
3. Matriz R e Equações de Planicidade: Os autores analisam a matriz $R$ associada à estrutura de Frobenius. Ao restringir ao ponto semissimples e utilizar as equações de planicidade (2.5), eles derivam um sistema de "equações de planicidade modificadas" (2.9) para as entradas da matriz $\tilde{P}^k_{i,j}$, que estão relacionadas aos coeficientes da matriz $R$.
4. Levantamento Canônico: Uma etapa técnica crucial envolve o levantamento dos coeficientes $\tilde{P}^k_{i,j}$ do anel de séries de potências formais $\mathbb{C}[[x]]$ para um anel polinomial específico $\mathcal{F} = \mathbb{C}[L^{\pm 1}][A_1, DA_1, D^2A_1, A_2]$. Isso é alcançado através de um procedimento de "levantamento canônico" (Seção 3.1), provando que esses coeficientes residem dentro de $\mathcal{F}$ (Lema 3.1).
5. Expansão Gráfica: Utilizando a classificação de Givental-Teleman, os potenciais de gênero $g$ são expressos como uma soma sobre grafos estáveis decorados (Proposição 4.1). As contribuições de vértices, arestas e pernas são formuladas em termos dos coeficientes levantados.

Principais Contribuições e Resultados
A contribuição primária do artigo é a prova de duas equações diferenciais específicas que governam os potenciais de gênero superior $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$ após a especialização dos parâmetros equivariantes $\lambda_i$ para raízes da unidade (Equação 0.3).

1. Propriedade de Geração Finita (Teorema 4.2): Os autores estabelecem que os potenciais de Gromov-Witten, quando vistos como funções das variáveis no levantamento canônico, pertencem ao anel $\mathcal{F}[C_1, C_2, C_3]$. Especificamente, $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g \in \mathcal{F}$ para $g \geq 2$.
2. Primeira Equação de Anomalia Holomórfica (Teorema 4.6): O artigo prova uma equação diferencial em relação à variável $A_2$:
   $$\frac{C_3}{5L} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial A_2} = \frac{1}{2} \langle\langle \phi_2, \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-1,2} + \frac{1}{2} \sum_{i=1}^{g-1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-i,1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{i,1}$$
   Esta equação relaciona a derivada do potencial de gênero $g$ a potenciais de gênero inferior com inserções específicas. A prova baseia-se na análise da derivada das contribuições de arestas na expansão gráfica (Lema 4.4) e no desaparecimento das derivadas de vértices em relação a $A_2$.
3. Segunda Equação de Anomalia Holomórfica (Teorema 4.7): Os autores provam uma segunda equação diferencial distinta em relação à variável $D^2A_1$:
   $$\frac{C_2^2 C_3}{5L^3} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial (D^2A_1)} = \dots$$
   Esta equação envolve inserções de ancestrais (potências das classes $\psi$) e inclui termos com sinais negativos, distinguindo-a da primeira equação. Os autores notam que, até onde sabem, esta equação específica não possui análogo em estudos anteriores.

Significado e Alegações
O artigo alega que esses resultados fornecem uma descrição completa da estrutura diferencial dos invariantes de Gromov-Witten para $[\mathbb{C}^5/\mathbb{Z}_5]$ em termos das variáveis que surgem do mapa de espelho e da estrutura de Frobenius. Os autores afirmam que sua abordagem confirma a aplicabilidade da classificação de Givental-Teleman a este cenário específico de orbifold não compacto.

O significado do trabalho é enquadrado por sua relação com a literatura existente:

• A primeira equação de anomalia é apresentada como um análogo aos resultados principais de [12] e [13].
• A segunda equação de anomalia é destacada como uma contribuição novel, sem análogo conhecido em estudos anteriores.
• O trabalho é dedicado à memória de Bumsig Kim, sugerindo uma continuação de seus interesses no campo.

Os autores não propõem novas aplicações experimentais nem especulam sobre implicações futuras além do arcabouço matemático das equações de anomalia holomórfica e da classificação de CohFTs. Os resultados são apresentados como provas rigorosas de propriedades estruturais das funções geradoras.