Open FJRW Theory and Mirror Symmetry

Resumo Técnico de "Open FJRW Theory and Mirror Symmetry"

Problema
O artigo aborda a construção de uma teoria enumerativa aberta para o modelo de Landau-Ginzburg (LG) $(W, G) = (x^r + y^s, \mu_r \times \mu_s)$. Embora a teoria FJRW (Fan-Jarvis-Ruan-Witten) fechada forneça um arcabouço enumerativo robusto para o modelo A de teorias LG, uma teoria aberta correspondente (envolvendo fronteiras) tem sido menos desenvolvida, particularmente para rank $a \geq 2$. Trabalhos anteriores de Buryak, Clader e Tessler estabeleceram a teoria $r$-spin aberta (o caso $a=1$), mas estender isso para ranks superiores apresenta desafios geométricos e combinatórios significativos. Especificamente, os autores visam definir invariantes abertos que satisfaçam um teorema de simetria de espelho relacionando o modelo A aberto ao modelo B (teoria de Saito-Givental) e compreender a dependência desses invariantes em relação às condições de contorno, o que leva a fenômenos de transição de parede (wall-crossing).

Metodologia
Os autores empregam uma abordagem geométrica baseada em espaços de módulos de discos W-spin estáveis, generalizando a construção da teoria $r$-spin aberta.

1. Espaços de Módulos e Estruturas:

   • Eles definem discos W-spin graduados, que são superfícies de Riemann de orbifold de gênero zero com fronteira, equipadas com uma involução anti-holomorfa, feixes spin $S_i$ e dados de twist específicos em pontos marcados e nós.
   • Os espaços de módulos $\mathcal{M}^W_\Gamma$ são construídos como orbifolds reais com cantos, onde $\Gamma$ representa um grafo dual codificando a degeneração do disco (nós, nós de fronteira, nós de fronteira contraídos).
   • Um passo técnico crucial envolve a definição de graduações (elevações dos feixes spin) para impor as condições de contorno necessárias. Isso inclui distinguir entre pontos de fronteira "alternados" e "não alternados" e lidar com "nós de fronteira contraídos".

2. Feixes de Witten e Invariantes:

   • Os invariantes são definidos como integrais de multisseções do feixe de descendentes de Witten $E_\Gamma(d)$ sobre o espaço de módulos. O feixe é uma soma direta dos feixes de Witten $W_i$ (relacionados a $H^1(C, S_i)^\vee$) e feixes de descendentes $L_i$.
   • Como os espaços de módulos possuem cantos, os invariantes não são simplesmente classes de Euler. Em vez disso, são definidos como a contagem com sinal dos zeros de multisseções que satisfazem condições de contorno específicas.
   • Os autores introduzem uma noção de positividade para multisseções ao longo de certas camadas de fronteira (especificamente aquelas correspondentes a nós de fronteira "positivos"). Isso garante que as multisseções sejam não nulas nessas camadas, permitindo uma classe de Euler relativa bem definida.

3. Estrutura Indutiva e Famílias Canônicas:

   • Para definir um sistema consistente de invariantes em todos os espaços de módulos, os autores constroem famílias de multisseções canônicas. Elas são definidas indutivamente: as condições de contorno em uma camada correspondente a uma degeneração em dois discos são determinadas pelo pullback de multisseções dos espaços de módulos dos componentes normalizados.
   • Esta estrutura indutiva é essencial para estabelecer relações entre invariantes, como a recursão topológica.

4. Transição de Parede e o Grupo de Transição de Parede de Landau-Ginzburg:

   • Os autores identificam que a escolha das condições de contorno não é única. Diferentes escolhas levam a diferentes sistemas de invariantes.
   • Eles definem um grupo de transição de parede de Landau-Gengburg ($G_{r,s}^{AI,sym}$), um subgrupo de automorfismos do espaço de parâmetros do potencial. Este grupo age no conjunto de todos os possíveis sistemas de invariantes abertos.
   • A ação é mostrada como sendo fiel e transitiva, o que significa que quaisquer dois sistemas válidos de invariantes estão relacionados por um elemento deste grupo. Este grupo é gerado por transformações associadas a camadas de fronteira "críticas", onde a dimensão do espaço de módulos cai em um em relação ao rank do feixe.

5. Simetria de Espelho e Recursão Topológica:

   • Usando um sistema de invariantes abertos, os autores constroem uma perturbação $W^{\nu, sym}$ do potencial $W = x^r + y^s$.
   • Eles provam que as integrais oscilatórias de $e^{W^{\nu, sym}/\hbar}$ produzem funções geratrizes para invariantes FJRW estendidos fechados.
   • Crucialmente, eles estabelecem a Recursão Topológica Aberta. Ao contrário do caso fechado ou do caso $r$-spin, a recursão não se mantém para um único invariante aberto, mas para combinações polinomiais específicas de invariantes (denotadas $A(I, d)$). Isso é necessário devido ao fenômeno de transição de parede.

Principais Contribuições e Resultados

• Construção de Invariantes FJRW Abertos: O artigo constrói com sucesso invariantes FJRW abertos para o modelo de Fermat LG de rank-2 $(x^r + y^s, \mu_r \times \mu_s)$. Eles são definidos como integrais de multisseções sobre orbifolds reais com cantos.
• Existência de Famílias Canônicas: O Teorema 0.1 estabelece a existência de famílias de multisseções transversais canônicas, e suas versões simétricas, provando que os invariantes abertos existem.
• Grupo de Transição de Parede: O artigo identifica e caracteriza o grupo de transição de parede de LG. Ele prova que este grupo age transitivamente sobre o conjunto de todos os possíveis sistemas de invariantes abertos (Teorema 0.7). Isso fornece uma classificação completa da ambiguidade na definição de invariantes abertos.
• Teorema de Simetria de Espelho Aberta: O Teorema 0.3 prova um teorema de simetria de espelho LG/LG aberta. Ele afirma que, se os invariantes abertos forem usados para construir o potencial deformado $W^{\nu, sym}$, as integrais oscilatórias resultantes geram os invariantes FJRW estendidos fechados com descendentes. Isso estabelece um link direto entre o modelo A aberto e o modelo B fechado sem depender de construções combinatórias como a dualidade Berglund-Hübsch.
• Recursão Topológica Aberta: O Teorema 0.5 estabelece uma nova forma de recursão topológica. Devido à transição de parede, a recursão relaciona polinômios de invariantes abertos em vez de um único invariante. Esta recursão é a ferramenta chave usada para provar o teorema de simetria de espelho.
• Correspondência Aberto-Fechado: O Corolário 0.6 fornece uma correspondência precisa ligando polinômios de invariantes abertos a invariantes estendidos fechados.

Significância e Alegações
Os autores alegam que este trabalho fornece a primeira teoria enumerativa aberta para um modelo de Landau-Giring em dimensão dois (rank $a=2$) com todos os descendentes.

• Naturalidade Geométrica: A construção baseia-se em condições de contorno geométricas (positividade) em vez de escolhas ad-hoc, permitindo um "ajuste" (matching) dos modelos A e B "na mosca".
• Resolução da Ambiguidade: Ao introduzir o grupo de transição de parede, o artigo esclarece que a não unicidade dos invariantes abertos é uma característica estrutural governada por uma ação de grupo específica, e não um defeito na teoria.
• Generalização de Trabalhos Anteriores: A teoria generaliza a teoria $r$-spin aberta de Buryak, Clader e Tessler para o caso W-spin, enquanto destaca novos recursos (como a necessidade de recursões polinomiais) que surgem em ranks mais altos.
• Simetria de Espelho: O artigo demonstra que invariantes do tipo Gromov-Witten abertos (no contexto de LG) naturalmente geram o potencial espelho, estendendo a filosofia de Cho-Oh, Gross e Fukaya-Oh-Ohta-Ono para modelos de Landau-Ginzburg.

O artigo não pretende resolver o problema para potenciais arbitrários ou ranks mais altos imediatamente, mas estabelece o arcabouço e prova os resultados para o caso específico de polinômios de Fermat em duas variáveis. Observa-se que para singularidades simples (casos específicos de $r, s$) sem descendentes, os invariantes são bem definidos (sem transição de parede), mas a transição de parede é inevitável quando os descendentes são incluídos.