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

Sintesi Tecnica: Teoria di Gauge 8d $\mathcal{N}=1$ Topologica: Nuove Omologie di Floer e categorie $A_\infty$ di Manifold di Sei, Cinque e Quattro Dimensioni

Enunciato del Problema
Questo lavoro affronta la derivazione fisica e la categorificazione di varie omologie di Floer e categorie $A_\infty$ matematicamente congetturate e associate a manifold di dimensione quattro, cinque, sei e sette. Nello specifico, mira a fornire prove fisiche per congetture riguardanti:

1. Omologie di Floer di tipo gauge-teoretico: l'omologia di Floer di Donaldson-Thomas (DT) per manifold a sei dimensioni, l'omologia di Floer di Haydys-Witten (HW) per manifold a cinque dimensioni e l'omologia di Floer di istantoni Spin(7) per manifold a sette dimensioni.
2. Omologie iperkähler e simplicetiche: omologie definite da manifold ipercontatti a tre dimensioni e la loro relazione con le omologie di intersezione simplicetiche degli spazi di moduli di istantoni.
3. Categorificazione: la costruzione di categorie $A_\infty$ di tipo Fukaya-Seidel (FS) che categorificano queste omologie di Floer, in particolare per configurazioni su manifold Calabi-Yau (CY) e i loro prodotti.
4. Dualità: l'instaurazione di dualità di tipo Atiyah-Floer tra le omologie di Floer gauge-teoretiche e le omologie di intersezione simplicetiche.

Queste strutture sono state precedentemente congetturate o ipotizzate da Donaldson-Thomas, Donaldson-Segal, Hohloch-Noetzel-Salamon, Salamon, Haydys e Cherkis, ma mancavano di una derivazione fisica unificata.

Metodologia
Gli autori impiegano una teoria di gauge 8d $\mathcal{N}=1$ topologicamente torciata definita su un manifold Spin(7) (un manifold a otto dimensioni con oloonomia Spin(7)). La metodologia centrale prevede:

• Riduzione Dimensionale e Topologica: la teoria 8d è sottoposta a riduzioni di tipo Kaluza-Klein (KK) lungo cerchi ($S^1$) e riduzioni topologiche lungo superfici Calabi-Yau ($CY_2$) per derivare teorie efficaci in dimensioni inferiori (7d, 6d, 5d, 4d).
• Interpretazione come Meccanica Quantistica Supersimmetrica (SQM): le teorie ridotte sono rincasate come modelli SQM 1d in spazi infinite-dimensional di connessioni di gauge o mappe. Le funzioni di partizione di questi SQM sono interpretate come somme su punti critici, realizzando fisicamente i gruppi di omologia di Floer.
• Modelli di Landau-Ginzburg (LG): considerando la teoria su manifold con fattori $\mathbb{R}^2$ (ad esempio, $CY_3 \times \mathbb{R}^2$), gli autori rincasano la teoria come un modello di Landau-Ginzburg 2d con gauge. Ciò permette l'interpretazione della funzione di partizione come una somma di ampiezze di scattering a livello di albero di stringhe di solitoni, realizzando così categorie $A_\infty$.
• Degenerazione di Tyurin: per stabilire le dualità, gli autori eseguono una degenerazione di Tyurin di tripli Calabi-Yau ($CY_3$) lungo una superficie $CY_2$, scindendo il manifold Spin(7) per relazionare le configurazioni gauge-teoretiche con i dati di intersezione simplicetica.

Contributi Chiave e Risultati

1. Nuove Omologie di Floer:

   • Seven-Manifolds: Definita un'omologia di Floer di istantoni Spin(7) per manifold $G_2$. Le catene sono generate da configurazioni di istantoni $G_2$ invarianti rispetto al tempo, e i differenziali sono linee di flusso del gradiente di un funzionale di tipo Chern-Simons. Questo fornisce una prova fisica della congettura di Donaldson-Thomas.
   • Six-Manifolds: Definita un'omologia di Floer di monopoli $G_2$ o lomorfa per Calabi-Yau tripli ($CY_3$). Questa generalizza la congettura di Donaldson-Segal includendo un campo scalare reale non nullo (monopoli Calabi-Yau). Quando lo scalare svanisce, recupera il caso del fascio vettoriale o lomorfo.
   • Five-Manifolds: Definita un'omologia di Floer di Donaldson-Thomas o lomorfa per $CY_2 \times S^1$. Le catene sono generate da configurazioni Haydys-Witten invarianti rispetto al tempo in cui una componente della due-forma auto-duale svanisce.
   • Omologie Iperkähler/Simpletiche: Definite omologie iperkähler specificate da manifold ipercontatti a tre dimensioni ($HC_3$) che mappano nello spazio di moduli di istantoni di $CY_2$. È stato dimostrato che casi speciali ($HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$) sono equivalenti alle omologie di intersezione simplicetiche in spazi di loop tripli, spazi di loop doppi e spazi di cammini di istantoni, rispettivamente.

2. Dualità di Tipo Atiyah-Floer:

   • Stabilita una dualità Atiyah-Floer Spin(7) per $CY_3 \times S^1$, equiparando l'omologia di Floer di istantoni Spin(7) gauge-teoretica con l'omologia di intersezione simplicetica dello spazio di loop doppio di istantoni su $CY_2$.
   • Derivata una dualità Atiyah-Floer 7d-Spin(7) per $CY_3$, relazionando l'omologia di Floer di monopoli $G_2$ o lomorfa all'omologia di intersezione simplicetica dello spazio di loop di istantoni.

3. Categorie $A_\infty$ di Tipo Fukaya-Seidel:

   • Costruita una categoria $A_\infty$ di tipo FS per $CY_3$ (manifold a sei dimensioni) i cui oggetti sono configurazioni DT $\theta$-deformate (fasci vettoriali o lomorfi). I morfismi sono identificati con le classi di omologia di Floer di thimbles intersecanti (solitoni).
   • Costruita una categoria $A_\infty$ di tipo FS per $CY_2 \times S^1$ (manifold a cinque dimensioni) che categorifica le configurazioni HW.
   • Costruita una categoria $A_\infty$ di tipo FS per $CY_2$ (manifold a quattro dimensioni) che categorifica le configurazioni Vafa-Witten (VW).
   • Dimostrato che le funzioni di partizione normalizzate delle rispettive teorie di gauge su $\mathbb{R}^2$ corrispondono a somme di ampiezze di scattering a livello di albero di stringhe di solitoni, definendo le mappe di composizione $A_\infty$.

4. Schema di Categorificazione:

   • Proposto uno schema sistematico in cui le configurazioni su un manifold $M_D$ sono associate a una 0-categoria (omologia di Floer) realizzata da una teoria di gauge su $M_D \times \mathbb{R}$.
   • Questa è categorificata in una 1-categoria (categoria $A_\infty$ di tipo FS) realizzata da una teoria di gauge su $M_D \times \mathbb{R}^2$.
   • Gli autori suggeriscono che ciò si estenda a 2-categorie (di tipo Fueter) tramite teorie di gauge su $M_D \times \mathbb{R}^3$, fornendo una gerarchia di strutture categoriche.

5. Prove Fisiche di Congetture:

   • Fornite prove fisiche per le congetture di Donaldson-Thomas (omologia di Floer di istantoni Spin(7)), Donaldson-Segal (omologia di Floer DT), Cherkis (omologia di Floer reale tramite monopoli ottonici), Hohloch-Noetzel-Salamon (omologia iperkähler), Salamon (analogie Atiyah-Floer), Haydys (categoria $A_\infty$ di tipo FS di fasci vettoriali o lomorfi) e Bousseau (corrispondenza tra categorie Hom di lagrangiani e omologia di Floer di istantoni $G_2$).

Significatività
Il saggio sostiene di fornire un quadro fisico unificato che non solo prova l'esistenza di queste strutture matematicamente congetturate, ma le generalizza anche (ad esempio, tramite $\theta$-deformazioni e campi scalari non nulli). Interpretando le teorie di gauge come SQM e modelli LG, gli autori stabiliscono una "rete di relazioni" che connette invarianti gauge-teoretici, invarianti simplicetici e strutture categoriche superiori. Il lavoro dimostra che l'invarianza topologica nella teoria Spin(7) conduce naturalmente a queste dualità e categorificazioni, offrendo una realizzazione fisica di profonde strutture matematiche nella topologia a bassa dimensione e nella geometria algebrica. I risultati sono presentati come generalizzazioni del lavoro precedente [1] e servono da ponte tra la teoria di gauge ad alta dimensione e la categorificazione delle omologie di Floer.