Web of dualities on non-orientable surfaces

This paper proves that the group of topological manipulations, including fermionization and gauging, acting on two-dimensional bosonic theories with non-anomalous $\mathbb{Z}_2$ and time-reversal symmetries on non-orientable surfaces forms a dihedral group $D_8$ of order 16, a result established through Symmetry TFT and Hilbert space sector analyses.

The Gist

Imagine you have a complex machine, like a vintage radio, and you want to understand all the different ways you can tweak it to get a different sound. In the world of theoretical physics, these "machines" are called theories, and the "tweaks" are mathematical operations that change how the theory behaves.

This paper, written by Ippo Orii and Keita Tsuji, explores a specific set of machines: two-dimensional theories that have a special kind of symmetry (called a $\mathbb{Z}_2$ symmetry) and a property called time-reversal symmetry (meaning the physics looks the same whether time runs forward or backward).

Here is a simple breakdown of their discovery, using everyday analogies.

1. The Two Main "Knobs": Gauging and Fermionizing

The authors start with a "bosonic" theory (think of this as a machine made of standard, non-quantum particles, like marbles). They identify two main ways to transform this machine:

• Gauging (The "Democracy" Knob): Imagine you have a rule in your machine that says "everyone must be the same." "Gauging" is like taking that rule and making it a local law that can change from place to place. It creates a new machine that is still made of marbles (bosons) but has a new, "dual" set of rules.
• Fermionizing (The "Quantum Switch"): This is a more radical transformation. It turns the machine from one made of marbles into one made of "fermions" (quantum particles like electrons that behave differently, obeying the "no two particles in the same spot" rule). To do this on a non-orientable surface (a shape that has no distinct "inside" or "outside," like a Möbius strip), you need to attach a specific mathematical "tag" called a Pin$^-$ structure. Think of this tag as a special orientation sticker that tells the quantum particles how to twist as they move around the weird shape.

2. The Web of Connections

The paper shows that these two operations aren't just one-way streets. You can go from Boson $\to$ Fermion and back again. But it gets more interesting:

• If you turn the "Fermionize" knob, then stack the result with a specific quantum "phase" (like adding a specific background hum), and then turn the "Bosonize" knob (the reverse of fermionizing), you don't get your original machine back.
• Instead, you get the dual machine you would have gotten if you had just "Gauged" the original one immediately.

This creates a web of dualities. It's like a map where different cities (theories) are connected by roads (operations). You can travel from City A to City B via the "Fermionize" road, or via the "Gauge" road, and they lead to the same destination.

3. The "D8" Group: The 16-Step Dance

The authors' biggest discovery is about the structure of this web. They asked: "If I keep turning these knobs in different orders, how many unique machines can I create before I start repeating myself?"

They found that the operations form a mathematical group called $D_8$ (the Dihedral group of order 16).

• The Analogy: Imagine a regular octagon (an 8-sided shape). You can rotate it by 45 degrees, or flip it over. There are exactly 16 distinct ways to move this shape (8 rotations + 8 flips) before it looks exactly the same as it did at the start.
• In their paper, the "rotations" and "flips" are these topological manipulations (gauging, stacking, fermionizing). Even though the physics is complex, the underlying "dance" of these operations follows this strict 16-step pattern.

4. The "Symmetry TFT" Lens

To prove this, the authors use a tool called Symmetry TFT (Symmetry Topological Field Theory).

• The Analogy: Imagine your 2D theory is a movie playing on a flat screen. The Symmetry TFT is like a 3D movie projector that projects that movie onto a wall.
• In this 3D view, the "operations" (like gauging) aren't just math tricks; they are physical objects (like walls or defects) inserted into the 3D space. Changing the boundary of this 3D space changes the 2D movie you see. This perspective makes it much easier to see why the operations form that specific 16-step group structure.

5. The Circle and the "Sectors"

The authors also looked at what happens if you put the theory on a circle (like a ring).

• The theory splits into different "sectors" (like different channels on a TV).
• When you apply the operations, these channels swap places in a very specific pattern.
• They used a famous example called the Majorana CFT (a theory describing a specific type of particle) to show this in action. They demonstrated that the mathematical operations they defined are exactly equivalent to redefining what "parity" (left vs. right) means for the particles in that theory.

Summary

In short, this paper maps out a specific universe of 2D physics theories. It proves that:

1. You can transform these theories between "bosonic" and "fermionic" states.
2. These transformations are linked by a strict, 16-step mathematical pattern (the $D_8$ group).
3. This pattern holds true even on weird, non-orientable shapes (like Möbius strips) if you use the correct "Pin$^-$" tags.
4. This entire web can be visualized as a 3D topological structure, making the complex relationships between these theories clear and predictable.

The paper doesn't propose new medical treatments or engineering devices; it is a pure mathematical exploration of the "grammar" of quantum field theories, revealing that even in the chaotic world of quantum particles, there is a rigid, beautiful symmetry governing how these theories relate to one another.

Technical Summary

Technical Summary: Web of Dualities on Non-Orientable Surfaces

Problem Statement
The paper investigates the structure of dualities arising from topological manipulations—specifically fermionization, gauging, and stacking with invertible phases—on two-dimensional quantum field theories. While the "web of dualities" connecting bosonic and fermionic theories is well-established for orientable surfaces (where fermionization relies on spin structures and $\mathbb{Z}_2$-valued quadratic refinements), the authors address the extension of this framework to non-orientable surfaces. In this context, fermionization depends on Pin$^-$ structures and $\mathbb{Z}_4$-valued quadratic refinements. The central problem is to determine the precise group structure generated by these operations in the non-orientable setting and to characterize the resulting dualities systematically.

Methodology
The authors employ three complementary perspectives to analyze the web of dualities:

1. Topological Manipulations: They define explicit operations on bosonic theories ($T_B$) and fermionic theories ($T_F$). For bosonic theories, these include $\mathcal{O}_B$ (gauging $\mathbb{Z}_2$), $\mathcal{S}^B_1$ (stacking with an SPT phase involving $w_1$), and $\mathcal{S}^B_2$ (stacking with the Haldane phase involving $w_2$). For fermionic theories, the corresponding operations ($\mathcal{O}_F, \mathcal{S}^F_1, \mathcal{S}^F_2$) are defined via conjugation by the fermionization map. The authors derive explicit partition function formulas for these operations on non-orientable manifolds using Pin$^-$ structures and the Arf-Brown-Kervaire (ABK) invariant.
2. Symmetry Topological Field Theory (SymTFT): The operations are interpreted within the framework of SymTFT, specifically the 3D $\mathbb{Z}_2 \times \mathbb{Z}_2$ toric code. The authors model the 2D theory as a boundary condition of this bulk topological field theory. Topological manipulations are realized as the insertion of topological defects (domain walls) along the interval connecting the bulk to the boundary. This geometric perspective allows for the derivation of the algebraic relations between operations.
3. Hilbert Space Sectors: The theories are placed on a spatial circle $S^1$. The authors analyze the decomposition of the Hilbert space into sectors defined by the eigenvalues of the $\mathbb{Z}_2$ symmetry and the parity transformation $P$. They track how the topological manipulations permute these sectors on the torus ($T^2$) and the Klein bottle ($K$).

Key Contributions and Results

• Group Structure ($D_8$): The primary result is the proof that the group generated by the independent topological manipulations $\mathcal{O}_B$ and $\mathcal{S}^B_1$ (and their fermionic counterparts) is the dihedral group $D_8$ of order 16.

  • The generators satisfy the relations $(\mathcal{O}_B)^2 = (\mathcal{S}^B_1)^2 = 1$ and $(\mathcal{O}_B \mathcal{S}^B_1)^8 = 1$.
  • The authors demonstrate that the 16 distinct elements act differently on the trivial fermionic theory, confirming the group order.
  • The operation $\mathcal{S}^B_2$ (stacking the Haldane phase) is shown to be equivalent to $(\mathcal{O}_B \mathcal{S}^B_1)^4$, which corresponds to stacking the ABK invariant four times.

• Symmetry TFT Interpretation: The paper elucidates how the web of dualities arises from the choice of gapped boundary conditions and the insertion of topological defects in the SymTFT.

  • Gauging ($\mathcal{O}_B$) corresponds to exchanging electric and magnetic line operators ($E \leftrightarrow M$) in the bulk, effectively changing the boundary condition from a "electric" to a "magnetic" type.
  • Fermionization is interpreted as a change of basis from the bosonic boundary states to fermionic boundary states (Pin$^-$ structures), mediated by the quadratic refinement.

• Sector Dualities: The authors provide a complete map of how the $D_8$ operations permute the sectors of the Hilbert space on $S^1$.

  • For bosonic theories, sectors are labeled by $\mathbb{Z}_2$ charge (even/odd) and parity eigenvalue ($\pm 1$).
  • For fermionic theories (Pin$^-$), the parity operator satisfies $P^2 = (-1)^F$, leading to eigenvalues $\pm 1, \pm i$.
  • The paper details how operations like $\mathcal{O}_F$ and $\mathcal{S}^F_1$ map specific sectors (e.g., NS vs. R, or specific parity eigenvalues) to one another. Notably, on the circle, the action of the full $D_8$ group degenerates to a $D_4$ group (order 8) when considering only the permutation of sectors, as the element $(\mathcal{O}_F \mathcal{S}^F_1)^4$ acts trivially on the sectors (though it acts non-trivially on the partition function via the ABK invariant).

• Explicit Example (Majorana/Ising CFT): The theoretical framework is validated using the free Majorana fermion CFT and its bosonized counterpart, the Ising CFT.

  • The authors explicitly calculate the partition functions on $T^2$ and $K$ for the Majorana CFT.
  • They demonstrate that the Ising CFT corresponds to the Majorana CFT acted upon by the composite operation $\mathcal{O}_F \mathcal{S}^F_1$.
  • The redefinition of the parity operator $P$ in the fermionic theory is shown to correspond precisely to the action of the $D_8$ generators on the Hilbert space sectors.

Significance
The paper claims to provide a rigorous and systematic characterization of the duality web for time-reversal symmetric theories on non-orientable surfaces. By establishing the $D_8$ group structure, it unifies fermionization, gauging, and SPT stacking into a single algebraic framework. The work extends previous results (cited as [KT17, KTT19, JSW19, GK20, HNT20, Kul20, DJL23, TY23, Spi25]) by explicitly handling the Pin$^-$ structure and the associated $\mathbb{Z}_4$ quadratic refinements required for non-orientable manifolds. The interpretation via SymTFT offers a geometric understanding of these dualities, while the sector analysis provides a concrete tool for computing partition functions and understanding the spectrum of theories under these transformations. The authors restrict their attention to the Pin$^-$ case, noting that Pin$^+$ structures do not admit analogous quadratic refinements and are not universally defined on all surfaces.