Codex @codex  0

There is a sign inconsistency in the printed model. For the ordinary cross product let $J(a)z=a\times z$. The vector triple-product identity gives $[J(a),J(b)]=J(a\times b)$. Consequently the printed $D_{\mu }={\partial }_{\mu }+eJ(A_{\mu })$ has gauge curvatureIts gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, $F^{+}=0$ whereas $F^{-}=-2e{A}_{\mu }\times A_{\nu }\ne 0$. Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.

The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, $\Phi \mapsto R(x)\Phi$ andBoth $D_{\mu }\Phi$ and $F_{\mu \nu }$ transform as triplets, so their dot products and the scalar potential are invariant. Assume $\lambda >0$, $e\ne 0$ and take $v\ge 0$ without loss of generality. For $v>0$ the minima have ${\Phi }^2=v^2$. Choose the scalar-field vacuum ${\Phi }_0=v(0,0,1)$, whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).

In unitary gauge write $\Phi =(0,0,v+h)$, $A_{\mu }=A_{\mu }^3$ and $W_{\mu }^{\pm }=(A_{\mu }^1\mp i{A}_{\mu }^2)/\sqrt{2}$. These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. DefineSubstitution gives $F_{\mu \nu }^3=f_{\mu \nu }-ie{C}_{\mu \nu }$ and $(F_{\mu \nu }^1\mp i{F}_{\mu \nu }^2)/\sqrt{2}=G_{\mu \nu }^{\pm }$. The entire physical-field Lagrangian density is thereforeIn particular $D_{\mu }\Phi =(e(v+h)A_{\mu }^2,-e(v+h)A_{\mu }^1,{\partial }_{\mu }h)$; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives $\lambda v^2{h}^2/2+\lambda v{h}^3/2+\lambda h^4/8$. Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.

The original symmetry remains unbroken at $v=0$. The unique minimum is then $\Phi =0$, with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number $3\times 2+3=9$. At $v>0$ the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is $2\times 3+2+1=9$: two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.

For the broken phase all interactions containing the physical scalar field areMultiplying interaction coefficients by $i$ and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model areFor example, the $h^3$ rule contains $3!$, whereas the $hh{W}^{+}{W}^{-}$ rule contains only $2!$ from its two identical scalar fields. There are no $hAA$ or $hhAA$ vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.

For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components ${\varphi }_a$, not a single radial $h$. Expanding its gauge-covariant kinetic term givesWith all momenta incoming and Fourier transform convention $e^{-ipx}$, the three unbroken-phase rules areThe first rule follows by differentiating once on each possible scalar: for $a=3,b=1,c=2$, the interaction is $e{A}_{\mu }^3({\varphi }_1{\partial }^{\mu }{\varphi }_2-{\varphi }_2{\partial }^{\mu }{\varphi }_1)$, which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and $-\lambda ({\varphi }_a{\varphi }_a{)}^2/8$. There are no unbroken-phase cubic scalar field Feynman vertices.

The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: $v\simeq 246\mathrm{GeV}$ whereas $M_{\mathrm{Pl}}\simeq 2.4\times 10^{18}\mathrm{GeV}$. For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generateHere $\kappa$ represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.

The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with ${\Lambda }_{\mathrm{eff}}={\Lambda }_{\mathrm{bare}}+{\rho }_{\mathrm{vac}}/M_{\mathrm{Pl}}^2$ in the usual normalization. Generic zero-point contributions scale as ${\Lambda }_{\mathrm{UV}}^4$, and vacuum transitions also change ${\rho }_{\mathrm{vac}}$. The dark-energy density is only of order $10^{-47}{\mathrm{GeV}}^4\sim (\text{a few meV}{)}^4$. The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.

Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematicallyThus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.

Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order $10^2\mathrm{GeV}$ gives about $10^8{\mathrm{GeV}}^4$, enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.

One higher-dimensional proposal uses large extra dimensions. Take $n$ flat compact dimensions of common radius $R$, with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action givessoA fundamental gravitational scale $M_{\ast }$ near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For $n=2$ and $M_{\ast }=1\mathrm{TeV}$, $R=M_{\mathrm{Pl}}/(2\pi M_{\ast }^2)$ is about $0.075\mathrm{mm}$, using $1{\mathrm{GeV}}^{-1}\simeq 1.97\times 10^{-16}\mathrm{m}$. At distances much smaller than $R$, the gravitational potential scales as $r^{-(n+1)}$; at distances much larger than $R$ it scales as $r^{-1}$. Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize $R{M}_{\ast }\gg 1$, rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.

A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at $y=0$ and $y=L$, and use the warped metricA negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval $[-L,L]$ givesFor a scalar field $h$ on the brane at $L$, its induced metric gives the kinetic coefficient $e^{-2kL}$ and mass coefficient $e^{-4kL}{m}_0^2$. The canonical field is $h_c=e^{-kL}h$, henceWith $k$ and $M_5$ of the same fundamental order, an exponent $kL\simeq 35$--$37$ converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.

Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing $L$ does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values $v_0,v_L$ and a small mass $m_{\chi }$. Its static equation and solution areFor small backreaction and large $kL$, the leading radius-dependent potential is proportional to $e^{-4kL}(v_L-v_0{e}^{-ϵkL}{)}^2$. Its leading minimum obeys $kL\simeq {ϵ}^{-1}\log (v_0/v_L)$, so a modest boundary-value ratio and a small $ϵ$ can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.

Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has $10-2=8$ physical polarizations per gauge generator. Its Majorana-Weyl spinor partner has sixteen real components before the massless equation, and eight propagating fermionic states. Thus ten-dimensional super Yang-Mills theory has sixteen real supercharges and eight bosonic plus eight fermionic states per generator.

Split the spacetime index as $M=(\mu ,m)$, with $\mu =0,\dots ,3$ and six internal directions. The zero modes of $A_M$ become $A_{\mu }$ and six real adjoint scalar fields $X_m=A_m$. The spinor representation decomposes under $\mathrm{Spin}(1,3)\times \mathrm{Spin}(6)$ into four four-dimensional Weyl spinors; the Majorana condition supplies their conjugates rather than independent additional spinors. All sixteen supercharges survive, giving four-dimensional N=4 super Yang-Mills theory. The supermultiplet is therefore one gauge vector, four Weyl gauginos and six real scalars, all in the Adjoint representation, with $2+6=8$ bosonic and $4\times 2=8$ fermionic states. The internal $\mathrm{Spin}(6)\simeq SU(4)$ acts as R-symmetry, with the scalars in its six-dimensional representation and the Weyl gauginos in its four-dimensional representation.

Since the internal derivatives vanish, the internal Yang-Mills field strength is $F_{mn}=-i{g}_4[X_m,X_n]$ in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potentialHere the invariant trace is normalized by $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}$ and $[T^a,T^b]=i{f}^{abc}{T}^c$; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian $X_m$, the commutator is anti-Hermitian, so equivalently $V=-\frac{g_4^2}{4}{\sum }_{m,n}\mathrm{tr}[X_m,X_n{]}^2$. It is nonnegative and vanishes exactly when all six adjoint scalars commute. This gives the classical vacuum moduli space of a supersymmetric gauge theory.

Interpret $A_{MNP}$ as a massless three-form gauge field, with transformation $A_3\mapsto A_3+d{\Lambda }_2$ and kinetic term built from $F_4=d{A}_3$. The massless p-form gauge field count is an on-shell count, rather than the raw $\left(\genfrac{}{}{0ex}{}{D}{3}\right)$ tensor components. For a null plane wave, gauge transformations remove the components along the null gauge direction, while the field equation removes the complementary longitudinal components. The independent polarization is consequently an antisymmetric tensor on the $D-2$ transverse directions. ThusThis argument incorporates the redundancies in the two-form gauge parameter; subtracting $\left(\genfrac{}{}{0ex}{}{D}{2}\right)$ once from $\left(\genfrac{}{}{0ex}{}{D}{3}\right)$ would not do so.

Let $n=D-4$ and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one $A_{\mu \nu \rho }$, $n$ two-forms $A_{\mu \nu i}$, $\left(\genfrac{}{}{0ex}{}{n}{2}\right)$ vectors $A_{\mu ij}$ and $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$ scalars $A_{ijk}$. A massless three-form in four dimensions has no local propagating state; each massless two-form has one, each vector two and each scalar one. The two-form state can equivalently be represented by a scalar using massless p-form duality: its three-form field strength satisfies $H_3=\ast da$. ConsequentlyThis verifies the required matching, including $D=6$ where the count is $2+2=4$. The nondynamical four-dimensional three-form can carry a constant flux parameter, but that is not an additional propagating degree of freedom.

Eleven-dimensional supergravity contains the metric $G_{MN}$, a three-form $A_{MNP}$ and a Majorana gravitino ${\Psi }_M$. The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving $9\times 10/2-1=44$ states. The three-form gives $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$. The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of $\mathrm{Spin}(9)$ has sixteen real components, so it gives $9\times 16-16=128$ states. Hence the eleven-dimensional balance is $44+84=128$ bosonic states and $128$ fermionic states.

Reduction on a circle yields type IIA supergravity, with thirty-two real supercharges and opposite ten-dimensional chiralities. The metric decomposes into the ten-dimensional metric, the Kaluza-Klein vector $C_{\mu }=G_{\mu 11}$ and the radius scalar, or dilaton. Their counts are $35+8+1=44$. The three-form gives a ten-dimensional three-form $C_{\mu \nu \rho }$ and a two-form $B_{\mu \nu }=A_{\mu \nu 11}$, with $\left(\genfrac{}{}{0ex}{}{8}{3}\right)+\left(\genfrac{}{}{0ex}{}{8}{2}\right)=56+28=84$ states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with $8\times 8-8=56$ states; the internal component supplies two spin-one-half dilatini, each with eight states. ThereforeThe two-form is in the NS--NS sector and the one-form and three-form are the Ramond--Ramond potentials. This reduction is nonchiral IIA rather than IIB.

Reduction on a seven-torus yields four-dimensional N=8 supergravity, again preserving thirty-two real supercharges. From $G_{MN}$ one gets one graviton, seven vectors $G_{\mu i}$ and $7\times 8/2=28$ scalars $G_{ij}$, giving $2+7\times 2+28=44$ states. From $A_{MNP}$ one gets a nonpropagating four-dimensional three-form, seven two-forms, $\left(\genfrac{}{}{0ex}{}{7}{2}\right)=21$ vectors and $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=35$ scalars, giving $0+7+21\times 2+35=84$ states. Dualizing the seven two-forms to scalars gives the familiar field contentThe gravitino reduces to eight four-dimensional Majorana gravitini and $7\times 8=56$ spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is $8\times 2+56\times 2=128$. Together these fields form the single maximal supergravity multiplet.

The Noether gauging procedure begins with a rigid symmetry parameter $ϵ$. Replacing it by $ϵ(x)$ leaves in the action variation a term proportional to $j^{\mu }{\partial }_{\mu }ϵ$. Introduce a gauge field whose variation contains ${\partial }_{\mu }ϵ$ and couple it to the Noether current $j^{\mu }$ to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.

For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure ${\gamma }^{\nu }{\partial }_{\nu }(A-i{\gamma }_{5}B){\gamma }^{\mu }\psi$, up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin-$3/2$ gravitino ${\Psi }_{\mu }$, with leading transformation $\delta {\Psi }_{\mu }={\kappa }^{-1}{D}_{\mu }ϵ+\cdots$. A coupling of ${\bar{\Psi }}_{\mu }$ to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.

The terms displayed in the final expression have the following distinct roles:

The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in $D_{\mu }$ and then count its separately displayed current terms a second time.

Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.

Split the free scalar field into its annihilation part ${\varphi }^{(+)}$ and creation part ${\varphi }^{(-)}$. Normal ordering moves every creation operator to the left of every annihilation operator, without adding the commutators produced by that rearrangement. For two fields,Its vacuum expectation is zero. Time ordering instead places the field at the later time on the left:The equal-time convention is immaterial away from coincident singularities; these expressions are understood as operator-valued distributions.

The only nonzero vacuum contraction uses $a_{\mathbf{p}}{a}_{\mathbf{q}}^{†}$. The oscillator commutator therefore gives the Wightman functionPut $\tau =x^0-y^0$ and $\mathbf{r}=\mathbf{x}-\mathbf{y}$. Combining the two time orders, and reversing $\mathbf{p}$ in the second when necessary, givesTo recover the four-dimensional Fourier transform, use the Feynman i-epsilon prescription in the energy variable:The positive-energy pole lies just below the real axis, and the negative-energy pole just above it. For $\tau >0$, close below clockwise: the residue at $E_{\mathbf{p}}-i0$ is $i{e}^{-i{E}_{\mathbf{p}}\tau }/(2E_{\mathbf{p}})$, and the clockwise factor $-i$ after dividing by $2\pi$ gives the required positive coefficient. For $\tau <0$, close above counterclockwise: the residue at $-E_{\mathbf{p}}+i0$ is $-i{e}^{i{E}_{\mathbf{p}}\tau }/(2E_{\mathbf{p}})$, and the factor $+i$ gives the other time order. Equivalently the energy contour passes above the positive-energy pole and below the negative-energy pole. HenceThe limit is distributional. The scalar Feynman propagator pole prescription is essential; omitting it from the denominator must be accompanied by the specified contour.

Finally, moving the annihilation part of $\varphi (x)$ past the creation part of $\varphi (y)$ givesThe normal-ordered two-field product is symmetric in $x,y$, because the two creation parts commute and the two annihilation parts commute. Applying the two time orders thus proves the two-field scalar Wick identity

A symmetry of a classical field theory maps solutions to solutions; for the Noether theorem we require a continuous variational symmetry of the action, allowing its density to change by a total divergence. This is stronger than simply observing an accidental symmetry of one solution. Consider first-derivative fields ${\varphi }_a$ and defineThe Euler-Lagrange field equations are $E_a=0$. For a fixed-coordinate variation ${\delta }_0{\varphi }_a=\epsilon Q_a$, the product rule gives the off-shell identityThis identity is the proof's essential integration-by-parts step.

For a general spacetime symmetry write $x^{\prime \mu }=x^{\mu }+\epsilon {\xi }^{\mu }$ and ${\varphi }_a^{\prime }(x^{\prime })={\varphi }_a(x)+\epsilon {\Delta }_a$. At a fixed point $Q_a={\Delta }_a-{\xi }^{\nu }{\partial }_{\nu }{\varphi }_a$, while the volume-element variation contributes ${\partial }_{\mu }(\mathcal{L}{\xi }^{\mu })$. Suppose action invariance takes the formCombining with the preceding identity provesThis is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which $\xi =0$. A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation givesThus the Noether charge is conserved when the fields have suitable falloff or no flux through the spatial boundary. These are classical identities; quantum symmetries may additionally require absence of an quantum anomaly.

Translations conserve energy and momentum. If the density has no explicit coordinate dependence, take the active fixed-coordinate variation $Q_a={\partial }_{\nu }{\varphi }_a$ for translation in direction $\nu$. Then ${\delta }_0\mathcal{L}/\epsilon ={\partial }_{\nu }\mathcal{L}$, and the internal-form proof with $K^{\mu }={\delta }^{\mu }{}_{\nu }\mathcal{L}$ gives the canonical energy-momentum tensorIts four spatial integrals are the conserved energy and momentum. For a real scalar field with density $\frac{1}{2}(\partial \varphi {)}^2-V(\varphi )$ this becomes $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi -{\eta }^{\mu \nu }\mathcal{L}$. Direct differentiation gives ${\partial }_{\mu }{T}^{\mu \nu }=(\square \varphi +V^{\prime }(\varphi )){\partial }^{\nu }\varphi$, which vanishes by the field equation.

Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, $T^{\mu \nu }$ is symmetric, so the Lorentz transformation currents can be writtenTheir divergence is $T^{\rho \sigma }-T^{\sigma \rho }=0$. Spatial pairs give angular momentum, and time-space pairs give the conserved boost charges. For a spinor field or a vector field, the intrinsic field variation supplies an additional spin current; equivalently the Belinfante-Rosenfeld stress-energy tensor combines spin and orbital pieces into a symmetric stress tensor. The nonunitarity of the finite component Spinor representation of the Lorentz group does not obstruct conservation of these physical spacetime charges.

Global phase symmetry conserves particle charge. For a complex scalar field with density ${\partial }_{\mu }{\Phi }^{\ast }{\partial }^{\mu }\Phi -V({\Phi }^{\ast }\Phi )$, the constant transformation $\Phi \mapsto e^{-i\alpha }\Phi$ leaves the density invariant. Using $Q_{\Phi }=-i\Phi$ and $Q_{{\Phi }^{\ast }}=i{\Phi }^{\ast }$ gives the Noether currentFor a Dirac field, the corresponding variations $Q_{\psi }=-i\psi$, $Q_{\bar{\psi }}=i\bar{\psi }$ yield instead $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$, the Dirac current. Its divergence vanishes by the Dirac equation and adjoint Dirac equation. The Yukawa interaction of part 2 also preserves this phase symmetry, because each bilinear has one $\psi$ and one $\bar{\psi }$. Thus it preserves fermion number and forbids annihilation of two fermions into a single scalar. These currents express charge or particle-minus-antiparticle-number conservation, rather than conservation of total particle count in arbitrary interacting processes.

A global symmetry in field theory uses a spacetime-independent parameter and ordinarily relates physically distinct configurations. A gauge symmetry instead has arbitrary local parameters and represents redundancy in the description. For example, the Maxwell field is unchanged physically by $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha (x)$: its electromagnetic field tensor is unchanged. For charged matter use $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$ together with $\psi \mapsto e^{-iq\alpha (x)}\psi$. Differentiating shows $D_{\mu }^{\prime }{\psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\psi$, so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of $\alpha$ and is not an invariance; the compensating gauge field is necessary.

Local arbitrariness gives identities among field equations, rather than an independent physical charge for every function $\alpha$. In the pure Maxwell field, action invariance under a compactly supported $\alpha$ impliesThus ${\partial }_{\nu }{E}^{\nu }=0$ holds off shell, directly because $F^{\mu \nu }$ is antisymmetric. This exemplifies the Noether second theorem. Gauge fixing and the Gupta-Bleuler null-state quotient remove redundant photon components; they do not remove a physical global charge. Gauge transformations that are nontrivial at a boundary can carry boundary charges, so the redundancy statement concerns transformations satisfying the chosen boundary conditions. Finally, discrete symmetries such as the sign reversal of a real scalar or parity symmetry in quantum field theory can be important without furnishing a continuous-parameter Noether current.

Write $\rho =m^2{\Lambda }^{-2}$ for the PDF's signed mass coordinate $u^2$, and $K_D={\Omega }_D/(2\pi {)}^D$. The superscript on $u^2$ is notation here, not a restriction to positive mass. In a momentum-shell renormalization group step, remove momenta $\Lambda e^{-d\ell }<|p|<\Lambda$ and set $\ell =\log ({\Lambda }_0/\Lambda )$, the PDF's $b$. Split the scalar field into a slow field $\phi$ and a fast field $\eta$, whose Gaussian shell covariance is $(p^2+m^2{)}^{-1}$. The shell must have a positive quadratic kernel; $1+\rho >0$ near the fixed point meets this requirement.

Expand the coarse action by the cumulant expansion of a coarse-grained free energy. In the first cumulant of $V=g\int (\phi +\eta {)}^4/4!$, the term with two fast fields is $(g/4)\int {\phi }^2⟨{\eta }^2⟩$. Thus the one-loop shell mass renormalization in scalar quartic theory isFor the quartic correction, the two-fast-field vertex is $(g/4)\int {\phi }^2{\eta }^2$. Its connected second cumulant has a minus sign and uses $⟨{\eta }^2(x){\eta }^2(y){⟩}_c=2G_{>}(x-y{)}^2$. It givesTaking the local zero-external-momentum quartic part produces $\delta g=-3g^2{I}_2/2$, where $I_2={\int }_{\mathrm{shell}}{d}^{D}p(2\pi {)}^{-D}(p^2+m^2{)}^{-2}$. This derives the combinatorial factors in the one-loop shell quartic renormalization. The mass tadpole is independent of external momentum; kinetic normalization changes only at higher order for the leading epsilon calculation.

For an infinitesimal spherical shell, radial integration givesLowering the cutoff adds the engineering terms $2\rho$ and $ϵ\lambda$ to the running dimensionless couplings. Since $g=\lambda {\Lambda }^{ϵ}$ and $D=4-ϵ$, the remaining cutoff powers cancel exactly. ThereforeThese are the requested flows, to the stated one-loop order. They implement cutoff independence of long-wavelength observables after changing the couplings and retaining the generated constant and other effective operators to the relevant approximation order. They are not an exact closure of the complete effective action.

The CPT theorem is a structural consequence of relativistic quantum field theory. In flat spacetime, assume a positive physical state space, the positive-energy spectrum condition, Lorentz invariance, microcausality, the usual Spin-statistics theorem, and a Hermitian dynamics. For ordinary field theories these are realized by a local Hermitian Lorentz-scalar Lagrangian density. There is then an antiunitary operator $\Theta$ implementing the combined charge conjugation, parity symmetry in quantum field theory and time-reversal symmetry, with a CPT-invariant vacuum. The combined symmetry is required even when the three separate symmetries fail.

Under the combined spacetime transformation, $x\mapsto -x$. A complex scalar field can be taken to transform into its adjoint at $-x$; a Hermitian vector field transforms into minus itself at $-x$. A derivative contributes a minus sign through differentiation of its reflected argument. For a Dirac field the transformation supplied in the paper may be writtenField phases are conventional and do not affect the physical conclusions. Crucially, antiunitarity means $\Theta i{\Theta }^{-1}=-i$ and conjugates every numerical coefficient. The reversal of time is compatible with positive energies because this conjugation changes $e^{-iHt}$ to $e^{iHt}$ while leaving the Hamiltonian invariant. Treating time reversal as a unitary change of coordinates would instead give incorrect signs.

One can see explicitly how the CPT transformation of Dirac bilinears works. Let $B_{\Gamma }(x)=:{\psi }^{†}{\gamma }^0\Gamma \psi :$ be a Hermitian fermion bilinear, with ${\Gamma }^{†}={\gamma }^0\Gamma {\gamma }^0$. The colons indicate normal ordering so that the graded reordering below has no vacuum contact term. Using the reflected fields and conjugating ${\gamma }^0\Gamma$, then interchanging the two fermion factors, givesThe last step uses the Dirac-Hermiticity condition and $\{{\gamma }^0,{\gamma }_5\}=0$. The identities for the gamma matrices then giveThe pseudoscalar's sign is particularly instructive: its explicit $i$ must also be conjugated. The minus sign from exchanging fermions is equally essential. These signs depend on the number of free vector indices, rather than on a field's separate parity assignment.

This supplies a local Lagrangian argument for CPT invariance. Hermitian local field combinations with $r$ vector indices transform with sign $(-1{)}^r$, including the appropriate reordered derivative terms. A Lorentz scalar contracts those indices in pairs or with four-index invariant tensors, giving a positive total sign. For charged terms, the reflected conjugate fields and conjugated coefficients exchange a term with its Hermitian-conjugate partner. ThusThe integration variable $x\mapsto -x$ has unit absolute Jacobian. The general field-index argument is discussed in Srednicki's treatment of discrete symmetries, section 40.

For example, the scalar mass term $\overline{\psi }\psi$ is even. The Dirac electromagnetic current and vector potential are both odd, making their contracted interaction even. The Hermitian Dirac kinetic term $(i/2)\overline{\psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\psi$ is also even: reflection and reordering interchange the two derivative placements, while antiunitarity conjugates its $i$. A complex Yukawa coupling and its Hermitian conjugate are exchanged rather than requiring the coupling itself to be real. Hence CP violation in the CKM matrix is compatible with exact CPT. Renormalizability is not necessary: local Hermitian higher-dimensional Lorentz-scalar operators satisfy the same argument.

The axiomatic form of the CPT theorem does not start by assuming a polynomial Lagrangian density. The positive-energy spectrum condition provides analytic continuations of Wightman functions, and complexified Lorentz transformations relate configurations to their total spacetime inversions. At suitable spacelike configurations, microcausality permits reversal of the order of field operators with the signs dictated by the Spin-statistics theorem. Uniqueness of analytic continuation extends this relation to the correlators generally, from which the Hilbert-space antiunitary operator is obtained. This explains why locality and positive energy are genuine hypotheses, not incidental features of a particular interaction. The elementary argument above displays the mechanism for the scalar, spinor and vector fields relevant to the Standard Model; it is not a substitute for all the analytic steps of the axiomatic proof.

For one-particle states, CPT reverses additive charges and spin projections. The spatial momentum is unchanged by the combination: parity symmetry in quantum field theory and time reversal each reverse it. Thus, up to phases,Since the energy-momentum spectrum is preserved, the CPT constraints on particle properties give equal particle-antiparticle masses, equal spin magnitudes, and opposite conserved additive charges. Relating the corresponding two-point functions also fixes equal pole positions, so unstable conjugate particles have equal total decay widths, hence equal lifetimes. Magnetic moments at the same chosen spin orientation have opposite signs. These are precise experimental tests of CPT, not tests that every individual discrete symmetry is respected.

For scattering, CPT interchanges incoming and outgoing boundary conditions. The antiunitary operator identity $⟨a|b⟩=⟨\Theta b|\Theta a⟩$ relates $⟨f,\mathrm{out}|i,\mathrm{in}⟩$ to the amplitude with transformed $f$ incoming and transformed $i$ outgoing. Thus the reversed process with antiparticles and reversed spins has the same transition probability. This is not, in general, equality with the forward CP-conjugate process. In particular, CP violation can make corresponding partial decay widths different while their complete sums remain equal. With CPT preserved, genuine CP violation requires corresponding time-reversal symmetry violation.

Finally, a proposed CPT violation requires revisiting at least one assumption: for example, a nonlocal interaction, a preferred spacetime direction violating Lorentz invariance, or loss of unitary Hermitian dynamics. A generic curved background need not possess the global spacetime inversion used here. Those observations delimit the theorem; they do not weaken its prediction for the ordinary local Standard Model in Minkowski spacetime.

Let $\mathcal{L}=-\frac{1}{2}{g}^{\alpha \beta }{\partial }_{\alpha }\varphi {\partial }_{\beta }\varphi -V$. In the metric variation specified here, the covariant metric tensor $g_{\mu \nu }$ is varied while the scalar field is held fixed. Differentiating the inverse and the determinant givesThus $\delta \mathcal{L}=\frac{1}{2}{\partial }^{\mu }\varphi {\partial }^{\nu }\varphi \delta g_{\mu \nu }$, and the action varies asThe functional derivative therefore gives $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi +g^{\mu \nu }\mathcal{L}$. Lowering both indices yields the stress-energy tensor of a canonical scalar field:The determinant variation has a positive sign because the variable is $g_{\mu \nu }$; varying the inverse metric tensor instead would reverse that intermediate sign.

For the flat FRW metric, $g^{00}=-1$, $g^{0i}=0$, and $g^{ij}=a^{-2}{\delta }^{ij}$. Consequently the kinetic contraction of the scalar field isInserting this in $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi +g^{\mu \nu }\mathcal{L}$, with ${\partial }^0\varphi =-\dot{\varphi }$ and ${\partial }^i\varphi =a^{-2}{\partial }_i\varphi$, givesThese are contravariant coordinate components of the stress-energy tensor; spatial components in an orthonormal frame carry different powers of $a$. In particular $T^{00}$ is the energy density seen by the comoving observer.