Topological 5d $\mathcal{N} = 2$ Gauge Theories: Mirror Symmetry and Langlands Duality of $A_\infty$-categories of Floer Homologies

This paper establishes a physical proof of mirror symmetry and Langlands duality between specific topological 5d $\mathcal{N}=2$ gauge theories, demonstrating that the $A_\infty$-categories of Floer homologies arising from Haydys-Witten and Geyer-Mülsch twists on certain five-manifolds are dual to each other and provide gauge-theoretic generalizations of mathematical conjectures by Bousseau and Doan-Rezchikov.

The Gist

Imagine the universe is built on a giant, invisible Lego set. Physicists and mathematicians have been trying to figure out the instruction manual for how these Legos snap together. For a long time, they've been looking at the "A-side" of the manual—a set of rules involving twisting and turning shapes to find stable patterns.

This paper, written by Arif Er and Meng-Chwan Tan, is like discovering a secret "B-side" to that manual. They found that the rules for the "A-side" are actually a mirror image of a completely different set of rules called the "B-side." Even more surprisingly, these two sides aren't just mirrors; they are also connected by a deep, mathematical code-switching system known as Langlands Duality.

Here is a breakdown of their discovery using everyday analogies:

1. The Two Worlds: The "Twisted" and the "Flat"

The authors are studying a specific type of physics theory called a 5-dimensional Gauge Theory. Think of this as a complex machine with five dimensions of movement.

• The Haydys-Witten (HW) Theory: Imagine this as a machine that likes to twist. It's like a dancer spinning rapidly. The rules here involve "instantons," which are like sudden, intense knots in the fabric of space. In math terms, these knots are related to holomorphic maps (smooth, curved shapes).
• The Geyer-Müller (GM) Theory: This is the new machine they are focusing on. Instead of twisting, this machine likes to stay flat. It's like a calm, still pond. The rules here involve "flat connections," which are like perfectly smooth, unbroken surfaces. In math terms, these are related to constant maps (straight lines).

The Big Discovery: The authors proved that if you take the "Twisted" machine (HW) with a specific set of gears (Gauge Group $G$), it behaves exactly like the "Flat" machine (GM) but with a different set of gears (the Langlands dual group, $LG$). It's as if you swapped a left-handed glove for a right-handed one, and suddenly, the way the machine works is perfectly mirrored.

2. The Mirror of Mathematics: Homological Mirror Symmetry

In the world of math, there's a famous idea called Mirror Symmetry. Imagine you have a complex, bumpy landscape (like a mountain range). Mirror symmetry says there is a hidden, smooth lake somewhere else that holds the exact same information about the mountains, just viewed from a different angle.

• The A-Model: This looks at the "mountains" (twisted shapes, knots).
• The B-Model: This looks at the "lake" (flat, smooth surfaces).

The authors showed that their 5D physics theories act as a bridge between these two worlds. The "Twisted" physics (HW) creates a mathematical structure called a Fukaya-Seidel category (a complex library of knots). The "Flat" physics (GM) creates a different library called an Orlov category (a library of flat surfaces).

They proved these two libraries are actually the same book, just written in different languages.

3. The Code-Switch: Langlands Duality

Now, add a layer of complexity. The "gears" in the machine (the Lie groups) can be swapped.

• If you have a gear system called $G$, its "mirror twin" is called $LG$ (the Langlands dual).
• The authors found that the "Twisted" machine with gear $G$ is the same as the "Flat" machine with gear $LG$.

This is the Langlands Duality. It's like finding out that a recipe written in French (Group $G$) produces the exact same cake as a recipe written in Japanese (Group $LG$), provided you swap the ingredients correctly.

4. The "Floer Homology" Libraries

The paper is heavy on a concept called Floer Homology. Let's simplify this:

• Imagine you are trying to count the number of ways a ball can roll down a hill and get stuck in a valley.
• HW Theory counts the ways the ball gets stuck in "knots" (instantons).
• GM Theory counts the ways the ball gets stuck on "flat plains."

The authors built a new kind of library (an $A_\infty$-category) to organize these counts.

• For 3D shapes (like a sphere), they built a 1-category (a list of items).
• For 2D shapes (like a flat sheet), they built a 2-category (a list of lists, or a hierarchy).

They showed that the library of "Knots" (HW) and the library of "Plains" (GM) are dual to each other. If you know the rules for one, you automatically know the rules for the other.

5. Why This Matters: Proving Math Conjectures

For years, mathematicians (like Bousseau, Doan, and Rezchikov) have had a hunch that these different libraries should be connected. They wrote down the rules but couldn't prove why they were connected using pure math.

This paper provides a physical proof. By using the laws of physics (specifically, how these 5D machines behave), the authors showed that the connection is real.

• They proved that the "Knot Library" and the "Plain Library" are mirrors of each other.
• They proved that swapping the gears ($G$ to $LG$) flips the mirror.

The Takeaway

Think of this paper as finding a universal translator.

• Mathematicians speak the language of shapes and knots.
• Physicists speak the language of forces and dimensions.

Er and Tan built a machine that translates between them. They showed that the "Twisted" world of physics is the mirror image of the "Flat" world, and that these two worlds are linked by a deep code (Langlands Duality). This confirms that the universe's mathematical structure is far more interconnected and symmetrical than we previously imagined.

In short: Twists are just Flats seen through a mirror, and changing the gears flips the reflection.

Technical Summary

1. Problem and Motivation

The paper addresses the physical realization and categorification of novel Floer homologies for manifolds of dimensions 2, 3, and 4. Building upon previous work where the authors defined Haydys-Witten (HW) instanton Floer homologies (an "A-twisted" theory) via 5d $N=2$ gauge theory, this work seeks to construct the corresponding "B-twisted" counterpart.

The central motivation is to establish a Mirror Symmetry and Langlands Duality between:

1. HW Theory: A 5d $N=2$ topological gauge theory with gauge group $G$, characterized by self-dual (instanton-type) BPS equations.
2. Geyer-Müslich (GM) Theory: A 5d $N=2$ topological gauge theory with gauge group $G$, characterized by flat (flat-connection-type) BPS equations.

The authors aim to demonstrate that while HW theory relates to holomorphic maps (A-models), GM theory relates to constant maps (B-models), and that these two theories are dual to each other under Langlands duality ($G \leftrightarrow L G$, where $L G$ is the Langlands dual group). This duality is expected to manifest in the categorification of their respective Floer homologies into higher $A_\infty$-categories.

2. Methodology

The authors employ a combination of topological field theory techniques, dimensional reduction, and string/M-theory interpretations:

• Topological Twisting: They utilize the Geyer-Müslich (GM) twist of 5d $N=2$ super Yang-Mills theory. Unlike the HW twist which localizes on self-dual connections, the GM twist localizes on flat $G_\mathbb{C}$-connections.
• Dimensional Reduction (BJSV Method): They perform topological reductions along Riemann surfaces ($C$) using the Bershadsky-Johansen-Sadov-Vafa (BJSV) method. This reduces the 5d gauge theory to 3d topological sigma models:
  • HW $\to$ 3d $N=4$ A-model (target: Hitchin moduli space $M_H^G(C, K)$).
  • GM $\to$ 3d $N=4$ Rozansky-Witten (RW) B-model (target: Hitchin moduli space $M_H^G(C, J)$).
• Kaluza-Klein (KK) Reduction: They reduce the theories on circles ($S^1$) and tori ($T^2$) to derive Floer homologies for lower-dimensional manifolds ($M_3, M_2$). This involves complexifying the gauge groups from $G$ to $G_\mathbb{C}$, then to quaternionified ($G_\mathbb{H}$) and octonionified ($G_\mathbb{O}$) structures as dimensions decrease.
• SQM and String/Membrane Interpretations:
  • They recast the partition functions of these theories as 1d Supersymmetric Quantum Mechanics (SQM) in infinite-dimensional spaces of fields.
  • They interpret the critical points of the Morse functionals as Floer chains and the gradient flow lines as Floer differentials.
  • They further elevate these to 2d gauged B-twisted Landau-Ginzburg (LG) models (for $M_3 \times \mathbb{R}^2$) and 3d gauged B-twisted LG models (for $M_2 \times \mathbb{R}^3$).
  • These models are interpreted as open string and membrane theories, where scattering amplitudes define the composition maps of $A_\infty$-categories.
• Duality Derivations: They derive the Langlands duality between HW and GM theories via two routes:
  1. Enhanced Homological Mirror Symmetry (HMS): Relating the 3d A-model and B-model on mirror Hitchin moduli spaces.
  2. 4d $N=4$ S-duality: Showing that HW theory reduces to Kapustin-Witten (KW) theory at $t=-1$, while GM theory reduces to KW theory at $t=-i$. Since KW theories at these parameters are S-dual, the 5d theories are Langlands dual.

3. Key Contributions and Results

A. Novel Floer Homologies

The authors define three new types of holomorphic Floer homologies for GM theory:

1. Holomorphic $G_\mathbb{C}$-flat Floer Homology ($HHF_{flat}$) for 4-manifolds: Generated by time-invariant $G_\mathbb{C}$-BF configurations (solutions to $F=0, D B=0$).
2. Holomorphic $G_\mathbb{H}$-flat Floer Homology for 3-manifolds: Generated by $G_\mathbb{H}$-BF configurations (quaternionified flat connections).
3. Holomorphic $G_\mathbb{O}$-flat Floer Homology for 2-manifolds: Generated by $G_\mathbb{O}$-BF configurations (octonionified flat connections).

B. Categorification via $A_\infty$-Categories

The paper constructs higher categorical structures that categorify these homologies:

• For 3-Manifolds ($M_3$):
  • Orlov-type $A_\infty$-1-category: Derived from the 2d gauged B-twisted LG model. Objects are $\theta$-deformed $G_\mathbb{H}$-BF configurations; morphisms are Ext-groups corresponding to LG $B_\theta^3$-strings.
  • RW-type $A_\infty$-2-category: Derived from the 3d RW model. Objects are complex-Lagrangian branes in the Hitchin moduli space; morphisms are open membranes.
  • Result: This establishes a correspondence between the gauge-theoretic Orlov category and the symplectic RW/Kapustin-Rozansky-Saulina (KRS) categories.
• For 2-Manifolds ($M_2$):
  • Orlov-type $A_\infty$-1-category: Categorifying $G_\mathbb{O}$-flat homology via LG $P_\theta(R, B_2)$-strings.
  • RW-type $A_\infty$-2-category: Categorifying $G_\mathbb{O}$-flat homology via LG $B_\theta^2$-membranes.
  • Result: The membrane theory provides a 2-categorification of the Floer homology, with 2-morphisms representing membranes between strings.

C. Mirror Symmetry and Langlands Duality

The core theoretical achievement is the proof of the duality between the A-twisted (HW) and B-twisted (GM) sectors:

• Langlands Duality: The $A_\infty$-categories associated with HW theory (gauge group $G$) are dual to those of GM theory (gauge group $L G$).
  • FS-type (HW) $\leftrightarrow$ Orlov-type (GM): A mirror symmetry between the Fukaya-Seidel category of HW instantons and the Orlov category of GM flat connections.
  • Fueter-type (HW) $\leftrightarrow$ RW-type (GM): A mirror symmetry between the Fueter $A_\infty$-2-category (HW) and the Rozansky-Witten $A_\infty$-2-category (GM).
• Web of Relations: The authors map out a complex web of relations (Fig. 2 and Fig. 14 in the paper) connecting Floer homologies of different dimensions and gauge groups via dimensional reduction, spectral equivalence, and 5d "S-duality" (generalized Tachikawa duality).

4. Significance

1. Physical Proofs of Mathematical Conjectures:

   • Doan-Rezchikov (DR) Conjecture: The paper provides a purely physical proof of the DR conjecture, which posits a correspondence between a KRS 2-category of complex-Lagrangian branes in a hyperkähler manifold $X$ and an Orlov-type $A_\infty$-1-category of branes in the path space $P(\mathbb{R}, X)$.
   • Bousseau-Doan-Rezchikov (B-DR) Mirror Conjecture: It offers a physical proof and a gauge-theoretic generalization of the mirror symmetry conjecture relating Fueter $A_\infty$-2-categories to KRS 2-categories.

2. Generalization of Homological Mirror Symmetry (HMS):
   The work extends HMS to Landau-Ginzburg models in a gauge-theoretic context. It demonstrates that the mirror symmetry between A-models and B-models in Hitchin moduli spaces is a consequence of the Langlands duality between the underlying 5d gauge theories.

3. Higher Categorification of Topological Invariants:
   By constructing $A_\infty$-1 and $A_\infty$-2 categories, the authors move beyond simple homology groups to rich algebraic structures that encode higher-order interactions (scattering amplitudes of strings and membranes). This provides a deeper understanding of the topological invariants of 2, 3, and 4-manifolds.

4. Unification of Twisted Theories:
   The paper successfully unifies the "A-twisted" (instanton) and "B-twisted" (flat) sectors of 5d $N=2$ gauge theory, showing they are two sides of the same coin connected by Langlands duality, thereby completing a program initiated in their previous works [3, 5, 7, 8].

In summary, this paper establishes a rigorous physical framework linking 5d topological gauge theories, Langlands duality, and higher $A_\infty$-categories, providing concrete physical realizations and proofs for several deep conjectures in modern geometry and topology.