Symmetry extension by condensation defects II: general dimensions and higher-groups

Antonio Santaniello; Lorenzo Di Pietro; Matteo Bertolini; Stefano C. Lanza

Symmetry extension by condensation defects II: general dimensions and higher-groups

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Gauging two symmetries in a cubic-anomaly theory forces the remaining symmetry to extend by condensation defects, yielding an ordinary extension or a higher-group.

desk verdict The n=1 extension mechanism is solid and the partition-function check is a nice payoff, but the advertised n≥2 higher-group examples rest on an unproved, dimensionally suspect condensation-defect identification. read the letter →

arxiv 2607.16099 v2 pith:SY5R2Y7I submitted 2026-07-17 hep-th cond-mat.str-el

Matteo Bertolini , Lorenzo Di Pietro , Stefano C. Lanza , Antonio Santaniello This is my paper · ORCID

classification hep-thcond-mat.str-el

keywords generalizedsymmetrieshigher-formcondensationdefectshigher-groups'tHooftanomaliessymmetryextensiongaugingcharacteristicclasses

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 establishes a general mechanism: starting from a quantum field theory with a cubic 't Hooft anomaly that mixes two discrete higher-form symmetries A and B with a characteristic class of a third symmetry C, gauging A×B does not leave C intact. Instead, C must be combined with a new symmetry D generated by condensation defects of the dual A-hat×B-hat symmetry; the combination is an ordinary group extension when the characteristic class has degree n=1, and a higher (r+n)-group for n≥2. The paper shows that states charged under this extended structure are not conventional extended operators but triple-linking configurations of two operators, and it verifies the mechanism in examples including scalar QED3, 3d N=4 SQED, 5d SYM, and the E1 SCFT. If correct, any theory with such an anomaly exhibits this symmetry enlargement upon gauging, with observable consequences such as doubled fugacity periodicities in partition functions.

What carries the argument

The central object is the condensation defect U_d[Σ_{p+q+2}]: a higher-gauging of the dual A-hat^{(d-p-2)}×B-hat^{(d-q-2)} symmetry on a submanifold, with a discrete torsion term that makes its fusion invertible and labeled by the finite Abelian group D. The carrying identity is the background constraint δD_{n+r}=(−1)^{p+q} t_{n+r+1}(C), which forces C to sit inside a larger structure Γ. The action on operators is mediated by the triple-linking number L_3, replacing the usual two-component linking of standard higher-form symmetries.

What would settle it

Compute the fusion of two U_d defects in a concrete lattice or TFT realization of the higher-gauging, or compute the S^1×S^2×S^2 partition function of 5d SO(3) SYM with electric and instantonic fluxes: if the fusion is non-invertible, or if the fugacity periodicity is 2π rather than 4π in a flux sector that should show the extension, the central claim is falsified.

Watch

Extended reading notes

Core claim

The central claim: after gauging A^{(p)}×B^{(q)}, the theory is governed by the background constraint δD_{n+r} = (−1)^{p+q} t_{n+r+1}(C), where D_{n+r} is the background for a D^{(n+r−1)} symmetry generated by condensation defects U_d of the dual A-hat×B-hat symmetry with discrete torsion. The torsion makes the fusion rules of U_d invertible, so D is a genuine symmetry. For n=1, C and D form an ordinary extension 1→D^{(r)}→Γ^{(r)}→C^{(r)}→1; for n≥2 they form an (r+n)-group. Charged objects are triple-linking configurations of two A-hat- and B-hat-charged operators, carrying fractional C-charge.

Load-bearing premise

The load-bearing premise is that the torsion-twisted condensation defect U_d is a genuine invertible topological operator with fusion rules labeled by D, and for r≥1 that the characteristic class is activated by the assumed non-generic junctions; if either fails, the extension/higher-group conclusion collapses into non-invertible defect structure.

Editorial extensions

If this is right

Every theory with an anomaly of the form (2.1), in any spacetime dimension, acquires an extended symmetry after gauging A×B: an ordinary extension for n=1 and an (r+n)-group for n≥2, with the extension class fixed by the anomaly.
The charged spectrum of the gauged theory must include triple-linking configurations of two operators; these carry fractional C-charge, so any Hilbert space that captures the extension must contain such link states.
In 5d N=1 SYM with gauge group SO(3), the instantonic symmetry U(1)_I is extended by Z_2, so the fugacity on S^1×S^2×S^2 has period 4π rather than 2π, visible in the supersymmetric partition function.
In the E1 SCFT, gauging a Z_2×Z_2 subgroup of the instantonic symmetry produces a 3-group between a Z_2 one-form symmetry and a Z_2 two-form symmetry generated by a condensation defect.
The n=0 limit of the same framework reproduces the known non-invertible defect structures, so the construction interpolates between non-invertible defects and invertible extension/higher-group symmetries.

Reading between the lines

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

If the invertibility of the condensation defect fusion holds generally, the same mechanism should apply to any cubic anomaly whose characteristic class takes values in a finite Abelian group, including cases with continuous C; verifying the fusion in a lattice model would sharpen the claim.
The authors' expectation that classes in H^{r+2}(B^{r+1}C,D)/Ker(Φ_r) are activated by non-generic junctions means the extension class may be computable purely from group cohomology; checking this map explicitly for r≥1 would turn the structural result into a practical formula.
The triple-linking charge suggests that in holographic or symmetry-TFT descriptions the extended symmetry should be visible as a bulk boundary condition; one could test the construction by deriving the same extension from an anomaly inflow TFT on a slab.
The doubled-periodicity prediction in 5d SYM is directly testable in the existing supersymmetric partition function literature; if the 4π periodicity fails for some background fluxes, the extension claim would be narrowed.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Here's my take on 2607.16099. The paper works out a general framework: a cubic anomaly mixing A(p), B(q), and a characteristic class of C(r), with A×B gauged, yields an extension (n=1) or higher-group (n≥2) of C by a D symmetry generated by U_d = exp(2πi d·∫ a∪b). The n=1 story is convincing: the gauge-invariance argument (2.12)–(2.18) cleanly gives δD = t and the modified transformation; special cases reproduce known n=0 non-invertible and 5d results; and the §3.3 partition-function check—doubled fugacity periodicity for SO(3) vs SU(2)—is a genuinely independent confirmation. The triple-linking charged-operator analysis is plausible, though it inherits the open issues below.

The soft spot is the status of (2.10), the condensation-defect presentation of U_d. The paper states it without derivation, and in exactly the new n≥2 regime there is a dimensional problem. In the E1 example (§3.4: p=q=0, n=2, r=1), the dual fields are 4-forms while Σ is 2-dimensional; standard restriction gives zero. The notation ba_{q+1}, bb_{p+1} appears to select components that aren't there. This is not a typo—the 3-group claim and the 'general dimensions' title rest on this identification. The paper does flag the r≥1 junction as 'expected' and relies on the homomorphism Φ_r without proof, so it is aware of some gaps, but the condensation-defect identification is presented as fact.

I disagree with the reader's identification of the weakest premise: invertibility is not where the burden sits. (2.9) is manifestly group-like. The real question is whether U_d can be written as a condensation defect at all in the cases where the dual gauge fields do not restrict to the defect support. The representation-theoretic claims in §2.2 and Table 1 are lower-severity issues—consistency arguments and a sample, respectively.

If the condensation-defect identification can be fixed or qualified, this is a useful piece of generalized-symmetry lore. For now, the n=1 extensions and the special cases are solid; the n≥2 higher-group claims are unproven in the regime advertised. This paper deserves a serious referee, not because the gaps are small, but because the n=1 framework is solid and the n≥2 idea is interesting and possibly fixable. I would ask the authors to define (2.10) precisely and state the conditions on p,q,n,r under which the dual fields restrict to Σ. I would not cite the n≥2 claims until that is sorted; the n=1 extension and the partition-function check are citable now.

Referee Report

3 major / 5 minor

Summary. The paper studies a class of QFTs with a cubic mixed anomaly of the form (2.1), involving two finite Abelian higher-form symmetries A^{(p)}, B^{(q)} and a characteristic class t_{n+r+1}(C^{(r)}) for a third symmetry C^{(r)}. After gauging A^{(p)} × B^{(q)}, the authors derive a constraint δD_{n+r} = (−1)^{p+q} t_{n+r+1}(C) on the background field D_{n+r} of a new D^{(n+r−1)} symmetry generated by operators U_d[Σ_{p+q+2}] = exp(2πi d·∫ a∪b). They argue that for n=1 this gives an ordinary group extension 1→D^{(r)}→Γ^{(r)}→C^{(r)}→1, and for n≥2 a higher (r+n)-group. They describe charged operators as triple-linking configurations of operators charged under the dual bA × bB symmetries, and they present examples in scalar QED3, T(SU(N)), 5d SYM, and the E1 SCFT. The paper is the second in a series and advertises a general-dimensional, higher-group generalization of the five-dimensional construction of [1].

Significance. If the central construction is valid, the paper provides a general and unifying statement: any cubic anomaly of the form (2.1) leads, upon gauging A×B, to an invertible symmetry generated by the operators U_d of (2.9) that mixes with C in a way controlled by the characteristic class. This goes beyond the previously studied n=0 non-invertible cases and the n=1 five-dimensional example, and it is supported by several explicit examples. Strengths of the manuscript include: the clean gauge-invariance derivation of the background constraint (2.15) and the modified transformation (2.18); the reproduction of known n=0 and n=1 results in special cases; and an independent check in §3.3 using the 5d supersymmetric partition function, which exhibits the predicted doubled fugacity periodicity. These are significant assets. However, as detailed below, the general-dimensional claim rests on a condensation-defect identification that is not established and appears, in part of the parameter space, to be obstructed by elementary dimensional counting.

major comments (3)

[§2.1, Eq. (2.10)] The identification of U_d[Σ_{p+q+2}] with a condensation defect of the higher-gauging type is not valid as written for general p,q,n,r. To gauge a (d−p−2)-form symmetry on a submanifold of dimension p+q+2, the dual gauge field of degree d−p−1 must restrict to that submanifold, which requires d−p−1 ≤ p+q+2, i.e. p ≥ n+r−1, and similarly q ≥ n+r−1. In the E1 example of §3.4, p=q=0, n=2, r=1, d=5, so the dual gauge fields have degree 4 while Σ_{p+q+2} is 2-dimensional; the ordinary restriction vanishes. The notation ba_{q+1}=ba_{d−p−1−(d−p−q−2)} suggests a reduction through normal directions, but no such operation is defined. Thus the advertised 'condensation defect' presentation, and the consequent interpretation of the D symmetry as generated by condensation defects, is not established in the very regime (n≥2) that the paper emphasizes. The authors should either define a well-behaved rest
[§2.1.2 and §2.1.3, Eqs. (2.32), (2.37)] The extension/higher-group statements for r≥1 rely on the assertion that the characteristic class t_{n+r+1} is activated by non-generic junctions of C^{(r)} defects through the homomorphism Φ_r. The paper itself says this is 'expected' ('we expect that the simple, non-generic junction ... still exists', §2.1.2) and 'we rely on the homomorphism (2.32)' (§2.1.3). No proof or detailed construction of the junction is given. Because the central claim for general dimensions and in particular the n=2, r=1 example of §3.4 depends on this step, a derivation (or at least a precise hypothesis specifying which classes lie in Im Φ_r and how the junction realizes them) is necessary. Without it, the higher-group interpretation for r≥1 is not fully supported.
[§2.2.3] The construction of charged operators and states for the n=2 (r+2)-group case is only sketched. The paper states that the argument is a 'straightforward adaptation' of the standard higher-group analysis and that interfaces 'will be allowed' to carry projective representations of C^{(r)}. Unlike the n=1 case, no operator equation analogous to (A.4) or (A.7) is derived for the condensation-defect higher-group. Given that the n≥2 regime is the advertised new result, the paper should provide either a concrete derivation of the projective action, or clearly label this part as conjectural and identify which observables would test it. This is especially important because the E1 example in §3.4 is presented as a concrete application of exactly this structure.

minor comments (5)

[§2.1, Eq. (2.10)] The notation ba_{q+1} and bb_{p+1} is confusing: the displayed degrees are obtained by subtracting d−p−q−2 from the dual gauge-field degrees, but the reader is not told what this subtraction means geometrically. Even if the expression is a formal device, it should be defined explicitly, or replaced by a notation that does not suggest an ordinary restriction.
[Figures 2 and 3] The figures rely on color (yellow, blue, orange, etc.). Since the text refers to colors, please ensure the figures are legible in grayscale or add labels/patterns.
[Table 1] The table caption lists the choices of J,J′ but does not explain the columns and rows in enough detail. A reader cannot easily see which entries are the 'several choices of background instantonic fluxes that enforce an extended 4π periodicity'. Please spell out the criterion and point to at least one explicit row/column combination.
[§3.3] The sentence 'From these evaluations we can see that there are several choices ...' is weaker than the rest of the paper. Since this is an advertised independent check, it would help to state precisely which values of n force the period doubling and why the table is exhaustive at the shown order.
[§2.1.2] The same symbol d is used for the spacetime dimension and for an element of D. This is momentarily confusing in the discussion around (2.28) and (2.38); consider using a different letter for the group element.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the symmetry structure is derived from gauge invariance of the gauged partition function, and self-citations are not load-bearing.

full rationale

The central derivation is self-contained. The symmetry structure is obtained from the gauged partition function (2.12): coupling the dual gauge fields to a new background D and requiring invariance of the summand under dynamical and background gauge transformations yields δD_{n+r}=(-1)^{p+q}t_{n+r+1}(C) (eq. 2.15) and the modified transformation (2.18). This is a direct consistency computation, not a fit. The group-like operators U_d=exp(2πi d·∫Σ a∪b) (2.9) manifestly fuse invertibly, and eqs. (2.43)-(2.46) derive their triple-linking action and the resulting representations directly from (2.9) and the flatness defects, without importing the extension class. The n=0 limit is benchmarked against the independent non-invertible results [6,7], while the 5d n=1 case is re-verified using the external partition-function computation [22]; the n=2 example is built on external anomaly matching [2,4]. The self-citation to [1] appears only for the normalization of the condensation-defect presentation (2.10), and the central constraint (2.15) does not depend on that presentation. The paper itself flags its unproven points: in §2.1.2 it says 'we expect that the simple, non-generic junction ... still exists', and in §2.1.3 it says 'when r≥1 we rely on the homomorphism (2.32)'; it also states in §2.1.2 that it does 'not attempt a description of the full set of topological defects and their fusions.' These are limitations or possible gaps, not circular reductions. The general condensation-defect expression (2.10), with higher-degree dual gauge fields restricted to a lower-dimensional Σ, is not defined in all advertised regimes (e.g. §3.4), but this is a rigor gap in an ancillary presentation: the U_d operators and the derived constraints stand on their own. No step reduces a claimed prediction to an input by construction or to a self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central derivation rests on standard cohomological machinery, the stated anomaly-inflow assumption (2.1), and one construction-specific assumption: the condensation defect (2.10) has invertible D fusion. No free parameters are fitted; the extension/higher-group classes are fixed by the anomaly and characteristic class. No new particles, forces, or dimensions are postulated; the D-symmetry is constructed from existing ingredients and is independently evidenced in the 5d example.

assumptions (5)

ad hoc to paper The condensation defect (2.10), with the discrete torsion term, is topological and has invertible fusion rules described by the Abelian group D.
Invoked in §1 ('this condensation defect has invertible fusion rules described by the group D') and used to conclude the extension (2.33) and higher-group (2.37). Invertibility is asserted, not computed, for general (p,q,r,n); support comes from the 5d precedent [1] and the n=0 limit (which reproduces non-invertible structures when torsion is absent).
domain assumption The anomaly inflow (2.1) captures the complete mixed anomaly between A, B, and C, with no additional anomaly terms affecting the gauged theory.
The derivation of (2.15) uses only the phase (2.7) derived from this inflow. Additional 't Hooft anomaly terms would modify the relation δD = t and hence the extension/higher-group class. This is the standard anomaly-inflow assumption, stated in §2.1.
domain assumption For r ≥ 1, the characteristic class t_{n+r+1} is activated by the non-generic junction of two (n=1) or three (n=2) C^{(r)} defects via the homomorphism Φ_r of (2.32).
Stated in §2.1.2 as 'we expect that the simple, non-generic junction that corresponds to adding r transverse dimensions to the r=0 case still exists' and used in §2.1.3 for the r≥1 fusion interpretation. This expectation is flagged, not proven.
domain assumption The gauging sum (2.12) uses the minimal coupling a ∪ b ∪ D; no additional discrete torsion is turned on in the gauging of A × B itself.
Implicit in §2.1. A different choice of discrete torsion or coupling in the gauging would change (2.15) and hence the extension class; the paper does not discuss this freedom in the general framework.
standard math Standard cohomological machinery: cup products, Bockstein homomorphisms, Eilenberg–MacLane spaces, the identification H^n(B^{k+1}C,D) ≅ [K(C',k'+1), K(D,n)], and the map Φ_k (2.32).
Used throughout §2 and the appendices (e.g., the equivalence (2.29)–(2.31), the Pontryagin square in (2.23), and the Čech-cocycle computation of Appendix C). Background results from [25,28].

invented entities (1)

D^{(n+r−1)} symmetry generated by condensation defects U_d independent evidence
purpose: The new symmetry factor that extends C^{(r)} (n=1) or participates in an (r+n)-group with C^{(r)} (n≥2) in the gauged theory; the objects are the torsion-condensation defects of (2.10).
Not a gratuitously postulated entity: condensation defects (2.10) are constructed from standard higher-gauging of the dual symmetries (citations [17,18]), and the 5d instance of the D-symmetry is evidenced by the independent partition-function periodicity check in §3.3. The general-case invertibility remains an assumption (see axiom ledger).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Symmetry extension by condensation defects II: general dimensions and higher-groups." pith.science (2026). https://pith.science/paper/SY5R2Y7I

@misc{pith2026260716099,
  author       = {Pith},
  title        = {Pith review of: Symmetry extension by condensation defects II: general dimensions and higher-groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SY5R2Y7I}},
  note         = {Machine review of arXiv:2607.16099}
}

abstract

We discuss a class of symmetry structures in general spacetime dimension that arise when gauging symmetries in theories with a cubic 't Hooft anomaly. The anomaly mixes two Abelian discrete symmetries $A$ and $B$ with a characteristic class for an additional symmetry $C$, and we gauge $A\times B$. The novelty of this construction is that the resulting symmetry structure involves certain condensation defects of the dual symmetry $\widehat{A}\times\widehat{B}$. Specifically, these defects generate an invertible symmetry that extends $C$, either as an ordinary group extension or as a higher-group, depending on the characteristic class. We describe the corresponding charged operators and states, and illustrate the mechanism in several examples.