Higher-Form and Higher-Group Symmetries

A higher-form symmetry acts on extended charged objects by topological operators of complementary dimension. A higher-group symmetry goes one step further: backgrounds of different form degree no longer transform independently, so their operators, junctions, gauging rules, and anomalies must be treated as one coupled structure. This chapter develops both ideas from the same operational data—supports, linking, currents, backgrounds, and allowed endpoints—and then tests them in compact Abelian gauge theory.

Choose the definition-and-diagnosis route if the first question is whether a line or surface is charged, screened, or an order parameter. Choose the gauging route if a finite higher-form background is to become dynamical. Choose the higher-group route if a zero-form transformation shifts a higher-form background, or if gauging one sector changes the symmetry and anomaly of the remainder. The routes share conventions, but they answer different questions and do not turn every mixed anomaly into a higher group.

Helpful background. Support, Codimension, and Operator Data supplies normal links, genuine-versus-attached operators, endpoints, and junctions. Differential Forms, Integration, Orientation, and Stokes Theorem supplies the degree and orientation bookkeeping used for continuous currents and backgrounds. Neither is required merely to choose a route below.

Parent volume. Symmetry and Gauge Structure

Jump to: fix the degree dictionary · choose a route · follow the compact Abelian thread · open the seven-page guide · review the chapter

One degree dictionary controls every route

Let an internal invertible $p$-form symmetry act in $d$ spacetime dimensions. Its charged object has support $C^p$, while a topological generator $U_g(\Sigma)$ occupies a codimension-$(p+1)$ support. Equivalently,

$$\dim C=p, \qquad \dim\Sigma=d-p-1, \qquad \operatorname{codim}\Sigma=p+1.$$

For closed, disjoint, oriented supports in a region where the indicated integer linking number is defined, a simple charged sector obeys

$$\left\langle U_g(\Sigma)\mathcal O_\chi(C)\mathcal X \right\rangle = \chi(g)^{\operatorname{Lk}(\Sigma,C)} \left\langle \mathcal O_\chi(C)\mathcal X \right\rangle .$$

The topological object here is $U_g$, not necessarily $\mathcal O_\chi$. For $p=0$, a non-Abelian symmetry can act in a higher-dimensional representation. For $p\geq1$, an ordinary internal invertible $p$-form symmetry group is Abelian. The physical group is also the faithful quotient by the common kernel of its action on the genuine charged sectors admitted by the chosen global theory. These operator-first statements are developed in Gaiotto, Kapustin, Seiberg, and Willett 2015, § 3, arXiv v2, printed pp. 11–13, especially eqs. (3.1)–(3.4), PDF and Bhardwaj et al. 2024, § 2.2.1, arXiv v2, printed pp. 12–15, Definition 2.1 and eqs. (2.38)–(2.55), PDF.

When the Abelian symmetry is continuous, one may use a $(p+1)$-form current $j_{p+1}$ and its closed dual,

$$\widetilde j_{d-p-1}=\star j_{p+1}, \qquad \mathrm d\widetilde j=0, \qquad Q(Y)=\int_Y\widetilde j.$$

The background has degree $p+1$ and gauge parameter degree $p$,

$$B_{p+1}\longmapsto B_{p+1}+\mathrm d\Lambda_p,$$

so $B_{p+1}\wedge\widetilde j_{d-p-1}$ is a top form. A finite symmetry generally has no infinitesimal current; its background is discrete cochain or higher-gauge data. At the upper endpoint $p=d-1$, the symmetry generators are point-supported and decomposition, topology, and boundary questions require extra care.

The chapter’s governed degree dictionary gives every row and its $p=0$ and four-dimensional one-form checks. It is linked here rather than copied so that there is one canonical table for the dimensional conventions.

Choose a route from the physical question

The routes are reading orders, not claims that the topics are equivalent. Start where the physical question begins, and repair the first missing hard input before moving on.

Four routes from an operator or background question to a controlled conclusion

Starting question	Route	Hard inputs along the route	Licensed conclusion
What is charged, and what survives screening?	Operators and linking → currents and backgrounds → Maxwell control → phase diagnosis	Support and codimension; differential forms; background coupling; free Maxwell theory; linking and framing	A faithful symmetry, its charged sectors, and a renormalized order-parameter test
Which electric and magnetic one-form symmetries survive in a gauge theory?	Currents and backgrounds → the compact Maxwell example	Higher-form currents and the free Maxwell field	A source-by-source conservation test, mixed-anomaly check, and global-form qualification
Can a finite higher-form symmetry be gauged?	Operators and linking → backgrounds → gauging	Coupling background gauge fields and continuous and finite gauging	A gaugeability verdict, sector sum, operator projection or attachment, and conditional dual symmetry
Are two symmetry factors actually coupled into a higher group?	Complete currents and backgrounds and the symmetry definition → coupled backgrounds → complete higher-form gauging and the anomaly test → operators, gauging, and anomalies	Currents and backgrounds; the ordinary symmetry definition; gaugeability; counterterm-quotiented anomaly classes	A product-versus-higher-group verdict and the compatible gauging and anomaly problem

A suggested arrow is not automatically a prerequisite. The exact guide below names the hard background for each page, so a reader can enter locally without mistaking chapter order for logical dependence.

One compact Abelian thread tests the chapter

The shared model begins with a faithfully normalized compact $U(1)$ connection $a$ in four dimensions,

$$\frac{1}{2\pi}\int_{\Sigma_2}f\in\mathbb Z, \qquad W_n(C)=\exp\!\left(in\oint_C a\right).$$

In source-free Lorentzian Maxwell theory at $\theta=0$,

$$S=-\frac{1}{2e^2}\int f\wedge\star f, \qquad \widetilde j_e=\frac{\star f}{e^2}, \qquad \widetilde j_m=\frac{f}{2\pi}.$$

The electric conservation law is the equation of motion; the magnetic law is the Bianchi identity. In the source-free theory they define electric and magnetic one-form symmetries. Electric matter and monopoles source different equations, while the global form of the gauge theory decides which Wilson and ‘t Hooft lines are genuine. Thus the Lie algebra and local Lagrangian do not by themselves fix the one-form symmetry. The Maxwell example and its mixed background variation are treated in Gaiotto, Kapustin, Seiberg, and Willett 2015, § 4.1, arXiv v2, printed pp. 14–17, eqs. (4.1)–(4.4), PDF; the global-line-spectrum distinction is developed in Aharony, Seiberg, and Tachikawa 2013, introduction and § 2, arXiv v5, printed pp. 1–5 and 12–16, PDF.

Charge-N matter leaves a finite electric surface network

Suppose the dynamical electric charges generate exactly $N\mathbb Z$ and no monopoles are present. A Wilson line retains only

$$r=[n]_N\in\mathbb Z_N,$$

because a charge-$N$ field can screen $W_N$. The surviving electric $\mathbb Z_N^{(1)}$ symmetry acts by

$$\begin{aligned} &\left\langle U_\alpha(\Sigma)W_n(C)\mathcal X\right\rangle \\ &\qquad= \exp\!\left[ \frac{2\pi i}{N}\alpha r\, \operatorname{Lk}(\Sigma,C) \right] \left\langle W_n(C)\mathcal X\right\rangle . \end{aligned}$$

This one formula tests the support degrees, faithful charge quotient, fusion $\alpha+\beta$ modulo $N$, and orientation of the linking action. It does not show spontaneous breaking. The phase-diagnosis page first removes support-local counterterms and then studies the renormalized large-support limit. A positive filling tension destroys long-range order for the tested character; a nonzero renormalized limit detects breaking. String breaking, critical power laws, and an unrenormalized perimeter term are different outcomes.

Gauging is a global sum, not a relabeling

On a closed oriented $d$-manifold $M$, for $0\leq p\leq d-2$, gauging promotes the background to a dynamical higher connection and sums its gauge-equivalence classes with the appropriate higher gauge-groupoid measure. For a finite Abelian $A^{(p)}$, this is a finite Fourier transform over global $H^{p+1}(M;A)$ sectors, possibly weighted by a gauge-invariant topological term. It is permitted only after the background family, anomaly, boundary, and measure checks pass. A naked nonneutral operator is projected out by character orthogonality, while an operator supplied with the required higher-dimensional attachment may survive. Projection is not dynamical screening.

Under the hypotheses stated on the gauging page, the dual finite symmetry has degree $d-p-2$. The finite Fourier-transform result must not be transferred unchanged to continuous gauging, where a compact dynamical higher connection and its magnetic symmetry require a separate analysis. The exact sum, gauge-volume factor, and operator attachments belong to Gauging a Higher-Form Symmetry; the finite cohomological construction is supported by Monnier 2015, §§ 4–5, arXiv v3, printed pp. 6–9, especially eqs. (4.1)–(4.3) and (5.3), PDF.

The charge-$N$ example therefore threads five distinct tests: an operator network, a Ward identity, a Maxwell realization, a phase diagnostic, and a gauging operation. Passing one test never substitutes for the next.

Coupled backgrounds diagnose a higher group

A finite internal 2-group is specified by

$$(G,\mathcal A,\rho,[\beta]), \qquad [\beta]\in H^3_\rho(BG;\mathcal A),$$

where $G$ is the zero-form group, $\mathcal A$ the Abelian one-form group, $\rho$ the action of $G$ on $\mathcal A$, and $[\beta]$ the Postnikov class. A background is a constrained pair,

$$a\in Z^1(M;G), \qquad b\in C^2(M;\mathcal A_a), \qquad \delta_a b=a^*\beta.$$

The symmetry is a direct product only when $\rho$ is trivial and $[\beta]=0$. Vanishing $[\beta]$ with nontrivial $\rho$ gives a split or semidirect structure, not a direct product. On a closed manifold, a chosen $G$ background admits an absolute lift only if $[a^*\beta]=0$; if a lift exists, the solutions form an affine family rather than an independent $H^2$ sum. The coupled-background test and its operator interpretation are developed in Benini, Córdova, and Hsin 2019, §§ 2.1–2.3, printed pp. 10–17, especially eqs. (2.5)–(2.23), PDF.

In a local continuous four-dimensional representative, the same mixing appears when a zero-form gauge parameter shifts $B_2$ by a term proportional to $\lambda_0F_2$, forcing a modified invariant three-form curvature and Bianchi identity. Those differential forms are a useful local diagnostic, not a classification of compact, torsion, spin, or large-transformation data. The exact transformation, curvature, and Ward identities belong to Higher-Group Symmetry and Coupled Backgrounds and are supported by Córdova, Dumitrescu, and Intriligator 2019, § 1.4, printed pp. 12–13, especially eqs. (1.30)–(1.37), PDF.

The operator translation is equally concrete. A zero-form wall transports one-form surface labels by $\rho$, and comparing the two ways to associate three walls inserts the surface $U_{\beta(g,h,k)}$. A linked charged line can detect that surface. This is symmetry structure, not yet a c-number anomaly. An anomaly is instead an unremovable phase under the complete coupled background transformation. Gauging must likewise sum a closed, gaugeable sub-2-group or the whole constrained background family, not one arbitrary factor.

The compact thread ends in a mixed anomaly after gauging

The chapter’s final worked stage specializes the charge-$N$ thread to a charge-two flavor doublet. Its faithful zero-form symmetry is $SO(3)_{\mathrm{flavor}}$, its electric one-form symmetry is $\mathbb Z_2^{(1)}$, and the coupled background obeys

$$\delta b_2=w_3^f=\operatorname{Bock}(w_2^f).$$

If the electric $\mathbb Z_2^{(1)}$ sector is anomaly-free and the lift condition holds, gauging sums over the affine solution set $\mathscr S(P_f)$ rather than independent $H^2$ sectors. The resulting dual background transformation has a mixed phase controlled by the same $w_3^f$. Thus gauging converts the original Postnikov nonclosure into a mixed $SO(3)$–dual-$\mathbb Z_2^{(1)}$ anomaly. The exact finite sum, transformation, and inflow phase belong to the final leaf. The model is a controlled endpoint, not evidence that every formal $H^3$ class is realized by a QFT or that the anomaly selects a unique infrared phase. The construction and its precise operator and gauging data are carried out on Higher-Group Operators, Gauging, and Anomalies.

Check your preparation

Use these as repair questions, not as a score.

Repair the first missing capability before entering a technical route

Can you do this?	Ready	If unsure	Repair route
Find the transverse link of a charged support and orient a linking number	Enter the operator route	Review normal disks, codimension, and genuine versus attached supports	Support, Codimension, and Operator Data
Check that a current, its dual, a charge cycle, and a background have compatible degrees	Enter the current or Maxwell route	Review forms, pullbacks, orientation, and Stokes' theorem	Differential Forms, Integration, Orientation, and Stokes Theorem
Distinguish a fixed background from a field integrated over	Enter the gauging route	Review background coupling before reading a groupoid sum	Coupling Background Gauge Fields and Bundles
Test a quantum phase modulo admissible local counterterms	Enter the higher-group anomaly page	Repair the anomaly definition before comparing it with a Postnikov class	What Is an Anomaly?

Exact chapter guide

The seven pages appear below in chapter order. Each row names the page’s hard preparation rather than treating the previous row as automatically required.

Seven pages from operator definition to coupled gauging and anomaly

Page	Question and capability	Required background	Stop condition
Higher-Form Symmetry from Operators and Linking	Define the symmetry by codimension, fusion, faithfulness, and linking; build the charge-N surface network	Support and codimension; differential forms	A linked phase alone proves neither that the charged object is topological nor that the symmetry is broken
Higher-Form Currents, Charges, Backgrounds, and Ward Identities	Derive continuous contact terms and separate differential-form from finite cochain backgrounds	Operators and linking; background coupling	A finite symmetry need not possess a local Noether current
Electric and Magnetic One-Form Symmetries	Use Maxwell theory to distinguish equations of motion, Bianchi identities, matter, monopoles, mixed anomaly, and global form	Currents and backgrounds; free Maxwell theory	Coexisting electric and magnetic symmetries do not imply independent gaugeability or a higher group
Breaking Higher-Form Symmetry and Diagnosing Phases	Renormalize large charged operators and distinguish filling tension, string breaking, critical behavior, and partial breaking	Operators and linking; linking, braiding, and framing	A perimeter-like bare asymptotic is not by itself an order parameter
Gauging a Higher-Form Symmetry	Test gaugeability, sum finite global sectors with the correct measure, and track projection, attachment, and dual symmetry	Currents and backgrounds; continuous and finite gauging	Gauge projection is not dynamical screening, and the finite formula does not cover continuous gauging
Higher-Group Symmetry and Coupled Backgrounds	Distinguish a direct product, a split action, and a nontrivial Postnikov coupling using backgrounds and defect junctions	Currents and backgrounds; the symmetry definition	Local differential forms do not classify global compact or torsion data
Higher-Group Operators, Gauging, and Anomalies	Transport operators across walls, gauge a compatible constrained family, and compare Postnikov structure with anomaly and RG data	Coupled backgrounds; higher-form gauging; the anomaly test	Neither a junction label nor anomaly matching constructs a unique infrared theory

Keep the nonimplications visible

Most mistakes in this subject arise from promoting one valid diagnostic into a stronger conclusion. Keep the following boundaries explicit.

A useful observation and the stronger conclusion it does not establish

Observed fact	What it does not imply	Additional test
A topological generator links a charged support	The charged operator is topological, or the symmetry is spontaneously broken	Check deformation data for the charged operator and a renormalized large-support limit
A finite symmetry acts faithfully	A local infinitesimal current exists	Use its discrete higher-gauge or cochain background
Electric and magnetic factors coexist	They are independently gaugeable or form a higher group	Check the mixed anomaly and the coupled transformation law separately
The Postnikov class vanishes	The symmetry is a direct product	Also test whether the action ρ is trivial
A Postnikov class is nonzero	An 't Hooft anomaly is present	Apply the counterterm-quotiented anomaly test to the full coupled background family
A background coupling exists	The symmetry can be gauged	Check global sectors, measure, anomaly, boundary data, and compatibility of the gauged substructure
A nonneutral operator is projected out after gauging	A dynamical particle screened it	Distinguish group averaging from physical endpoints and string breaking
Local differential-form identities close	Large transformations, torsion sectors, or global lifts are classified	Use the compact cochain, bundle, or differential-cohomology problem

What the chapter establishes—and where it stops

Within its declared internal and invertible scope, the chapter supplies a complete operational workflow:

1. identify charged supports and topological generators;
2. check faithfulness after screening and global-form restrictions;
3. translate the degree into currents, charges, and backgrounds when a continuous description exists;
4. distinguish conservation, explicit breaking, anomaly, and spontaneous breaking;
5. test gaugeability before summing global sectors;
6. replace independent backgrounds by a coupled family when the symmetry is a higher group; and
7. compare the resulting structure and anomaly across RG flow only after the background map is fixed.

It does not classify non-invertible defects, all higher-categorical actions, subsystem symmetries, negative-form symmetries, or the dynamics of a phase. Junction incidence arithmetic does not construct its junction spaces. Anomaly matching does not select a vacuum, confinement mechanism, or unique infrared theory. The local continuous 2-group formulas likewise do not replace a global compact construction.

Review the chapter

The prompts below are retrieval and transfer checks, not a separate formal assessment system. A successful response should state its assumptions and pass the listed invariant; use the owner links to repair the characteristic failure.

Eight ways to demonstrate the chapter's central capabilities

Mode and task	Owner pages	Successful response and invariant	Characteristic repair
Retrieval — state the operational definition of an internal invertible p-form symmetry	Operators and linking	Names the charged support, codimension-(p+1) topological generator, group fusion, faithful action, and linking law	Recheck the degree dictionary if support dimension and codimension are interchanged
Explanation — explain why charge-N matter leaves an electric ℤN one-form symmetry	Finite surface network; Maxwell realization	Identifies the quotient of Wilson labels by dynamical endpoints and distinguishes screening from the symmetry surface action	Repair at Genuine Lines, Screening, and Charge Lattices if formal probes are confused with admitted operators
Derivation check — reconstruct the positive-linking phase for W14 when N=6 and α=5	Linking realizes the action	Reduces 14 to r=2 modulo 6 and obtains exp(4πi/3), with orientation reversal giving its conjugate	Return to Linking, Braiding, and Framing if the linking orientation or support domain is omitted
Representation change — translate a continuous current description into finite-background language	Higher-Form Currents, Charges, Backgrounds, and Ward Identities	Preserves the charged-support and background degrees while dropping the unjustified infinitesimal current; replaces a global form by discrete cochain or higher-gauge data	Use Coupling Background Gauge Fields and Bundles if a local form is mistaken for all global sectors
Comparison — distinguish electric breaking, magnetic breaking, and a mixed anomaly in compact Maxwell theory	Electric and Magnetic One-Form Symmetries; Breaking and phase diagnosis	Matches electric matter to the equation of motion, monopoles to the Bianchi identity, and the simultaneous-background phase to anomaly rather than explicit breaking	Repair the anomaly label at What Is an Anomaly?
Transfer — analyze a two-form symmetry in seven dimensions	Degree dictionary; current and background owner	Finds charged dimension 2, generator dimension 4 and codimension 3, current/background degree 3, and dual-current/charge-cycle degree or dimension 4; states the finite-current exception	Recheck Differential Forms, Integration, Orientation, and Stokes Theorem if the top-form coupling fails
Failure diagnosis — locate the error in “vanishing Postnikov class means a direct product and proves anomaly freedom”	Coupled backgrounds; operators, gauging, and anomalies	Requires trivial ρ as well as vanishing [β] for a direct product, and applies a separate counterterm test for anomaly	Repair product structure at the coupled-background test and anomaly language at the obstruction test
Synthesis — decide whether and how a finite higher-form sector inside a higher group can be gauged	Gauging a Higher-Form Symmetry; coupled backgrounds; final synthesis	Specifies a closed constrained background family, global sectors, measure, anomaly and boundary checks, operator attachments, and the resulting dual symmetry/anomaly without equating projection with screening	Return to Gauging Continuous and Finite Symmetries if the background is promoted without a gaugeability test

Continue from generalized symmetry data

• For electric–magnetic duality, charge lattices, and global form, continue to Electric–Magnetic Charge Lattices and Global Form.
• For finite higher backgrounds in topological actions, continue to BF Couplings and Discrete Topological Data.
• For a one-higher-dimensional synthesis of symmetry, anomaly, boundary choice, and gauging, continue to Symmetry TFT Encoding of Symmetry, Anomaly, and Gauging.
• For the next chapter’s failure of group-like fusion, continue to Non-Invertible Topological Defects and Fusion.

References

• Aharony, Ofer, Nathan Seiberg, and Yuji Tachikawa. “Reading between the Lines of Four-Dimensional Gauge Theories.” Journal of High Energy Physics 2013, no. 8 (2013): 115. DOI. Open PDF, arXiv v5.
• Benini, Francesco, Clay Córdova, and Po-Shen Hsin. “On 2-Group Global Symmetries and Their Anomalies.” Journal of High Energy Physics 2019, no. 3 (2019): 118. DOI. Open PDF.
• Bhardwaj, Lakshya, Lea E. Bottini, Ludovic Fraser-Taliente, Liam Gladden, Dewi S. W. Gould, Arthur Platschorre, and Hannah Tillim. “Lectures on Generalized Symmetries.” Physics Reports 1051 (2024): 1–87. DOI. Open PDF, arXiv v2.
• Córdova, Clay, Thomas T. Dumitrescu, and Kenneth Intriligator. “Exploring 2-Group Global Symmetries.” Journal of High Energy Physics 2019, no. 2 (2019): 184. DOI. Open PDF, arXiv v2.
• Gaiotto, Davide, Anton Kapustin, Nathan Seiberg, and Brian Willett. “Generalized Global Symmetries.” Journal of High Energy Physics 2015, no. 2 (2015): 172. DOI. Open PDF, arXiv v2.
• Monnier, Samuel. “Higher Abelian Dijkgraaf–Witten Theory.” Letters in Mathematical Physics 105 (2015): 1321–1331. DOI. Open PDF, arXiv v3.