Half-Spacetime Gauging of 2-Group Symmetry in 3d
Pith reviewed 2026-06-30 23:19 UTC · model grok-4.3
The pith
Half-spacetime gauging of 2-group symmetries produces non-invertible duality defects whose fusion rules follow from the parent mixed anomaly.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Starting from a parent theory with two discrete and Abelian 0-form symmetries and a prescribed mixed anomaly, gauging one factor produces a theory with a 2-group symmetry, while gauging the other yields a theory with a non-invertible 0-form symmetry, whose fusion rules we derive explicitly. When the parent theory possesses three such symmetries with a cyclic anomaly structure, gauging different factors can produce mutually dual theories and the half-spacetime gauging of the 2-group is implemented by a non-invertible duality defect, whose fusion rules we obtain.
What carries the argument
Half-spacetime gauging of a 2-group symmetry, which produces non-invertible duality defects whose fusion rules are read off from the parent theory's mixed anomaly via cohomological data.
If this is right
- Gauging one parent symmetry produces a theory equipped with a 2-group symmetry.
- Gauging the second parent symmetry produces a theory equipped with a non-invertible 0-form symmetry.
- In the three-symmetry cyclic case, gauging different factors yields mutually dual theories.
- The fusion rules of the resulting non-invertible duality defect are determined explicitly from the parent anomaly data.
Where Pith is reading between the lines
- The same half-gauging construction may be used to engineer non-invertible defects in other families of 3d models that admit suitable mixed anomalies.
- The derived fusion rules could be checked against lattice realizations or tensor-network simulations of the same parent theories.
- The method supplies a systematic way to relate 2-group symmetries to non-invertible defects, which may help classify such defects in broader classes of 3d theories.
- The cohomological tools introduced may apply directly to anomaly structures involving higher-form symmetries.
Load-bearing premise
The parent theory possesses two or three discrete Abelian 0-form symmetries together with a mixed anomaly whose cohomology class makes the half-spacetime gauging procedure well-defined.
What would settle it
Explicitly compute the fusion algebra of the proposed duality defect inside the U(1)×U(1)×U(1) gauge theory example and check whether it matches the non-invertible relations stated in the paper.
read the original abstract
We construct a class of non-invertible duality defects, in (2+1)d quantum field theories, arising from half-spacetime gauging of a 2-group symmetry. Starting from a parent theory with two discrete and Abelian 0-form symmetries and a prescribed mixed anomaly, we show that gauging one factor produces a theory with a 2-group symmetry, while gauging the other yields a theory with a non-invertible 0-form symmetry, whose fusion rules we derive explicitly. When the parent theory possesses three such symmetries with a cyclic anomaly structure, gauging different factors can produce mutually dual theories and the half-spacetime gauging of the 2-group is implemented by a non-invertible duality defect, whose fusion rules we obtain. We illustrate the construction with explicit examples, including a $U(1)\times U(1)\times U(1)$ gauge theory and a general class of product theories. We also include a self-contained pedagogical introduction to the cohomological tools employed throughout the article.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs non-invertible duality defects in (2+1)d QFTs via half-spacetime gauging of 2-group symmetries. Starting from a parent theory with two (or three) discrete Abelian 0-form symmetries and a prescribed mixed anomaly, gauging one factor is shown to produce a 2-group symmetry while gauging the other yields a non-invertible 0-form symmetry whose fusion rules are derived explicitly. With three symmetries in cyclic anomaly structure the gaugings are mutually dual, and the half-spacetime procedure is realized by a non-invertible duality defect. The construction is illustrated with a U(1)×U(1)×U(1) gauge theory and general product theories, together with a pedagogical introduction to the cohomological tools.
Significance. If the derivations hold, the paper supplies a systematic gauging procedure that generates both 2-group and non-invertible symmetries from anomaly data, together with explicit fusion rules that can be verified in concrete models. The self-contained cohomological introduction and the duality examples strengthen the contribution to the literature on generalized symmetries in three dimensions.
major comments (3)
- [§3 (construction) and §5 (cyclic case)] The central construction presupposes that the mixed anomaly lies in a precise subgroup of H^4(BG_1 × BG_2, U(1)) that makes half-spacetime gauging well-defined and supplies the required Postnikov class for the 2-group. No explicit criterion or counter-example is given showing when this subgroup condition fails, which is load-bearing for the claim that the output is genuinely a 2-group or non-invertible symmetry rather than an ordinary symmetry plus extra defects.
- [§4 (fusion rules)] In the derivation of the fusion rules for the non-invertible 0-form symmetry (obtained by gauging one factor), the calculation relies on the anomaly cocycle satisfying a specific closure property under the half-space procedure. It is not shown whether this property holds for a generic class in the cohomology group or only for a restricted subclass; an explicit check against the parent anomaly class would be needed to confirm the stated fusion rules are complete.
- [§6 (examples)] For the U(1)×U(1)×U(1) gauge-theory example, the anomaly class is stated to permit the cyclic structure, but the explicit computation of the resulting duality defect fusion rules is not cross-checked against an independent method (e.g., direct computation of the defect operator algebra). This verification is required to substantiate the mutual-duality claim.
minor comments (2)
- [§2] Notation for the 2-group data (Postnikov class, action) is introduced in the pedagogical section but occasionally reused with slightly different symbols in later sections; a consolidated table of symbols would improve readability.
- [Figures 3 and 5] Several figures illustrating the half-spacetime gauging procedure lack labels on the defect lines or the anomaly inflow arrows, making it harder to follow the correspondence with the text.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and outline revisions where they strengthen the presentation without altering the core claims.
read point-by-point responses
-
Referee: [§3 (construction) and §5 (cyclic case)] The central construction presupposes that the mixed anomaly lies in a precise subgroup of H^4(BG_1 × BG_2, U(1)) that makes half-spacetime gauging well-defined and supplies the required Postnikov class for the 2-group. No explicit criterion or counter-example is given showing when this subgroup condition fails, which is load-bearing for the claim that the output is genuinely a 2-group or non-invertible symmetry rather than an ordinary symmetry plus extra defects.
Authors: We agree that an explicit criterion would improve clarity. The relevant subgroup consists of those classes whose restriction to each factor vanishes while the mixed term generates a non-trivial Postnikov class under half-gauging; this is implicit in the anomaly prescription of §3 but not stated as a cohomology condition. In the revised version we will add a short paragraph in §3 defining the subgroup via the generators of H^4 and supply a counter-example (a class with non-vanishing restriction to one factor) where half-gauging yields only ordinary symmetries plus decoupled defects. revision: yes
-
Referee: [§4 (fusion rules)] In the derivation of the fusion rules for the non-invertible 0-form symmetry (obtained by gauging one factor), the calculation relies on the anomaly cocycle satisfying a specific closure property under the half-space procedure. It is not shown whether this property holds for a generic class in the cohomology group or only for a restricted subclass; an explicit check against the parent anomaly class would be needed to confirm the stated fusion rules are complete.
Authors: The fusion-rule derivation applies precisely to the subclass of anomalies that admit consistent half-spacetime gauging, which by definition satisfy the required closure (the cocycle pulled back to the half-space boundary is a coboundary). We will insert an explicit verification in §4 showing that any parent class in the subgroup identified in the revised §3 automatically obeys this closure, thereby confirming the rules are complete for the theories under consideration. revision: yes
-
Referee: [§6 (examples)] For the U(1)×U(1)×U(1) gauge-theory example, the anomaly class is stated to permit the cyclic structure, but the explicit computation of the resulting duality defect fusion rules is not cross-checked against an independent method (e.g., direct computation of the defect operator algebra). This verification is required to substantiate the mutual-duality claim.
Authors: The fusion rules in the U(1)^3 example are obtained by specializing the general formulas of §4 to the cyclic anomaly; they are therefore already cross-checked against the parent construction. An independent lattice or operator-algebra computation would require a separate regularization scheme and lies outside the cohomological scope of the paper. We will add a brief remark in §6 explaining this consistency and noting the technical obstacles to a fully independent verification. revision: partial
Circularity Check
No significant circularity; derivation starts from external parent theory with prescribed anomaly.
full rationale
The paper constructs non-invertible duality defects and 2-group symmetries by starting from an external parent theory that is assumed to possess two or three discrete Abelian 0-form symmetries together with a mixed anomaly whose cohomology class is prescribed to lie in the subgroup permitting consistent half-spacetime gauging. All subsequent steps (gauging one factor to obtain a 2-group, deriving fusion rules for the non-invertible symmetry, and realizing duality defects) are derived from this input assumption using standard cohomological tools, for which the paper supplies a self-contained pedagogical introduction. No equation or central claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the anomaly class is an external premise rather than an output renamed as a prediction. This is the normal case of a non-circular construction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett,Generalized Global Symmetries,JHEP 02(2015) 172, [1412.5148]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[2]
ICTP Lectures on (Non-)Invertible Generalized Symmetries
S. Schafer-Nameki,ICTP lectures on (non-)invertible generalized symmetries,Phys. Rept. 1063(2024) 1–55, [2305.18296]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[3]
What's Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries
S.-H. Shao,What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries, 2308.00747
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
Kaidi,Introduction to Generalized Symmetries,2603.08798
J. Kaidi,Introduction to Generalized Symmetries,2603.08798
-
[5]
E. P. Verlinde,Fusion Rules and Modular Transformations in 2D Conformal Field Theory, Nucl. Phys. B300(1988) 360–376
1988
-
[6]
G. W. Moore and N. Seiberg,Classical and Quantum Conformal Field Theory,Commun. Math. Phys.123(1989) 177
1989
-
[7]
G. W. Moore and N. Seiberg,Taming the Conformal Zoo,Phys. Lett. B220(1989) 422–430
1989
-
[8]
L. Bhardwaj and Y. Tachikawa,On finite symmetries and their gauging in two dimensions, JHEP03(2018) 189, [1704.02330]
-
[9]
Topological Defect Lines and Renormalization Group Flows in Two Dimensions
C.-M. Chang, Y.-H. Lin, S.-H. Shao, Y. Wang and X. Yin,Topological Defect Lines and Renormalization Group Flows in Two Dimensions,JHEP01(2019) 026, [1802.04445]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[10]
Tachikawa,On gauging finite subgroups,SciPost Phys.8(2020) 015, [1712.09542]
Y. Tachikawa,On gauging finite subgroups,SciPost Phys.8(2020) 015, [1712.09542]
- [11]
-
[12]
Y. Choi, C. Cordova, P.-S. Hsin, H. T. Lam and S.-H. Shao,Noninvertible duality defects in 3+1 dimensions,Phys. Rev. D105(2022) 125016, [2111.01139]. – 34 –
work page internal anchor Pith review Pith/arXiv arXiv 2022
- [13]
-
[14]
J. C. Baez and A. D. Lauda,Higher-Dimensional Algebra V: 2-Groups,math/0307200
work page internal anchor Pith review Pith/arXiv arXiv
-
[15]
Higher Gauge Theory: 2-Connections on 2-Bundles
J. Baez and U. Schreiber,Higher gauge theory: 2-connections on 2-bundles,hep-th/0412325
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
J. C. Baez and U. Schreiber,Higher gauge theory,math/0511710
work page internal anchor Pith review Pith/arXiv arXiv
-
[17]
Connections on non-abelian Gerbes and their Holonomy
U. Schreiber and K. Waldorf,Connections on non-abelian Gerbes and their Holonomy, 0808.1923
work page internal anchor Pith review Pith/arXiv arXiv 1923
-
[18]
Fusion categories and homotopy theory
P. Etingof, D. Nikshych, V. Ostrik and w. a. a. b. E. Meir,Fusion categories and homotopy theory,0909.3140
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
Notes on generalized global symmetries in QFT
E. Sharpe,Notes on generalized global symmetries in QFT,Fortsch. Phys.63(2015) 659–682, [1508.04770]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[20]
Higher symmetry and gapped phases of gauge theories
A. Kapustin and R. Thorngren,Higher symmetry and gapped phases of gauge theories, 1309.4721
work page internal anchor Pith review Pith/arXiv arXiv
-
[21]
M. Barkeshli, P. Bonderson, M. Cheng and Z. Wang,Symmetry Fractionalization, Defects, and Gauging of Topological Phases,Phys. Rev. B100(2019) 115147, [1410.4540]
-
[22]
M. Barkeshli and M. Cheng,Time-reversal and spatial-reflection symmetry localization anomalies in (2+1)-dimensional topological phases of matter,Phys. Rev. B98(2018) 115129, [1706.09464]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[23]
Higher SPT's and a generalization of anomaly in-flow
R. Thorngren and C. von Keyserlingk,Higher SPT’s and a generalization of anomaly in-flow,1511.02929
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
D. Gaiotto and T. Johnson-Freyd,Symmetry Protected Topological phases and Generalized Cohomology,JHEP05(2019) 007, [1712.07950]
-
[25]
State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter
L. Bhardwaj, D. Gaiotto and A. Kapustin,State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter,JHEP04(2017) 096, [1605.01640]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[26]
From gauge to higher gauge models of topological phases
C. Delcamp and A. Tiwari,From gauge to higher gauge models of topological phases,JHEP 10(2018) 049, [1802.10104]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[27]
Exploring 2-Group Global Symmetries
C. C´ ordova, T. T. Dumitrescu and K. Intriligator,Exploring 2-Group Global Symmetries, JHEP02(2019) 184, [1802.04790]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[28]
On 2-Group Global Symmetries and Their Anomalies
F. Benini, C. C´ ordova and P.-S. Hsin,On 2-Group Global Symmetries and their Anomalies, JHEP03(2019) 118, [1803.09336]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[29]
P.-S. Hsin and H. T. Lam,Discrete theta angles, symmetries and anomalies,SciPost Phys. 10(2021) 032, [2007.05915]
-
[30]
F. Apruzzi, L. Bhardwaj, D. S. W. Gould and S. Schafer-Nameki,2-Group symmetries and their classification in 6d,SciPost Phys.12(2022) 098, [2110.14647]
- [31]
-
[32]
L. Santilli and R. J. Szabo,Higher form symmetries and orbifolds of two-dimensional Yang-Mills theory,2403.03119
-
[33]
A. Arbalestrier, R. Argurio and L. Tizzano,U(1) Gauging, Continuous TQFTs, and Higher Symmetry Structures,2502.12997. – 35 –
-
[34]
K. Inamura and S. Ohyama,Generalized cluster states in 2+1d: non-invertible symmetries, interfaces, and parameterized families,2601.08615
-
[35]
On gauging Abelian extensions of finite and U(1) groups
R. Villa,On gauging Abelian extensions of finite and U(1) groups,2603.22110
work page internal anchor Pith review Pith/arXiv arXiv
- [36]
- [37]
-
[38]
Topological Defects on the Lattice I: The Ising model
D. Aasen, R. S. K. Mong and P. Fendley,Topological Defects on the Lattice I: The Ising model,J. Phys. A49(2016) 354001, [1601.07185]
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [39]
- [40]
- [41]
-
[42]
P.-S. Hsin, H. T. Lam and N. Seiberg,Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d,SciPost Phys.6(2019) 039, [1812.04716]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[43]
Higher Gauging and Non-invertible Condensation Defects
K. Roumpedakis, S. Seifnashri and S.-H. Shao,Higher Gauging and Non-invertible Condensation Defects,2204.02407
work page internal anchor Pith review Pith/arXiv arXiv
-
[44]
S. Seifnashri and S.-H. Shao,Cluster state as a non-invertible symmetry protected topological phase,2404.01369
- [45]
-
[46]
P. B. Kronheimer and H. Nakajima,Yang-Mills instantons on ALE gravitational instantons, Math. Ann.288(1990) 263–307
1990
-
[47]
S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory
D. Gaiotto and E. Witten,S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,Adv. Theor. Math. Phys.13(2009) 721–896, [0807.3720]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[48]
L. Bhardwaj, M. Bullimore, A. E. V. Ferrari and S. Schafer-Nameki,Generalized Symmetries and Anomalies of 3d N=4 SCFTs,2301.02249
- [49]
-
[50]
D. Gaiotto and J. Kulp,Orbifold groupoids,JHEP02(2021) 132, [2008.05960]
-
[51]
Symmetry TFTs from String Theory
F. Apruzzi, F. Bonetti, I. n. G. Etxebarria, S. S. Hosseini and S. Schafer-Nameki,Symmetry TFTs from String Theory,2112.02092
work page internal anchor Pith review Pith/arXiv arXiv
- [52]
-
[53]
D. S. Freed, G. W. Moore and C. Teleman,Topological symmetry in quantum field theory, 2209.07471
work page internal anchor Pith review Pith/arXiv arXiv
-
[54]
F. Albertini, M. Del Zotto, I. n. Garc´ ıa Etxebarria and S. S. Hosseini,Higher Form Symmetries and M-theory,JHEP12(2020) 203, [2005.12831]
-
[55]
F. Apruzzi, M. van Beest, D. S. W. Gould and S. Sch¨ afer-Nameki,Holography, 1-form symmetries, and confinement,Phys. Rev. D104(2021) 066005, [2104.12764]. – 36 –
-
[56]
Lectures on Generalized Symmetries
L. Bhardwaj, L. E. Bottini, L. Fraser-Taliente, L. Gladden, D. S. W. Gould, A. Platschorre et al.,Lectures on generalized symmetries,Phys. Rept.1051(2024) 1–87, [2307.07547]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[57]
S. Gukov, P.-S. Hsin and D. Pei,Generalized global symmetries ofT[M]theories. Part I, JHEP04(2021) 232, [2010.15890]
-
[58]
V. Bashmakov, M. Del Zotto and A. Hasan,On the 6d Origin of Non-invertible Symmetries in 4d,2206.07073
- [59]
-
[60]
V. Bashmakov, M. Del Zotto, A. Hasan and J. Kaidi,Non-invertible Symmetries of ClassS Theories,2211.05138
-
[61]
V. Bashmakov, M. Del Zotto and A. Hasan,Four-manifolds and Symmetry Categories of 2d CFTs,2305.10422
- [62]
-
[63]
S. Gukov, P.-S. Hsin, D. Pei and S. Park,Generalized Global Symmetries ofT[M]Theories: Part II,2511.13696
-
[64]
M. Del Zotto and K. Ohmori,2-Group Symmetries of 6D Little String Theories and T-Duality,Annales Henri Poincare22(2021) 2451–2474, [2009.03489]
-
[65]
Fatibene,Relativistic theories, gravitational theories and general relativity,preparation, draft version1(2021)
L. Fatibene,Relativistic theories, gravitational theories and general relativity,preparation, draft version1(2021)
2021
-
[66]
Hatcher,Algebraic Topology
A. Hatcher,Algebraic Topology. Cambridge University Press, 2002
2002
-
[67]
N. E. Steenrod,Products of cocycles and extensions of mappings,Annals of Mathematics 48.2(1947)
1947
-
[68]
D. Gaiotto and T. Johnson-Freyd,Condensations in higher categories,1905.09566. – 37 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.