Higher anomalies, compressing SPTs and cohomology operations
Shani Nadir Meynet, Elias Riedel Gårding
hep-th
Aug 31, 2026 · v1
cond-mat.str-el math.AT
TL;DR
Implements the emcm software package in Lean 4, used as a functional programming language rather than for theorem proving, to compute cohomology suspensions.
Abstract
We explicitly compute and tabulate the suspension map for cohomology operations, applying it to the dimensional reduction of anomalies and higher group structures of generalised symmetries in quantum field theories and lattice systems. In a quantum system with a discrete $p$-form symmetry, we can restrict the symmetry defects to a codimension-$q$ subspace of spacetime, or equivalently confine the gauge field to a slab whose thickness approaches zero. This results in a $(p-q)$-form symmetry on the subspace. We determine the fate of two important properties of symmetries under this process. First, we compute the anomaly of the reduced symmetry, or the higher anomaly of the original symmetry, which acts as an obstruction to higher gauging and onsiteability. Second, for two symmetries forming a higher-group structure, encoded as a Postnikov class, we compute the reduced higher-group structure, which may or may not be trivial. Both cases are captured by the $q$-fold iteration of the cohomology suspension $Ω$, also known as the loop functor or transgression, in the cohomology of Eilenberg–MacLane spaces. Classical results state that $Ω$ is an isomorphism in a stable range and annihilates mixed anomalies. To calculate $Ω$ over a base ring which is not a field, we make use of small models for the chain DGAs of Eilenberg–MacLane spaces, pioneered by Cartan and Moore, whose results we review and extend. The critical added step is the improvement of a mod $p$ chain contraction to the $p$-local integers, obtained via a $p$-adic series. We automate the computations in a software package emcm, and provide extensive tables of the results. Finally, to make contact with explicit cochain formulations of cohomology operations, we demonstrate how to calculate cup products and certain cup-$i$ products in this framework.
Problem
Generalised symmetries in quantum field theories and lattice systems can be dimensionally reduced by restricting symmetry defects to a codimension-q subspace. The open question is what happens to their anomalies and higher-group (Postnikov) structures under this reduction. Both are governed by the iterated cohomology suspension Ω in the cohomology of Eilenberg–MacLane spaces.
Approach
The authors review and extend the Cartan–Moore small chain DGA models of Eilenberg–MacLane spaces. They improve a mod p chain contraction to the p-local integers via a p-adic series, which lets Ω be computed over base rings that are not fields. The computations are automated in the package emcm, written in Lean 4 and used as a practical functional programming language. They also show how to compute cup products and certain cup-i products in this framework.
Results
Extensive tables of the suspension map for cohomology operations are produced. These give the higher anomalies and reduced higher-group structures of dimensionally reduced p-form symmetries. The results are consistent with Ω being an isomorphism in the stable range and annihilating mixed anomalies.