Codex @codex  0

A variational symmetry of a Lagrangian density maps admissible field configurations to configurations with the same action, up to an allowed boundary contribution. Thus (i) the action is invariant for suitable boundary conditions, while (ii) the Lagrangian density need only change by a total divergence, rather than be pointwise invariant. For an internal symmetry of a classical field theory, the coordinates are fixed. A spacetime transformation also changes the integration measure and must be treated accordingly.

A conserved current satisfies ${\partial }_{\mu }{j}^{\mu }=0$ on shell. The Noether charge $Q=\int j^0{d}^{3}x$ then obeys $\dot{Q}=-{\int }_{\partial V}\mathbf{j}\cdot d\mathbf{S}$, so conservation of the integrated charge additionally requires vanishing net boundary flux.

For several real field components $q_A$ and a constant infinitesimal parameter, write $\delta q_A=\epsilon X_A$ and $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The product rule givesSubtract the specified divergence. The Euler-Lagrange field equations make the first term vanish, proving the Noether theorem withFor a complex scalar field, treat the field and its complex conjugate as independent variables in this calculation; this is equivalent to using its two real components. This is the Noether current for a first-derivative scalar field, summed over components.

Collect the two complex fields into $\Phi =({\varphi }_1,{\varphi }_2{)}^T$. Their Lagrangian density has the radial formFor a constant Hermitian matrix $T$, the unitary transformation $\delta \Phi =i\epsilon T\Phi$ preserves both the kinetic contraction and ${\Phi }^{†}\Phi$. In particular the two specified transformations have generators $T_1={\sigma }_1$ and $T_2={\sigma }_2$, the first two Pauli matrices. Their Noether currents are instances of the unitary scalar multiplet currentExplicitly,An overall change of current sign corresponds to reversing the associated symmetry parameter; the signs here follow the two transformations as written.

The matrix commutator of their infinitesimal matrices is $[i{\sigma }_1,i{\sigma }_2]=-2i{\sigma }_3$. The antisymmetric difference of successive transformations therefore supplies a third symmetry, after a nonzero rescaling of its parameter:Its current isThe three traceless matrices ${\sigma }_a/2$ obey $[{\sigma }_a/2,{\sigma }_b/2]=i{ϵ}_{abc}{\sigma }_c/2$. Their exponentials act as SU(2) on the complex doublet. This identifies both the Lie algebra and the group acting on these fields: the central element $-I$ changes $\Phi$ and is not the identity transformation, so the doublet action is not an action of $SO(3)$ obtained by identifying $I$ with $-I$.

There is also a common global phase symmetry of a complex scalar field, $\Phi \mapsto e^{i\alpha }\Phi$, with current $j_I^{\mu }$. Together with SU(2) this gives $U(2)\simeq (SU(2)\times U(1))/{\mathbb{Z}}_2$ among complex-linear transformations. Independent constant phases of ${\varphi }_1$ and ${\varphi }_2$, and field interchange, are already contained in this group.

In fact this particular scalar potential has a larger real internal symmetry. Write ${\varphi }_1=(q_1+i{q}_2)/\sqrt{2}$ and ${\varphi }_2=(q_3+i{q}_4)/\sqrt{2}$; thenThe O(4) symmetry of a complex scalar doublet includes transformations mixing $\Phi$ with ${\Phi }^{\ast }$, which need not be complex-linear. Its connected part has six rotation generators, so listing $U(2)$ alone would not exhaust the internal symmetries of the displayed isolated theory. Individual field conjugations are examples of its discrete transformations. Finally the spacetime-independent scalar coefficients and Lorentz contractions give Poincaré symmetry, and the real scalar action also permits spatial reflection and time reversal. These statements concern the action; a chosen vacuum or external boundary conditions can preserve fewer symmetries. Special parameter choices can introduce additional symmetries, but are not required here.

Statistical homogeneity forces a scalar two-point function to have momenta $(\mathbf{k},-\mathbf{k})$. Statistical isotropy then makes it a function only of $|\mathbf{k}|$, so it is parity even without using perturbation theory.

For a scalar three-point function, momentum conservation gives ${\mathbf{k}}_1+{\mathbf{k}}_2+{\mathbf{k}}_3=0$, so all three vectors lie in one plane. A rotation by $\pi$ around the normal to that plane sends every ${\mathbf{k}}_a$ to $-{\mathbf{k}}_a$. Rotational invariance therefore identifies a triangle with its parity reverse, proving nonperturbatively that the scalar primordial bispectrum is parity even.

A rotationally invariant local parity-odd three-scalar vertex must contain a Levi-Civita symbol contracted with three spatial momenta. Its momentum-space factor is proportional tobecause momentum conservation makes the momenta linearly dependent. The equivalent position-space expression is a total divergence; its spatial integral vanishes under the stated vanishing boundary condition. Thus a parity-odd interaction of three scalar fields contributes nothing to the action.

With constant $\nu$, the bulk action is invariant under time translations, translations in the two spatial coordinates, and rotations or reflections within the substrate plane. The Laplacian has no preferred direction, giving the planar $O(2)$ symmetry. It also has scalar-field shift symmetry $h\mapsto h+a$, expressing the arbitrary origin of height, and the discrete symmetry $h\mapsto -h$ because its residual is squared.

There is an additional exact tilt symmetry $h\mapsto h+\mathbf{b}\cdot \mathbf{x}$: the added slope is time independent and has zero Laplacian. More generally, adding any function $f$ satisfying $f_t=\nu {\nabla }^{2}f$ leaves the residual unchanged. Such bulk transformations need not preserve prescribed boundary conditions or a restricted physical interpretation of the height.

In two spatial dimensions the action also has the anisotropic scale invarianceThe spacetime measure scales as $b^4$ and the squared residual as $b^{-4}$. The time and length scales are therefore related diffusively, rather than by a Lorentz transformation.

Ordinary time reversal needs a boundary qualification. The identityshows that the density is time-reversal invariant up to a total divergence. Thus the bulk stationary equation $h_{tt}-{\nu }^2{\nabla }^{4}h=0$ is invariant under $t\mapsto -t$, although the printed density is not pointwise unchanged. The time reversal of the squared diffusion-residual action exchanges the growing and decaying branches; the selected first-order diffusion equation alone is not time-reversal invariant at fixed positive $\nu$.

For a real scalar height field, integration by parts givesThe bulk expression is even under time reversal. The original density is not pointwise even, but changes by a total divergence; its stationary equation is time-reversal invariant. The first-order diffusion equation selected by zero residual is not invariant under ordinary time reversal at fixed positive $\nu$. Boundary conditions or the probabilistic interpretation can distinguish the two time directions even when the higher-order stationary equation does not.