Flat Gauging of Continuous (Non-invertible) Symmetries and Non-compact BF SymTFT for Compact Boson

This paper investigates the flat gauging of continuous (including non-invertible) symmetries in the two-dimensional compact boson, demonstrating how such procedures decompactify the theory and generate new orbifold branches, while formulating the corresponding Symmetry Topological Field Theory as a non-compact BF theory that encodes the Narain moduli space and T-duality.

The Gist

Imagine the universe as a giant, complex musical instrument. In the world of quantum physics, the "notes" it plays are determined by symmetries—rules that tell us how the instrument can be tuned without changing the music itself. Usually, these rules are like a simple on/off switch (a finite symmetry) or a smooth dial you can turn continuously (a continuous symmetry).

This paper is about what happens when we try to "tune" a specific type of musical instrument called a Compact Boson (think of it as a particle moving on a perfect circle) by turning a dial all the way around and then letting go. The authors, Qiang Jia and Yi Zhang, explore a very specific, somewhat tricky way of doing this called "Flat Gauging."

Here is a breakdown of their journey using simple analogies:

1. The Setup: The Circle and the Two Dials

Imagine a particle moving on a circular track. This track has two special knobs:

• The Momentum Knob ($U(1)_M$): Controls how fast the particle is moving.
• The Winding Knob ($U(1)_W$): Controls how many times the particle has wrapped around the track.

The paper starts by showing that these two knobs are secretly linked. If you twist one, the other reacts in a weird, "anomalous" way. It's like if turning the volume knob also secretly changed the pitch of the music. The authors wrote down the exact mathematical "sheet music" (the partition function) that describes this instrument when both knobs are set to specific positions.

2. The Experiment: "Flat Gauging"

Usually, when physicists want to change a theory, they "gauge" a symmetry, which is like making the knob a dynamic part of the machine. But here, they do something simpler but stranger: Flat Gauging.

Think of it like this: Instead of letting the knob spin freely and dynamically, they take a snapshot of every possible static position the knob could be in, and they average them all out. They sum up every possible "flat" setting.

The Big Surprise:
When they do this to the "Momentum Knob," the circular track suddenly unfolds into an infinite straight line.

• The Analogy: Imagine a rubber band (the circle). If you average out all the ways you can stretch it slightly while keeping it flat, the rubber band snaps open and becomes a long, straight road. The particle is no longer trapped on a circle; it can go on forever.
• The Twist: Because of the secret link (anomaly) between the two knobs, the "Winding Knob" that was left behind gets dragged along. It stops being a simple dial and becomes a continuous, infinite ruler. The theory transforms from a "Compact Boson" (circle) to a "Non-Compact Free Boson" (infinite line).

3. The Special Case: The Self-Dual Radius

There is a very special setting for the track (called the "self-dual radius") where the music sounds extra rich, like a choir singing in perfect harmony (related to an $SU(2)$ symmetry).

The authors tried to "flat gauge" a specific group of symmetries here ($SO(3)$).

• The Result: They expected to get a familiar type of music (an "orbifold," which is like a circle with a mirror). Instead, they got something entirely new that doesn't fit into the standard catalog of known musical styles.
• The Metaphor: It's like trying to remix a song by flipping a switch, but instead of getting a different version of the same song, you accidentally invent a completely new genre of music that no one has heard before.

4. The Tricky Part: The "Zero-Measure" Problem

When they tried to do this averaging process for a more complex, "non-invertible" symmetry (a symmetry that doesn't just turn things around but does something stranger, like shuffling them), they hit a snag.

• The Problem: Imagine trying to calculate the average height of people in a room, but the people you care about most are standing on a single, invisible dot on the floor. If you just do a standard average, you miss that dot entirely because it has "zero area."
• The Consequence: If they just averaged everything naively, they lost the most important part of the answer (the "fixed points" where the symmetry acts).
• The Solution (Sort of): They had to invent a special "prescription" or a magnifying glass to look specifically at those zero-area dots. Depending on how they adjusted this magnifying glass, they could get two different answers: one that looks like a circle with a mirror, and another that looks like an infinite line with a mirror. They admit that figuring out the perfect way to define this magnifying glass is still an open mystery.

5. The Big Picture: The Symmetry Topological Field Theory (SymTFT)

Finally, the authors built a "3D blueprint" (a SymTFT) to explain all of this.

• The Analogy: Think of the 2D world of the particle as the surface of a lake. The "SymTFT" is the 3D volume of water underneath.
• How it works: The different ways the particle can move (different radii, different shapes) are encoded in the boundary conditions of this 3D water. Changing the radius of the circle is like changing the shape of the shore.
• The Insight: They showed that this 3D blueprint is a "Non-Compact BF Theory." It's a mathematical structure where the "lines" of the theory are labeled by real numbers (not just integers). This 3D structure neatly organizes all the possible shapes the 2D world can take and explains how they are all connected by "T-duality" (a kind of mirror symmetry where a small circle looks like a big circle).

Summary

In short, this paper is a detailed guide on what happens when you "flatten" and average out continuous symmetries in a quantum system.

1. It turns circles into lines: Flat gauging a continuous symmetry on a circle breaks the circle open into an infinite line.
2. It creates new music: Doing this at special points creates brand new types of quantum theories that don't fit standard categories.
3. It requires careful math: You have to be very careful not to ignore the "invisible dots" (zero-measure points) in the math, or you get the wrong answer.
4. It has a 3D home: All these 2D theories can be understood as different "shores" of a single, unified 3D topological ocean.

The authors conclude that while they have mapped out this territory, the exact rules for handling those tricky "zero-measure" points in continuous non-invertible symmetries are still a puzzle waiting to be solved.

Technical Summary

Technical Summary: Flat Gauging of Continuous (Non-invertible) Symmetries and Non-compact BF SymTFT for Compact Boson

Problem Statement
The paper addresses the operation of "flat gauging" (or continuous orbifolding) in two-dimensional conformal field theories (CFTs). Unlike standard dynamical gauging, flat gauging involves summing only over flat gauge-field configurations (topological defect networks) rather than integrating over the full space of gauge fields. While well-understood for finite groups, the application to continuous symmetries—particularly continuous non-invertible symmetries—presents subtleties. Specifically, the partition function on the moduli space of flat connections may be discontinuous or possess zero-measure loci (such as fixed points of symmetries) that carry essential physical data. Naive integration over these moduli spaces risks discarding these contributions, leading to incorrect gauged theories. The authors investigate these issues using the 2D compact boson as a primary laboratory, focusing on the interplay between momentum ($U(1)_M$) and winding ($U(1)_W$) symmetries, their mixed anomalies, and the resulting non-compact limits.

Methodology
The authors employ a combination of explicit torus partition function calculations, vertex operator analysis, and Symmetry Topological Field Theory (SymTFT) formalism.

1. Partition Functions with Backgrounds: They construct the torus partition function for a compact boson coupled to general flat $U(1)_M \times U(1)_W$ backgrounds. They explicitly account for the mixed 't Hooft anomaly between these symmetries, showing that the partition function is a section of a line bundle over the moduli space of flat connections rather than a single-valued function.
2. Flat Gauging Procedure: They perform flat gauging by integrating over the holonomies of the symmetry background. To handle the anomaly, they introduce specific local counterterms (topological phases) to render the integrand single-valued before integration.
3. Vertex Operator Matching: To confirm the nature of the resulting theories, they analyze the spectrum of vertex operators and their Operator Product Expansions (OPEs) in the gauged theories, comparing them to known non-compact boson algebras.
4. SymTFT Formulation: They interpret the results through the lens of a 3D SymTFT. The bulk theory is identified as a non-compact BF theory with $\mathbb{R}$-valued gauge fields. Different physical theories (compact bosons at various radii, non-compact bosons) are realized as different topological boundary conditions (Lagrangian algebras) of this bulk theory.
5. Orbifold Branch Analysis: They extend the analysis to the orbifold branch (gauging the $\mathbb{Z}_2$ reflection symmetry), where continuous symmetries become non-invertible. They compare finite non-invertible gauging with the continuous limit, highlighting discrepancies arising from zero-measure fixed loci.

Key Contributions and Results

• Decompactification via Flat Gauging: The authors demonstrate that flat gauging either the momentum $U(1)_M$ or winding $U(1)_W$ symmetry of a compact boson decompactifies the theory.

  • When $U(1)_M$ is flat gauged in the presence of a $U(1)_W$ background, the dual discrete $\mathbb{Z}$ symmetry (Fourier partner of $U(1)_M$) combines with the remaining $U(1)_W$ background. Due to the mixed anomaly, these combine into a single non-compact $\mathbb{R}_W$ symmetry background.
  • The resulting partition function matches that of a non-compact free boson. The vertex operators confirm that the discrete winding lattice is replaced by a continuous momentum spectrum.
  • This establishes a precise mechanism where flat gauging a continuous symmetry transforms a compact theory into a non-compact one, with the dual symmetry becoming the translation symmetry of the non-compact field.

• SO(3) Gauging at the Self-Dual Radius: At the self-dual radius ($r = 1/\sqrt{2}$), the compact boson is equivalent to the $\widehat{su}(2)_1$ WZW model with enhanced $(SU(2)_L \times SU(2)_R)/\mathbb{Z}_2$ symmetry. The authors revisit the flat gauging of the diagonal $SO(3)$ subgroup.

  • They separate the calculation into twisted and untwisted sectors.
  • The twisted sector contribution resembles the orbifolded non-compact boson ($\mathbb{R}/\mathbb{Z}_2$), but the full theory differs due to the untwisted sector.
  • The resulting theory lies outside the standard $c=1$ moduli space of circle and orbifold theories, confirming that flat gauging can generate genuinely new CFTs (related to the Runkel-Watts and Roggenkamp-Wendland limits).

• Continuous Non-Invertible Symmetries on the Orbifold Branch: On the orbifold branch, the continuous $U(1)$ symmetries become continuous families of non-invertible defects.

  • The authors construct partition functions for general non-invertible defect networks.
  • They identify a critical subtlety: a naive continuous integral over the non-invertible lines (replacing finite sums) discards contributions from zero-measure fixed loci (e.g., the origin in $\mathbb{R}/\mathbb{Z}_2$).
  • They show that the order of operations matters: gauging $U(1)_M$ first and then the reflection $\mathbb{Z}_2$ yields the correct non-compact orbifold partition function (with a single fixed point). However, starting from the orbifold branch and naively integrating the continuous non-invertible symmetry yields an incorrect result missing the fixed-point oscillator contributions.
  • They propose a regularization scheme involving a parameter $\kappa$ to handle these zero-measure loci, noting that different values of $\kappa$ reproduce different physical limits (finite gauging vs. non-compact orbifold), leaving the intrinsic definition of the continuous measure as an open question.

• SymTFT Description: The authors formulate the SymTFT for $D$ compact bosons as a non-compact BF theory with $\mathbb{R}$-valued gauge fields.

  • The target space geometry (metric $G_{IJ}$ and B-field $B_{IJ}$) is encoded in the choice of Lagrangian algebra (topological boundary condition) of the bulk BF theory.
  • The overlap between the topological boundary state (encoding the geometry) and the physical boundary state reproduces the Narain partition function.
  • The redundancy in the parametrization of these boundary states naturally yields the Narain moduli space and the action of the $O(D, D; \mathbb{Z})$ T-duality group.
  • Decompactification is interpreted as changing the topological boundary condition to one that condenses a continuous family of line operators.

Significance
The paper provides a rigorous framework for understanding flat gauging of continuous symmetries, clarifying how mixed anomalies drive the transition from compact to non-compact theories. It highlights that flat gauging is not merely a limit of finite gauging but a distinct operation that can produce new CFTs outside standard moduli spaces. A significant contribution is the identification of the "zero-measure problem" in continuous non-invertible gauging, demonstrating that physical data associated with fixed points can be lost in naive continuum limits. Finally, the work unifies the description of the compact boson moduli space, T-duality, and decompactification within a single non-compact BF SymTFT framework, where geometric data is encoded in topological boundary conditions.