Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism
Summary
This paper undertakes a rigorous bordism-based classification of ’t Hooft anomalies for the prototypical non-split finite 2-group the corresponding equation in the paper, computes its oriented and spin bordism groups the corresponding equation in the paper and the corresponding equation in the paper for d leq 5, constructs explicit cochain-level anomaly actions (e.g., v3, v4), and develops a fusion 2-categorical description of the symmetry category 2VectmathcalG and its anomalous deformation 2VectmathcalG^omega. It identifies the SymTFT as CZ1(2VectmathcalG) and the corresponding equation in the paper, classifies Lagrangian algebras, and maps them to physical boundary conditions in Tables 2 and 3.
Mathematical/empirical assessment
The strongest technical failure lies in the derivation of Eq. (19) — the claimed 4-cocycle the corresponding equation in the paper — which is not closed under the stated flatness condition delta b = a^3. Direct computation yields
the corresponding equation in the paper.
Using delta a = 0 and delta b = a^3, this simplifies to the corresponding equation in the paper. Since a in C^1(M;mathbbZ2), a^2 cup a^3 = a^5 and a^3 cup a^3 = a^6, but crucially, the corresponding equation in the paper only modulo coboundaries — and the identity Sq^2(x) = x cup1 x holds only for cocycles, not arbitrary cochains. Here a^3 is not a cocycle: the corresponding equation in the paper, so it is closed — but the higher-cup product identity used to cancel terms assumes strict associativity and graded commutativity that fail at the cochain level for mathbbZ2-valued operations without explicit sign handling or Steenrod realization. The paper asserts delta v4 = 0 via Cartan formula, but no such formula applies directly to delta(b cup1 a^3) in this context; the cancellation of a^3 cup1 a^3 against a^5 is unjustified without verifying the full coboundary of the proposed compensator b cup1 a^3. This invalidates the cochain representative for the generator of H^4(BmathcalG; mathbbZ2) and undermines the identification of the bosonic anomaly in d=3 spacetime dimensions.
Strengths
The computation of reduced bordism groups in Table 1 is technically sound and correctly distinguishes torsion contributions. The categorical identification the corresponding equation in the paper is well-motivated and consistent with the spectral sequence analysis in Appendix A. The mapping of Lagrangian algebras to physical boundary conditions in Tables 2 and 3 is internally coherent and aligns with the categorical Landau paradigm.
Concerns
Beyond Eq. (19), the paper overclaims universality: the “categorical Landau paradigm” is applied to non-invertible symmetries (e.g., 2Rep(mathcalG)) without establishing whether the relevant condensation functors preserve topological order or admit gapped boundaries on arbitrary manifolds. No consistency check is performed against known constraints from anomaly matching (e.g., absence of mixed 0-form–1-form ’t Hooft anomaly in d=2 per Table 1 vs. expectation from mathbbZ_2 gauge theory). The fermionic SymTFT action in Section 4.2 uses Stiefel–Whitney classes but does not verify invariance under change of trivialization of the twisted spin structure — a necessary condition for well-definedness.
Final decision
Strong reject