research35 min studyLesson 771 in Physics

Higher-form symmetry charges and defects

Track the degrees of conserved currents, topological symmetry operators, charged insertions, and background fields in a declared spacetime dimension.

On this page

What you’ll understand

  • Distinguish a higher-form global symmetry from gauge redundancy.
  • Count current, defect, charged-operator, and background dimensions consistently.
  • Evaluate an oriented linking phase without inferring a dynamical phase.

Ordinary internal symmetry acts on local operators. A higher-form global symmetry instead acts on extended charged operators, such as Wilson lines. Its charge can be measured by a topological defect whose support links the charged insertion. The word topological means that smooth deformations leave a correlation function unchanged while no charged insertion or junction is crossed. It does not say the entire theory is a topological field theory. Dimension counting and orientation are essential before this geometric description can become an operator equation.

Specify which object has which dimension

Let D be spacetime dimension and p the degree of a p-form symmetry. A continuous symmetry has a conserved current of differential-form degree p plus one. Its Hodge dual can be integrated on a closed manifold of dimension D minus p minus one. Exponentiating that charge defines the symmetry defect. The charged insertion has p-dimensional spacetime support, while a background connection has degree p plus one. These are different dimensions assigned to different mathematical objects.

For p at least one, a timelike charged operator can represent the worldvolume of an object with p minus one spatial dimensions. A line may therefore represent a particle worldline even though it is charged under a one-form symmetry. An equal-time p-dimensional charged operator can instead create an excitation with p-dimensional spatial support, such as a flux string for a spatial Wilson line. This differs from the timelike external-probe interpretation. For p equal to zero, the charged insertion is local; assigning it a negative-dimensional physical object would be a misuse of the counting rule.

Jp+1,d⋆Jp+1=0,Q(ΣD−p−1)=∫ΣD−p−1⋆Jp+1,Bp+1J_{p+1},\qquad d\star J_{p+1}=0,\qquad Q(\Sigma_{D-p-1})=\int_{\Sigma_{D-p-1}}\star J_{p+1},\qquad B_{p+1}
We use D-dimensional oriented spacetime and natural units ℏ = 1. J is a continuous-symmetry current, Σ is closed, and B is a nondynamical background connection. The integrated charge is dimensionless: J components scale as L−(D−p−1)L^{-(D-p-1)} and B components as L−(p+1)L^{-(p+1)} for length unit L. Finite symmetries need topological defects but need not possess a local conserved current.↔ Scroll wide equations horizontally.

A defect detects charge by linking

For an ordinary compact U(1) p-form symmetry, choose the parameter to have period two pi and normalize integer charge q. Transporting a unit symmetry defect through a linked charged insertion multiplies the correlator by a phase. The oriented linking number changes sign when an appropriate orientation is reversed. For disjoint supports in D dimensions, the charged p-cycle and symmetry-defect support have dimensions summing to D minus one, which permits this linking pairing.

The simple linking formula requires cycles for which the pairing is defined, for example a charged cycle bounding a chain in the relevant complement construction. Nontrivial homology, boundaries, torsion, or a defect ending on another defect need additional data. A formula derived for two contractible linked supports should not be assumed to define a unique integer linking number on every compact manifold. Charges and phases must also respect the global form and period of the declared symmetry group.

Uα(Σ) Wq(C)=eiαq Lk⁡(Σ,C)Wq(C) Uα(Σ),α∼α+2πU_\alpha(\Sigma)\,W_q(C)=e^{i\alpha q\,\operatorname{Lk}(\Sigma,C)}W_q(C)\,U_\alpha(\Sigma),\qquad \alpha\sim\alpha+2\pi
This expresses a consistent ordered crossing convention, with positive unit linking giving exp(iαq). Σ has dimension D−p−1 and C dimension p. The formula applies to an invertible abelian symmetry defect and a charge eigen-operator in a setting with the stated linking pairing.↔ Scroll wide equations horizontally.

Global action is different from gauge redundancy

A global symmetry acts on physical operators and states. A gauge transformation instead changes redundant coordinates of a description. A gauge theory can nevertheless have higher-form global symmetries because some closed extended operators cannot end on dynamical matter. Adding allowed charged matter can remove or reduce that symmetry. For p greater than zero, ordinary invertible higher-form symmetry groups are abelian; the geometric freedom to move separated defects is part of the reason their compositions commute.

Local conserved-current notation only captures the continuous case. Finite groups are detected through topological defect fusion and crossing phases even without a current density. Neither an abelian crossing phase nor a nonzero conserved charge determines whether the symmetry is spontaneously broken, whether excitations are gapped, or whether the infrared theory has topological order. Those are questions about states and dynamics in a specified limit. The defect algebra first establishes which symmetry is present and how its charges are measured.

UrUs=Ur+s mod N,UrWq=e2πirqℓ/NWqUr(ZN)U_rU_s=U_{r+s\ {\rm mod}\ N},\qquad U_rW_q=e^{2\pi i rq\ell/N}W_qU_r\quad(\mathbb Z_N)
Here r and q are residue labels modulo N, ℓ is the oriented linking number, and U₀ is the identity. Phases and integrated connections are dimensionless. This exact finite abelian defect algebra is symmetry data, not a complete Hamiltonian or phase diagram.↔ Scroll wide equations horizontally.

Count a two-form symmetry in five dimensions

In D = 5 spacetime dimensions, consider an invertible p = 2 compact U(1) symmetry. Find current degree, defect-support dimension, charged-operator support dimension, and background degree. For q = 2, α = π/3, and positive linking one, find the crossing phase.

  1. The current and background have degree p + 1 = 3. The charge is integrated over a support of dimension D−p−1=5−2−1=2D-p-1=5-2-1=2.

  2. The charged operator has two-dimensional spacetime support. If it is a timelike worldsheet, the corresponding object is a spatial string, of dimension one.

  3. The phase is ei(π/3)(2)=e2πi/3=−1/2+i3/2e^{i(\pi/3)(2)}=e^{2\pi i/3}=-1/2+i\sqrt3/2. Reversing the linking orientation conjugates it.

The result

The current and background are three-forms, both relevant supports are two-dimensional, and positive unit linking gives exp(2πi/3).

Explore the model

Interactive lab

Interactive lab · modular

Finite defect powers form a cyclic orbit

Reset and set BOTH Modulus m to 6 and Additive step a to 2; predict orbit 0,2,4 and period 3. Then Reset and set BOTH m to 6 and a to 1; predict period 6. This exact residue instrument illustrates repeated fusion labels in a cyclic group. It does not place defects in spacetime, calculate linking, impose charge conservation, or determine a physical phase.

Finite defect powers form a cyclic orbitAddition modulo m starts at zero: rₙ = na mod m. Playback advances two additions per second. The orbit has period m/gcd(m,a), including period one for a = 0. This is not a cryptographic security test or a primality algorithm. Current readings: Residue r0: 0; Orbit period · m/gcd(m,a): 12; Distinct residues visited: 1 of 12. All parameters are adjustable with the labeled controls below.Repeated addition modulo 12: the current residue is 0, and the orbit period is 12.01234567891011+ 5mod 12An additive orbitn = 0rₙ = 0Period = 12Cycle starts at 0:0 → 5 → 10 → 3 →8 → 1 → 6 → 11 →4 → 9 → 2 → 7 → 0Exact residues · two additions per second
Additive orbitCurrent residue / next edge
Residue r0
0
Orbit period · m/gcd(m,a)
12
Distinct residues visited
1 of 12
t = 0 s

Addition modulo m starts at zero: rₙ = na mod m. Playback advances two additions per second. The orbit has period m/gcd(m,a), including period one for a = 0. This is not a cryptographic security test or a primality algorithm. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA cyclic label algebra is one part of a symmetry, while support and crossing data contain additional information.

Check your understanding

For a p-form symmetry in D-dimensional spacetime, what is the support dimension of its topological symmetry defect?

Try it yourself

For a Z₄ one-form symmetry in D = 4, take defect label r = 1, charged line q = 3, and linking number ℓ = 2. Find the crossing phase. Then replace q by q + 4 and check consistency with the group label.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Reduce the product r q ℓ modulo four before evaluating its root of unity.

Compare with the solution

The exponent label is rqℓ=6≡2(mod4)rq\ell=6\equiv2\pmod4, so the phase is exp(πi) = −1. Replacing q by seven changes the product to fourteen, again congruent to two. The phase is unchanged, as a Z₄ charge must be. The defect is a surface and the charged insertion a line in four-dimensional spacetime; the phase alone does not establish confinement or deconfinement.

Take it with you

  • A current, a symmetry defect, a charged insertion, and a background connection have different degrees.
  • Oriented linking detects charge only after cycle and normalization conventions are fixed.
  • Higher-form global symmetry is physical symmetry data rather than a gauge redundancy or a phase label by itself.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.