Recognition: unknown
Categorical Symmetries via Operator Algebras
Pith reviewed 2026-05-07 15:51 UTC · model grok-4.3
The pith
The symmetry category of a 2D quantum field theory with anomalous continuous G-symmetry equals the category of twisted measurable Hilbert spaces over G.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We propose that the symmetry category associated to a 2D quantum field theory with 0-form G-symmetry with 't Hooft anomaly k is the category of twisted measurable fields of Hilbert spaces over G denoted by Hilb^k(G), which is equivalent to the category of unitary representations of C0(G) with convolution product twisted by a multiplicative bundle gerbe labeled by k denoted by Rep^k(C0(G)). We find that the Drinfeld center of the symmetry category Z(Hilb^k(G)) is equivalent to the category of unitary representations of the groupoid C*-algebra of the Fell line bundle Σ_k over the conjugation action groupoid G//_Ad G, denoted by Rep(C*(G//_Ad G, Σ_k)), where the twist is characterized by the 2-
What carries the argument
Hilb^k(G), the category of twisted measurable fields of Hilbert spaces over G, which encodes the anomalous symmetry via a bundle-gerbe twist on the convolution algebra of C0(G).
If this is right
- The Drinfeld center supplies the anyon lines of the bulk 3D SymTFT together with their braiding.
- Flat gauging of the continuous global symmetry is controlled by the same twisted representations.
- Explicit physical examples are obtained for both abelian and non-abelian choices of G.
- The framework extends immediately to any G that is a direct product of a compact connected Lie group with R or GL(1,C) factors.
Where Pith is reading between the lines
- The same operator-algebra construction may supply a uniform language for mixed anomalies that combine continuous and discrete symmetries.
- Matching the computed braiding to modular data in known 3D TQFTs would give an independent test of the identification.
- Extending the construction beyond the listed class of Lie groups would require only a suitable replacement for the measurable-field category.
Load-bearing premise
The stated categorical equivalences hold for G that are direct products of compact connected Lie groups with R or GL(1,C) factors, and the anomaly k is faithfully captured by the gerbe twist together with its transgression to a 2-cocycle on the conjugation groupoid.
What would settle it
Pick a concrete 2D theory with known G and anomaly k, such as a free boson with U(1) symmetry at a specific level, compute the predicted anyon braiding phases from the twisted groupoid algebra, and check whether they reproduce the fusion and statistics already known from the corresponding 3D SymTFT or from direct lattice-model simulation.
read the original abstract
We propose that the symmetry category associated to a 2D quantum field theory with 0-form $G$-symmetry with 't Hooft anomaly $k\in H^4(BG,\mathbb{Z})$ for a large class of Lie groups $G$ is the category of twisted measurable fields of Hilbert spaces over $G$ denoted by $\mathrm{Hilb}^k(G)$, which is equivalent to the category of unitary representations of $C_0(G)$ with convolution product twisted by a multiplicative bundle gerbe labeled by $k$ denoted by $\textbf{Rep}^k(C_0(G))$. We find that the Drinfeld center of the symmetry category $\mathcal{Z}(\mathrm{Hilb}^{k}(G))$ equivalent to the category of unitary representations of the groupoid $C^*$-algebra of the Fell line bundle $\Sigma_k$ over the conjugation action groupoid $G//_{\rm Ad} G$, denoted by $\textbf{Rep}(C^*(G//_{\rm Ad}G,\Sigma_k))$, where the twist is characterized by the transgression $\tau(k)\in H^2(G//_{\rm Ad}G,U(1))$. To the full generality, our framework applies to a Lie group $G$ that is a direct product of a compact connected Lie group and a number of $\mathbb{R}$ or $GL(1,\mathbb{C})$ factors. We compute the braiding of anyon lines in the bulk 3D SymTFT from this formalism. Finally we provide physical examples for abelian and non-abelian $G$, and discuss the physical consequences of flat gauging continuous global symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for 2D QFTs with 0-form G-symmetry and 't Hooft anomaly k ∈ H^4(BG, ℤ), the symmetry category is Hilb^k(G), the category of twisted measurable fields of Hilbert spaces over G, which is equivalent to Rep^k(C0(G)), the category of unitary representations of C0(G) with convolution product twisted by a multiplicative bundle gerbe. It further asserts that the Drinfeld center Z(Hilb^k(G)) is equivalent to Rep(C^*(G//_Ad G, Σ_k)), with the twist given by the transgression τ(k) ∈ H^2(G//_Ad G, U(1)). The framework applies to G as direct products of compact connected Lie groups with ℝ or GL(1,ℂ) factors; it includes explicit braiding computations for anyons in the 3D SymTFT and physical examples for abelian and non-abelian G, along with discussion of flat gauging.
Significance. If the stated equivalences are rigorously established, this work supplies a concrete operator-algebraic model for categorical symmetries, connecting bundle gerbes, twisted C*-algebras, and measurable Hilbert fields to SymTFT anyons and anomaly inflow. The explicit transgression map and braiding formulas, together with examples, offer falsifiable predictions and a pathway to compute fusion and braiding data from group-cohomology data.
major comments (2)
- [Construction of Rep^k(C0(G)) and the Drinfeld center equivalence] The central claim that Hilb^k(G) ≃ Rep^k(C0(G)) and that Z(Hilb^k(G)) ≃ Rep(C^*(G//_Ad G, Σ_k)) via τ(k) is load-bearing; the manuscript must exhibit the explicit monoidal functors (or at least the action on objects and morphisms) that realize these equivalences, particularly verifying that the twisted convolution product preserves unitarity and associativity for the chosen class of G.
- [Scope of G and transgression map] The restriction to G as direct products of compact connected Lie groups with ℝ or GL(1,ℂ) factors is used to ensure the transgression τ(k) lands in H^2(G//_Ad G, U(1)) and that the Fell line bundle Σ_k is well-defined; the paper should include a precise statement of which properties of these groups are essential and whether the equivalences fail for other Lie groups (e.g., discrete or non-type-I groups).
minor comments (2)
- Notation for the twisted groupoid C*-algebra C^*(G//_Ad G, Σ_k) should be introduced with an explicit reference to the Fell bundle construction and the 2-cocycle induced by τ(k).
- The physical examples section would benefit from a table comparing the computed fusion rules or braiding phases with known results in the literature for the same G and k.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment, and constructive suggestions. We address the major comments below and will incorporate clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [Construction of Rep^k(C0(G)) and the Drinfeld center equivalence] The central claim that Hilb^k(G) ≃ Rep^k(C0(G)) and that Z(Hilb^k(G)) ≃ Rep(C^*(G//_Ad G, Σ_k)) via τ(k) is load-bearing; the manuscript must exhibit the explicit monoidal functors (or at least the action on objects and morphisms) that realize these equivalences, particularly verifying that the twisted convolution product preserves unitarity and associativity for the chosen class of G.
Authors: We agree that explicit functors strengthen the rigor. In the revised manuscript we will add an appendix (new Appendix B) that defines the monoidal functor F: Hilb^k(G) → Rep^k(C0(G)) by sending a twisted measurable Hilbert field (H_g, φ_g) to the representation π on the direct integral ∫ H_g dμ(g) with twisted convolution (π(f)ξ)(g) = ∫ f(h) φ_h(ξ(h^{-1}g)) dh, and we verify that this preserves the C*-norm, unitarity of the inner product, and associativity using the cocycle condition of the multiplicative gerbe classified by k. For the Drinfeld center we will spell out the equivalence Z(Hilb^k(G)) ≃ Rep(C^*(G//_Ad G, Σ_k)) by exhibiting the natural isomorphism that maps half-braiding natural transformations to sections of the transgressed Fell bundle Σ_k = τ(k), confirming that the braiding is induced by the groupoid multiplication twisted by τ(k) ∈ H^2(G//_Ad G, U(1)). These constructions rely on the type-I property of the groups under consideration, which guarantees the existence of the measurable fields and the continuity of the bundle. revision: yes
-
Referee: [Scope of G and transgression map] The restriction to G as direct products of compact connected Lie groups with ℝ or GL(1,ℂ) factors is used to ensure the transgression τ(k) lands in H^2(G//_Ad G, U(1)) and that the Fell line bundle Σ_k is well-defined; the paper should include a precise statement of which properties of these groups are essential and whether the equivalences fail for other Lie groups (e.g., discrete or non-type-I groups).
Authors: We will add a new subsection (Section 2.3) that precisely states the required properties: G must be a second-countable type-I Lie group so that C0(G) is a type-I C*-algebra (ensuring all irreducible representations are traceable and the Fell bundle is continuous), and the factors of ℝ or GL(1,ℂ) guarantee that the classifying space BG admits a smooth model allowing the transgression τ: H^4(BG, ℤ) → H^2(G//_Ad G, U(1)) to be realized by integration along the conjugation orbits. For discrete groups the construction reduces to ordinary twisted group C*-algebras with the measurable-field category collapsing to the usual Rep^k(G), but the Drinfeld-center equivalence still holds; we will note this explicitly. For non-type-I groups the equivalences may fail because the representation theory of C0(G) is no longer faithful and the bundle gerbe may not admit a continuous Fell realization; we will add a remark indicating that the present framework does not apply in those cases and that separate techniques would be needed. revision: yes
Circularity Check
No significant circularity; derivations rely on independent standard constructions
full rationale
The paper proposes identifications of symmetry categories with twisted Hilbert fields and groupoid C*-algebra representations using the anomaly class k from standard group cohomology H^4(BG,Z) and the transgression map τ to H^2(G//_Ad G, U(1)). These are defined via established notions of multiplicative gerbes, Fell line bundles, and twisted convolution products on C0(G) and the conjugation groupoid. No step reduces a claimed prediction or equivalence to a self-citation, fitted parameter, or definitional tautology; the equivalences are presented as direct consequences of the constructions for the specified class of Lie groups, with explicit braiding computations and examples serving as verification rather than circular inputs. The framework is self-contained against external C*-algebra and cohomology benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Anomalies of 0-form G-symmetries are classified by elements k in H^4(BG, Z)
invented entities (3)
-
Hilb^k(G) - category of twisted measurable fields of Hilbert spaces over G
no independent evidence
-
Rep^k(C_0(G)) - unitary representations of C_0(G) twisted by multiplicative bundle gerbe
no independent evidence
-
C^*(G//_Ad G, Σ_k) - groupoid C*-algebra twisted by transgression τ(k)
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Witten,AdS / CFT correspondence and topological field theory,JHEP12(1998) 012 [hep-th/9812012]
E. Witten,AdS / CFT correspondence and topological field theory,JHEP12(1998) 012 [hep-th/9812012]
-
[2]
L. Kong, X.-G. Wen and H. Zheng,Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers,1502.01690
- [3]
-
[4]
W. Ji and X.-G. Wen,Categorical symmetry and noninvertible anomaly in symmetry-breaking and topological phase transitions,Phys. Rev. Res.2(2020) 033417 [1912.13492]. – 36 –
- [5]
-
[6]
D. Gaiotto and J. Kulp,Orbifold groupoids,JHEP02(2021) 132 [2008.05960]
-
[7]
F. Apruzzi, F. Bonetti, I. García Etxebarria, S.S. Hosseini and S. Schafer-Nameki, Symmetry TFTs from String Theory,Commun. Math. Phys.402(2023) 895 [2112.02092]
-
[8]
M. Del Zotto and I.n. García Etxebarria,Global structures from the infrared,JHEP11 (2023) 058 [2204.06495]
-
[9]
H. Moradi, S.F. Moosavian and A. Tiwari,Topological holography: Towards a unification of Landau and beyond-Landau physics,SciPost Phys. Core6(2023) 066 [2207.10712]
-
[10]
W. Ji and X.-G. Wen,A unified view on symmetry, anomalous symmetry and non-invertible gravitational anomaly,2106.02069
-
[11]
D.S. Freed, G.W. Moore and C. Teleman,Topological symmetry in quantum field theory, Quantum Topology15(2024) 779 [2209.07471]
- [12]
-
[13]
M. van Beest, D.S.W. Gould, S. Schafer-Nameki and Y.-N. Wang,Symmetry TFTs for 3d QFTs from M-theory,JHEP02(2023) 226 [2210.03703]
- [14]
-
[15]
Y.-J. Hai, Z. Zhang, H. Zheng, L. Kong, J. Wu and D. Yu,Uniquely identifying topological order based on boundary-bulk duality and anyon condensation,Natl. Sci. Rev.10(2023) nwac264
2023
-
[16]
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 [2307.07547]
-
[17]
Schafer-Nameki, ICTP lectures on (non-)invertible general- ized symmetries, Phys
S. Schafer-Nameki,ICTP lectures on (non-)invertible generalized symmetries,Phys. Rept. 1063(2024) 1 [2305.18296]
-
[18]
L. Bhardwaj, L.E. Bottini, D. Pajer and S. Schafer-Nameki,Categorical Landau Paradigm for Gapped Phases,Phys. Rev. Lett.133(2024) 161601 [2310.03786]
-
[19]
S.-J. Huang and M. Cheng,Topological holography, quantum criticality, and boundary states,SciPost Phys.18(2025) 213 [2310.16878]
- [20]
-
[21]
L. Bhardwaj, L.E. Bottini, D. Pajer and S. Schäfer-Nameki,Gapped phases with non-invertible symmetries: (1+1)d,SciPost Phys.18(2025) 032 [2310.03784]
-
[22]
L. Bhardwaj, L.E. Bottini, D. Pajer and S. Schafer-Nameki,The club sandwich: Gapless phases and phase transitions with non-invertible symmetries,SciPost Phys.18(2025) 156 [2312.17322]
- [23]
- [24]
-
[25]
S. Schafer-Nameki, A. Tiwari, A. Warman and C. Zhang,SymTFT Approach for Mixed States with Non-Invertible Symmetries,2507.05350
- [26]
-
[27]
On the SymTFTs of Finite Non-Abelian Symmetries
O. Bergman, J.J. Heckman, M. Hübner, D. Migliorati, X. Yu and H.Y. Zhang,On the SymTFTs of Finite Non-Abelian Symmetries,2603.12323
work page internal anchor Pith review Pith/arXiv arXiv
-
[28]
T.D. Brennan and Z. Sun,A SymTFT for continuous symmetries,JHEP12(2024) 100 [2401.06128]
-
[29]
A. Antinucci and F. Benini,Anomalies and gauging of U(1) symmetries,Phys. Rev. B111 (2025) 024110 [2401.10165]
-
[30]
F. Bonetti, M. Del Zotto and R. Minasian,SymTFTs for continuous non-Abelian symmetries,Phys. Lett. B871(2025) 140010 [2402.12347]
-
[31]
F. Apruzzi, F. Bedogna and N. Dondi,SymTh for non-finite symmetries,JHEP04(2026) 153 [2402.14813]
-
[32]
A. Antinucci, F. Benini and G. Rizi,Holographic Duals of Symmetry Broken Phases, Fortsch. Phys.72(2024) 2400172 [2408.01418]
-
[33]
F. Gagliano and I. García Etxebarria,SymTFTs forU(1)symmetries from descent, 2411.15126
-
[34]
R. Argurio, A. Collinucci, G. Galati, O. Hulik and E. Paznokas,Non-Invertible T-duality at Any Radius via Non-Compact SymTFT,SciPost Phys.18(2025) 089 [2409.11822]
- [35]
-
[36]
F. Bonetti, M. Del Zotto and R. Minasian,SymTFT for Continuous Symmetries: Non-linear Realizations and Spontaneous Breaking,2509.10343
-
[37]
F. Apruzzi, N. Dondi, I. García Etxebarria, H.T. Lam and S. Schafer-Nameki,Symmetry TFTs for Continuous Spacetime Symmetries,2509.07965
-
[38]
L. Borsten, D. Kanakaris and H. Kim,Sandwich Construction of Symmetry TFTs for the Centre Symmetries of Chern-Simons, Yang-Mills, and Einstein Gravity,2509.08819
-
[39]
F. Ambrosino, A. Duci, P.A. Grassi and S. Penati,SymTFT in Superspace,2604.15424
work page internal anchor Pith review Pith/arXiv arXiv
-
[40]
Q. Jia, C. Ma and J. Tian, To appear
-
[41]
Non-invertible higher-categorical symmetries,
L. Bhardwaj, L.E. Bottini, S. Schafer-Nameki and A. Tiwari,Non-invertible higher-categorical symmetries,SciPost Phys.14(2023) 007 [2204.06564]
-
[42]
I. García Etxebarria and N. Iqbal,A Goldstone theorem for continuous non-invertible symmetries,JHEP09(2023) 145 [2211.09570]
-
[43]
A. Antinucci, G. Galati and G. Rizi,On continuous 2-category symmetries and Yang-Mills theory,JHEP12(2022) 061 [2206.05646]
- [44]
- [45]
- [46]
-
[47]
D. Delmastro, A. Sharon and Y. Zheng,Non-local conserved currents and continuous non-invertible symmetries,JHEP11(2025) 072 [2507.22976]
-
[48]
D.S. Freed, M.J. Hopkins, J. Lurie and C. Teleman,Topological Quantum Field Theories from Compact Lie Groups, inA Celebration of Raoul Bott’s Legacy in Mathematics, 5, 2009 [0905.0731]
- [49]
-
[50]
D. Stockall and M. Yu,Geometric Categories for Continuous Gauging,2511.08254
-
[51]
Marín-Salvador,Continuous Tambara-Yamagami tensor categories,2503.14596
A. Marín-Salvador,Continuous Tambara-Yamagami tensor categories,2503.14596
-
[52]
Weis,Manifold tensor categories, Ph.D
C. Weis,Manifold tensor categories, Ph.D. thesis, Oxford University, Oxford U., 12, 2022. 2212.04963
-
[53]
Takesaki.Theory of Operator Algebras I
M. Takesaki,Theory of Operator Algebras I, Springer, New York (1979), 10.1007/978-1-4612-6188-9
-
[54]
I. Farah,Combinatorial Set Theory of C*-Algebras, Springer Monographs in Mathematics, Springer, Cham (2019), 10.1007/978-3-030-27093-3
-
[55]
Etingof, D
P. Etingof, D. Nikshych and V. Ostrik,On fusion categories,Annals of Mathematics162 (2005) 581
2005
-
[56]
Mason and S.-H
G. Mason and S.-H. Ng,Generalized twisted quantum doubles of a finite group and rational orbifolds,Bulletin of the Institute of Mathematics Academia Sinica NEW SERIES14 (2017)
2017
-
[57]
Etingof, S
P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik,Tensor Categories, Mathematical surveys and monographs, American Mathematical Society (2017)
2017
-
[58]
M. Khovanov and Y. Qi,An approach to categorification of some small quantum groups, Quantum Topology6(2015) 185 [1208.0616]
-
[59]
P. Etingof and M. Semenyakin,A brief introduction to quantum groups,2106.05252
-
[60]
Kawasaki,The signature theorem for v-manifolds,Topology17(1978) 75
T. Kawasaki,The signature theorem for v-manifolds,Topology17(1978) 75
1978
-
[61]
Lupercio and B
E. Lupercio and B. Uribe,Inertia orbifolds, configuration spaces and the ghost loop space, The Quarterly Journal of Mathematics55(2004) 185 [https://academic.oup.com/qjmath/article-pdf/55/2/185/4503919/550185.pdf]
2004
-
[62]
Ostrik,Module categories, weak Hopf algebras and modular invariants,Transform
V. Ostrik,Module categories, weak Hopf algebras and modular invariants,Transform. Groups8(2003) 177 [math/0111139]
-
[63]
Willerton,The twisted Drinfeld double of a finite group via gerbes and finite groupoids, Algebr
S. Willerton,The twisted Drinfeld double of a finite group via gerbes and finite groupoids, Algebr. Geom. Topol.8(2008) 1419
2008
-
[65]
Fantechi,Stacks for everybody, inEuropean Congress of Mathematics, C
B. Fantechi,Stacks for everybody, inEuropean Congress of Mathematics, C. Casacuberta, R.M. Miró-Roig, J. Verdera and S. Xambó-Descamps, eds., (Basel), pp. 349–359, Birkhäuser Basel, 2001
2001
-
[66]
Ocneanu,Chirality for operator algebras, inSubfactors (Proceedings of Taniguchi Symposium, Kyuzeso, 1993), pp
A. Ocneanu,Chirality for operator algebras, inSubfactors (Proceedings of Taniguchi Symposium, Kyuzeso, 1993), pp. 39–63, World Sci. Publ., River Edge, NJ (1994), https://www.ms.u-tokyo.ac.jp/ yasuyuki/chiral.pdf
1993
-
[67]
Evans and Y
D.E. Evans and Y. Kawahigashi,On Ocneanu’s theory of asymptotic inclusions for subfactors, topological quantum field theories and quantum doubles,International Journal of Mathematics6(1995) 205
1995
-
[68]
Izumi,The structure of sectors associated with Longo-Rehren inclusions
M. Izumi,The structure of sectors associated with Longo-Rehren inclusions. I: General theory,Commun. Math. Phys.213(2000) 127
2000
-
[69]
Müger,From subfactors to categories and topology
M. Müger,From subfactors to categories and topology. II. The quantum double of tensor categories and subfactors,J. Pure Appl. Algebra180(2003) 159 [math.CT/0111205]
- [70]
-
[71]
Schauenburg,The monoidal center construction and bimodules,Journal of Pure and Applied Algebra158(2001) 325
P. Schauenburg,The monoidal center construction and bimodules,Journal of Pure and Applied Algebra158(2001) 325
2001
-
[72]
J. Bhowmick, S. Ghosh, N. Rakshit and M. Yamashita,Tube representations and twisting of graded categories,Theory Appl. Categ.33(2018) 1019 [1801.01735]
-
[73]
Roche, V
P. Roche, V. Pasquier and R. Dijkgraaf,QuasiHopf algebras, group cohomology and orbifold models,Nucl. Phys. B Proc. Suppl.18(1990) 60
1990
-
[74]
Drinfeld,Quasi Hopf algebras,Alg
V.G. Drinfeld,Quasi Hopf algebras,Alg. Anal.1N6(1989) 114
1989
-
[75]
I. Moerdijk,Orbifolds as groupoids: an introduction,Orbifolds in Mathematics and Physics 310(2002) 205 [math.DG/0203100]
-
[76]
Roy,The drinfeld double forc∗-algebraic quantum groups,J
S. Roy,The drinfeld double forc∗-algebraic quantum groups,J. Oper. Theory74(2015) 485
2015
-
[77]
Gruen and S
A. Gruen and S. Morrison,Computing modular data for pointed fusion categories.,Indiana Univ. Math. J.70(2021) 561
2021
- [78]
-
[79]
Kumjian,Fell bundles over groupoids,Proc
A. Kumjian,Fell bundles over groupoids,Proc. Amer. Math. Soc.126(1998) 1115
1998
-
[80]
Renault,C ∗-algebras and Dynamical Systems, Publicações Matemáticas do IMPA, IMPA, Rio de Janeiro (2009)
J. Renault,C ∗-algebras and Dynamical Systems, Publicações Matemáticas do IMPA, IMPA, Rio de Janeiro (2009)
2009
-
[81]
L. Hataishi and M. Yamashita,Categorical dualtiy for Yetter-Drinfeld C*-algebras. Beyond the braided-commutative case,2504.21162
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.