arxiv: 2604.02414 · v1 · submitted 2026-04-02 · ✦ hep-th · cond-mat.str-el

Recognition: 1 theorem link

· Lean Theorem

On Lagrangians of Non-abelian Dijkgraaf-Witten Theories

Yuan Xue , Eric Y. Yang

Authors on Pith no claims yet

Pith reviewed 2026-05-13 21:04 UTC · model grok-4.3

classification ✦ hep-th cond-mat.str-el

keywords Dijkgraaf-Witten theoriesnon-abelian gauge groupsBF Lagrangianslocal coefficientshomotopy theorylinking invariantsgauging symmetriestopological phases

0 comments

The pith

Non-abelian Dijkgraaf-Witten theories admit explicit BF-type Lagrangians built by gauging symmetries of abelian versions with local coefficient cohomologies.

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

The paper develops a construction for BF-type Lagrangians of Dijkgraaf-Witten theories whose gauge group is non-abelian. It begins with the known BF Lagrangian of an abelian Dijkgraaf-Witten theory and gauges an additional H^{(0)} symmetry. When this symmetry permutes the original operators nontrivially, the gauged Lagrangian is written using cohomologies with local coefficients. The resulting theories are analyzed through homotopy theory, their operator spectra are built explicitly, and consistency is checked by matching elementary linking invariants. These Lagrangians matter because Dijkgraaf-Witten theories appear in descriptions of topological phases of matter and generalized global symmetries, where concrete actions help compute observables and check consistency.

Core claim

We develop a method to construct BF-type Lagrangians for Dijkgraaf-Witten theories with non-abelian gauge group by gauging H^{(0)} symmetries from a BF-Lagrangian of an abelian Dijkgraaf-Witten theory. When H nontrivially permutes the operators of the original theory, the Lagrangian of the H-gauged theory is constructed with cohomologies with local coefficients. We analyze the structure of the Lagrangians and their gauge transformations with homotopy theory. We also construct the operator spectrum and verify the Lagrangians by matching elementary linking invariants.

What carries the argument

Gauging of H^{(0)} symmetries via cohomologies with local coefficients, which produces the non-abelian Lagrangian and handles nontrivial permutation actions on operators.

If this is right

The constructed Lagrangians reproduce the expected gauge transformations and operator content of non-abelian Dijkgraaf-Witten theories.
Elementary linking invariants can be read off directly from the gauged Lagrangian.
Homotopy theory supplies a systematic language for describing the gauge transformations of the resulting theories.
The method extends to cases in which the gauged symmetry permutes operators nontrivially.

Where Pith is reading between the lines

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

The construction supplies a route to explicit actions for non-abelian topological phases that can be studied numerically or on lattices.
It suggests a template for building Lagrangians of related theories whose symmetries act by permutations on defect operators.
Further refinement of the local-coefficient formalism may allow systematic inclusion of higher-form symmetries in the same framework.

Load-bearing premise

The gauging procedure with cohomologies with local coefficients yields a consistent non-abelian theory whose gauge transformations and operator spectrum match the standard Dijkgraaf-Witten structure.

What would settle it

For a concrete finite group G and nontrivial H action, compute the elementary linking invariants directly from the constructed Lagrangian and check whether they reproduce the known values for the corresponding non-abelian Dijkgraaf-Witten theory.

Figures

Figures reproduced from arXiv: 2604.02414 by Eric Y. Yang, Yuan Xue.

**Figure 1.** Figure 1: , an on-shell gauge transformation over an S 1 with a nontrivial c1 background shifts the integral by: I S1 δcα0 = ρ(cij )αj − αi + ρ(cjk)αk − αj + ρ(cki)αi − αk (45) This means that the sites i, j, k now host local gauge transformation parameters: ϕi = ρ(cki)αi − αi ϕj = ρ(cij )αj − αj ϕk = ρ(cjk)αk − αk (46) See [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗

read the original abstract

Dijkgraaf-Witten theories have a wide range of applications in topological phases of matter and the study of generalized global symmetries. We develop a method to construct BF-type Lagrangians for Dijkgraaf-Witten theories with non-abelian gauge group by gauging $H^{(0)}$ symmetries from a BF-Lagrangian of an abelian Dijkgraaf-Witten theory. When $H$ nontrivially permutes the operators of the original theory, the Lagrangian of the $H$-gauged theory is constructed with cohomologies with local coefficients. We analyze the structure of the Lagrangians and their gauge transformations with homotopy theory. We also construct the operator spectrum and verify the Lagrangians by matching elementary linking invariants.

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.

Desk Editor's Note private letter to a colleague

The paper gives a concrete gauging procedure to build BF Lagrangians for non-abelian Dijkgraaf-Witten theories from abelian ones, using local-coefficient cohomology when the action permutes operators.

read the letter

The key point is that this work supplies an explicit construction for BF-type Lagrangians of non-abelian DW theories. It begins with an abelian DW BF Lagrangian and gauges the H^(0) symmetries, switching to cohomology with local coefficients precisely when H acts by nontrivial permutation on the operators. The authors then apply homotopy theory to the resulting Lagrangians and gauge transformations, build the operator spectrum, and test the output against elementary linking invariants. That combination of steps is what is actually new relative to the abelian literature. The construction itself is laid out clearly enough that a reader can follow the logic from the abelian starting point to the gauged non-abelian case. The verification via linking invariants supplies at least a low-order consistency check, which is better than leaving the claim purely formal. The homotopy analysis is presented as the tool that handles the structure of the gauge transformations, so the paper does engage the technical difficulty raised by nontrivial permutations. The main soft spot is the limited scope of the checks. Elementary linking invariants are a reasonable first test, but they do not automatically guarantee that the full cocycle conditions and operator algebra match the standard non-abelian DW theory once the permutation action is turned on. If the local-coefficient lift introduces extra phases or fails to close consistently at higher orders, the equivalence would be incomplete even if the low-order invariants agree. The abstract indicates the homotopy analysis is meant to address this, yet without seeing the explicit cocycle calculations it is hard to judge how thoroughly the potential inconsistency is ruled out. The paper is aimed at people who need workable Lagrangians for topological phases or generalized symmetries rather than abstract classifications alone. A reader already comfortable with DW theory and basic homotopy methods will get direct value from the gauging recipe. It is worth sending to peer review because the central construction fills a practical gap and the verification steps, while modest, are reproducible in principle. A referee could usefully press for more invariants or an explicit example with nontrivial permutation to tighten the claim.

Referee Report

1 major / 0 minor

Summary. The manuscript develops a method to construct BF-type Lagrangians for non-abelian Dijkgraaf-Witten theories by gauging H^{(0)} symmetries starting from the BF-Lagrangian of an abelian Dijkgraaf-Witten theory. When H acts by nontrivial permutations on the operators, the construction employs cohomologies with local coefficients. The structure of the resulting Lagrangians and their gauge transformations is analyzed using homotopy theory; the operator spectrum is constructed and the approach is verified by matching elementary linking invariants.

Significance. If the central construction holds, the work supplies a systematic route from abelian to non-abelian DW Lagrangians, which would be useful for explicit computations in topological phases of matter and the study of generalized global symmetries. The homotopy-theoretic treatment of gauge transformations and the use of local coefficients constitute a concrete technical contribution.

major comments (1)

[Construction of the H-gauged Lagrangian] Gauging procedure with local coefficients: the claim that this construction yields gauge transformations and an operator spectrum matching the standard non-abelian DW theory rests on the assumption that the permutation action lifts consistently without extra phases or inconsistent cocycle conditions. The verification by elementary linking invariants (mentioned in the abstract) addresses only low-order data and does not yet demonstrate equivalence at the level of the full gauge group action.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comment on the gauging construction. The point raised about the consistency of the permutation action and the scope of the verification is well taken. We have revised the manuscript to provide a more explicit demonstration that the local-coefficient cohomology construction yields the full gauge transformations and operator spectrum of the standard non-abelian Dijkgraaf-Witten theory.

read point-by-point responses

Referee: [Construction of the H-gauged Lagrangian] Gauging procedure with local coefficients: the claim that this construction yields gauge transformations and an operator spectrum matching the standard non-abelian DW theory rests on the assumption that the permutation action lifts consistently without extra phases or inconsistent cocycle conditions. The verification by elementary linking invariants (mentioned in the abstract) addresses only low-order data and does not yet demonstrate equivalence at the level of the full gauge group action.

Authors: We agree that a fully explicit check of the cocycle consistency and the complete gauge-group action is necessary. In the revised manuscript we have added a dedicated subsection that derives the lifted action of H on the local-coefficient cochains and verifies that the resulting 3-cocycle satisfies the required consistency condition by direct computation from the original abelian data. The homotopy-theoretic analysis already present in the paper is used to show that the gauge transformations are generated precisely by the expected non-abelian group elements; we now include an explicit dictionary between the homotopy classes of the gauged fields and the standard non-abelian DW gauge transformations. To go beyond elementary linking invariants we have computed the full set of higher linking numbers for a representative set of Wilson operators and shown that they reproduce the known non-abelian DW invariants. These additions remove the reliance on an implicit assumption and establish equivalence at the level of the complete gauge action. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction uses standard gauging and cohomology.

full rationale

The paper's derivation begins with an abelian BF-type Lagrangian and applies a gauging procedure for H^(0) symmetries, employing cohomologies with local coefficients only when the action is a nontrivial permutation. Gauge transformations and operator spectra are analyzed via homotopy theory and checked against elementary linking invariants. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; the method rests on external, independently established mathematical frameworks rather than internal redefinitions or ansatze smuggled via prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on standard mathematical background in cohomology and homotopy theory with no new free parameters or invented physical entities introduced in the abstract.

axioms (1)

standard math Standard properties of group cohomology with local coefficients and homotopy theory for gauge transformations
Invoked to handle nontrivial permutation actions of H on the original operators and to analyze the structure of the gauged Lagrangian.

pith-pipeline@v0.9.0 · 5424 in / 1267 out tokens · 37404 ms · 2026-05-13T21:04:25.783481+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

When H nontrivially permutes the operators of the original theory, the Lagrangian of the H-gauged theory is constructed with cohomologies with local coefficients.

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

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

[1]

classical

decomposes aG-action in terms ofA-gauge fields and H-gauge fields and the Lagrangian examples are mostly in (2 + 1)D. This work focuses on gauging aH-symmetry in an A-action in(3 + 1)D and has a new family of examples for G=D k, whereD k is the dihedral group of order2kfork- even. Our organization of the operator spectrum can be easily generalized to any ...

work page
[2]

In this section, we show how to extract the representation theory information of the gauge groupD k from the linking invariant calculations

for an extended discussion. In this section, we show how to extract the representation theory information of the gauge groupD k from the linking invariant calculations. Recall thatD k can be represented by the following relation: Dk =⟨r, s|r k = 1, s 2 = 1, srs −1 =r −1⟩,(41) The representations fork-even andk-odd are slightly differ- ent, and we will dis...

work page
[3]

Banks, Effective lagrangian description on discrete gauge symmetries, Nuclear Physics B323, 90 (1989)

T. Banks, Effective lagrangian description on discrete gauge symmetries, Nuclear Physics B323, 90 (1989)

work page 1989
[4]

L. M. Krauss and F. Wilczek, Discrete gauge symmetry in con- tinuum theories, Phys. Rev. Lett.62, 1221 (1989)

work page 1989
[5]

Preskill and L

J. Preskill and L. M. Krauss, Local discrete symmetry and quantum-mechanical hair, Nuclear Physics B341, 50 (1990)

work page 1990
[6]

Dijkgraaf and E

R. Dijkgraaf and E. Witten, Topological Gauge Theories and Group Cohomology, Commun. Math. Phys.129, 393 (1990)

work page 1990
[7]

M. A. Levin and X.-G. Wen, String-net condensation: A physi- cal mechanism for topological phases, Phys. Rev. B71, 045110 (2005)

work page 2005
[8]

Chen, Z.-C

X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry pro- tected topological orders and the group cohomology of their symmetry group, Phys. Rev. B87, 155114 (2013)

work page 2013
[9]

Chen, Z.-C

X. Chen, Z.-C. Gu, and X.-G. Wen, Local unitary transforma- tion, long-range quantum entanglement, wave function renor- malization, and topological order, Phys. Rev. B82, 155138 (2010)

work page 2010
[10]

X. G. WEN, Topological orders in rigid states, Inter- national Journal of Modern Physics B04, 239 (1990), https://doi.org/10.1142/S0217979290000139

work page doi:10.1142/s0217979290000139 1990
[11]

T. Lan, L. Kong, and X.-G. Wen, Classification of(3 + 1)D bosonic topological orders: The case when pointlike excitations are all bosons, Phys. Rev. X8, 021074 (2018)

work page 2018
[12]

A. Y . Kitaev, Fault tolerant quantum computation by anyons, Annals Phys.303, 2 (2003), arXiv:quant-ph/9707021

work page internal anchor Pith review Pith/arXiv arXiv 2003
[13]

Y . Hu, Y . Wan, and Y .-S. Wu, Twisted quantum double model of topological phases in two dimensions, Phys. Rev. B87, 125114 (2013), arXiv:1211.3695 [cond-mat.str-el]

work page arXiv 2013
[14]

Y . Wan, J. C. Wang, and H. He, Twisted Gauge Theory Model of Topological Phases in Three Dimensions, Phys. Rev. B92, 045101 (2015), arXiv:1409.3216 [cond-mat.str-el]

work page arXiv 2015
[15]

Generalized Global Symmetries

D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, General- ized Global Symmetries, JHEP02, 172, arXiv:1412.5148 [hep- th]

work page internal anchor Pith review Pith/arXiv arXiv
[16]

D. S. Freed, G. W. Moore, and C. Teleman, Topological sym- metry in quantum field theory, (2022), arXiv:2209.07471 [hep- th]

work page arXiv 2022
[17]

Bhardwaj, L

L. Bhardwaj, L. E. Bottini, L. Fraser-Taliente, L. Glad- den, D. S. W. Gould, A. Platschorre, and H. Tillim, Lec- tures on generalized symmetries, Phys. Rept.1051, 1 (2024), arXiv:2307.07547 [hep-th]

work page arXiv 2024
[18]

ICTP lectures on (non-)invertible generalized symmetries,

S. Schafer-Nameki, ICTP lectures on (non-)invertible general- ized symmetries, Phys. Rept.1063, 1 (2024), arXiv:2305.18296 [hep-th]

work page arXiv 2024
[19]

Symmetry as a shadow of topological order and a derivation of topological holographic principle,

A. Chatterjee and X.-G. Wen, Symmetry as a shadow of topo- logical order and a derivation of topological holographic princi- ple, Phys. Rev. B107, 155136 (2023), arXiv:2203.03596 [cond- mat.str-el]

work page arXiv 2023
[20]

Holographic theory for the emergence and the symmetry protection of gaplessness and for continuous phase transitions,

A. Chatterjee and X.-G. Wen, Holographic theory for con- tinuous phase transitions: Emergence and symmetry pro- tection of gaplessness, Phys. Rev. B108, 075105 (2023), arXiv:2205.06244 [cond-mat.str-el]

work page arXiv 2023
[21]

J. C. Baez and J. Dolan, Higher dimensional algebra and topo- logical quantum field theory, J. Math. Phys.36, 6073 (1995), arXiv:q-alg/9503002

work page internal anchor Pith review Pith/arXiv arXiv 1995
[22]

Lurie, On the classification of topological field theories, arXiv: Category Theory (2009)

J. Lurie, On the classification of topological field theories, arXiv: Category Theory (2009)

work page 2009
[23]

Coupling a QFT to a TQFT and Duality

A. Kapustin and N. Seiberg, Coupling a QFT to a TQFT and Duality, JHEP04, 001, arXiv:1401.0740 [hep-th]

work page Pith review arXiv
[24]

Putrov, J

P. Putrov, J. Wang, and S.-T. Yau, Braiding Statistics and Link Invariants of Bosonic/Fermionic Topological Quantum Matter in 2+1 and 3+1 dimensions, Annals Phys.384, 254 (2017), arXiv:1612.09298 [cond-mat.str-el]. 13

work page arXiv 2017
[25]

H. He, Y . Zheng, and C. von Keyserlingk, Field theories for gauged symmetry-protected topological phases: Non-Abelian anyons with Abelian gauge groupZ ⊗3 2 , Phys. Rev. B95, 035131 (2017), arXiv:1608.05393 [cond-mat.str-el]

work page Pith review arXiv 2017
[26]

Symmetry TFTs and Anomalies of Non-Invertible Symmetries,

J. Kaidi, E. Nardoni, G. Zafrir, and Y . Zheng, Symmetry TFTs and anomalies of non-invertible symmetries, JHEP10, 053, arXiv:2301.07112 [hep-th]

work page arXiv
[27]

SymTFT actions, Condensable algebras and Categorical anomaly resolutions,

D. Robbins and S. Roy, SymTFT actions, Condensable algebras and Categorical anomaly resolutions, (2025), arXiv:2509.05408 [hep-th]

work page arXiv 2025
[28]

Non-invertible Symmetries in 2D from Type IIB String Theory,

X. Yu, Noninvertible symmetries in 2D from type IIB string theory, Phys. Rev. D110, 065008 (2024), arXiv:2310.15339 [hep-th]

work page arXiv 2024
[29]

Generalized symmetries in 2D from string theory: SymTFTs, intrinsic relativeness, and anomalies of non-invertible symmetries,

S. Franco and X. Yu, Generalized symmetries in 2D from string theory: SymTFTs, intrinsic relativeness, and anomalies of non- invertible symmetries, JHEP11, 004, arXiv:2404.19761 [hep- th]

work page arXiv
[30]

String theory and the SymTFT of 3d orthosymplectic Chern-Simons theory,

O. Bergman and F. Mignosa, String theory and the SymTFT of 3d orthosymplectic Chern-Simons theory, JHEP04, 047, arXiv:2412.00184 [hep-th]

work page arXiv
[31]

J. J. Heckman, M. Hubner, E. Torres, X. Yu, and H. Y . Zhang, Top down approach to topological duality defects, Phys. Rev. D 108, 046015 (2023), arXiv:2212.09743 [hep-th]

work page arXiv 2023
[32]

Kapustin and R

A. Kapustin and R. Thorngren, Anomalies of discrete symme- tries in various dimensions and group cohomology, (2014), arXiv:1404.3230 [hep-th]

work page arXiv 2014
[33]

Y . Xue, E. Y . Yang, and Z. Zhang, On Gauging Finite Sym- metries by Higher Gauging Condensation Defects, (2025), arXiv:2512.22440 [hep-th]

work page arXiv 2025
[34]

Roumpedakis, S

K. Roumpedakis, S. Seifnashri, and S.-H. Shao, Higher Gaug- ing and Non-invertible Condensation Defects, Commun. Math. Phys.401, 3043 (2023), arXiv:2204.02407 [hep-th]

work page arXiv 2023
[35]

Non-invertible symmetries in finite-group gauge theory,

C. Cordova, D. B. Costa, and P.-S. Hsin, Non-invertible symme- tries in finite-group gauge theory, SciPost Phys.18, 019 (2025), arXiv:2407.07964 [cond-mat.str-el]

work page arXiv 2025
[36]

Non-Invertible Symmetries as Condensation Defects in Finite-Group Gauge Theories,

C. Cordova, D. B. Costa, and P.-S. Hsin, Non-Invertible Sym- metries as Condensation Defects in Finite-Group Gauge Theo- ries, (2024), arXiv:2412.16681 [cond-mat.str-el]

work page arXiv 2024
[37]

On the SymTFTs of Finite Non-Abelian Symmetries

O. Bergman, J. J. Heckman, M. H ¨ubner, D. Migliorati, X. Yu, and H. Y . Zhang, On the SymTFTs of Finite Non-Abelian Sym- metries, (2026), arXiv:2603.12323 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[38]

Chen, Z.-C

X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symme- try protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B87, 155114 (2013), arXiv:1106.4772 [cond-mat.str-el]

work page arXiv 2013
[39]

Hatcher,Algebraic Topology(Cambridge University Press, Cambridge, 2002)

A. Hatcher,Algebraic Topology(Cambridge University Press, Cambridge, 2002)

work page 2002
[40]

Delcamp and A

C. Delcamp and A. Tiwari, On 2-form gauge models of topo- logical phases, JHEP05, 064, arXiv:1901.02249 [hep-th]

work page arXiv 1901
[41]

D. S. Freed, C. Teleman, G. Moore, and D. S. Freed, Four lec- tures on finite symmetry in qft (2022)

work page 2022
[42]

Symmetry TFTs for Non-Invertible Defects,

J. Kaidi, K. Ohmori, and Y . Zheng, Symmetry TFTs for Non- invertible Defects, Commun. Math. Phys.404, 1021 (2023), arXiv:2209.11062 [hep-th]

work page arXiv 2023
[43]

On 2-Group Global Symmetries and Their Anomalies

F. Benini, C. C´ordova, and P.-S. Hsin, On 2-Group Global Sym- metries and their Anomalies, JHEP03, 118, arXiv:1803.09336 [hep-th]

work page Pith review arXiv
[44]

Higher symmetry and gapped phases of gauge theories

A. Kapustin and R. Thorngren, Higher Symmetry and Gapped Phases of Gauge Theories, Prog. Math.324, 177 (2017), arXiv:1309.4721 [hep-th]

work page Pith review arXiv 2017
[45]

M ¨uller and R

L. M ¨uller and R. J. Szabo, ’t Hooft Anomalies of Discrete Gauge Theories and Non-abelian Group Cohomology, Com- mun. Math. Phys.375, 1581 (2019), arXiv:1811.05446 [hep- th]

work page arXiv 2019
[46]

Heidenreich, J

B. Heidenreich, J. McNamara, M. Montero, M. Reece, T. Rudelius, and I. Valenzuela, Non-invertible global sym- metries and completeness of the spectrum, JHEP09, 203, arXiv:2104.07036 [hep-th]

work page arXiv