---
title: Gauged Center One-Form Symmetries
url: https://www.emergentmind.com/topics/gauged-center-one-form-symmetries
type: topic
---

# Gauged Center One-Form Symmetries

Gauged center one-form symmetries are the higher-form symmetry operations obtained by promoting a subgroup of the center one-form symmetry of a gauge theory to a gauge redundancy. In the modern generalized-symmetry framework, the electric one-form symmetry is typically a subgroup of the center of the gauge group, acts on line operators, and is coupled to a background 2-form gauge field. Gauging such a symmetry changes the global form of the gauge group, reorganizes the spectrum of genuine Wilson and ’t Hooft lines, and often produces new dual higher-form symmetries, mixed ’t Hooft anomalies, or noninvertible symmetry operators. Across dimensions, the subject is formulated using background 2-cocycles and obstruction classes, BF-type SymTFTs, defect condensation, orbifolds by higher-form symmetries, and, in special settings, extensions of current algebras by simple currents [2206.01287].

## 1. Definition and general mechanism

A center one-form symmetry is a generalized global symmetry whose charged objects are line operators and whose generators are codimension-two topological defects. In gauge theories with gauge group \(G\), the electric one-form symmetry is typically a subgroup of the center \(Z_G\). When matter fields are present, only the subgroup acting trivially on all matter survives as an exact one-form symmetry. In the notation used for a compact connected gauge group \(G\), if \(\widehat Z_G=\mathrm{Hom}(Z_G,U(1))\) labels Wilson-line center charges and \(M_G\subset \widehat Z_G\) is generated by matter charges, then the electric one-form symmetry is \(\Gamma^{(1)}=\widehat Z_G/M_G\), while its Pontryagin dual is the subgroup of the center acting trivially on matter [2206.01287].

Gauging a center one-form symmetry means turning on a 2-form gauge field background and then summing over it. In gauge-theory language, this is equivalent, in suitable situations, to replacing \(G\) by a quotient \(\bar G=G/\widehat{\Gamma^{(1)}}\), and summing over \(\bar G\)-bundles whose obstruction to lifting back to \(G\)-bundles is fixed by the background class \(B_2\). The obstruction is encoded by a class \(w_2\in H^2(B\bar G,\Gamma^{(1)})\), and the condition on a bundle \(A_G:M_d\to B\bar G\) is \(A_G^*w_2=B_2\) [2206.01287].

In four-dimensional \(SU(N)\) gauge theories, this operation is the standard passage from \(SU(N)\) to \(SU(N)/\mathbb Z_k\), with \(k\) a divisor of \(N\). The gauging is implemented by introducing a pair of background fields \((B_c^{(1)},B_c^{(2)})\) obeying \(k\,B_c^{(2)}=dB_c^{(1)}\), together with a 1-form gauge symmetry \(B_c^{(2)}\mapsto B_c^{(2)}+d\lambda\), \(B_c^{(1)}\mapsto B_c^{(1)}+k\lambda\). This changes which Wilson lines remain genuine and allows fractional instanton sectors, which are central to the mixed anomalies studied in these theories [1909.06598].

A recurring consequence is that gauging a center one-form symmetry changes both the global topology of the gauge bundle and the operator content. Genuine line operators are reduced to those invariant under the gauged subgroup, while new dual higher-form symmetries may appear. In \(d\) dimensions, gauging a finite 1-form symmetry \(\Gamma^{(1)}\) produces a dual \((d-3)\)-form symmetry \(\Gamma^{(d-3)}=\Gamma^{(1)}\), with anomalies controlled by the Postnikov data of the original theory [2206.01287].

## 2. Global form, backgrounds, and higher-group structures

The gauging problem is not exhausted by the choice of center subgroup. When continuous or finite zero-form symmetries are also present, the center one-form symmetry may participate in a connected or disconnected 2-group. In the connected case, the symmetry data are \((\Gamma^{(1)},F,[\Theta])\), where \(F\) is the connected zero-form symmetry and \([\Theta]\in H^3(BF,\Gamma^{(1)})\) is the Postnikov class. The corresponding backgrounds satisfy \(\delta B_2+A_F^*\Theta=0\). In gauge theories this often arises from a short exact sequence \(0\to \Gamma^{(1)}\to E\to Z\to 0\), with \(Z\) a subgroup of the flavor center and \([\Theta]\) given by the Bockstein of an obstruction class \(w_2\) [2206.01287].

Finite outer automorphism symmetries can further refine this structure. If a finite zero-form symmetry \(\Gamma^{(0)}\) acts on \(\Gamma^{(1)}\), the full zero-form symmetry becomes \(F_{\mathrm{full}}=F\rtimes \Gamma^{(0)}\), and one obtains a disconnected 2-group \((\Gamma^{(1)},F_{\mathrm{full}},\rho,[\Theta])\), where \(\rho:\Gamma^{(0)}\to \mathrm{Aut}(\Gamma^{(1)})\). The Postnikov class then lives in twisted cohomology, \([\Theta]\in H^3_{w_1}(BF_{\mathrm{full}},\Gamma^{(1)})\), and the background constraint becomes \(\delta_{B_1}B_2+A_{F_{\mathrm{full}}}^*\Theta=0\) [2206.01287].

A particularly important special case occurs when the short exact sequence \(0\to \Gamma^{(1)}\to E\to Z\to 0\) splits, so the ordinary Bockstein vanishes, but the finite zero-form symmetry acts nontrivially on \(E\). Then the disconnected Postnikov class reduces to \([\Theta]=[w_1]\cup [w_2]\). This means that even when the connected 2-group is trivial, a nontrivial disconnected 2-group may still obstruct or constrain gauging of the center one-form symmetry [2206.01287].

In four-dimensional \(SU(N)\) theories with matter, mixed anomalies between discrete chiral symmetries and exact center one-form symmetries are naturally exposed precisely after gauging the latter. The background \(B_c^{(2)}\) modifies the instanton number by terms proportional to \((B_c^{(2)})^2\), producing fractional instanton sectors. These fractional sectors reduce the surviving discrete chiral symmetry and thereby constrain the infrared phase. This mechanism is worked out for adjoint QCD, self-adjoint antisymmetric matter, two-index matter, and certain chiral \(SU(N)\) theories [1909.06598].

## 3. Defect, orbifold, and SymTFT descriptions

A general defect-theoretic description interprets gauging as the insertion of a spacetime-filling topological defect. For any gaugeable symmetry, including higher-form symmetries, the gauging operation defines a codimension-zero operator, or “gauge defect,” and therefore a \((-1)\)-form symmetry operator in generalized-symmetry language. In this picture, gauging a center one-form symmetry is the condensation of its symmetry defects over the whole spacetime; in four dimensions this amounts to summing over background 2-form gauge fields \(B\) and corresponds to passing, for example, from \(SU(N)\) to \(PSU(N)\) or to a different global form [2310.08626].

In two-dimensional Yang–Mills theory, the gauging of center one-form symmetries is completely explicit. For \(SU(N)\), the electric center symmetry is \(\mathbb Z_N^{(1)}\), acting on Wilson lines according to the number of boxes \(|R|\) in the Young diagram of the representation. Gauging a subgroup \(\mathbb Z_k^{(1)}\subset \mathbb Z_N^{(1)}\) introduces a 2-form \(\mathbb Z_k\) gauge field \(B\), couples the YM theory through \(F\mapsto F-B\otimes \mathbf 1_N\), and yields the orbifold partition function
\[
Z_{SU(N)/\mathbb Z_k}^{\kappa}[\Sigma]
=
\sum_R (\dim R)^\chi
\exp\!\left(-\frac{g^2}{2}C_2(R)\right)
\delta(|R|-\kappa \ \mathrm{mod}\ k),
\]
with discrete \(\theta\)-angle \(\kappa\in\{0,\dots,k-1\}\). This is Yang–Mills with gauge group \(SU(N)/\mathbb Z_k\) [2403.03119].

The same two-dimensional analysis also exhibits the dual \((-1)\)-form symmetry that appears after gauging the center one-form symmetry. Its generators are codimension-zero operators \(S_\eta=\exp(\eta\int_\Sigma B)\), and gauging a subgroup of this dual symmetry partially reverses the original one-form gauging, sending \(SU(N)/\mathbb Z_k\) back toward \(SU(N)/\mathbb Z_{k/m}\) [2403.03119]. This is an explicit instance of the general statement that gauging a \(p\)-form symmetry produces a dual \((d-p-2)\)-form symmetry.

A higher-categorical version of the same mechanism appears in three-dimensional defect TQFT. There, generalized symmetries are encoded by functors into higher categories of topological defects, and gauging is implemented by orbifold data. For a \(G\)-crossed braided fusion category \(\mathcal C_G^\times\), gauging the \(0\)-form \(G\)-symmetry on the neutral modular component \(\mathcal C_e\) yields the equivariantization \((\mathcal C_G^\times)^G\). If \(G\) is abelian, the latter theory carries a 1-form symmetry by the Pontryagin dual \(\widehat G\), and gauging that 1-form symmetry recovers \(\mathcal C_e\) [2506.08178]. This gives a precise TQFT realization of “gauged center one-form symmetry” as the dual operation to gauging an abelian zero-form symmetry.

In four dimensions, the symmetry topological field theory perspective packages a \(\mathbb Z_N\) center one-form symmetry into a five-dimensional BF theory
\[
S_{\mathrm{BF}}=\frac{N}{2\pi}\int_{M_5}\widetilde B\wedge dB.
\]
Different topological boundary conditions of this BF theory correspond to different global forms of the four-dimensional gauge theory. Gauging the full \(\mathbb Z_N\) center symmetry or only a subgroup \(\mathbb Z_P\subset \mathbb Z_N\) becomes a change of boundary polarization in the BF Hilbert space, with discrete \(\theta\)-angles encoded by phases involving the Pontryagin square \(\mathfrak P(b)\) [2410.10036].

## 4. Consequences of gauging: dual symmetries, anomalies, and noninvertibility

A central consequence of gauging a one-form symmetry is the appearance of new anomalies. In the presence of a connected or disconnected 2-group symmetry, gauging \(\Gamma^{(1)}\) produces a mixed ’t Hooft anomaly between the dual \((d-3)\)-form symmetry and the remaining zero-form symmetry. In the disconnected case the anomaly is
\[
A_{d+1}
=
\exp\!\left(
2\pi i\int_{M_{d+1}}
A_{F_{\mathrm{full}}}^*[\Theta]\cup [B_{d-2}]
\right),
\]
where \([B_{d-2}]\) is twisted by the finite zero-form background and the action \(\rho\) [2206.01287].

In four-dimensional \(SU(N)/\mathbb Z_p\) and \(SU(N)\times U(1)/\mathbb Z_p\) gauge theories, gauging a subgroup of the electric center one-form symmetry can convert an ordinary discrete chiral symmetry into a noninvertible zero-form symmetry. The Hamiltonian analysis on \(T^3\) constructs gauge-invariant operators by averaging the naive chiral symmetry operator over the center gauge transformations. The resulting operators act as projectors onto specific electric or magnetic flux sectors and exhibit mixed anomalies with the remaining one-form symmetries [2311.07662].

This noninvertible phenomenon is part of a broader pattern. Gauging a discrete symmetry that acts on an invertible one-form symmetry can reorganize that one-form symmetry into a noninvertible one. In gauge theories based on disconnected groups such as \(\widetilde{SU}(N)=SU(N)\rtimes \mathbb Z_2\) or \(\widetilde U(N)=U(N)\rtimes \mathbb Z_2\), obtained by gauging charge conjugation, the original center one-form symmetry of the connected theory becomes a noninvertible one-form symmetry in the disconnected theory. Its generators are Gukov–Witten operators with fusion rules such as
\[
T_k\cdot T_{k'}=T_{k+k'}+T_{|k-k'|},
\]
and generic generators have quantum dimension \(2\), which precludes invertibility [2204.07523].

A related, but lower-dimensional, manifestation occurs in two-dimensional Yang–Mills, where noninvertible one-form symmetries can also be gauged. The paper introduces a generalized \(\theta\)-angle for such orbifolds, now labeled by irreducible representations rather than ordinary phases. Gauging suitable noninvertible subsets can project the representation ring and still permit phenomena such as spontaneous breaking of charge conjugation [2403.03119]. This suggests that gauged center one-form symmetries are part of a larger hierarchy of gauged generalized symmetries, rather than an isolated construction.

The same logic extends to three-dimensional topological phases. To gauge a compact connected Lie group symmetry \(G\), one may first pass to a central extension \(\widetilde G\) with kernel \(K\), gauge \(\widetilde G\), and then gauge the diagonal one-form symmetry \(K\) generated by center lines in the resulting Chern–Simons sector. The final modular tensor category is
\[
\mathcal D=(\mathcal C\boxtimes \widetilde G_{\sigma_H})/K.
\]
Consistency requires the condensed lines to be bosonic and mutually transparent, expressed by
\[
\theta_{v(k)}\tilde\theta_{s(k)}=1,\qquad
M_{v(k)v(k')}\tilde M_{s(k)s(k')}=1.
\]
Failure of these conditions signals an ’t Hooft anomaly, so the obstruction to gauging a Lie-group symmetry can be rephrased as the impossibility of gauging an appropriate center one-form symmetry [2205.15347].

## 5. Representative theories and dimensional realizations

The four-dimensional \(SU(N)\) examples provide some of the sharpest physical applications. In adjoint QCD, the full center \(\mathbb Z_N^C\) is exact, and gauging it reduces the discrete chiral symmetry \(\mathbb Z_{2NN_f}^\lambda\) to \(\mathbb Z_{2N_f}^\lambda\). In several other \(SU(N)\) theories with matter in self-adjoint antisymmetric or two-index representations, the exact subgroup \(\mathbb Z_k^C\) can also be gauged, producing mixed anomalies with discrete chiral symmetries that strongly constrain the infrared phase [1909.06598].

In four-dimensional supersymmetric gauge theory, the center one-form symmetry can play a more structural role even without being explicitly gauged. In pure \(\mathcal N=2\) super Yang–Mills in a self-dual \(\Omega\)-background, surface operators associated with affine Dynkin nodes generate the center one-form symmetry. Their vacuum expectation values \(\tau_\alpha\) satisfy a non-autonomous Toda system in the RG scale
\[
D^2(\tau_\alpha)
=
-\frac{\alpha^\vee\!\cdot\alpha^\vee}{2}\,
t^{1/h^\vee}
\prod_{\beta\neq \alpha}\tau_\beta^{-\alpha^\vee\cdot\beta^\vee}.
\]
Although the work does not explicitly gauge the one-form symmetry, it shows that treating the center one-form symmetry generators as fundamental and constraining them by exact RG/Toda equations determines the full instanton series from perturbative data [2102.01627]. A plausible implication is that center one-form symmetry data can control nonperturbative dynamics even before any explicit gauging operation is performed.

In three-dimensional Chern–Simons-matter theories with at least \(\mathcal N=6\), gauging center one-form symmetries appears as discrete quotients of gauge groups and generates new dualities. A central web involves
\[
O(2N)_2\times USp(2N)_{-1}
\longleftrightarrow
U(N)_4\times U(N)_{-4},
\]
and its descendants obtained by gauging \(\mathbb Z_2^{[1]}\) subgroups:
\[
SO(2N)_2\times USp(2N)_{-1}
\longleftrightarrow
[U(N)_4\times U(N)_{-4}]/\mathbb Z_2,
\]
\[
[SO(2N)_2\times USp(2N)_{-1}]/\mathbb Z_2
\longleftrightarrow
[U(N)_4\times U(N)_{-4}]/\mathbb Z_4.
\]
The superconformal index tracks the discrete zero-form symmetries produced by these gauging operations and thereby identifies the underlying one-form structure [2112.09531].

In two-dimensional Yang–Mills, the gauging operation is exact and geometric. The background 2-form gauge field is naturally described as a gerbe connection, and the full gauged theory can be formulated in higher-gauge terms using a non-abelian \(\mathbbm U(N)\)-2-bundle with 2-connection \((A,B)\). The discrete \(\theta\)-angle corresponds to a coupling \(\theta\int kB/(2\pi)\), and gauging the center one-form symmetry yields the \(SU(N)/\mathbb Z_k\) orbifold sectors of the theory [2403.03119].

In gravitational contexts, the phrase “gauged center one-form symmetry” refers to the global form of the Lorentz group. In tetradic Palatini gravity, a center one-form symmetry associated with the center of the Lorentz group acts on spin holonomies. The no-global-symmetries principle then suggests that this symmetry must either be gauged, corresponding to quotienting the Lorentz group by its center, or explicitly broken by matter. The paper argues that if the center is not gauged, explicit breaking requires fermions, since spinor holonomies are the natural charged line operators [2403.01837].

String-theoretic faithful probes sharpen this picture in quantum gravity. For theories with worldsheet current algebras realizing the gauge symmetry, gauged center one-form symmetries correspond to extensions of the left-moving Kac–Moody algebra by integral-spin simple currents. The existence of such simple-current extensions reproduces known field-theoretic and geometric constraints on gauging center one-form symmetries in six and eight dimensions and fixes the global form \(G=\widetilde G/\Gamma\) of the bulk gauge group [2605.12594].

## 6. Conceptual significance and common misconceptions

A common misconception is that gauging a center one-form symmetry is only a reformulation of changing the gauge group from \(G\) to \(G/\Gamma\). The literature shows that this is correct but incomplete. The operation also changes the spectrum of genuine line operators, introduces new background constraints, can mix with ordinary zero-form symmetries into connected or disconnected 2-groups, and may generate new dual higher-form symmetries or noninvertible operators [2206.01287].

Another misconception is that one-form symmetries can always be studied independently of ordinary global symmetries. When finite outer automorphisms act on the center, the appropriate symmetry object is often a disconnected 2-group rather than a direct product. In that setting, consistent gauging of the center one-form symmetry requires compatible zero-form backgrounds, and the obstruction is encoded by a twisted Postnikov class rather than by ordinary cohomology alone [2206.01287].

It is likewise misleading to regard gauging as an essentially Lagrangian operation. Defect-based, TQFT, and SymTFT formulations show that gauging is naturally an operation on topological defects or boundary conditions. In three-dimensional defect TQFT it is encoded by orbifold data [2506.08178]; in the defect-condensation perspective it is a spacetime-filling gauge defect [2310.08626]; and in four-dimensional SymTFT it is a choice of BF topological boundary condition [2410.10036]. These formalisms make manifest why gauging reorganizes the full generalized-symmetry structure rather than only the local gauge algebra.

Finally, nontrivial consequences of gauged center one-form symmetries are not restricted to strongly coupled continuum gauge theory. They appear in exact orbifolds of two-dimensional Yang–Mills [2403.03119], in modular tensor category constructions of three-dimensional topological phases [2205.15347], in supersymmetric partition functions and duality webs of four-dimensional theories [2410.10036], in ABJ/ABJM-type Chern–Simons matter systems [2112.09531], and in quantum-gravitational constraints on gauge group topology [2605.12594].

Taken together, these developments establish gauged center one-form symmetries as a unifying principle for the global form of gauge groups, the classification of line operators, the emergence of dual and higher-group symmetries, and the anomaly structure of gauge and gravitational theories across dimensions.

Source: https://www.emergentmind.com/topics/gauged-center-one-form-symmetries