Why can the comparison rule interact with itself?

Order carries information

Rotate an arrow about a horizontal axis and then a vertical axis. Reversing the order usually gives a different direction. Matrices acting in an internal space can behave similarly. A single complex phase has commuting multiplication, called Abelian; noncommuting comparison matrices give a non-Abelian theory.

For a two-component field, use $SU(2)$ matrices. Write $A_\mu=A_\mu^aT^a$ with $T^a=\sigma^a/2$ , half the Pauli matrices. They obey $[T^1,T^2]=iT^3$ . The index $a$ labels a direction in the internal space.

D_\mu=\partial_\mu-igA_\mu,\qquad F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu-ig[A_\mu,A_\nu]

Choose positive coupling and background amplitude. In this natural-unit convention the coupling is in the covariant derivative. The commutator records the difference between orders of matrix comparison.

Source: David Tong

Constant potentials can produce a field

A spatially constant electromagnetic potential has zero curl. Non-Abelian potentials have another contribution: their commutator. Choose $A_x=aT^1$ and $A_y=aT^2$ . Every ordinary derivative vanishes, but $F_{xy}=ga^2T^3$ .

Squaring this field strength in the field energy produces fourth-order terms in the potentials; cross terms with derivatives give third-order terms. These are gauge self-interactions. The example identifies their algebraic origin without assuming this background solves a chosen source-free boundary problem.

-ig[aT^1,aT^2]=-ig\,a^2(iT^3)=ga^2T^3

Zero ordinary derivatives do not guarantee a zero non-Abelian field strength.

Constant comparison potentials with commuting and noncommuting matrices.
Comparison rule	Order difference	Field in this example
One complex phase	$[A_x,A_y]=0$	$F_{xy}=0$
$SU(2)$	$[aT^1,aT^2]=ia^2T^3$	$F_{xy}=ga^2T^3$

A vector mass from a matter background

Return to an Abelian model with one complex scalar. Its potential $V=\lambda(|\phi|^2-v^2/2)^2$ is minimized at a nonzero modulus. The scale $v$ has mass dimension one; $\lambda>0$ is dimensionless. Write the field in terms of an amplitude fluctuation $h$ and a phase $\theta/v$ .

Substitution into the covariant kinetic term gives the two squares below. The first describes amplitude variations; the second combines the phase gradient and potential. Choosing a locally vanishing phase exposes $g^2v^2A_\mu A^\mu/2$ , a vector mass term, so $m_A=gv$ .

\phi=\frac{v+h}{\sqrt2}e^{i\theta/v},\qquad |D_\mu\phi|^2=\frac12(\partial_\mu h)^2+\frac12g^2(v+h)^2\left(A_\mu-\frac{\partial_\mu\theta}{gv}\right)^2

The scalar, phase variable and background scale have mass dimension one. The phase in the exponential is dimensionless.

m_A=gv,\qquad m_h=\sqrt{2\lambda}\,v

The scalar mass comes from the quadratic potential term; the vector mass comes from the covariant kinetic term.

A numerical example and a count of modes

Take $g=0.4$ , $v=3\,\mathrm{TeV}$ and $\lambda=0.5$ . The vector mass is $1.2\,\mathrm{TeV}$ and the amplitude mass is $3.0\,\mathrm{TeV}$ . Halving only the gauge coupling halves the vector mass and leaves the scalar mass fixed. The background amplitude alone does not determine every mass.

Initially, a massless vector has two transverse polarizations and a complex scalar has two real degrees of freedom. In the local massive description, the vector has three polarizations and one amplitude fluctuation remains. The total is four in either description. The phase degree of freedom supplies the longitudinal vector polarization.

Gauge redundancy remains valid. The common phrase “broken gauge symmetry” should not be read as an observable breaking of local redundancy. The calculation here is a local expansion near a uniform background; defects and global gauge patches require additional tools.

Try the reasoning in an experiment

Establish the Abelian comparison first

Predict whether reversing the multiplication order of two phase links changes the loop.
Redistribute link phases at fixed total and record the loop.
Explain why this result cannot be transferred to matrix links. Construct a pair of noncommuting matrices as a counterexample; this Lab demonstrates Abelian transport.

Exercises and explanations

For constant $A_x=aT^1$ and $A_y=bT^1$ , is the field strength still nonzero?

Read the explanation

It vanishes in this constant background. Both potentials point along the same internal generator and commute. A non-Abelian theory permits self-interactions without requiring every background to have a nonzero commutator.

What happens to the example’s masses if $v$ doubles?

Read the explanation

Both masses double when the dimensionless couplings remain fixed. Both are proportional to the background scale.

Can a plot of a scalar expectation value alone prove observable breaking of local gauge redundancy?

Read the explanation

No. Scalar components depend on the gauge choice. Compare invariant quantities, mass spectra or correlation functions. Here the mass terms and mode count explain the mechanism.

Sources and reproduced scope

Derivations, tables and the plot are authored for this course. The reading locations below separate source results from our teaching extensions. Numerical examples are model references or labeled synthetic observations. No experimental dataset or source figure is copied.

David Tong, Gauge Theory (2018 lecture notes)

Sections 2.1–2.1.3 (connections and Wilson loops), 2.7.3 (Higgs phase), 3.1.1–3.2.2 (two-dimensional anomaly and Ward identities), 4.2.1 (link endpoints) and 4.3.1–4.3.3 (lattice fermions). Printed pages 26–37, 105–108, 122–139, 207–210, 220–228.

Aneesh V. Manohar, Introduction to Effective Field Theories, arXiv:1804.05863v1 (2018)

Sections 3.5 and 4 (integrating out and power counting), 5.5–5.7 (matching), 5.10.1, PDF equations (5.51)–(5.60) (QCD running and operator mixing), and 6.2–6.3 (field redefinitions). The scalar-channel examples are derived for this course. The known-log boundary expansion checks truncation of the published running factors; it does not calculate finite hard matching.