research35 min studyLesson 773 in Physics

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

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.

S=−12e2∫F∧⋆F,Ke=⋆Fe2,Km=F2π,dKe=dKm=0S=-\frac1{2e^2}\int F\wedge\star F,\qquad K_e=\frac{\star F}{e^2},\quad K_m=\frac F{2\pi},\qquad dK_e=dK_m=0
Here η = diag(1,−1,−1,−1), e is dimensionless, F has inverse-length-squared components, and Ke,Km are closed two-forms in the source-free sector. They are dual-current forms, not an assertion that ⋆² = +1 on Lorentzian two-forms. Integrated fluxes are dimensionless.↔ Scroll wide equations horizontally.

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.

Ue(α,Σ)=eiα∫ΣKe,Um(β,Σ)=eiβ∫ΣKm,UeWq=eiαqℓWqUeU_e(\alpha,\Sigma)=e^{i\alpha\int_\Sigma K_e},\qquad U_m(\beta,\Sigma)=e^{i\beta\int_\Sigma K_m},\qquad U_eW_q=e^{i\alpha q\ell}W_qU_e
Σ is a two-dimensional symmetry support and a Wilson line is one-dimensional in spacetime. α,β are dimensionless angles modulo 2π. ℓ is the oriented surface–line linking number, with the positive crossing convention declared above.↔ Scroll wide equations horizontally.

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.

eiαqa=1 for all dynamical qa,Ge(1)=Zgcd⁡(∣q1∣,∣q2∣,…)e^{i\alpha q_a}=1\ \text{for all dynamical }q_a,\qquad G_e^{(1)}=\mathbb Z_{\gcd(|q_1|,|q_2|,\ldots)}
This finite-subgroup formula assumes nonzero integer electric charges in the unit-probe normalization. If no electric charges are dynamical, the subgroup remains U(1); gcd = 1 gives the trivial group. Magnetic charges and theta-dependent dyonic conventions need separate consistent input.↔ Scroll wide equations horizontally.

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.

  1. The electric greatest common divisor is gcd(6,10) = 2. The surviving electric group is Z₂.

  2. The magnetic greatest common divisor is gcd(9,12) = 3. The surviving magnetic group is Z₃.

  3. The smallest positive angles are 2π/2=π2\pi/2=\pi and 2π/32\pi/3. Each produces a unit phase on all corresponding dynamical charges, while it can act nontrivially on suitable external probes.

The result

The surviving groups are electric Z₂ and magnetic Z₃, with basic angles π and 2π/3 respectively.

Explore the model

Interactive lab

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.

A charge subgroup is detected by a greatest common divisorAddition 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 forAn integer charge lattice can leave discrete structure, but the physical symmetry statement also needs the field and endpoint definitions.

Check your understanding

Which law gives magnetic one-form conservation in source-free compact Maxwell theory?

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 Zgcd⁡(4,6)=Z2\mathbb Z_{\gcd(4,6)}=\mathbb Z_2, 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.

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.