pith. sign in

arxiv: 2506.08178 · v1 · pith:OIAMTXF3new · submitted 2025-06-09 · 🧮 math.QA · hep-th· math-ph· math.MP

2-Group Symmetries of 3-dimensional Defect TQFTs and Their Gauging

Nils Carqueville , Benjamin Haake This is my paper

Pith reviewed 2026-05-19 10:02 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.MP
keywords 2-group symmetriesdefect TQFTsgaugingG-crossed braided fusion categoriesReshetikhin-Turaev theoriesequivariantisationorbifold data0-form symmetries
0
0 comments X p. Extension
pith:OIAMTXF3 Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{OIAMTXF3}

Prints a linked pith:OIAMTXF3 badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Gauging the 0-form G-symmetry on the neutral component of a G-crossed braided fusion category produces its equivariantisation, which has a generalised symmetry that gauges back to the original.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies 2-group symmetries of three-dimensional topological quantum field theories that are described by functors into higher categories of topological defects. It shows that these symmetries can be gauged to yield new TQFTs precisely when the defects meet the axioms of orbifold data. In the concrete setting of Reshetikhin-Turaev theories built from G-crossed braided fusion categories, the authors establish that the 0- and 1-form symmetries admit gauging with no obstructions. Gauging the 0-form symmetry on the neutral component produces the equivariantisation of the category; this new theory carries a generalised symmetry whose own gauging recovers the neutral component. When G is commutative the generalised symmetry reduces to a 1-form symmetry built from the Pontryagin dual group.

Core claim

In the special case of Reshetikhin-Turaev theories coming from G-crossed braided fusion categories C^×_G, there are 0- and 1-form symmetries which have no obstructions to gauging. Gauging the 0-form G-symmetry on the neutral component C_e of C^×_G produces its equivariantisation (C^×_G)^G, which in turn features a generalised symmetry whose gauging recovers C_e. If G is commutative, the latter symmetry reduces to a 1-form symmetry involving the Pontryagin dual group.

What carries the argument

Orbifold data for topological defects, which serve as the condition that allows 2-group symmetries of a defect TQFT to be gauged into a new TQFT.

If this is right

  • Gauging the identified 0-form symmetry yields the equivariantisation of the G-crossed category as a new TQFT.
  • The equivariantised theory carries a generalised symmetry that can itself be gauged to recover the original neutral component.
  • When G is commutative the generalised symmetry specialises to a 1-form symmetry built from the Pontryagin dual group.
  • The construction applies to any Reshetikhin-Turaev theory whose input is a G-crossed braided fusion category.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The reversible gauging relation may supply a systematic method for generating families of 3D TQFTs closed under symmetry operations.
  • The same orbifold-data criterion could be tested in other classes of defect TQFTs beyond the Reshetikhin-Turaev case.
  • Explicit low-dimensional examples for small non-abelian G would make the recovery map between categories directly verifiable.

Load-bearing premise

The symmetries can be gauged to produce new TQFTs only when the relevant defects satisfy the axioms of orbifold data.

What would settle it

An explicit computation for a finite group G and a small G-crossed braided fusion category in which the gauged theory obtained from the neutral component fails to match the equivariantisation (C^×_G)^G would refute the central claim.

Figures

Figures reproduced from arXiv: 2506.08178 by Benjamin Haake, Nils Carqueville.

Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
read the original abstract

A large class of symmetries of topological quantum field theories is naturally described by functors into higher categories of topological defects. Here we study 2-group symmetries of 3-dimensional TQFTs. We explain that these symmetries can be gauged to produce new TQFTs iff certain defects satisfy the axioms of orbifold data. In the special case of Reshetikhin-Turaev theories coming from $G$-crossed braided fusion categories $\mathcal C^\times_G$, we show that there are 0- and 1-form symmetries which have no obstructions to gauging. We prove that gauging the 0-form $G$-symmetry on the neutral component $\mathcal C_e$ of $\mathcal C^\times_G$ produces its equivariantisation $(\mathcal C^\times_G)^G$, which in turn features a generalised symmetry whose gauging recovers $\mathcal C_e$. If $G$ is commutative, the latter symmetry reduces to a 1-form symmetry involving the Pontryagin dual group.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies 2-group symmetries of 3-dimensional defect TQFTs, showing that such symmetries can be gauged to new TQFTs precisely when the associated defects satisfy orbifold data axioms. In the special case of Reshetikhin-Turaev theories from G-crossed braided fusion categories C^×_G, it establishes the existence of unobstructed 0- and 1-form symmetries. It proves that gauging the 0-form G-symmetry on the neutral component C_e produces the equivariantisation (C^×_G)^G, which carries a generalised symmetry that gauges back to C_e; when G is commutative this reduces to a 1-form symmetry involving the Pontryagin dual.

Significance. If the results hold, the work supplies a concrete, closed-loop construction linking G-crossed braided fusion categories to their equivariantisations via gauging of 2-group symmetries. This furnishes explicit, verifiable examples of higher-symmetry gauging in 3d TQFTs and clarifies the relationship between orbifold data and modular tensor category data, which is valuable for both mathematical TQFT classification and physical applications to anyonic systems.

major comments (2)
  1. [§4.2] §4.2 (proof of Theorem 4.7): the assertion that the defects arising from the G-crossed structure on C^×_G satisfy all orbifold data axioms (Definition 3.5) is load-bearing for the 'no obstructions' claim, yet the verification of the higher coherence conditions (in particular the 2-group action compatibility with the braiding and the modular S-matrix) is only sketched via standard properties of G-crossed categories rather than derived in full detail from the given data.
  2. [§5.1] §5.1 (recovery statement): the claim that gauging the generalised symmetry on (C^×_G)^G recovers C_e rests on the orbifold data being satisfied after the first gauging step; an explicit check that the resulting defects again obey the axioms without extra assumptions on the G-action would strengthen the closed-loop result.
minor comments (2)
  1. [Introduction] The notation distinguishing C_e, C^×_G and (C^×_G)^G is introduced gradually; a consolidated table or diagram in the introduction would improve readability.
  2. [§3] Several references to 'standard properties of fusion categories' in §3 could be supplemented with precise citations to the relevant coherence theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance, and constructive suggestions for improving the clarity of the proofs. We address each major comment below and have revised the manuscript to incorporate more detailed verifications.

read point-by-point responses

  1. Referee: [§4.2] §4.2 (proof of Theorem 4.7): the assertion that the defects arising from the G-crossed structure on C^×_G satisfy all orbifold data axioms (Definition 3.5) is load-bearing for the 'no obstructions' claim, yet the verification of the higher coherence conditions (in particular the 2-group action compatibility with the braiding and the modular S-matrix) is only sketched via standard properties of G-crossed categories rather than derived in full detail from the given data.

    Authors: We agree that expanding the verification strengthens the presentation. Although the original argument correctly invokes standard properties of G-crossed braided fusion categories (such as the compatibility of the G-action with the braiding and the invariance of the modular S-matrix under the action), we have revised the proof of Theorem 4.7 in §4.2 to derive these higher coherence conditions explicitly from the given G-crossed data and the axioms of orbifold data, step by step. revision: yes

  2. Referee: [§5.1] §5.1 (recovery statement): the claim that gauging the generalised symmetry on (C^×_G)^G recovers C_e rests on the orbifold data being satisfied after the first gauging step; an explicit check that the resulting defects again obey the axioms without extra assumptions on the G-action would strengthen the closed-loop result.

    Authors: We thank the referee for this observation, which helps solidify the reciprocal relation. In the revised manuscript we have added an explicit verification in §5.1 showing that the defects obtained after gauging the 0-form symmetry on C_e satisfy the orbifold data axioms in (C^×_G)^G. This check uses only the properties of the original G-crossed structure and the first gauging step, without imposing further assumptions on the G-action. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from category axioms

full rationale

The paper's central claims consist of explicit proofs that 0- and 1-form symmetries in Reshetikhin-Turaev theories from G-crossed braided fusion categories have no gauging obstructions, with gauging the 0-form G-symmetry on the neutral component producing the equivariantisation and a generalised symmetry recovering the original component. These steps are derived directly from the definitions of G-crossed braided fusion categories, orbifold data axioms, and standard properties of equivariantisation, without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations that presuppose the target result. The paper is self-contained against external benchmarks in fusion category theory, with all coherence conditions following from the given G-action and braiding data rather than being assumed by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of braided fusion categories, G-crossed structures, and the definition of orbifold data for defects; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Defects satisfy the axioms of orbifold data
    Invoked as the condition for gauging to produce new TQFTs
  • domain assumption C^×_G is a G-crossed braided fusion category
    Used to define the Reshetikhin-Turaev theories under consideration

pith-pipeline@v0.9.0 · 5716 in / 1517 out tokens · 34315 ms · 2026-05-19T10:02:05.491511+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 4 internal anchors

  1. [1]

    Butterflies I: morphisms of 2-group stacks

    [AN] E. Aldrovandi and B. Noohi. “Butterflies I: Morphisms of 2-group stacks”. Advances in Mathematics 221.3 (2009), pp. 687–773. doi: 10.1016/j.aim. 2008.12.014. arXiv: 0808.3627 [math.CT]. [BB] M. B¨ arenz and J. Barrett. “Dichromatic State Sum Models for Four-Manifolds from Pivotal Functors”. Communications in Mathematical Physics 360.2 (2017), pp. 663...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim 2009

  2. [2]

    Lecture notes on two-dimensional defect TQFT , volume=

    1016/j.aim.2024.109740. arXiv: 1211.0529 [math.QA]. 60 [BN] S. Burciu and S. Natale. “Fusion rules of equivariantizations of fusion cat- egories”. Journal of Mathematical Physics 54.1 (2012). doi: 10 . 1063 / 1 . 4774293. arXiv: 1206.6625 [math.QA]. [BS] L. Bhardwaj and S. Sch¨ afer-Nameki. “Generalized Charges, Part II: Non- Invertible Symmetries and the...

    work page doi:10.4064/bc114-2 2024

  3. [3]

    Orbifold completion of 3-categories

    1016/B978-0-323-95703-8.00008-2 . arXiv: 2307.16674 [math-ph]. [CM] N. Carqueville and L. M¨ uller. “Orbifold completion of 3-categories” (2023). arXiv: 2307.06485 [math.QA]. [CMRSS1] N. Carqueville, V. Muleviˇ cius, I. Runkel, G. Schaumann, and D. Scherl. “Orbifold graph TQFTs” (2021). arXiv: 2101.02482 [math.QA]. [CMRSS2] N. Carqueville, V. Muleviˇ cius...

    work page arXiv 2023

  4. [4]

    The largest eigenvalue of rank one deformation of large Wigner matrices

    doi: 10.1007/s00220- 024-05068-6. arXiv: 2109.04754 [math.QA]. [CMS] N. Carqueville, C. Meusburger, and G. Schaumann. “3-dimensional defect TQFTs and their tricategories”. Advances in Mathematics 364 (2016). doi: 10.1016/j.aim.2020.107024. arXiv: 1603.01171 [math.QA]. [CR1] N. Carqueville and I. Runkel. “Rigidity and Defect Actions in Landau- Ginzburg Mod...

    work page doi:10.1007/s00220- 2016

  5. [5]

    Orbifolds of n-dimensional defect TQFTs

    2140/gt.2019.23.781. arXiv: 1705.06085 [math.QA]. [CRS2] N. Carqueville, I. Runkel, and G. Schaumann. “Orbifolds of Reshetikhin– Turaev TQFTs”. Theory and Applications of Categories 35.20 (2020), pp. 513–

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  6. [6]

    Higher Categories and Topological Quantum Field Theories

    arXiv: 1809.01483 [math.QA]. [Cui] S. X. Cui. “Higher Categories and Topological Quantum Field Theories”. Quantum Topology 10.4 (2019), pp. 593–676. doi: 10.4171/qt/128. arXiv: 1610.07628 [math.QA]. [DGNO] V. Drinfeld, S. Gelaki, D. Nikshych, and V. Ostrik. “On braided fusion categories I”. Selecta Mathematica, New Series 16.1 (2010), pp. 1–119. doi: 10.1...

    work page doi:10.4171/qt/128 2019

  7. [7]

    Fusion categories and homotopy theory

    Mathematical Surveys and Monographs. American Mathematical Society, 2015, pp. 65–89. doi: 10.1090/surv/205/04. [ENO] P. Etingof, D. Nikshych, V. Ostrik, and with an appendix by Ehud Meir. “Fusion categories and homotopy theory”. Quantum Topology 1.3 (2010), pp. 209–273. doi: 10.4171/QT/6. arXiv: 0909.3140 [math.QA]. [FHK] M. Fukuma, S. Hosono, and H. Kawa...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/surv/205/04 2015

  8. [8]

    Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d

    1017/CBO9781139542333. [HLS] P.-S. Hsin, H. T. Lam, and N. Seiberg. “Comments on one-form global symmetries and their gauging in 3d and 4d”. SciPost Physics 6.3 (2019). doi: 10.21468/scipostphys.6.3.039. arXiv: 1812.04716 [hep-th]. [HPRW] S. Heinrich, J. Plavnik, I. Runkel, and A. Watkins. “Generalised Orbifolds and G-equivariantisation” (2025). [JPR] C. ...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.21468/scipostphys.6.3.039 2019

  9. [9]

    Domain walls between 3d phases of Reshetikhin-Turaev TQFTs

    arXiv: 2002.06055 [math.CT]. [KMRS] V. Koppen, V. Muleviˇ cius, I. Runkel, and C. Schweigert. “Domain walls between 3d phases of Reshetikhin-Turaev TQFTs”. Communications in Math- ematical Physics 396.3 (2021), pp. 1187–1220. doi: 10.1007/s00220-022- 04489-5. arXiv: 2105.04613 [hep-th]. 62 [KS] A. Kapustin and N. Saulina. “Surface operators in 3d Topologi...

    work page doi:10.1007/s00220-022- 2002

  10. [10]

    Journal of Pure and Applied Algebra , year=

    doi: 10.1016/j.jpaa.2019.106213. arXiv: 1802.08512 [math.QA]. [Tri] T. Trimble.Surface diagrams. https://ncatlab.org/toddtrimble/published/ Surface+diagrams

    work page doi:10.1016/j.jpaa.2019.106213 2019

  11. [11]

    EMS Press, 2010, p

    EMS Tracts in Mathe- matics. EMS Press, 2010, p

    work page 2010

  12. [12]

    doi: 10.4171/086. [TV] V. Turaev and A. Virelizier. Monoidal Categories and Topological Field Theory. Vol

    work page doi:10.4171/086

  13. [13]

    Birkh¨ auser Cham, 2017, p

    Progress in Mathematics. Birkh¨ auser Cham, 2017, p

    work page 2017

  14. [14]

    doi: 10.1007/978-3-319-49834-8 . 63

    work page doi:10.1007/978-3-319-49834-8