research35 min studyLesson 775 in Physics

Background higher-form gauge fields

Couple a one-form global symmetry to a two-form background, distinguish background redundancy from gauging, and construct a gauge-invariant dressed line.

Before you begin

On this page

The question for today

What you’ll understand

Identify the degree of a higher-form background and its gauge parameter.
Check invariance of a Maxwell coupling using F−B.
Cancel the transformation of a line with an oriented surface dressing.

A background gauge field is a probe of global symmetry, not an extra fluctuating degree of freedom. For a one-form symmetry it is a two-form connection whose holonomies are measured on surfaces. Introducing it makes symmetry transformations local in a controlled way and exposes possible anomalies. A locally gauge-invariant kinetic coupling is easy to write, but compact periods, patching, and torsion data still matter globally. Summing over backgrounds would be a different operation: gauging the symmetry rather than simply testing it.

The background degree follows the symmetry degree

For a continuous p-form global symmetry in D spacetime dimensions, the background connection has degree p plus one. Its local gauge parameter is a p-form and its curvature has degree p plus two. For the four-dimensional electric one-form symmetry of compact Maxwell theory, denote the background by B and the one-form parameter by lambda. Let the dynamical connection shift along with the background so their curvature difference is invariant.

This transformation law describes a redundancy of the background-coupled description. At zero background, a closed flat parameter gives the corresponding global transformation of line operators, modulo the appropriate compact identifications. It is not the ordinary scalar-parameter gauge transformation of the original dynamical potential. Mixing those two transformations obscures why the background acts on extended charged operators and why its parameter has a different form degree.

a\mapsto a+\lambda,\qquad B\mapsto B+d\lambda,\qquad \mathcal F=da-B\mapsto\mathcal F

Here D = 4, a and λ are one-form connections locally, and B is a two-form background. Integrated a and B holonomies are angles in compact U(1) normalization. Components of a,λ have inverse-length units and B inverse-length-squared units.↔ Scroll wide equations horizontally.

Local invariance is necessary but not all global data

Replacing the Maxwell curvature by its invariant difference produces a local action invariant under the displayed transformation. The background is held fixed when the dynamical field is integrated in the partition function. Differentiating with respect to the background then probes the generalized current and response. Promoting the background to a summed dynamical variable changes constraints, allowed sectors, and often the dual symmetry; it is not accomplished by merely writing a new symbol in the action.

A compact higher-form connection need not be a globally defined differential form on every manifold. Transition data and integral periods must be supplied, and finite-group backgrounds often require cocycles rather than only smooth forms. A de Rham expression can miss torsion sectors entirely. The local expression is therefore used in a patchwise or topologically simple sector unless a global differential-cohomology completion is specified. Background gauge invariance should be checked both locally and under the relevant large transformations.

S[a;B]=-\frac1{2e^2}\int_{M_4}(da-B)\wedge\star(da-B),\qquad H_B=dB

This is the Lorentzian Maxwell kinetic term in natural units, with dimensionless e and a two-form background B. HB is a three-form curvature. The expression gives the local coupling; nontrivial compact bundles and torsion require compatible global definitions.↔ Scroll wide equations horizontally.

An open surface can compensate a line variation

A charge-q Wilson loop is no longer invariant under a general background one-form gauge parameter because its holonomy changes by the integral of that parameter. If the loop bounds an oriented surface, attach the exponential of minus q times the background surface integral. Stokes' theorem makes the two variations cancel. The orientation condition that the surface boundary equals the oriented loop is essential for that cancellation.

This dressing can depend on the chosen spanning surface: two choices differ by a closed background holonomy. That dependence records the line's background charge rather than proving a new gauge inconsistency. Some cycles do not admit the chosen spanning surface, requiring patchwise or global formulations. In a theory with several generalized symmetries, a locally invariant coupling for one may obstruct simultaneous background invariance for another. Such an obstruction must be tested against allowed counterterms before it is called an anomaly.

\widehat W_q(C,\Sigma)=\exp\left(iq\oint_Ca-iq\int_\Sigma B\right),\qquad \partial\Sigma=C

C is an oriented line and Σ an oriented two-chain, with the induced boundary orientation. The formula is invariant under a→a+λ and B→B+dλ. It is a background-dressed probe in the declared sector, not automatically a surface-independent genuine line for arbitrary topology.↔ Scroll wide equations horizontally.

Work it through

Cancel two background transformation phases

Take q = 2 and a background gauge parameter with ∮Cλ = π/3. For a surface with ∂Σ = C, find the transformation phase of W₂, the phase of its B dressing, and their product.

The Wilson factor transforms by $e^{iq\oint\lambda}=e^{2\pi i/3}$ .
The surface factor transforms by $e^{-iq\int_\Sigma d\lambda}=e^{-2\pi i/3}$ , using the declared boundary orientation and Stokes’ theorem.
The phases multiply to one. Reversing only the surface boundary convention would spoil this cancellation, so orientation is part of the definition.

The result

The two factors acquire opposite phases and the dressed line is invariant under this background gauge transformation.

The living notebook

Explore the model

Interactive lab

Interactive lab · waves

Opposite phase contributions can cancel

Reset and set BOTH Phase difference to 0 degrees and Amplitude ratio to 1; predict reinforcement. Then Reset and set BOTH Phase difference to 180 degrees and Amplitude ratio to 1; predict cancellation. These are equal-frequency co-propagating sine waves. The illustration concerns cancellation only, not multiplication of Wilson phases, background gauge fields, surface orientation, or anomaly inflow.

SumFirst componentSecond component

Sum at x = 0: 0.866
Resultant amplitude: 1.732
Phase difference: 60°

Phase difference60°Amplitude ratio1

t = 0 s

Two waves share the same frequency and wave number. Playback advances t in sin(2x − t) + a sin(2x − t + phase). 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 cancellation is meaningful only when the two terms transform according to a consistent shared convention.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

Gauging makes the probe field dynamical and sums its allowed sectors with appropriate gauge redundancy. A fixed background tests a symmetry without performing that sum.

Your turn

Try it yourself

Two spanning surfaces for the same charge-three loop differ by a closed oriented surface S with ∫SB = 2π/5. Find the ratio of the two dressings, using the ordering in which their difference is +S. Is this surface dependence itself a failure of background gauge invariance?

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

Give me a hint

Subtract the two surface exponents while keeping their orientation fixed.

Compare with the solution

The ratio is $e^{-i(3)(2\pi/5)}=e^{-6\pi i/5}=e^{4\pi i/5}$ . It is a closed-surface background holonomy and is invariant under small transformations B→B+dλ on a closed S. Thus the dressing can be gauge invariant while depending on the selected spanning surface. Global compactness still requires the full connection data where one smooth form is insufficient.

Keep the idea

Take it with you

A p-form symmetry couples to a (p+1)-form background with a p-form local parameter.
A fixed background probes symmetry, whereas gauging sums its allowed sectors.
A dressed line needs oriented surface data, and local formulas do not replace global compact or torsion information.

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.