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

Technische Samenvatting: Topologische 8d N = 1 Gauge-theorie: Nieuwe Floer-homologieën en $A_\infty$-categorieën van zes-, vijf- en vier-manifolds

Probleemstelling
Dit werk behandelt de fysieke afleiding en categorificatie van diverse wiskundig geconjectureerde Floer-homologieën en $A_\infty$-categorieën geassocieerd met manifolds van dimensies vier, vijf, zes en zeven. Specifiek wordt gezocht naar fysieke bewijzen voor conjecturen met betrekking tot:

1. Gauge-theoretische Floer-homologieën: Donaldson-Thomas (DT) Floer-homologie van zes-manifolds, Haydys-Witten (HW) Floer-homologie van vijf-manifolds, en Spin(7) instanton Floer-homologie van zeven-manifolds.
2. Hyperkähler en Symplectische Floer-homologieën: Homologieën gedefinieerd door hypercontact drie-manifolds en hun relatie tot de symplectische intersectie-Floer-homologieën van instanton-moduli ruimten.
3. Categorificatie: De constructie van Fukaya-Seidel (FS) type $A_\infty$-categorieën die deze Floer-homologieën categorificeren, met name voor configuraties op Calabi-Yau (CY) manifolds en hun producten.
4. Dualiteiten: Het vestigen van Atiyah-Floer type dualiteiten tussen gauge-theoretische Floer-homologieën en symplectische intersectie-Floer-homologieën.

Deze structuren waren voorheen geconjectureerd of gespeculeerd door Donaldson-Thomas, Donaldson-Segal, Hohloch-Noetzel-Salamon, Salamon, Haydys, Cherkis en Bousseau, maar misten een verenigde fysieke afleiding.

Methodologie
De auteurs maken gebruik van een topologisch getwiste 8d $N=1$ gauge-theorie gedefinieerd op een Spin(7)-manifold (een acht-manifold met Spin(7) holonomie). De kernmethodologie omvat:

• Dimensionale en Topologische Reductie: De 8d theorie wordt onderworpen aan Kaluza-Klein (KK) reducties langs cirkels ($S^1$) en topologische reducties langs Calabi-Yau oppervlakken ($CY_2$) om effectieve theorieën in lagere dimensies (7d, 6d, 5d, 4d) af te leiden.
• Interpretatie als Supersymmetrische Kwantummechanica (SQM): De gereduceerde theorieën worden geherformuleerd als 1d SQM-modellen in oneindig-dimensionale ruimten van gauge-verbindingen of afbeeldingen. De partitiefuncties van deze SQM's worden geïnterpreteerd als sommen over kritieke punten, wat de Floer-homologiegroepen fysiek realiseert.
• Landau-Ginzburg (LG) Modellen: Door de theorie te beschouwen op manifolds met $\mathbb{R}^2$-factoren (bijv. $CY_3 \times \mathbb{R}^2$), herformuleren de auteurs de theorie als een 2d gegauze Landau-Ginzburg model. Dit maakt het mogelijk om de partitiefunctie te interpreteren als een som over tree-level verstrooiingsamplitudes van soliton-snaren, waarmee $A_\infty$-categorieën worden gerealiseerd.
• Tyurin Degeneratie: Om dualiteiten vast te stellen, voeren de auteurs een Tyurin-degeneratie uit van Calabi-Yau driedimensionale manifolds ($CY_3$) langs een $CY_2$ oppervlak, waarbij de Spin(7)-manifold wordt gesplitst om gauge-theoretische configuraties te relateren aan symplectische intersectie-data.

Belangrijkste Bijdragen en Resultaten

1. Nieuwe Floer-homologieën:

   • Zeven-manifolds: Definieerde een Spin(7) instanton Floer-homologie voor $G_2$-manifolds. De ketens worden gegenereerd door tijd-invariante $G_2$ instanton-configuraties, en de differentiaal wordt gevormd door de gradiëntstroom van een Chern-Simons-type functionaal. Dit biedt een fysiek bewijs voor de Donaldson-Thomas conjectuur.
   • Zes-manifolds: Definieerde een holomorfe $G_2$ monopole Floer-homologie voor Calabi-Yau driedimensionale manifolds ($CY_3$). Dit generaliseert de Donaldson-Segal conjectuur door een niet-nul reëel scalaire veld toe te voegen (Calabi-Yau monopolen). Wanneer het scalaire veld verdwijnt, herstelt het de gevallen van holomorfe vectorbundels.
   • Vijf-manifolds: Definieerde een holomorfe Donaldson-Thomas Floer-homologie voor $CY_2 \times S^1$. De ketens worden gegenereerd door tijd-invariante Haydys-Witten configuraties waarbij één component van de zelf-duale twee-vorm verdwijnt.
   • Hyperkähler/Symplectische Homologieën: Definieerde hyperkähler Floer-homologieën gespecificeerd door hypercontact drie-manifolds ($HC_3$) die mappen naar de instanton-moduli ruimte van $CY_2$. Specifieke gevallen ($HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$) werden aangetoond equivalent te zijn aan symplectische Floer-homologieën in triple loop spaces, double loop spaces, en padruimten van instantons, respectievelijk.

2. Atiyah-Floer Type Dualiteiten:

   • Vestigde een Spin(7) Atiyah-Floer dualiteit voor $CY_3 \times S^1$, waarbij de gauge-theoretische Spin(7) instanton Floer-homologie gelijk wordt gesteld aan de symplectische intersectie-Floer-homologie van de double loop space van instantons op $CY_2$.
   • Leidde een 7d-Spin(7) Atiyah-Floer dualiteit af voor $CY_3$, die de holomorfe $G_2$ monopole Floer-homologie relateert aan de symplectische intersectie-Floer-homologie van de loop space van instantons.

3. Fukaya-Seidel Type $A_\infty$-categorieën:

   • Construeerde een FS type $A_\infty$-categorie voor $CY_3$ (zes-manifolds) waarvan de objecten $\theta$-gedeformeerde DT-configuraties (holomorfe vectorbundels) zijn. De morfismen worden geïdentificeerd met Floer-homologie klassen van snijdende thimbles (solitonen).
   • Construeerde een FS type $A_\infty$-categorie voor $CY_2 \times S^1$ (vijf-manifolds) die HW-configuraties categorificeert.
   • Construeerde een FS type $A_\infty$-categorie voor $CY_2$ (vier-manifolds) die VW-configuraties categorificeert.
   • Toonde aan dat de genormaliseerde partitiefuncties van de respectieve gauge-theorieën op $\mathbb{R}^2$ overeenkomen met sommen over tree-level verstrooiingsamplitudes van soliton-snaren, wat de $A_\infty$ compositie-afbeeldingen definieert.

4. Categorificatieschema:

   • Stelde een systematisch schema voor waarbij configuraties op een $D$-manifold $M_D$ geassocieerd worden met een 0-categorie (Floer-homologie) gerealiseerd door een gauge-theorie op $M_D \times \mathbb{R}$.
   • Dit wordt gecategorificeerd naar een 1-categorie (FS type $A_\infty$-categorie) gerealiseerd door een gauge-theorie op $M_D \times \mathbb{R}^2$.
   • De auteurs suggereren dat dit uitbreidt naar 2-categorieën (Fueter type) via gauge-theorieën op $M_D \times \mathbb{R}^3$, wat een hiërarchie van categorische structuren biedt.

5. Fysieke Bewijzen van Conjecturen:

   • Leverde fysieke bewijzen voor dejecturen van Donaldson-Thomas (Spin(7) instanton Floer-homologie), Donaldson-Segal (DT Floer-homologie), Cherkis (reële Floer-homologie via octonione monopolen), Hohloch-Noetzel-Salamon (hyperkähler Floer-homologie), Salamon (Atiyah-Floer analogieën), Haydys (FS $A_\infty$-categorie van holomorfe vectorbundels), en Bousseau (correspondentie tussen Hom-categorieën van Lagrangia en $G_2$ instanton Floer-homologie).

Betekenis
Het artikel beweert een verenigd fysiek kader te bieden dat niet alleen het bestaan van deze wiskundig geconjectureerde structuren bewijst, maar ze ook generaliseert (bijv. via $\theta$-deformaties en niet-nul scalaire velden). Door gauge-theorieën te interpreteren als SQM's en LG-modellen, vestigen de auteurs een "web van relaties" die gauge-theoretische invarianten, symplectische invarianten en hogere categorische structuren verbindt. Het werk demonstreert dat topologische invariantie in Spin(7) theorie natuurlijk leidt tot deze dualiteiten en categorificaties, en biedt een fysieke realisatie van diepe wiskundige structuren in laag-dimensionale topologie en algebraïsche meetkunde. De resultaten worden gepresenteerd als generalisaties van eerder werk [1] en dienen als een brug tussen hoog-dimensionale gauge-theorie en de categorificatie van Floer-homologieën.