Pith. sign in

REVIEW 4 major objections 5 minor 3 cited by

Symmetry, Symmetry Topological Field Theory and von Neumann Algebra

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read The paper proves that additivity and Haag duality of symmetry-invariant observables are controlled, in any dimension, by the tail-free subalgebra of the SymTFT Lagrangian algebra.

desk verdict A promising SymTFT framework for locality violations in symmetric-sector algebras, with the Rep(S3) counterexample as the real payoff; the general-dimensional Haag duality claim is not yet proven as stated. read the letter →

arxiv 2507.17103 v2 pith:CKJPKIN3 submitted 2025-07-23 hep-th

classification hep-th
keywords vonNeumannalgebrassymmetricsectorHaagdualityadditivitynon-invertiblesymmetriesSymmetryTopologicalFieldTheoryLagrangianalgebrabi-localandbi-twistoperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that the locality properties of the uncharged observables of a quantum field theory are fixed by the symmetry alone, with no dynamical input. The uncharged observables form a von Neumann algebra (a weakly closed algebra of bounded operators) in each spacetime region, and the paper asks whether that algebra satisfies additivity and Haag duality, the two standard locality axioms. The answer is phrased in the symmetry topological field theory (SymTFT): let $\mathcal{L}$ be the Lagrangian algebra of the SymTFT and let $\widetilde{\mathcal{L}}$ be its subalgebra of operators that cannot attach a non-trivial symmetry tail on the topological boundary. The paper proves that if $\widetilde{\mathcal{L}}$ contains anything beyond the identity line and identity $(d-1)$-dimensional operator, additivity of the symmetric-sector algebra fails; if $\widetilde{\mathcal{L}}$ is strictly smaller than $\mathcal{L}$, Haag duality fails. This generalizes a recent two-dimensional result to arbitrary dimensions and makes the check a finite algebraic computation once the SymTFT data is known.

What carries the argument

The central machinery is the Lagrangian algebra $\mathcal{L}$ of the SymTFT together with its tail-free subalgebra $\widetilde{\mathcal{L}}$. The tail map $t(W)$ records which symmetry generators a bulk operator can attach when it is dragged onto the topological boundary; an operator lies in $\widetilde{\mathcal{L}}$ exactly when its tail is proportional to the identity, so it can never transmute into a twist operator under a symmetry action. The paper uses this data to construct the two non-local operators that damage locality: an uncharged bi-local operator when $\widetilde{\mathcal{L}}$ is non-trivial, and an uncharged bi-twist operator when $\widetilde{\mathcal{L}}\neq\mathcal{L}$. In two dimensions the criterion is verified with modular data, where the key step is proving that any operator in $\widetilde{\mathcal{L}}$ braids trivially with every operator in $\mathcal{L}$ using the modular $S$-matrix.

What would settle it

The most direct check is a two-dimensional computation in the Rep($S_3$) SymTFT: with Lagrangian algebra $\mathcal{L}_2 = W_0\oplus W_3\oplus W_5$, build the symmetric bi-twist operator from $W_5$ (whose boundary tail is $1\oplus\eta$) and compute its commutator with a local operator attached to $W_3$ placed in the causally complementary region; the paper predicts a vanishing commutator, so a nonzero commutator would falsify the Haag duality criterion. The four-dimensional analogue would be to construct $\Psi_1 U_{[\alpha]}\Psi_2$ for a non-central conjugacy class $[\alpha]$ in the $PSU(n)\times\mathbb{Z}_n^{(2)}$ BF-SymTFT and check its commutator with all operators built from $\widetilde{\mathcal{L}}$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is a two-line criterion. Consider a $d$-dimensional QFT with a 0-form symmetry $\mathcal{F}$ and its dual $(d-2)$-form symmetry, and let $\mathcal{L}$ be the Lagrangian algebra of the corresponding SymTFT: the set of extended operators that can end on the topological boundary. Let $\widetilde{\mathcal{L}}\subset\mathcal{L}$ be the subalgebra of operators that cannot attach any non-trivial tail on that boundary, where a tail is a defect labelled by an element of $\mathcal{F}$. Then additivity of the symmetric-sector von Neumann algebra $\mathcal{A}_{\mathcal{F}}(M_{d-1})$ is violated if $\widetilde{\mathcal{L}}\neq W_0\oplus U_0$, and Haag duality is violated if $\widetilde{\mathcal{L}}\neq\mathcal{L}$, with $W_0$ and $U_0$ the identity line and identity $(d-1)$-dimensional operator. The mechanism is that $\widetilde{\mathcal{L}}\neq W_0\oplus U_0$ produces an uncharged bi-local operator (a contracted pair of charged operators) that belongs to $\mathcal{A}_{\mathcal{F}}(R_1\cup R_2)$ but not to the algebra generated by the two subregions separately, while $\widetilde{\mathcal{L}}\neq\mathcal{L}$ produces an uncharged bi-twist operator (a symmetry generator dressed by charged operators at its boundary) that commutes with everything in the complementary region. The two-dimensional examples of $\mathbb{Z}_N$, $S_3$, and a diagonal RCFT illustrate the criterion, including a case where an invertible symmetry exists but additivity is not violated.

Load-bearing premise

The general-dimensional Haag duality claim rests on an assumption stated in Section 4.2: the paper does not construct symmetric bi-twist operators for non-invertible symmetries in dimensions above two, only asserts the construction should be analogous to the invertible case, and the criterion needs those operators to exist and commute with all operators in the complementary region.

Editorial extensions

If this is right

  • In any dimension, once the SymTFT Lagrangian algebra is known, additivity and Haag duality of the symmetric sector can be decided by a finite algebraic computation, with no need to enumerate the charged spectrum.
  • For two-dimensional diagonal RCFTs, the criterion reproduces the earlier result: an invertible Verlinde line beyond the identity breaks additivity, and a non-invertible Verlinde line breaks Haag duality.
  • For pure group symmetries such as $\mathbb{Z}_N$, $\widetilde{\mathcal{L}}=\mathcal{L}$, so the symmetric sector always violates additivity while preserving Haag duality.
  • For non-invertible symmetries such as Rep($S_3$), $\widetilde{\mathcal{L}}$ can be just the identity even when invertible elements exist; then additivity is preserved while Haag duality fails, so the two properties are logically independent.
  • Gauging a 0-form symmetry produces a dual $(d-2)$-form symmetry and exchanges the roles of bi-local and bi-twist operators, allowing the same Lagrangian-algebra criterion to be applied to the gauged theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step, beyond the paper's scope, would be to extend the criterion to arbitrary $p$-form symmetries by including all $p$-dimensional endable operators in $\mathcal{L}$; the paper explicitly stops at the dual $(d-2)$-form case.
  • The Haag duality half of the theorem would become unconditional if symmetric bi-twist operators for non-invertible symmetries are explicitly constructed in a concrete $d>2$ model; the absence of such a construction is the gap the paper itself flags.
  • The trivial-braiding fact proven in two dimensions suggests a general principle that $\widetilde{\mathcal{L}}$ is transparent to all of $\mathcal{L}$; if formalized from braiding data alone, the criterion would not need the tail map.
  • Because a symmetric sector that violates Haag duality cannot satisfy the standard local net axioms, the criterion may also indicate when a symmetry-invariant sector fails to define a local quantum field theory in its own right, a question relevant to algebraic treatments of curved or gravitational settings.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper studies the symmetric-sector von Neumann algebra A_F(M_{d-1}) of a d-dimensional QFT with a 0-form (and dual (d-2)-form) symmetry F, including bi-local and bi-twist operators in the algebra. The central claim is that the locality properties of A_F are determined by a subalgebra eL of the Lagrangian algebra L of the corresponding SymTFT: additivity is violated when eL differs from the identity sector W0⊕U0, and Haag duality is violated when eL differs from L. The authors construct neutral bi-local and bi-twist operators from SymTFT data, define eL as the operators in L that cannot attach non-trivial tails on the topological boundary, and then illustrate the criteria in 2d examples with Z_N symmetry, S3 symmetry and its Rep(S3) gauging, and diagonal RCFT. The 2d examples are explicit and internally consistent, but the general-dimensional Haag duality claim is not fully proven: the non-invertible bi-twist construction in d>2 is explicitly deferred, and the proof of commutation with all of A_F(R') has gaps.

Significance. If the proposed criteria are correct, they provide a clean SymTFT characterization of additivity and Haag duality of symmetric-sector algebras, generalizing the 2d results of Shao, Sorce, and Srivastava to arbitrary dimensions. The conceptual framework is genuinely useful: the eL subalgebra is a simple diagnostic, the patch-operator construction in Figure 9 is illuminating, and the S3/Rep(S3) example is a valuable counterexample showing that the existence of an invertible symmetry element does not automatically imply additivity violation. The diagonal RCFT analysis reproduces the criteria of [103], which is a good consistency check. However, the central 'arbitrary dimensions' claim is presently a proof sketch rather than a proof in the non-invertible case, so the paper requires substantive completion before the main claim can be accepted.

major comments (4)
  1. [Section 4.2] The general-dimensional Haag duality claim is not proven for non-invertible symmetries because the required bi-twist operators are not constructed. Section 4.2 states: 'we will not explicitly give a full construction of bi-twist operators in the presence of non-invertible symmetries; rather, we just note that the construction should be similar to the one given above.' This is not a side remark: the theorem in Section 5.1 uses symmetric bi-twist operators as the operators that violate Haag duality, and their existence and commutation properties are exactly what must be established. The authors should either provide a construction (or a precise citation to a construction) of non-invertible bi-twist operators in d>2 with the properties needed in Section 5.1, or they should restrict the theorem to the cases where the construction is actually given.
  2. [Section 5.1, Eqs. (5.5)-(5.9)] The step 'ρ(M)ρ(Mbar) = ρ(N) = 1, ∀N ∈ M Mbar' is asserted without a valid derivation. Comparing the two computations in (5.6) and (5.8) shows that two operator products agree when applied to a particular local operator; it does not imply that the action of every N in the fusion product M Mbar is trivial. For non-invertible symmetries, the action on a module of local operators can be nontrivial linear data even when no twist defect is generated, and multiplicities in M Mbar make the conclusion even less immediate. This equation is precisely what is needed to conclude that the candidate bi-twist operator commutes with all bi-local operators, so the Haag duality claim rests on an unproven assertion.
  3. [Section 5.1] Even granting existence of the bi-twist operators, the proof only establishes commutation with bi-local operators whose components lie in eL. A_F(R') is defined to be the full symmetric-sector algebra supported in R', which by the paper's own definition includes bi-twist operators supported entirely inside R' (constructed from W',U' ∈ L\eL). The argument around (5.3)-(5.9) does not check commutation with such operators. In the 2d proof, Eq. (5.11) is verified only for Wα ∈ eL against Wβ ∈ L; the braiding of two objects both in L\eL is not addressed. If the authors intend to use mutual locality of the full Lagrangian algebra L to close this gap, that argument should be stated explicitly; as written, the conclusion that the candidate operator lies in A_F(R')' is not established.
  4. [Section 5.1, Eqs. (5.1)-(5.2)] The proof of additivity violation is asserted rather than demonstrated. The text claims that a bi-twist operator can be constructed in the commutant (A_F(R1) ∪ A_F(R2))' and that this operator does not commute with the bi-local operator, but no argument is given that such a bi-twist can always be chosen with the region assignments of Figure 10 and with non-trivial commutator. Since additivity violation is one of the two central claims of the paper, this step needs a complete proof or an explicit adaptation of the corresponding argument in [103] to the higher-dimensional setting.
minor comments (5)
  1. [Section 5.1] The sentence 'Recall from Section 4.3 that there exist bi-local operators ... when eL ̸= L' should read eL ̸= W0⊕U0, and the bullet 'eL ̸= W0 L U0' contains a typographical 'L' instead of '⊕'.
  2. [Section 2] The sentence 'we will follow the choice of [106] to include certain non-local operators' cites reference [106], which is 'Saddle point equations in Seiberg-Witten theory'; this appears unrelated, and the intended reference is presumably [103] or another work on including non-local operators in the algebra.
  3. [Section 3, Eq. (3.5)] The contraction in tr ψr(x)ψr(y) := ψ^i_r(x)ψ_{ri}(y) should specify that the trace is over the representation indices of r; as written the index structure is ambiguous.
  4. [Section 3 and Section 5.1] There are several typos: 'conformal wright' should be 'conformal weight', and 'genunie' should be 'genuine'.
  5. [Section 4.2, Eqs. (4.13)-(4.14)] The condensation operator C(M_{d-1}) is introduced informally with a direct-sum notation; a definition or reference for this notation would help the reader follow the argument that N(M_{d-1})N(M_{d-1}) = C(M_{d-1}).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the eL criteria are structural consequences of the SymTFT data, no fitted parameters are renamed as predictions, and the self-citations are not load-bearing.

full rationale

The derivation is self-contained with respect to circularity concerns. The paper defines eL as the subalgebra of the Lagrangian algebra consisting of operators that cannot attach non-trivial tails on Btop, and then shows, by the graphical SymTFT construction of Section 4, that the presence of uncharged bi-local operators is equivalent to eL ≠ W0⊕U0 and that uncharged bi-twist operators can be built from W′,U′∈L\eL. The inference from these operator-existence statements to violation of additivity or Haag duality follows the structural segmentation/commutant argument of [103], not a re-importation of the conclusion into the definition. No parameter is fitted and no equation is shown to be identical to its input by construction. The self-citations do not create circularity: [68] supplies the BF-SymTFT construction for invertible symmetries and is prior independent work whose assumptions do not include the target locality statements, while [112] is a forward self-citation for a side remark only. The main weakness is a proof gap rather than circularity: Section 4.2 states 'we will not explicitly give a full construction of bi-twist operators in the presence of non-invertible symmetries; rather, we just note that the construction should be similar to the one given above', and the Haag-duality argument around Eqs. (5.5)-(5.9) checks commutation only with operators built from eL, not with all of A_F(R′). These are unproven steps in the general-dimensional claim, but they do not reduce the claim to its own inputs, so they do not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numbers are fitted to data; the paper is a structural derivation. New constructs eL and t(W) are subsets/maps of existing SymTFT data, not invented physical entities.

assumptions (6)
  • standard math Standard von Neumann algebra machinery: bicommutant theorem, definition of additivity and Haag duality.
    Used in Section 2 to define the properties under study; standard background from [4].
  • standard math Lagrangian algebra L of the SymTFT consists of mutually local bosonic lines and its total quantum dimension equals D_Z(F).
    Invoked in Section 5.2 (eqs 5.12-5.14) to prove trivial braiding between eL and L; cited from [119].
  • domain assumption Totalitarian principle: all allowed representations of F appear in the physical spectrum of T_F.
    Stated in Section 1.1; needed to ensure charged local operators exist for the invertible-symmetry argument in Section 5.1.
  • domain assumption The symmetry F contains non-invertible generators N with N N̄ equal to a condensation of the (d-2)-form symmetry, and such N are assumed to exist.
    Equations (4.12)-(4.14) in Section 4.2; the paper says 'we will assume the existence of such N... and not delve into the details of its construction'.
  • domain assumption Non-local operators are included in A(R) only when they do not extend to the boundary of spacetime; symmetric sector A_F is defined by commutativity with all N∈F.
    Section 1 and eq (2.6); this is the model choice inherited from [103].
  • domain assumption Only 0-form and dual (d-2)-form symmetries are considered, so only 1d and (d-1)-d extended operators in L matter for eL.
    Section 1.1 and 4.2; other p-form symmetries would require extending L.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Symmetry, Symmetry Topological Field Theory and von Neumann Algebra." pith.science (2026). https://pith.science/paper/CKJPKIN3

@misc{pith2026250717103,
  author       = {Pith},
  title        = {Pith review of: Symmetry, Symmetry Topological Field Theory and von Neumann Algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CKJPKIN3}},
  note         = {Machine review of arXiv:2507.17103}
}
abstract

We study the additivity and Haag duality of the von Neumann algebra of a quantum field theory $\mathcal{T}_\mathcal{F}$ with 0-form (and the dual $(d-2)$-form) (non)-invertible global symmetry $\mathcal{F}$. We analyze the symmetric (uncharged) sector von Neumann algebra of $\mathcal{T}_\mathcal{F}$ with the inclusion of bi-local and bi-twist operators in it. We establish the connection between the existence of these non-local operators in $\mathcal{T}_\mathcal{F}$ and certain properties of the Lagrangian algebra $\mathcal{L}$ of the extended operators in the corresponding symmetry topological field theory (SymTFT). We prove that additivity or Haag duality of the symmetric sector von Neumann algebra is violated when $\mathcal{L}$ satisfies specific criteria, thus generalizing the result of Shao, Sorce and Srivastava to arbitrary dimensions. We further demonstrate the SymTFT construction via concrete examples in two dimensions.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Disjoint additivity and local quantum physics

    hep-th 2025-09 conditional novelty 7.0 of 10

    Local quantum systems should obey disjoint additivity plus Haag duality, a combination that survives higher-form symmetries and fails for known nonlocal constructions.

  2. Entropic order parameters and topological holography

    hep-th 2025-12 conditional novelty 5.0 of 10

    Using SymTFT, the entropic order parameter for a symmetry-breaking vacuum labelled by a equals log(dim C / d_a^2), making the distinguishability of non-invertible vacua manifest.

  3. Sandwich Construction of Symmetry TFTs for the Centre Symmetries of Chern-Simons, Yang-Mills, and Einstein Gravity

    hep-th 2025-09 conditional novelty 5.0 of 10

    Constructs AKSZ sandwich SymTFTs with stacky target spaces that encode the center symmetries of Chern-Simons, Yang-Mills, and MacDowell-Mansouri gravity.

Reference graph

Works this paper leans on

130 extracted references · 6 canonical work pages · cited by 3 Pith papers

  1. [68]

    Q. Jia, R. Luo, J. Tian, Y.-N. Wang and Y. Zhang, Symmetry Topological Field Theory for Flavor Symmetry , 2503.04546

  2. [103]

    S.-H. Shao, J. Sorce and M. Srivastava, Additivity, Haag duality, and non-invertible symmetries, 2503.20863

  3. [1]

    Weinberg, The Quantum theory of fields

    S. Weinberg, The Quantum theory of fields. Vol. 1: Foundations , Cambridge University Press (6, 2005), 10.1017/CBO9781139644167

  4. [2]

    Weinberg, The quantum theory of fields

    S. Weinberg, The quantum theory of fields. Vol. 2: Modern applications , Cambridge University Press (8, 2013), 10.1017/CBO9781139644174

  5. [3]

    Haag and D

    R. Haag and D. Kastler, An Algebraic approach to quantum field theory , J. Math. Phys. 5 (1964) 848

  6. [4]

    Haag, Local Quantum Physics, Theoretical and Mathematical Physics, Springer, Berlin (1996), 10.1007/978-3-642-61458-3

    R. Haag, Local Quantum Physics, Theoretical and Mathematical Physics, Springer, Berlin (1996), 10.1007/978-3-642-61458-3

  7. [5]

    Segal, Postulates for general quantum mechanics , Annals of Mathematics 48 (1947) 930

    I.E. Segal, Postulates for general quantum mechanics , Annals of Mathematics 48 (1947) 930

  8. [6]

    Haag and B

    R. Haag and B. Schroer, Postulates of quantum field theory , Journal of Mathematical Physics 3 (1962) 248 [https://pubs.aip.org/aip/jmp/article-pdf/3/2/248/19054820/248 1 online.pdf]

Show all 130 references
  1. [7]

    Chandrasekaran, R

    V. Chandrasekaran, R. Longo, G. Penington and E. Witten, An algebra of observables for de Sitter space , JHEP 02 (2023) 082 [ 2206.10780]

  2. [8]

    Witten, Algebras, regions, and observers

    E. Witten, Algebras, regions, and observers. , Proc. Symp. Pure Math. 107 (2024) 247 [2303.02837]

  3. [9]

    Alford and J

    M.G. Alford and J. March-Russell, New order parameters for nonAbelian gauge theories , Nucl. Phys. B 369 (1992) 276

  4. [10]

    Alford and J

    M.G. Alford and J. March-Russell, Discrete gauge theories , Int. J. Mod. Phys. B 5 (1991) 2641

  5. [11]

    Bucher, K.-M

    M. Bucher, K.-M. Lee and J. Preskill, On detecting discrete Cheshire charge , Nucl. Phys. B 386 (1992) 27 [ hep-th/9112040]

  6. [12]

    Alford, K.-M

    M.G. Alford, K.-M. Lee, J. March-Russell and J. Preskill, Quantum field theory of nonAbelian strings and vortices , Nucl. Phys. B 384 (1992) 251 [ hep-th/9112038]

  7. [13]

    Nussinov and G

    Z. Nussinov and G. Ortiz, A symmetry principle for topological quantum order , Annals of Physics 324 (2009) 977

  8. [15]

    Freed, G.W

    D.S. Freed, G.W. Moore and G. Segal, The Uncertainty of Fluxes , Commun. Math. Phys. 271 (2007) 247 [ hep-th/0605198]

  9. [16]

    Pantev and E

    T. Pantev and E. Sharpe, GLSM’s for Gerbes (and other toric stacks) , Adv. Theor. Math. Phys. 10 (2006) 77 [ hep-th/0502053]

  10. [17]

    Pantev and E

    T. Pantev and E. Sharpe, String compactifications on Calabi-Yau stacks , Nucl. Phys. B 733 (2006) 233 [ hep-th/0502044]

  11. [18]

    Pantev and E

    T. Pantev and E. Sharpe, Notes on gauging noneffective group actions , hep-th/0502027

  12. [19]

    Hellerman, A

    S. Hellerman, A. Henriques, T. Pantev, E. Sharpe and M. Ando, Cluster decomposition, T-duality, and gerby CFT’s , Adv. Theor. Math. Phys. 11 (2007) 751 [ hep-th/0606034]

  13. [20]

    Gukov and E

    S. Gukov and E. Witten, Gauge Theory, Ramification, And The Geometric Langlands Program, hep-th/0612073. – 32 –

  14. [21]

    Aharony, N

    O. Aharony, N. Seiberg and Y. Tachikawa, Reading between the lines of four-dimensional gauge theories, JHEP 08 (2013) 115 [ 1305.0318]

  15. [22]

    Kapustin and R

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

  16. [23]

    Kapustin and N

    A. Kapustin and N. Seiberg, Coupling a QFT to a TQFT and Duality , JHEP 04 (2014) 001 [1401.0740]

  17. [24]

    Gaiotto, A

    D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett, Generalized Global Symmetries, JHEP 02 (2015) 172 [ 1412.5148]

  18. [25]

    Albertini, M

    F. Albertini, M. Del Zotto, I.n. Garc ´ ıa Etxebarria and S.S. Hosseini, Higher Form Symmetries and M-theory , JHEP 12 (2020) 203 [ 2005.12831]

  19. [26]

    Apruzzi, F

    F. Apruzzi, F. Bonetti, I.n. Garc ´ ıa Etxebarria, S.S. Hosseini and S. Schafer-Nameki, Symmetry TFTs from String Theory , Commun. Math. Phys. 402 (2023) 895 [ 2112.02092]

  20. [27]

    Apruzzi, S

    F. Apruzzi, S. Schafer-Nameki, L. Bhardwaj and J. Oh, The Global Form of Flavor Symmetries and 2-Group Symmetries in 5d SCFTs , SciPost Phys. 13 (2022) 024 [2105.08724]

  21. [28]

    Apruzzi, L

    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]

  22. [29]

    Apruzzi, Higher form symmetries TFT in 6d , JHEP 11 (2022) 050 [ 2203.10063]

    F. Apruzzi, Higher form symmetries TFT in 6d , JHEP 11 (2022) 050 [ 2203.10063]

  23. [30]

    Apruzzi, M

    F. Apruzzi, M. van Beest, D.S.W. Gould and S. Sch¨ afer-Nameki, Holography, 1-form symmetries, and confinement , Phys. Rev. D 104 (2021) 066005 [ 2104.12764]

  24. [31]

    Apruzzi, I

    F. Apruzzi, I. Bah, F. Bonetti and S. Schafer-Nameki, Noninvertible Symmetries from Holography and Branes, Phys. Rev. Lett. 130 (2023) 121601 [ 2208.07373]

  25. [32]

    Apruzzi, F

    F. Apruzzi, F. Bonetti, D.S.W. Gould and S. Schafer-Nameki, Aspects of categorical symmetries from branes: SymTFTs and generalized charges , SciPost Phys. 17 (2024) 025 [2306.16405]

  26. [33]

    Acharya, M

    B.S. Acharya, M. Del Zotto, J.J. Heckman, M. Hubner and E. Torres, Junctions, edge modes, and G2-holonomy orbifolds , Beijing J. Pure Appl. Math. 1 (2024) 273 [ 2304.03300]

  27. [34]

    Bashmakov, M

    V. Bashmakov, M. Del Zotto, A. Hasan and J. Kaidi, Non-invertible symmetries of class S theories, JHEP 05 (2023) 225 [ 2211.05138]

  28. [35]

    van Beest, D.S.W

    M. van Beest, D.S.W. Gould, S. Schafer-Nameki and Y.-N. Wang, Symmetry TFTs for 3d QFTs from M-theory , JHEP 02 (2023) 226 [ 2210.03703]

  29. [36]

    Benetti Genolini and L

    P. Benetti Genolini and L. Tizzano, Instantons, symmetries and anomalies in five dimensions, JHEP 04 (2021) 188 [ 2009.07873]

  30. [37]

    Bergman, Y

    O. Bergman, Y. Tachikawa and G. Zafrir, Generalized symmetries and holography in ABJM-type theories, JHEP 07 (2020) 077 [ 2004.05350]

  31. [38]

    Bhardwaj and S

    L. Bhardwaj and S. Sch¨ afer-Nameki,Higher-form symmetries of 6d and 5d theories , JHEP 02 (2021) 159 [ 2008.09600]

  32. [39]

    Bhardwaj, 2-Group symmetries in class S , SciPost Phys

    L. Bhardwaj, 2-Group symmetries in class S , SciPost Phys. 12 (2022) 152 [ 2107.06816]

  33. [40]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, S. Schafer-Nameki and A. Tiwari, Non-invertible higher-categorical symmetries, SciPost Phys. 14 (2023) 007 [ 2204.06564]. – 33 –

  34. [41]

    Bhardwaj and S

    L. Bhardwaj and S. Schafer-Nameki, Generalized charges, part I: Invertible symmetries and higher representations, SciPost Phys. 16 (2024) 093 [ 2304.02660]

  35. [43]

    Bhardwaj, M

    L. Bhardwaj, M. Hubner and S. Schafer-Nameki, 1-form Symmetries of 4d N=2 Class S Theories, SciPost Phys. 11 (2021) 096 [ 2102.01693]

  36. [44]

    Bhardwaj, M

    L. Bhardwaj, M. Bullimore, A.E.V. Ferrari and S. Schafer-Nameki, Anomalies of Generalized Symmetries from Solitonic Defects , SciPost Phys. 16 (2024) 087 [ 2205.15330]

  37. [45]

    Bhardwaj, S

    L. Bhardwaj, S. Schafer-Nameki and J. Wu, Universal Non-Invertible Symmetries , Fortsch. Phys. 70 (2022) 2200143 [ 2208.05973]

  38. [46]

    Bhardwaj, S

    L. Bhardwaj, S. Schafer-Nameki and A. Tiwari, Unifying constructions of non-invertible symmetries, SciPost Phys. 15 (2023) 122 [ 2212.06159]

  39. [47]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, S. Schafer-Nameki and A. Tiwari, Non-invertible symmetry webs, SciPost Phys. 15 (2023) 160 [ 2212.06842]

  40. [48]

    Braeger, V

    N. Braeger, V. Chakrabhavi, J.J. Heckman and M. H¨ ubner, Generalized Symmetries of Non-Supersymmetric Orbifolds, 2404.17639

  41. [50]

    Choi, H.T

    Y. Choi, H.T. Lam and S.-H. Shao, Noninvertible Global Symmetries in the Standard Model, Phys. Rev. Lett. 129 (2022) 161601 [ 2205.05086]

  42. [51]

    Cvetiˇ c, J.J

    M. Cvetiˇ c, J.J. Heckman, M. H¨ ubner and E. Torres,0-form, 1-form, and 2-group symmetries via cutting and gluing of orbifolds , Phys. Rev. D 106 (2022) 106003 [2203.10102]

  43. [52]

    Cvetic, M

    M. Cvetic, M. Dierigl, L. Lin and H.Y. Zhang, Higher-form symmetries and their anomalies in M-/F-theory duality , Phys. Rev. D 104 (2021) 126019 [ 2106.07654]

  44. [53]

    Cvetiˇ c, J.J

    M. Cvetiˇ c, J.J. Heckman, M. H¨ ubner and E. Torres,Fluxbranes, generalized symmetries, and Verlinde’s metastable monopole , Phys. Rev. D 109 (2024) 046007 [ 2305.09665]

  45. [54]

    Cvetiˇ c, J.J

    M. Cvetiˇ c, J.J. Heckman, M. H¨ ubner and E. Torres,Generalized symmetries, gravity, and the swampland , Phys. Rev. D 109 (2024) 026012 [ 2307.13027]

  46. [55]

    Cvetiˇ c, R

    M. Cvetiˇ c, R. Donagi, J.J. Heckman, M. H¨ ubner and E. Torres,Cornering Relative Symmetry Theories, 2408.12600

  47. [56]

    Cvetiˇ c, J.J

    M. Cvetiˇ c, J.J. Heckman, M. H¨ ubner and C. Murdia,Metric Isometries, Holography, and Continuous Symmetry Operators , 2501.17911

  48. [57]

    Del Zotto, I.n

    M. Del Zotto, I.n. Garc ´ ıa Etxebarria and S. Schafer-Nameki,2-Group Symmetries and M-Theory, SciPost Phys. 13 (2022) 105 [ 2203.10097]

  49. [58]

    Del Zotto, I.n

    M. Del Zotto, I.n. Garc ´ ıa Etxebarria and S.S. Hosseini,Higher form symmetries of Argyres-Douglas theories, JHEP 10 (2020) 056 [ 2007.15603]

  50. [59]

    Del Zotto, J.J

    M. Del Zotto, J.J. Heckman, S.N. Meynet, R. Moscrop and H.Y. Zhang, Higher symmetries of 5D orbifold SCFTs , Phys. Rev. D 106 (2022) 046010 [ 2201.08372]. – 34 –

  51. [60]

    Etheredge, I

    M. Etheredge, I. Garcia Etxebarria, B. Heidenreich and S. Rauch, Branes and symmetries for N = 3 S-folds , JHEP 09 (2023) 005 [ 2302.14068]

  52. [61]

    Garc ´ ıa Etxebarria,Branes and Non-Invertible Symmetries , Fortsch

    I.n. Garc ´ ıa Etxebarria,Branes and Non-Invertible Symmetries , Fortsch. Phys. 70 (2022) 2200154 [2208.07508]

  53. [62]

    Garc ´ ıa Etxebarria and N

    I.n. Garc ´ ıa Etxebarria and N. Iqbal,A Goldstone theorem for continuous non-invertible symmetries, JHEP 09 (2023) 145 [ 2211.09570]

  54. [63]

    Gukov, P.-S

    S. Gukov, P.-S. Hsin and D. Pei, Generalized global symmetries of T [M ] theories. Part I , JHEP 04 (2021) 232 [ 2010.15890]

  55. [64]

    Heckman, M

    J.J. Heckman, M. H¨ ubner, E. Torres and H.Y. Zhang, The Branes Behind Generalized Symmetry Operators, Fortsch. Phys. 71 (2023) 2200180 [ 2209.03343]

  56. [65]

    Heckman, M

    J.J. Heckman, M. H¨ ubner and C. Murdia, On the holographic dual of a topological symmetry operator, Phys. Rev. D 110 (2024) 046007 [ 2401.09538]

  57. [66]

    Hsieh, Y

    C.-T. Hsieh, Y. Tachikawa and K. Yonekura, Anomaly Inflow and p-Form Gauge Theories , Commun. Math. Phys. 391 (2022) 495 [ 2003.11550]

  58. [67]

    Hubner, D.R

    M. Hubner, D.R. Morrison, S. Schafer-Nameki and Y.-N. Wang, Generalized Symmetries in F-theory and the Topology of Elliptic Fibrations , SciPost Phys. 13 (2022) 030 [2203.10022]

  59. [71]

    Kaidi, G

    J. Kaidi, G. Zafrir and Y. Zheng, Non-invertible symmetries of N = 4 SYM and twisted compactification, JHEP 08 (2022) 053 [ 2205.01104]

  60. [72]

    Y. Lee, K. Ohmori and Y. Tachikawa, Matching higher symmetries across Intriligator-Seiberg duality, JHEP 10 (2021) 114 [ 2108.05369]

  61. [73]

    R. Liu, R. Luo and Y.-N. Wang, Higher-Matter and Landau-Ginzburg Theory of Higher-Group Symmetries, 2406.03974

  62. [74]

    Morrison, S

    D.R. Morrison, S. Schafer-Nameki and B. Willett, Higher-Form Symmetries in 5d , JHEP 09 (2020) 024 [ 2005.12296]

  63. [75]

    Tian and Y.-N

    J. Tian and Y.-N. Wang, 5D and 6D SCFTs from C3 orbifolds, SciPost Phys. 12 (2022) 127 [2110.15129]

  64. [76]

    Tian and Y.-N

    J. Tian and Y.-N. Wang, A Tale of Bulk and Branes: Symmetry TFT of 6D SCFTs from IIB/F-theory, 2410.23076

  65. [77]

    Tian and X

    J. Tian and X. Wang, Higher Form and Higher Group Symmetries via Mirror Symmetry , 2503.09967

  66. [78]

    Del Zotto, J.J

    M. Del Zotto, J.J. Heckman, D.S. Park and T. Rudelius, On the Defect Group of a 6D SCFT, Lett. Math. Phys. 106 (2016) 765 [ 1503.04806]

  67. [79]

    Schafer-Nameki, ICTP Lectures on (Non-)Invertible Generalized Symmetries , 2305.18296

    S. Schafer-Nameki, ICTP Lectures on (Non-)Invertible Generalized Symmetries , 2305.18296. – 35 –

  68. [80]

    Bhardwaj, L.E

    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]

  69. [81]

    Luo, Q.-R

    R. Luo, Q.-R. Wang and Y.-N. Wang, Lecture notes on generalized symmetries and applications, Phys. Rept. 1065 (2024) 1 [ 2307.09215]

  70. [82]

    Gomes, An introduction to higher-form symmetries , SciPost Phys

    P.R.S. Gomes, An introduction to higher-form symmetries , SciPost Phys. Lect. Notes 74 (2023) 1 [ 2303.01817]

  71. [83]

    Cordova, T.T

    C. Cordova, T.T. Dumitrescu, K. Intriligator and S.-H. Shao, Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond , in Snowmass 2021 , 5, 2022 [2205.09545]

  72. [84]

    Shao, What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries, 2308.00747

    S.-H. Shao, What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries, 2308.00747

  73. [85]

    Witten, AdS / CFT correspondence and topological field theory , JHEP 12 (1998) 012 [hep-th/9812012]

    E. Witten, AdS / CFT correspondence and topological field theory , JHEP 12 (1998) 012 [hep-th/9812012]

  74. [86]

    Freed and C

    D.S. Freed and C. Teleman, Relative quantum field theory , Commun. Math. Phys. 326 (2014) 459 [ 1212.1692]

  75. [87]

    L. Kong, T. Lan, X.-G. Wen, Z.-H. Zhang and H. Zheng, Algebraic higher symmetry and categorical symmetry – a holographic and entanglement view of symmetry , Phys. Rev. Res. 2 (2020) 043086 [ 2005.14178]

  76. [88]

    Gaiotto and J

    D. Gaiotto and J. Kulp, Orbifold groupoids, JHEP 02 (2021) 132 [ 2008.05960]

  77. [89]

    Baume, J.J

    F. Baume, J.J. Heckman, M. H¨ ubner, E. Torres, A.P. Turner and X. Yu, SymTrees and Multi-Sector QFTs, Phys. Rev. D 109 (2024) 106013 [ 2310.12980]

  78. [90]

    J. Chen, W. Cui, B. Haghighat and Y.-N. Wang, SymTFTs and duality defects from 6d SCFTs on 4-manifolds , JHEP 11 (2023) 208 [ 2305.09734]

  79. [91]

    Heckman and M

    J.J. Heckman and M. H¨ ubner,Celestial Topology, Symmetry Theories, and Evidence for a NonSUSY D3-Brane CFT , Fortsch. Phys. 73 (2025) 2400270 [ 2406.08485]

  80. [92]

    Braeger, V

    N. Braeger, V. Chakrabhavi, J.J. Heckman and M. H¨ ubner, Generalized Symmetries of Non-SUSY and Discrete Torsion String Backgrounds , 2504.10484

  81. [93]

    Heckman, M

    J.J. Heckman, M. H¨ ubner and C. Murdia, Symmetry Theories, Wigner’s Function, Compactification, and Holography, 2505.23887

  82. [94]

    Harlow and H

    D. Harlow and H. Ooguri, Symmetries in quantum field theory and quantum gravity , Commun. Math. Phys. 383 (2021) 1669 [ 1810.05338]

  83. [95]

    Casini, M

    H. Casini, M. Huerta, J.M. Magan and D. Pontello, Entropic order parameters for the phases of QFT , JHEP 04 (2021) 277 [ 2008.11748]

  84. [96]

    Casini and J.M

    H. Casini and J.M. Magan, On completeness and generalized symmetries in quantum field theory, Mod. Phys. Lett. A 36 (2021) 2130025 [ 2110.11358]

  85. [97]

    Benedetti, H

    V. Benedetti, H. Casini and J.M. Magan, Generalized symmetries and Noether’s theorem in QFT, JHEP 08 (2022) 304 [ 2205.03412]

  86. [98]

    Benedetti, H

    V. Benedetti, H. Casini and J.M. Magan, Charges in the UV completion of neutral electrodynamics, JHEP 06 (2023) 095 [ 2212.11291]

  87. [99]

    Benedetti, H

    V. Benedetti, H. Casini and J.M. Magan, ABJ anomaly as a U(1) symmetry and Noether’s theorem, SciPost Phys. 18 (2025) 041 [ 2309.03264]. – 36 –

  88. [100]

    Benedetti, H

    V. Benedetti, H. Casini, Y. Kawahigashi, R. Longo and J.M. Magan, Modular invariance as completeness, Phys. Rev. D 110 (2024) 125004 [ 2408.04011]

  89. [101]

    Benedetti, H

    V. Benedetti, H. Casini and J.M. Magan, Selection rules for RG flows of minimal models , Phys. Rev. D 111 (2025) 065024 [ 2412.16587]

  90. [102]

    Yu and H.Y

    X. Yu and H.Y. Zhang, von Neumann Subfactors and Non-invertible Symmetries , 2504.05374

  91. [104]

    Araki, Mathematical theory of quantum fields (1999)

    H. Araki, Mathematical theory of quantum fields (1999)

  92. [105]

    Casini, The Quantum logic of causal sets , Class

    H. Casini, The Quantum logic of causal sets , Class. Quant. Grav. 19 (2002) 6389 [gr-qc/0205013]

  93. [106]

    Shadchin, Saddle point equations in Seiberg-Witten theory , JHEP 10 (2004) 033 [hep-th/0408066]

    S. Shadchin, Saddle point equations in Seiberg-Witten theory , JHEP 10 (2004) 033 [hep-th/0408066]

  94. [107]

    Sorce, Notes on the type classification of von Neumann algebras , Rev

    J. Sorce, Notes on the type classification of von Neumann algebras , Rev. Math. Phys. 36 (2024) 2430002 [ 2302.01958]

  95. [108]

    Oshikawa and I

    M. Oshikawa and I. Affleck, Boundary conformal field theory approach to the critical two-dimensional Ising model with a defect line , Nucl. Phys. B 495 (1997) 533 [cond-mat/9612187]

  96. [109]

    Petkova and J.B

    V.B. Petkova and J.B. Zuber, Generalized twisted partition functions , Phys. Lett. B 504 (2001) 157 [ hep-th/0011021]

  97. [110]

    Frohlich, J

    J. Frohlich, J. Fuchs, I. Runkel and C. Schweigert, Kramers-Wannier duality from conformal defects, Phys. Rev. Lett. 93 (2004) 070601 [ cond-mat/0404051]

  98. [111]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor Categories, Mathematical surveys and monographs, American Mathematical Society (2017)

  99. [112]

    Qiang Jia, Ran Luo, Jiahua Tian, Yi-Nan Wang and Yi Zhang, to appear,

  100. [113]

    Turaev and O

    V. Turaev and O. Viro, State sum invariants of 3-manifolds and quantum 6j-symbols , Topology 31 (1992) 865

  101. [114]

    Barrett and B.W

    J.W. Barrett and B.W. Westbury, Invariants of piecewise linear three manifolds , Trans. Am. Math. Soc. 348 (1996) 3997 [ hep-th/9311155]

  102. [115]

    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

  103. [116]

    Evans and T

    D.E. Evans and T. Gannon, The exoticness and realisability of twisted Haagerup-Izumi modular data, Commun. Math. Phys. 307 (2011) 463 [ 1006.1326]

  104. [117]

    M¨ uger,From subfactors to categories and topology ii: The quantum double of tensor categories and subfactors , Journal of Pure and Applied Algebra 180 (2003) 159

    M. M¨ uger,From subfactors to categories and topology ii: The quantum double of tensor categories and subfactors , Journal of Pure and Applied Algebra 180 (2003) 159

  105. [118]

    Y.-H. Lin, M. Okada, S. Seifnashri and Y. Tachikawa, Asymptotic density of states in 2d CFTs with non-invertible symmetries , JHEP 03 (2023) 094 [ 2208.05495]

  106. [119]

    I. Cong, M. Cheng and Z. Wang, Topological Quantum Computation with Gapped Boundaries, 1609.02037

  107. [120]

    Bhardwaj, L.E

    L. Bhardwaj, L.E. Bottini, D. Pajer and S. Sch¨ afer-Nameki, Gapped phases with non-invertible symmetries: (1+1)d , SciPost Phys. 18 (2025) 032 [ 2310.03784]. – 37 –

  108. [121]

    Bhardwaj and S

    L. Bhardwaj and S. Schafer-Nameki, Generalized Charges, Part II: Non-Invertible Symmetries and the Symmetry TFT , arXiv (2023) [ 2305.17159]

  109. [122]

    Kong, Anyon condensation and tensor categories , Nucl

    L. Kong, Anyon condensation and tensor categories , Nucl. Phys. B 886 (2014) 436 [1307.8244]

  110. [123]

    Ji and X.-G

    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]

  111. [124]

    X.-C. Wu, W. Ji and C. Xu, Categorical Symmetries at Criticality , 2012.03976

  112. [125]

    Chatterjee and X.-G

    A. Chatterjee and X.-G. Wen, Symmetry as a shadow of topological order and a derivation of topological holographic principle, Phys. Rev. B 107 (2023) 155136 [ 2203.03596]

  113. [126]

    Chatterjee, W

    A. Chatterjee, W. Ji and X.-G. Wen, Emergent generalized symmetry and maximal symmetry-topological-order, 2212.14432

  114. [127]

    Inamura and X.-G

    K. Inamura and X.-G. Wen, 2+1D symmetry-topological-order from local symmetric operators in 1+1D , 2310.05790

  115. [128]

    Roumpedakis, S

    K. Roumpedakis, S. Seifnashri and S.-H. Shao, Higher Gauging and Non-invertible Condensation Defects, Commun. Math. Phys. 401 (2023) 3043 [ 2204.02407]

  116. [129]

    Kaidi, K

    J. Kaidi, K. Ohmori and Y. Zheng, Kramers-Wannier-like Duality Defects in (3+1)D Gauge Theories, Phys. Rev. Lett. 128 (2022) 111601 [ 2111.01141]

  117. [130]

    Y. Choi, C. Cordova, P.-S. Hsin, H.T. Lam and S.-H. Shao, Noninvertible duality defects in 3+1 dimensions , Phys. Rev. D 105 (2022) 125016 [ 2111.01139]

  118. [131]

    Y. Choi, C. Cordova, P.-S. Hsin, H.T. Lam and S.-H. Shao, Non-invertible Condensation, Duality, and Triality Defects in 3+1 Dimensions , Commun. Math. Phys. 402 (2023) 489 [2204.09025]

  119. [132]

    Antinucci, F

    A. Antinucci, F. Benini, C. Copetti, G. Galati and G. Rizi, The holography of non-invertible self-duality symmetries , JHEP 03 (2025) 052 [ 2210.09146]

  120. [133]

    Kaidi, K

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

  121. [134]

    Barkeshli, P

    M. Barkeshli, P. Bonderson, M. Cheng and Z. Wang, Symmetry Fractionalization, Defects, and Gauging of Topological Phases , Phys. Rev. B 100 (2019) 115147 [ 1410.4540]

  122. [135]

    Pace, ¨O.M

    S.D. Pace, ¨O.M. Aksoy and H.T. Lam, Spacetime symmetry-enriched SymTFT: from LSM anomalies to modulated symmetries and beyond , 2507.02036. – 38 –

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.