Internal Symmetries

Internal symmetries, Noether currents, and conserved charges in field theories.

Conceptual context

An internal symmetry transforms components of a ϕa\phi_{a} without moving the spacetime point. It changes how equivalent states are represented inside an abstract component space rather than where the phenomenon occurs. When the action remains invariant under a continuous transformation, a jAμj_A^\mu and an associated QAQ_A emerge. The central question is temporal: for an exact symmetry, the QAQ_A should not change with tt. This links geometry in field space to a direct prediction: a horizontal graph of QAQ_A versus tt, provided that no net flux crosses the boundary.

🟢 Essential level

Imagine a system described by several components of ϕa\phi_{a}. An internal symmetry mixes those components without changing observable physics.

The ϵA\epsilon_{A} controls the size of the transformation, while deltaphiadelta_phi_a expresses the resulting infinitesimal change. If the action cannot distinguish the original configuration from the transformed one, Noether's theorem assigns a jAμj_A^\mu. Its tt component acts as ρA\rho_{A}, while its spatial components describe transport. Integrating the density over a region gives the QAQ_A. In a closed system, local conservation prevents creation or destruction of that charge, so its dQA/dtdQ_A/dt vanishes. On a graph of QAQ_A against tt, this appears as a perfectly horizontal line, although the line need not lie at zero or have any preferred positive sign whatsoever in practice.

Werner Heisenberg proposed the first internal symmetry in particle physics in 1932, treating the proton and neutron as two states of a single particle under an isospin symmetry; that idea, decades ahead of modern gauge theory, anticipated how internal symmetries would later organize the entire Standard Model.

🔵 Formal level

Basic formulas

The infinitesimal continuous transformation of the ϕa\phi_{a} is written as

Infinitesimal internal transformation

δϕa=ϵA(TA)abϕb\delta\phi_a=\epsilon_A (T_A)_{ab}\phi_b

The ϵA\epsilon_{A} selects the infinitesimal amplitude, while the gAg_A groups how the generator mixes components; their product gives the deltaphiadelta_phi_a. For an invariant Lagrangian density, the associated current is built through

Noether current of an internal symmetry

jAμ=∂L∂(∂μϕa)(TA)abϕbj_A^{\mu}=\frac{\partial L}{\partial(\partial_{\mu}\phi_a)}(T_A)_{ab}\phi_b

The jAμj_A^\mu contains both ρA\rho_{A} and spatial flux.

Real student questions

Does every internal symmetry produce an observable charge? It produces a Noether charge in the continuous classical model, but experimental interpretation depends on how ϕa\phi_{a} couples to observables.

Does conserved mean positive? No. QAQ_A may be positive, negative, or zero; conservation means preserving its value with tt.

Can density change while total charge remains fixed? Yes. ρA\rho_{A} may be redistributed through jAμj_A^\mu.

Does a nonzero slope prove an anomaly? No. Boundary flux, explicit breaking, and numerical error must be excluded first.

What separates global from gauge symmetry? In a global symmetry, ϵA\epsilon_{A} is constant; making it local requires additional gauge fields.

Final synthesis

A continuous internal symmetry transforms ϕa\phi_{a} without moving spacetime. If it leaves the action invariant, it generates a locally conserved jAμj_A^\mu. In a closed system, its integral, QAQ_A, remains constant with tt. The ideal graph is horizontal; any drift requires checking boundaries, breaking, anomalies, and numerical accuracy.

Formal development

This section is part of the complete theory. See the subscription options to access it.

🔴 Structural level

This section is part of the complete theory. See the subscription options to access it.

Deep physical interpretation

This section is part of the complete theory. See the subscription options to access it.

Order of magnitude

This section is part of the complete theory. See the subscription options to access it.

Personalized resolution method

This section is part of the complete theory. See the subscription options to access it.

Special cases and extended example

This section is part of the complete theory. See the subscription options to access it.

Cross-cutting connections and study paths

This section is part of the complete theory. See the subscription options to access it.