Topological 8d $\mathcal{N}=1$ Gauge Theory: Novel Floer Homologies, and $A_\infty$-categories of Six, Five, and Four-Manifolds

Resumo Técnico: Teoria de Gauge 8d $N=1$ Topológica: Novas Homologias de Floer e Categorias $A_\infty$ de Variedades de Seis, Cinco e Quatro Dimensões

Enunciado do Problema
Este trabalho aborda a derivação física e a categorificação de várias homologias de Floer e categorias $A_\infty$ matematicamente conjecturadas e associadas a variedades de dimensões quatro, cinco, seis e sete. Especificamente, busca fornecer provas físicas para conjecturas relativas a:

1. Homologias de Floer de teoria de gauge: Homologia de Floer de Donaldson-Thomas (DT) de seis-variedades, homologia de Floer de Haydys-Witten (HW) de cinco-variedades e homologia de Floer de instanton Spin(7) de sete-variedades.
2. Homologias hiper-Kähler e simpléticas: Homologias definidas por três-variedades hipercontato e sua relação com homologias de interseção simplética de espaços de moduli de instantons.
3. Categorificação: A construção de categorias $A_\infty$ do tipo Fukaya-Seidel (FS) que categorificam essas homologias de Floer, particularmente para configurações em variedades de Calabi-Yau (CY) e seus produtos.
4. Dualidades: O estabelecimento de dualidades do tipo Atiyah-Floer entre homologias de Floer de teoria de gauge e homologias de interseção simplética.

Estas estruturas foram previamente conjecturadas ou especuladas por Donaldson-Thomas, Donaldson-Segal, Hohloch-Noetzel-Salamon, Salamon, Haydys e Cherkis, mas careciam de uma derivação física unificada.

Metodologia
Os autores empregam uma teoria de gauge 8d $N=1$ topologicamente torcida definida em uma variedade Spin(7) (uma variedade de oito dimensões com holonomia Spin(7)). A metodologia central envolve:

• Redução Dimensional e Topológica: A teoria 8d é submetida a reduções de Kaluza-Klein (KK) ao longo de círculos ($S^1$) e reduções topológicas ao longo de superfícies de Calabi-Yau ($CY_2$) para derivar teorias efetivas em dimensões inferiores (7d, 6d, 5d, 4d).
• Interpretação por Mecânica Quântica Supersimétrica (SQM): As teorias reduzidas são recasadas como modelos SQM 1d em espaços infinitos-dimensionais de conexões de gauge ou mapas. As funções de partição desses SQMs são interpretadas como somas sobre pontos críticos, realizando fisicamente os grupos de homologia de Floer.
• Modelos de Landau-Ginzburg (LG): Ao considerar a teoria em variedades com fatores $\mathbb{R}^2$ (ex: $CY_3 \times \mathbb{R}^2$), os autores recasam a teoria como um modelo de Landau-Ginzburg com gauge 2d. Isso permite a interpretação da função de partição como uma soma sobre amplitudes de espalhamento de nível de árvore de cordas de sólitons, realizando assim categorias $A_\infty$.
• Degeneração de Tyurin: Para estabelecer dualidades, os autores realizam uma degeneração de Tyurin de trios de Calabi-Yau ($CY_3$) ao longo de uma superfície $CY_2$, dividindo a variedade Spin(7) para relacionar configurações de teoria de gauge com dados de interseção simplética.

Principais Contribuições e Resultados

1. Novas Homologias de Floer:

   • Sete-Variedades: Definida uma homologia de Floer de instanton Spin(7) para variedades $G_2$. As cadeias são geradas por configurações de instanton $G_2$ invariantes no tempo, e os diferenciais são linhas de fluxo do gradiente de um funcional do tipo Chern-Simons. Isso fornece uma prova física da conjectura de Donaldson-Thomas.
   • Seis-Variedades: Definida uma homologia de Floer de monopolo holomorphic $G_2$ para Calabi-Yau trios ($CY_3$). Esta generaliza a conjectura de Donaldson-Segal ao incluir um campo escalar real não nulo (monopolos de Calabi-Yau). Quando o escalar se anula, recupera o caso de fibrados vetoriais holomorfos.
   • Cinco-Variedades: Definida uma homologia de Floer de Donaldson-Thomas holomorphic para $CY_2 \times S^1$. As cadeias são geradas por configurações de Haydys-Witten invariantes no tempo onde uma componente da forma dois autoduais se anula.
   • Homologias Hiper-Kähler/Simpléticas: Definidas homologias hiper-Kähler especificadas por três-variedades hipercontato ($HC_3$) mapeando para o espaço de moduli de instanton de $CY_2$. Casos especiais ($HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$) foram mostrados como equivalentes a homologias de interseção simplética em espaços de loops triplos, espaços de loops duplos e espaços de caminhos de instantons, respectivamente.

2. Dualidades do Tipo Atiyah-Floer:

   • Estabelecida uma dualidade Atiyah-Floer Spin(7) para $CY_3 \times S^1$, equiparando a homologia de Floer de instanton Spin(7) de gauge com a homologia de interseção simplética do espaço de loops duplo de instantons em $CY_2$.
   • Derivada uma dualidade Atiyah-Floer 7d-Spin(7) para $CY_3$, relacionando a homologia de monopolo holomorphic $G_2$ à homologia de interseção simplética do espaço de loops de instantons.

3. Categorias $A_\infty$ do Tipo Fukaya-Seidel:

   • Construída uma categoria $A_\infty$ do tipo FS para $CY_3$ (seis-variedades) cujos objetos são configurações DT $\theta$-deformadas (fibrados vetoriais holomorfos). Os morfismos são identificados com classes de homologia de Floer de colimites (thimbles) intersectantes (sólitons).
   • Construída uma categoria $A_\infty$ do tipo FS para $CY_2 \times S^1$ (cinco-variedades) categorificando configurações HW.
   • Construída uma categoria $A_\infty$ do tipo FS para $CY_2$ (quatro-variedades) categorificando configurações de Vafa-Witten (VW).
   • Demonstrado que as funções de partição normalizadas das respectivas teorias de gauge em $\mathbb{R}^2$ correspondem a somas sobre amplitudes de espalhamento de nível de árvore de cordas de sólitons, definindo os mapas de composição $A_\infty$.

4. Esquema de Categorificação:

   • Proposto um esquema sistemático onde configurações em uma $D$-variedade $M_D$ são associadas a uma 0-categoria (homologia de Floer) realizada por uma teoria de gauge em $M_D \times \mathbb{R}$.
   • Isto é categorificado para uma 1-categoria (categoria $A_\infty$ do tipo FS) realizada por uma teoria de gauge em $M_D \times \mathbb{R}^2$.
   • Os autores sugerem que isto se estende a 2-categorias (tipo Fueter) via teorias de gauge em $M_D \times \mathbb{R}^3$, fornecendo uma hierarquia de estruturas categoriais.

5. Provas Físicas de Conjecturas:

   • Forneceram provas físicas para conjecturas de Donaldson-Thomas (homologia de Floer de instanton Spin(7)), Donaldson-Segal (homologia de Floer DT), Cherkis (homologia de Floer real via monopolos octonicos), Hohloch-Noetzel-Salamon (homologia hiper-Kähler), Salamon (analogias Atiyah-Floer) e Bousseau (correspondência entre categorias de Hom de lagrangianos e homologia de Floer de instanton $G_2$).

Significância
O artigo afirma fornecer um arcabouço físico unificado que não apenas prova a existência destas estruturas matematicamente conjecturadas, mas também as generaliza (ex: via $\theta$-deformações e campos escalares não nulos). Ao interpretar teorias de gauge como SQMs e modelos LG, os autores estabelecem uma "teia de relações" conectando invariantes de gauge, invariantes simpléticos e estruturas categoriais superiores. O trabalho demonstra que a invariância topológica em teoria Spin(7) naturalmente leva a estas dualidades e categorificações, oferecendo uma realização física de estruturas matemáticas profundas em topologia de baixa dimensão e geometria algébrica. Os resultados são apresentados como generalizações do trabalho anterior [1] e servem como uma ponte entre teoria de gauge de alta dimensão e a categorificação de homologias de Floer.