Electric and magnetic one-form symmetries
Identify the two closed flux forms of source-free compact Maxwell theory and track how dynamical charges reduce the exact generalized symmetry.
On this page
The question for today
What you’ll understand
- Normalize electric and magnetic flux charges with a declared Maxwell action.
- Separate equations of motion from the Bianchi identity.
- Find residual finite one-form subgroups for specified dynamical charge lattices.
Source-free Maxwell theory in four spacetime dimensions has two continuous one-form global symmetries. One is associated with the equation of motion and the other with the Bianchi identity. Their charged operators are electric and magnetic lines. The two conservation laws can look similar in differential-form notation but have different failures when matter or monopoles are present. Compactness determines flux periods, while the actual dynamical charge lattice determines whether a continuous symmetry remains exact or only a finite subgroup survives.
Normalize the two flux forms separately
Take a compact U(1) connection with curvature periods equal to integer multiples of two pi and unit electric Wilson charge. Work in oriented Lorentzian D equal to four with hbar and light speed one, no theta term, and the standard Maxwell coefficient one over twice the squared coupling. Away from insertions, both the curvature and its Hodge dual multiplied by inverse coupling squared are closed two-forms. Their surface integrals define magnetic and electric charges with different normalization factors.
Call these closed two-forms dual-current forms so that no implicit Lorentzian double-Hodge sign is hidden in a current label. The orientation and Hodge convention are fixed so a unit electric source has electric flux one and a unit monopole has magnetic curvature flux two pi. The associated symmetry angles have period two pi. The normalization can be changed, but then charge labels, background periods, and the coupling coefficients must change together.
A closed symmetry surface tests a line
Exponentiating either flux integral over a closed oriented surface gives a symmetry defect. When the surface links a line carrying the matching integer charge, the correlator acquires the corresponding angle times charge phase. The electric symmetry acts on Wilson lines, while the magnetic symmetry acts on magnetic disorder lines. Deforming a surface through a region free of charged insertions changes no flux integral by Stokes' theorem.
With electric sources the Maxwell equation contains their current, so the electric flux form is no longer closed across their worldlines. A monopole similarly modifies the Bianchi identity and spoils magnetic closure. The presence of external probe insertions is consistent with a symmetry Ward identity: they are its charged operators. Allowing the same charges as dynamical endpoints in the theory can instead explicitly break the corresponding one-form symmetry. Those two roles of a line must be distinguished.
The remaining subgroup is an arithmetic condition
If the only dynamical electric charges are multiples of an integer N, a symmetry angle remains exact when it acts trivially on every allowed endpoint. This leaves the N discrete rotations inside the original electric U(1). If several charges are available, the residual subgroup is determined by their greatest common divisor. A unit dynamical charge removes the entire electric one-form symmetry, even when that particle is heavy; at energies below its mass a larger symmetry may only be emergent or approximate.
The same arithmetic applies independently to a specified magnetic charge lattice, provided electric–magnetic consistency and global data have been declared. This bookkeeping does not by itself establish confinement, a Higgs phase, or a massless photon. In particular, a compact gauge theory with nonperturbative monopoles cannot be called exactly source-free simply because its classical equations were written without a matter term. Exact ultraviolet symmetry, approximate low-energy conservation, and spontaneous realization of a remaining symmetry are separate questions.
Work it through
Find two residual flux symmetries
A compact four-dimensional model has dynamical electric charges 6 and 10, and dynamical magnetic charges 9 and 12, in mutually consistent integer units. Find the surviving electric and magnetic one-form groups and their smallest positive symmetry angles.
The electric greatest common divisor is gcd(6,10) = 2. The surviving electric group is Z₂.
The magnetic greatest common divisor is gcd(9,12) = 3. The surviving magnetic group is Z₃.
The smallest positive angles are and . Each produces a unit phase on all corresponding dynamical charges, while it can act nontrivially on suitable external probes.
The surviving groups are electric Z₂ and magnetic Z₃, with basic angles π and 2π/3 respectively.
The living notebook
Explore the model
Interactive lab · modular
A charge subgroup is detected by a greatest common divisor
Reset and set BOTH Modulus m to 10 and Additive step a to 6; predict period 5. Then Reset and set BOTH m to 10 and a to 1; predict period 10. The orbit length is m/gcd(m,a). This exact arithmetic analogy illustrates how a common divisor changes a cyclic structure. It does not measure electromagnetic flux, include dynamical endpoints, or classify Maxwell phases.
- Residue r0
- 0
- Orbit period · m/gcd(m,a)
- 12
- Distinct residues visited
- 1 of 12
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 forAn integer charge lattice can leave discrete structure, but the physical symmetry statement also needs the field and endpoint definitions.
Pause & reason
Check your understanding
Your turn
Try it yourself
Initially only charge-four electric matter is dynamical. Add charge-six matter, and then charge-one matter. Give the exact electric one-form group at each stage. Does making the charge-one particle very massive restore an exact U(1) symmetry of the full theory?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
At each stage require every endpoint to have a trivial symmetry phase; distinguish an exact full-theory symmetry from an effective low-energy approximation.
Compare with the solution
The groups are Z₄, then , then the trivial group after including charge one. A finite but large charge-one mass does not restore exact U(1) symmetry of the full theory because that endpoint remains allowed. Neglecting such excitations in a low-energy description can yield an approximate emergent conservation law, with its range of validity set by the omitted processes.
Keep the idea
Take it with you
- Electric and magnetic one-form conservation arise from different Maxwell identities.
- Compact periods and the Maxwell coefficient fix the two flux normalizations.
- Dynamical endpoint charge lattices determine exact residual subgroups, independently of the eventual phase.
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.