Landau--Ginzburg mirror symmetry for ADE singularities

Resumo Técnico: Simetria de Espelho de Landau–Ginzburg para Singularidades ADE

Enunciado do Problema
O artigo aborda a conjectura da simetria de espelho de Landau–Ginzburg (LG) para singularidades ADE. Especificamente, busca estabelecer um isomorfismo entre duas teorias matemáticas distintas associadas a uma singularidade quasihomogênea $f$ e um grupo de simetrias diagonais $G$:

1. O lado-B: A "teoria de Saito orbifold" do par $(f, G)$, que generaliza a teoria de formas primitivas de K. Saito para incluir grupos de simetria, resultando em uma variedade de Dubrovin–Frobenius.
2. O lado-A: A teoria Fan–Jarvis–Ruan–Witten (FJRW) do par dual de Berglund–Hübsch–Henningson (BHH) $(\tilde{f}, \tilde{G})$, que constrói uma teoria de campo cohomológico (CohFT) e sua variedade de Dubrovin–Frobenius de gênero zero associada.

Embora a conjectura tenha sido provada anteriormente para singularidades ADE com o grupo de simetria trivial $G=\{id\}$, este trabalho estende a prova para casos específicos onde $G$ é um grupo não trivial de simetrias diagonais. O artigo foca nos pares específicos $(f, G)$ listados na Tabela 1, que representam os grupos de simetria admissíveis não triviais para singularidades ADE em três variáveis, conforme identificado em trabalho anterior [BTW23].

Metodologia
O autor emprega uma estratégia de dois passos para provar a isomorfia de espelho para os grupos de simetria não triviais específicos listados na Tabela 1. A prova baseia-se na classificação de variedades de Dubrovin–Frobenius via o lema de reconstrução (Lema 2.2), que afirma que a estrutura da variedade para singularidades ADE é unicamente determinada pelo emparelhamento, corretores de três pontos e corretores de quatro pontos.

1. Passo (i): Equivalência da Teoria de Saito Orbifold à Teoria de Saito Clássica

   • O artigo utiliza o conceito de "equivalência orbifold" entre pares $(f, G)$ e um polinômio clássico $\bar{f}$ (onde $G$ é trivial). Esta equivalência é estabelecida via uma equivalência de categorias de fatorizações de matrizes, $MF_G(f) \cong MF(\bar{f})$.
   • Ao invocar a invariância de Morita da homologia cíclica negativa e a formulação categórica da teoria de Saito (Teorema 4.3), o autor demonstra que as Variações de Estruturas de Hodge Semi-Infinitas (VSHS) para $(f, G)$ são isomórficas às da teoria de Saito clássica de $\bar{f}$.
   • Consequentemente, a variedade de Dubrovin–Frobenius da teoria de Saito orbifold para $(f, G)$ é isomórfica à teoria de Saito clássica de $\bar{f}$.

2. Passo (ii): Equivalência da Teoria FJRW à Teoria de Saito Clássica

   • O autor calcula a teoria FJRW para os pares duais $(\tilde{f}, \tilde{G})$ caso a caso (correspondendo às entradas na Tabela 1).
   • Os cálculos utilizam o axioma da "soma de singularidades" para decompor polinômios complexos em componentes mais simples (por exemplo, tipos $A_k$ ou $D_k$) cujas teorias FJRW são conhecidas ou mais fáceis de calcular.
   • Para casos envolvendo grupos não triviais onde a decomposição direta é insuficiente, o autor aplica a equação WDVV (Witten–Dijkgraaf–Verlinde–Verlinde) e o axioma de concavidade para calcular corretores de quatro pontos específicos.
   • Ao identificar os vetores primitivos e calcular os corretores necessários, o autor reconstrói a variedade de Dubrovin–Frobenius para cada par dual e mostra que ela é isomórfica à teoria de Saito clássica do correspondente $\bar{f}$.

Resultados Principais
O artigo prova o Teorema 1.1, afirmando que a conjectura de simetria de espelho LG-LG é válida para as singularidades ADE específicas e grupos de simetria não triviais enumerados na Tabela 1. A prova é dividida no Teorema 1.2, que afirma que para cada par $(f, G)$ nesta lista específica:

• (i) A teoria de Saito orbifold de $(f, G)$ é isomórfica à teoria de Saito clássica de um polinômio específico $\bar{f}$.
• (ii) A teoria FJRW do par dual $(\tilde{f}, \tilde{G})$ é isomórfica à mesma teoria de Saito clássica de $\bar{f}$.

Os casos específicos cobertos incluem várias singularidades $A_k$, $D_k$ e $E_6$ com grupos de simetria diagonal não triviais (por exemplo, grupos gerados por elementos como $\frac{1}{2}(0, 1, 1)$ ou $\frac{1}{3}(1, 2, 0)$), conforme detalhado na Tabela 1.

Significância e Alegações
O autor afirma que este trabalho fornece a primeira prova da conjectura de simetria de espelho LG-LG como um isomorfismo de variedades de Dubrovin–Frobenius onde o modelo-B é equipado com um grupo de simetria não trivial, especificamente para os casos listados na Tabela 1.

• Resultados anteriores de Krawitz [K10] estabeleceram o isomorfismo ao nível de espaços vetoriais.
• Trabalho subsequente de Francis et al. [FJJS] estabeleceu o isomorfismo de álgebras de Frobenius.
• Este artigo estende esses resultados para a estrutura geométrica completa da variedade de Dubrovin–Frobenius para grupos não triviais dentro do escopo dos casos enumerados.
• O artigo observa que este é o segundo exemplo conhecido de tal isomorfismo de simetria de espelho com um grupo de modelo-B não trivial, seguindo o trabalho de [BT22].

O autor afirma explicitamente que a teoria de campo cohomológico para a teoria de Saito orbifold não é definida no sentido padrão dentro desta nota, mas pode ser reconstruída via formalismo de Givental, implicando que a simetria de espelho também se mantém ao nível de teorias de campo cohomológico, consistente com os resultados de Teleman. O trabalho depende fortemente da classificação de grupos de simetria admissíveis para singularidades ADE fornecida em [BTW23].