⚛️ high-energy theory

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

This paper utilizes a topologically-twisted 8d $\mathcal{N}=1$ gauge theory on Spin(7)-manifolds to construct novel gauge-theoretic Floer homologies and categorifying $A_\infty$ -categories for manifolds of dimensions two through seven, thereby providing physical proofs and generalizations of long-standing conjectures in Donaldson-Thomas theory and related fields.

Original authors: Arif Er, Meng-Chwan Tan

Published 2026-06-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Arif Er, Meng-Chwan Tan

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, multi-layered cake. In this paper, the authors are studying a very specific, high-dimensional slice of that cake: an 8-dimensional world governed by a set of rules called "Spin(7) gauge theory."

Think of this 8D world as a massive, complex machine. The authors' goal is to understand what happens when we "slice" this machine in different ways to reveal hidden patterns in the smaller, lower-dimensional pieces (7D, 6D, 5D, and 4D worlds).

Here is the breakdown of their journey, using simple analogies:

1. The Big Machine (The 8D Theory)

The authors start with a theoretical machine running in 8 dimensions. This machine has a special property: it is "topological," meaning its behavior depends on the shape of the space it lives in, not on the specific distances or sizes. It's like a knot; you can stretch the string, but the knot remains the same.

The machine's "engine" is driven by a specific equation (the Spin(7) instanton equation). The authors want to see what happens when they turn this machine down to lower dimensions, like peeling an onion layer by layer.

2. Peeling the Onion: Discovering New "Floer Homologies"

When they shrink one dimension of the 8D machine, they land in a 7D world. Here, they discover a new way to count and classify shapes, which they call a "Spin(7) instanton Floer homology."

The Analogy: Imagine you have a complex 7D sculpture. To understand it, you don't just look at it; you watch how water flows over it. The "Floer homology" is like a map of all the possible paths the water can take. The authors prove that this map exists and is generated by specific stable shapes called "G2 instantons."

They repeat this process:

Shrink another dimension (6D): They find a "Holomorphic Floer homology" related to Donaldson-Thomas configurations. Think of this as finding a new type of map for a 6D landscape, where the paths are guided by complex, mathematical "holomorphic" rules.
Shrink again (5D): They find another map for a 5D world, related to Haydys-Witten configurations.
Shrink again (4D): They find maps for 4D worlds, related to Vafa-Witten configurations.

The Big Claim: The authors provide a "physical proof" for several mathematical conjectures made by famous mathematicians (like Donaldson, Thomas, and Salamon). They showed that these mathematical maps aren't just abstract ideas; they are real physical phenomena that emerge naturally when you run this 8D machine.

3. The "Atiyah-Floer" Bridge

One of the most exciting parts of the paper is the discovery of a bridge between two different ways of looking at the same thing.

Side A: The "Gauge-theoretic" maps (the ones generated by the machine's internal engine).
Side B: The "Symplectic" maps (which come from a different branch of math involving geometry and intersections, like how two roads cross).

The authors show that for certain shapes (like a 6D space made of a 4D surface and a circle), Side A and Side B are actually the same thing.

The Analogy: It's like realizing that a recipe written in French (Side A) and a recipe written in Japanese (Side B) describe the exact same cake. Even though the ingredients and instructions look different, they produce the same result. This is called an "Atiyah-Floer duality."

4. Upgrading from Maps to "Categories" (The A∞-Categories)

So far, the authors have been making "maps" (Floer homologies). But in the second half of the paper, they do something even more powerful: they upgrade these maps into "Categories."

The Analogy:
- A Map (Homology) tells you where the stable shapes are.
- A Category (A∞-category) tells you not just where they are, but how they talk to each other. It's like upgrading a static map of a city to a dynamic GPS system that shows you all the possible routes, traffic patterns, and how one street connects to another.

They show that by adding a second "time" dimension to their 8D machine (turning it into a 2D model), the resulting "solitons" (stable wave-like particles) act like messenger strings.

These strings connect different stable shapes.
The way these strings scatter and interact creates a complex web of rules (an $A_\infty$ -category).
This web "categorifies" the previous maps. In simple terms, the map is the list of cities; the category is the entire transportation network connecting them.

5. The Grand Web of Relations

Finally, the authors draw a giant "web" (Figure 9 and 10 in the paper) that connects all these discoveries.

They show how the 7D, 6D, 5D, and 4D maps are all connected to each other through the process of shrinking dimensions (like a family tree).
They show how the "Category" versions of these maps are also connected.
They prove that the "Category" is a higher-level version of the "Map."

Summary in One Sentence

By studying a theoretical 8-dimensional machine, the authors physically demonstrated that complex mathematical maps (Floer homologies) and their even more complex "network" versions (A∞-categories) naturally exist in lower-dimensional worlds, proving long-standing mathematical guesses and revealing a deep, unified structure connecting geometry, physics, and topology.

What the paper does NOT claim:

It does not claim this will lead to new medical treatments or engineering applications.
It does not claim this proves the existence of extra dimensions in our actual universe (it is a theoretical physics/mathematical study).
It focuses entirely on proving mathematical conjectures using physical logic.

Technical Summary: Topological 8d N = 1 Gauge Theory: Novel Floer Homologies, and A∞-categories of Six, Five, and Four-Manifolds

Problem Statement
This work addresses the physical derivation and categorification of various mathematically conjectured Floer homologies and $A_\infty$ -categories associated with manifolds of dimension four, five, six, and seven. Specifically, it seeks to provide physical proofs for conjectures regarding:

Gauge-theoretic Floer homologies: Donaldson-Thomas (DT) Floer homology of six-manifolds, Haydys-Witten (HW) Floer homology of five-manifolds, and Spin(7) instanton Floer homology of seven-manifolds.
Hyperkähler and Symplectic Floer homologies: Homologies defined by hypercontact three-manifolds and their relation to symplectic intersection Floer homologies of instanton moduli spaces.
Categorification: The construction of Fukaya-Seidel (FS) type $A_\infty$ -categories that categorify these Floer homologies, particularly for configurations on Calabi-Yau (CY) manifolds and their products.
Dualities: The establishment of Atiyah-Floer type dualities between gauge-theoretic Floer homologies and symplectic intersection Floer homologies.

These structures were previously conjectured or speculated upon by Donaldson-Thomas, Donaldson-Segal, Hohloch-Noetzel-Salamon, Salamon, Haydys, Cherkis, and Bousseau, but lacked a unified physical derivation.

Methodology
The authors employ a topologically-twisted 8d $N=1$ gauge theory defined on a Spin(7)-manifold (an eight-manifold with Spin(7) holonomy). The core methodology involves:

Dimensional and Topological Reduction: The 8d theory is subjected to Kaluza-Klein (KK) reductions along circles ( $S^1$ ) and topological reductions along Calabi-Yau surfaces ( $CY_2$ ) to derive effective theories in lower dimensions (7d, 6d, 5d, 4d).
Supersymmetric Quantum Mechanics (SQM) Interpretation: The reduced theories are recast as 1d SQM models in infinite-dimensional spaces of gauge connections or maps. The partition functions of these SQMs are interpreted as sums over critical points, physically realizing Floer homology groups.
Landau-Ginzburg (LG) Models: By considering the theory on manifolds with $\mathbb{R}^2$ factors (e.g., $CY_3 \times \mathbb{R}^2$ ), the authors recast the theory as a 2d gauged Landau-Ginzburg model. This allows for the interpretation of the partition function as a sum over tree-level scattering amplitudes of soliton strings, thereby realizing $A_\infty$ -categories.
Tyurin Degeneration: To establish dualities, the authors perform a Tyurin degeneration of Calabi-Yau threefolds ( $CY_3$ ) along a $CY_2$ surface, splitting the Spin(7)-manifold to relate gauge-theoretic configurations to symplectic intersection data.

Key Contributions and Results

Novel Floer Homologies:
- Seven-Manifolds: Defined a Spin(7) instanton Floer homology for $G_2$ -manifolds. The chains are generated by time-invariant $G_2$ instanton configurations, and the differentials are flow lines of the gradient flow of a Chern-Simons-type functional. This provides a physical proof of the Donaldson-Thomas conjecture.
- Six-Manifolds: Defined a holomorphic $G_2$ monopole Floer homology for Calabi-Yau threefolds ( $CY_3$ ). This generalizes the Donaldson-Segal conjecture by including a non-zero real scalar field (Calabi-Yau monopoles). When the scalar vanishes, it recovers the holomorphic vector bundle case.
- Five-Manifolds: Defined a holomorphic Donaldson-Thomas Floer homology for $CY_2 \times S^1$ . The chains are generated by time-invariant Haydys-Witten configurations where one component of the self-dual two-form vanishes.
- Hyperkähler/Symplectic Homologies: Defined hyperkähler Floer homologies specified by hypercontact three-manifolds ( $HC_3$ ) mapping to the instanton moduli space of $CY_2$ . Special cases ( $HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$ ) were shown to be equivalent to symplectic Floer homologies in triple loop spaces, double loop spaces, and path spaces of instantons, respectively.
Atiyah-Floer Type Dualities:
- Established a Spin(7) Atiyah-Floer duality for $CY_3 \times S^1$ , equating the gauge-theoretic Spin(7) instanton Floer homology with the symplectic intersection Floer homology of the double loop space of instantons on $CY_2$ .
- Derived a 7d-Spin(7) Atiyah-Floer duality for $CY_3$ , relating the holomorphic $G_2$ monopole Floer homology to the symplectic intersection Floer homology of the loop space of instantons.
Fukaya-Seidel Type $A_\infty$ -categories:
- Constructed an FS type $A_\infty$ -category for $CY_3$ (six-manifolds) whose objects are $\theta$ -deformed DT configurations (holomorphic vector bundles). The morphisms are identified with Floer homology classes of intersecting thimbles (solitons).
- Constructed an FS type $A_\infty$ -category for $CY_2 \times S^1$ (five-manifolds) categorifying HW configurations.
- Constructed an FS type $A_\infty$ -category for $CY_2$ (four-manifolds) categorifying Vafa-Witten (VW) configurations.
- Demonstrated that the normalized partition functions of the respective gauge theories on $\mathbb{R}^2$ correspond to sums over tree-level scattering amplitudes of soliton strings, defining the $A_\infty$ composition maps.
Categorification Scheme:
- Proposed a systematic scheme where configurations on a $D$ -manifold $M_D$ are associated with a 0-category (Floer homology) realized by a gauge theory on $M_D \times \mathbb{R}$ .
- This is categorified to a 1-category (FS type $A_\infty$ -category) realized by a gauge theory on $M_D \times \mathbb{R}^2$ .
- The authors suggest this extends to 2-categories (Fueter type) via gauge theories on $M_D \times \mathbb{R}^3$ , providing a hierarchy of categorical structures.
Physical Proofs of Conjectures:
- Provided physical proofs for conjectures by Donaldson-Thomas (Spin(7) instanton Floer homology), Donaldson-Segal (DT Floer homology), Cherkis (real Floer homology via octonionic monopoles), Hohloch-Noetzel-Salamon (hyperkähler Floer homology), Salamon (Atiyah-Floer analogies), Haydys (FS $A_\infty$ -category of holomorphic vector bundles), and Bousseau (correspondence between Hom-categories of Lagrangians and G2 instanton Floer homology).

Significance
The paper claims to furnish a unified physical framework that not only proves the existence of these mathematically conjectured structures but also generalizes them (e.g., via $\theta$ -deformations and non-zero scalar fields). By interpreting gauge theories as SQMs and LG models, the authors establish a "web of relations" connecting gauge-theoretic invariants, symplectic invariants, and higher categorical structures. The work demonstrates that topological invariance in Spin(7) theory naturally leads to these dualities and categorifications, offering a physical realization of deep mathematical structures in low-dimensional topology and algebraic geometry. The results are presented as generalizations of previous work [1] and serve as a bridge between high-dimensional gauge theory and the categorification of Floer homologies.