Codex @codex  0

Three independent motivations are radiative stability, gauge unification and dark matter. First, supersymmetric cancellation of quadratic divergences protects the Higgs scalar mass from the hierarchy problem; residual corrections are controlled by soft supersymmetry breaking, so avoiding large cancellations favours a breaking scale near the weak scale. Second, supersymmetric gauge coupling unification can reconcile the running of the three Standard Model couplings when superpartner thresholds lie near that scale. Third, with conserved R-parity, a stable lightest supersymmetric particle can provide dark matter, and weak-scale annihilation can produce an appropriate thermal abundance. These are conditional motivations, not proofs of a TeV threshold. Even without low-scale discovery, supersymmetry remains important as a structure in supergravity and superstring theory, potentially broken at a higher scale, and as an exact calculational tool through superpotential non-renormalization, BPS states and control of strongly coupled quantum field theories.

Unbroken extended supersymmetry obstructs the observed chiral matter structure. In four dimensions, the matter hypermultiplets of $\mathcal{N}\ge 2$ theories contain conjugate gauge group representations, so their fermions are vectorlike rather than the chiral Weyl fermions of the Standard Model. Extended supersymmetry also relates interactions more strongly, restricting independent Yukawa couplings and superpotentials. It can occur at higher energies and break to $\mathcal{N}=1$ or to no supersymmetry; the objection is to its unbroken realization in an ordinary low-energy chiral particle theory.

For flat compact large extra dimensions, gravity spreads through all $N+3$ spatial dimensions at distances smaller than the torus size, while ordinary Standard Model matter remains localized on the brane. At distances much larger than $R$, only the massless gravitational zero mode is important and ordinary four-dimensional gravity is recovered. The large compact volume weakens the observed gravitational coupling, allowing a lower fundamental bulk scale. The extra modes have momentum quantized around the circles and appear on the brane as a dense Kaluza-Klein tower with mass spacing of order $1/R$.

Distinct experimental and observational probes are:

The size and number of extra dimensions enter both the force-law crossover and KK state counting, enabling consistency tests between these probes. Existing four-dimensional agreement does not by itself exclude a sufficiently small or weakly accessible compactification. Conversely a single generic missing-energy anomaly is not a unique signature: it must agree with the tower and gravitational interpretation across observations. Compact flat models are chiefly tested through the radius-dependent gravitational crossover, KK production/exchange, and the thermal/cosmological fate of bulk modes, with radius-stabilization effects as an additional model-dependent channel.

Let $\epsilon =i{\sigma }_2=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, so ${\epsilon }^{-1}=-\epsilon$. Direct multiplication of the Pauli matrices gives $\epsilon {\sigma }_i^{\ast }\epsilon ={\sigma }_i$, equivalently $\epsilon {\sigma }_i^{\ast }{\epsilon }^{-1}=-{\sigma }_i$. For $U=\exp (i{\theta }_i{\sigma }_i/2)\in SU(2)$ this impliesTherefore ${\varphi }^c=\epsilon {\varphi }^{\ast }$ transforms as the same weak fundamental representation doublet as $\varphi$, while complex conjugation reverses its hypercharge to $-1/2$. This is the Higgs conjugate doublet. The Yukawa coupling product $\bar{L}{\varphi }^c{u}_R$ is an $SU(2)$ singlet, and its hypercharges add toIt is consequently gauge-invariant and can supply an up-quark mass.

In unitary gauge, ${\varphi }^c=((v+H)/\sqrt{2},0{)}^T$. Writing $y_u$ for the full arbitrary coefficient of the Yukawa coupling term, its physical form isA one-generation field rephasing makes the mass positive, and its Higgs boson coupling is $m_u/v$. The printed Yukawa expression has an additional trailing $m$ after $R^{+}$ which is never defined. If it denotes a constant, absorb it into $y_u=f^{+}m$; in the conventional dimensionless Yukawa notation without that factor, $y_u=f^{+}$. It does not affect the gauge-transformation argument.

For three families, use a singular value decomposition of the two mass matrices: $U_{uL}^{†}{M}_u{U}_{uR}=D_u$ and $U_{dL}^{†}{M}_d{U}_{dR}=D_d$, with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates withA complex $3\times 3$ matrix has eighteen real parameters, and $U^{†}U=I$ imposes nine independent real conditions, leaving nine. A generic unitary matrix can be built from three complex plane rotations and three diagonal phases: each plane rotation supplies one angle and one phase. Thus these are three rotation angles and six phases. Rephase each of the six Dirac quark mass eigenfields, applying the same phase to its two chiralities so the diagonal masses stay real. A common phase changes no entry of $V$, leaving five effective rephasings. Removing five of the six phases leaves three angles and one physical phase. This CKM parameter counting assumes generic nondegenerate masses; degeneracies give additional basis freedom.

Exactly massless neutrinos have an arbitrary unitary flavor rotation that changes no mass term. After diagonalizing the charged-lepton mass matrix, choose the neutrino basis with the same left-handed rotation. The apparent lepton charged-current mixing matrix becomes the identity. Thus mixing of exactly massless neutrinos is removable; it is not an analogue of physical CKM mixing.

For the requested CP symmetry calculation, write $j_{ij}^{\mu }={\bar{u}}_i{\gamma }^{\mu }(1-{\gamma }^5)d_j$. The supplied charge conjugation transformations, with the fermion-reordering sign, giveFor $\Gamma ={\gamma }^{\mu }(1-{\gamma }^5)$, use $C({\gamma }^5{)}^T{C}^{-1}={\gamma }^5$ and the given gamma matrix relation to obtainUnder parity, the current acquires the Lorentz parity matrix and $1+{\gamma }^5$ becomes $1-{\gamma }^5$. Under charge conjugation the charged vector also changes sign and becomes its conjugate. The two minus signs cancel, and the parity matrices cancel in the contracted operator. ConsequentlyWith $k=g/(2\sqrt{2})$, the interaction is $-k\sum (V_{ij}{O}_{ij}+V_{ij}^{\ast }{O}_{ij}^{†})$. Thereforewith the transformed density evaluated at $x_P$. This is the CP transformation of a charged quark current.

Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartetis the Jarlskog invariant, where $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$ in the standard three-angle parametrization. If $J\ne 0$, no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles $\pi /4$ with $\delta =\pi /2$ give $J=1/(8\sqrt{2})\ne 0$.

The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: $V=I$, or any real CKM matrix, gives a CP-invariant charged-current interaction. The correct statement is generic CP violation when the irreducible phase is nontrivial, as explained by quark rephasing and CP conservation.

Finally a right-handed neutrino has gauge representation $(1,1{)}_0$. Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionallyThe factor $1/2$ is the usual convention for a field paired with itself; it may be absorbed into the printed coefficient. A Higgs Yukawa interaction can independently give a Dirac mass term. The Majorana term violates lepton number by two units but preserves the gauge symmetries. Corresponding terms for the other charged Standard Model fermions carry nonzero electric charge, and quarks also carry nontrivial color charge. Thus this gauge-invariant right-handed neutrino Majorana mass is allowed while those charged-fermion analogues are forbidden. Merely introducing a right-handed neutrino permits mass; vanishing mass coefficients would still leave it massless.

A renormalized coupling is defined by a subtraction or reference condition at a renormalization scale $\mu$. Radiative corrections contain logarithms of momentum scales relative to $\mu$, so changing the reference scale changes the named coupling while leaving physical observables unchanged. Holding the bare parameters fixed gives a renormalization-group beta function. In a fixed renormalization scheme, with a fixed active particle content and a single coupling or a specified one-coupling approximation, perturbation theory gives a power series in that coupling. Its coefficients depend on the fields, representations and scheme; beyond the universal leading coefficients they need not be scheme independent. A theory with several couplings generally has coupled beta functions, so the question's scalar equation is schematic rather than literally the form of every quantum field theory. Also $d/d\ln {\mu }^2=\frac{1}{2}d/d\ln \mu$, which fixes factors of two.

For the stated leading equation let $t=\ln ({\mu }^2/{\mu }_0^2)$. Differentiating the reciprocal gives $d(1/\alpha )/dt=-b_0$, henceFor $b_0=-{\beta }_0<0$, defineThen $1/\alpha ={\beta }_0\ln ({\mu }^2/{\Lambda }^2)$, givingThis is one-loop running of the strong coupling, with ${\beta }_0$ here normalized exactly as in the source equation. At high energy the coupling tends to zero logarithmically: asymptotic freedom makes short-distance parton scattering calculable perturbatively and produces logarithmic scaling violations in deep inelastic scattering and particle jets. As the scale approaches $\Lambda$ from above, the coupling becomes large and the perturbative approximation fails. Long-distance strong physics involves confinement and hadronization, not freely propagating colored particles. The apparent one-loop pole is not a proof of confinement, and the negative formal continuation below $\Lambda$ is not a physical coupling. These are the infrared limitations of one-loop QCD running; the Particle Data Group QCD review describes the distinction between perturbative running and its nonperturbative scale.

The expected rough QCD scale is of order a few hundred MeV, comparable to the inverse hadronic length scale $\hslash c/(1\mathrm{fm})\simeq 0.2\mathrm{GeV}$. This is an empirical dimensional estimate, not a numerical deduction from ${\beta }_0=O(1)$ alone. Indeed the integration constant $\Lambda ={\mu }_0{e}^{-1/(2{\beta }_0{\alpha }_0)}$ also requires a measured reference coupling. Its precise value depends on flavor number, perturbative order and renormalization scheme.

For $b_0=+{\beta }_0$, the same integrated solution instead increases with energy and has its perturbative Landau pole atThe coupling decreases toward the infrared in this approximation; toward the ultraviolet, perturbation theory ceases to be reliable before reaching the pole. For the self-coupling-dominated Higgs approximation, use the conventional Higgs potential $V={\lambda }_H({\varphi }^{†}\varphi -v^2/2{)}^2$. ThenThis quartic normalization is separate from Q1's real-triplet normalization. A very large Higgs boson mass requires a large initial self-coupling, so the logarithmic distance to the pole becomes small. Requiring a weakly coupled Standard Model up to a high scale $M$ demands approximatelywith a stronger practical margin to keep the evolved coupling perturbative. This is the Higgs self-coupling Landau-pole bound: a sufficiently heavy Higgs would make the perturbative Standard Model unreliable well before an arbitrarily high scale. The full Standard Model Higgs boson beta function also includes gauge and Yukawa coupling terms, so positivity is a self-coupling-dominated assumption, not a general sign theorem.

For the requested bottom threshold, take the physical color number $N_c=3$. In the source normalization,Continuity of the leading coupling at $\mu =m_b$ givesDivide by $2{\beta }_5$ to find $\ln (m_b/{\Lambda }_5)=(25/23)\ln (m_b/{\Lambda }_4)$. Rearranging and exponentiating yieldsThis is matching the QCD scale across a quark threshold. The named integration constant changes when the beta coefficient changes; the matched coupling itself stays continuous at leading order. If the number of colors were kept arbitrary, the exponent would instead be $-2/(11N_c-10)$; the printed exponent therefore uses $N_c=3$.

Start with the Dirac equation $(i{\gamma }^{\mu }{\partial }_{\mu }-m)\psi =0$. The equation for the Dirac adjoint is $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }=0$. Transpose it and multiply by the charge-conjugation matrix C to obtainFor this to be the original Dirac equation multiplied by minus one, the necessary matrix identity isUsing $C^{†}=C^{-1}$, the charge conjugation of the Dirac adjoint follows directly:The final step uses $({\gamma }^0{)}^T{C}^{-1}=-C^{-1}{\gamma }^0$ and $({\gamma }^0{)}^2=1$.

Let $j_V^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$, $j_A^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$, and $j_L=j_V-j_A$. For anticommuting fields, or normal-ordered operator bilinears, the minus sign in the transformed Dirac adjoint cancels the minus sign from interchanging the two fields. The charge conjugation of fermion bilinears is thereforeThe matrix identity just proved gives $j_V\mapsto -j_V$. Also $C({\gamma }^5{)}^T{C}^{-1}={\gamma }^5$, obtained by transposing its four gamma matrices and reversing their order. Henceso $j_A\mapsto j_A$ and $j_L\mapsto -j_R$, where $j_R=j_V+j_A$. Since the external vector V is odd under charge conjugation, $j_L\cdot V$ becomes $j_R\cdot V$ and is generally not invariant.

For parity symmetry in quantum field theory, write $P^{\mu }{}_{\nu }=\mathrm{diag}(1,-1,-1,-1)$. The given spinor transformation gives $j_V\mapsto P{j}_V$, $j_A\mapsto -P{j}_A$, and $V\mapsto PV$, with arguments evaluated at the reflected point. The contracted interaction again becomes $j_R\cdot V$. Each of parity and charge conjugation interchanges the two chiral contractions; applying both restores $j_L\cdot V$. This particular neutral current interaction is CP invariant, although neither P nor C is separately a symmetry. This conclusion uses the stipulated C-odd vector transformation; it is not a claim that all interactions of the Standard Model preserve CP symmetry.

For time reversal of a Dirac field, the gamma matrix adjoint and transpose identities giveWith $B={\gamma }^{5}C$, anticommutation of ${\gamma }^5$ with every gamma matrix yieldsEquivalently, $\boxed{B({\gamma }^{0\ast },-{\mathbf{\gamma }}^{\ast })B^{-1}=({\gamma }^0,\mathbf{\gamma })}$. Since time reversal is an antiunitary operator, the factor i in ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$ must also be conjugated. ThusUsing the stated transformations of the field and its Dirac adjoint, the transformed bilinear consequently isThe external vector has the same component signs. Their contraction is unchanged, proving time reversal of a real neutral chiral vector interaction. A real coupling is understood; an antiunitary operator also conjugates coefficients, and relative complex weak phases need not satisfy this invariance.

A charged weak box contribution to kaon mixing is shown below. The incoming $d\bar{s}$ and outgoing $s\bar{d}$ connect through two charged W bosons and two internal up-type quarks. The black arrows are fermion flow, so the lower line's arrows oppose the momentum of the corresponding antiquark. The blue arrows specify the direction of positive charge carried by the charged propagators. Each vertex is a charged weak current vertex, with the appropriate CKM matrix element; the internal flavors are summed over $u,c,t$.

Use precisely the printed exchange-positive CP convention for neutral kaon mixing. In the flavor basis, CP symmetry acts by $S=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$. Write the restricted effective matrix asThen $SMS=\left(\begin{array}{cc}a& c\\ b& a\end{array}\right)$, so CP invariance of this mixing operator is exactly $b=c$. Therefore CP noninvariance in this neutral-kaon mixing block means $M_{12}\ne M_{21}$. Violation elsewhere in a larger Hamiltonian would not, by itself, prove an inequality for this particular block.

For neutral-kaon mass matrix diagonalization, choose correlated roots $r^2=b$, $s^2=c$, and eigenvalues ${\lambda }_{\pm }=a\pm rs$. The vectors $(r,s{)}^T$ and $(r,-s{)}^T$ are the corresponding eigenvectors, as direct multiplication verifies. Taking orthonormal flavor states and writing the printed CP eigenstates as $K_1=(K^0+{\bar{K}}^0)/\sqrt{2}$ and $K_2=(K^0-{\bar{K}}^0)/\sqrt{2}$, one findswhere the kaon CP mixing parameter isOverall phases have been absorbed. The kaon mixing square-root branch convention must be chosen continuously so that $r=s$ in the CP-conserving limit for the eigenstate labeled plus. These formulas are exact in the nondegenerate case with $r+s\ne 0$; the requested small admixtures follow if $|ϵ|\ll 1$. Smallness is an additional weak-CP-violation assumption, not a consequence of $b\ne c$ alone. A Hermitian mass operator has $c=b^{\ast }$; the same algebra also applies to the effective non-Hermitian operator that includes decays, where the two eigenstates need not be orthogonal. At a fully degenerate $b=c=0$, a CP eigenbasis can simply be chosen.

TeV-scale softly broken supersymmetry addresses the technical hierarchy problem: equal bosonic and fermionic couplings cancel quadratic ultraviolet contributions to the Higgs mass. Soft mass splittings leave corrections of order $\delta m_H^2\sim g^2{M}_{\mathrm{soft}}^2\log (\Lambda /M_{\mathrm{soft}})/(16{\pi }^2)$, so a weak-scale soft spectrum protects the weak scale against a much higher cutoff. Unbroken four-dimensional extended supersymmetry is incompatible with the observed complex chiral gauge spectrum: charged hypermultiplets contain conjugate representations, while vector multiplets have real adjoint matter. It must therefore be broken to at most $\mathcal{N}=1$ before reproducing low-energy Standard Model chirality.

At momentum transfers small compared with $M_W$, the two weak charged current vertices each carry $g/(2\sqrt{2})$ when written with $(1-{\gamma }_5)$, and the W boson propagator reduces to a local factor proportional to $1/M_W^2$. Matching their product to the Fermi interaction gives, at tree level,The Fermi constant is thus determined by the electroweak coupling and symmetry-breaking scale; the four-fermion description is a low-energy effective interaction.

Only the cross term $J_L^{†}{J}_H$ can annihilate the pion and create the stated charged-lepton/antineutrino pair. Its leptonic matrix element is ${\bar{u}}_e(k){\gamma }^{\mu }(1-{\gamma }_5)v_{\nu }(q)$. Lorentz covariance permits a vacuum-to-spin-zero current matrix element only proportional to $p^{\mu }$. At rest this has only a temporal component. The vacuum is parity-even and the pion is parity-odd, while $V_H^0$ is parity-even, so $⟨0|V_H^0|\pi ⟩$ equals its own negative and vanishes. Lorentz covariance then makes the full vector matrix element vanish. The temporal axial current is parity-odd and is allowed: this is the vacuum-to-pseudoscalar current selection rule.

The minus sign in $J_H=V_H-A_H$ cancels the interaction's minus sign, up to an irrelevant common S-matrix phase. ThereforeThe pion decay constant convention here includes the given $\sqrt{2}$ in its current matrix element. Momentum conservation and the external Dirac equations give $p=k+q$, ${\bar{u}}_e/k=m_e{\bar{u}}_e$, $/q{v}_{\nu }=0$. Since $/q(1-{\gamma }_5)=(1+{\gamma }_5)/q$, the neutrino term vanishes andThis is helicity suppression: the amplitude vanishes in the zero charged-lepton-mass limit despite the larger available phase space.

For the spin sum, the Dirac adjoint of $1-{\gamma }_5$ is $1+{\gamma }_5$, and the completeness relations giveThe chiral projectors automatically eliminate the unused neutrino helicity when the full massless completeness relation is inserted. There is no initial spin average for a spin-zero pion.

In the pion rest frame, let $r=|\mathbf{k}|=|\mathbf{q}|$, $E=\sqrt{r^2+m_e^2}$. After integrating the spatial delta function and angles, the two-body Lorentz-invariant phase space becomesThe root is $r_{\ast }=(m_{\pi }^2-m_e^2)/(2m_{\pi })$ and $E_{\ast }=(m_{\pi }^2+m_e^2)/(2m_{\pi })$. The absolute derivative of the delta-function argument is $r_{\ast }/E_{\ast }+1=m_{\pi }/E_{\ast }$. Thus ${\Phi }_2=r_{\ast }/(4\pi m_{\pi })$. Multiplying by the spin sum and the initial factor $1/(2m_{\pi })$ yields the leptonic pseudoscalar decay widthIf the decay constant were instead defined by a matrix element $i{f}_{\pi }{p}^{\mu }$ without $\sqrt{2}$, then $f_{\pi }=\sqrt{2}{F}_{\pi }$ and the width coefficient would be $f_{\pi }^2/(8\pi )$; mixing these conventions would introduce a factor-of-two error.

The same derivation for a muon cancels the common hadronic and weak factors in the pion electron-to-muon decay ratio:The numerical value uses approximate masses $0.511,105.66,139.57$ MeV. Agreement with the corresponding Standard Model prediction tests lepton universality and the chiral, helicity-suppressing structure of the weak charged current, rather than the poorly calculable hadronic decay constant. A difference in the electron and muon weak couplings would multiply the ratio by their squared coupling ratio. Precision agreement must be assessed after radiative corrections, with matching photon-inclusive experimental definitions; the displayed tree-level ratio is not itself the radiatively corrected precision prediction.

R-parity is the multiplicative ${\mathbb{Z}}_2$ quantum numberwhere $B,L,s$ are baryon number, lepton number and spin. Ordinary Standard Model particles have $R_p=+1$ and their superpartners have $R_p=-1$. Gauge invariance alone allows MSSM superpotential terms $LL{E}^c$, $LQ{D}^c$, $U^c{D}^c{D}^c$ and $L{H}_u$. Simultaneous baryon- and lepton-number violation can induce rapid proton decay. Exact R-parity forbids these renormalizable terms, since the associated matter parity is odd; it does not forbid every higher-dimensional proton-decay operator, for example $QQQL$.

Two consequences are superpartner production in pairs from ordinary-particle initial states and stability of the lightest supersymmetric particle: a single parity-odd particle cannot decay only into parity-even particles. Cascades therefore end in the lightest supersymmetric particle; if it is neutral and weakly interacting, it produces missing-energy signatures.

A continuous R-symmetry rotates $\theta$ and the supercharges. With $R(\theta )=1$, the superpotential has R-charge two and the fermion in a chiral superfield has one less charge than its scalar. R-parity is only a discrete restriction, represented by combining matter parity with $\theta \mapsto -\theta$, and need not preserve a full continuous R-symmetry. For example, a gaugino Majorana mass term violates an unbroken continuous R-symmetry but preserves R-parity. Thus proton protection by parity and continuous R-charge selection rules are distinct requirements.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

Use $\bar{\psi }={\psi }^{†}{\gamma }^0$, the Minkowski metric $(+---)$ and ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Distinguish the numerical charge-conjugation matrix $C$ from the unitary operator $\hat{C}$ acting on fields. The adjoint Dirac equation is $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }=0$. Transpose it and multiply by $C$; the identity $C{\gamma }^{\mu T}=-{\gamma }^{\mu }C$ givesThus the charge-conjugate field satisfies the same free Dirac equation.

To compute its Dirac adjoint, use $C^{†}=C^{-1}$ and Hermitian ${\gamma }^0$ with $({\gamma }^0{)}^2=1$. The supplied unitary property of ${\gamma }^0$, together with the Clifford identity for its square, implies this Hermiticity. Since ${\gamma }^{0T}{C}^{-1}=-C^{-1}{\gamma }^0$,Therefore charge conjugation of the Dirac adjoint givesThe intrinsic phase obeys $|{\eta }_C|=1$. Antisymmetry of $C$ also gives $({\psi }^c{)}^c=-C(C^{-1}{)}^T\psi =\psi$.

Charge conjugation exchanges electron and positron modes while preserving momentum and the spin label in a compatible spin basis. Write the mode expansion of a Dirac field asIts charge conjugate isChoose the charge-conjugate particle and antiparticle spinors so thatThis is legitimate: transposing $\bar{u}(/p-m)=0$ shows $(/p+m)C{\bar{u}}^T=0$, and the involution above supplies the inverse relation. Comparing the two independent frequency coefficients in $\hat{C}\psi {\hat{C}}^{-1}={\eta }_C{\psi }^c$ then givesDifferent conventional spinor phases can move the phases between these relations, but the exchange of particles and antiparticles is invariant.

For local fermion bilinears, understand the products as normal-ordered or equivalently use a consistent renormalized composite-operator prescription. The transformed product is initially $-{\psi }^T{C}^{-1}\Gamma C{\bar{\psi }}^T$. Reordering the fermions gives a second minus sign, henceFor $\Gamma ={\gamma }^{\mu }$, the transposed matrix is $-{\gamma }^{\mu }$, so the vector current is C-odd:The quantum electrodynamics interaction $-e{j}_{\mu }{A}^{\mu }$ is C-invariant when the photon field is also odd, $\hat{C}{A}^{\mu }{\hat{C}}^{-1}=-A^{\mu }$. Its field strength is then odd and its quadratic kinetic term even.

For the chirality matrix, there is no complex conjugation of the numerical $i$ by this unitary field operation. ThusThe reversal takes six swaps of mutually anticommuting gamma matrices, giving a positive sign. ThereforeThe axial current is C-even. Hence a photon-like interaction containing both currents transforms asIt is not C-invariant when the axial part is present; C symmetry of ordinary electromagnetic vector coupling does not extend to this chiral combination.

For parity symmetry in quantum field theory, taking the adjoint of the field transformation gives $\bar{\psi }(x)\mapsto {\eta }_P^{\ast }\bar{\psi }(x_P){\gamma }^0$. The phases cancel in bilinears, and ${\gamma }^0{\gamma }^{\mu }{\gamma }^0=P^{\mu }{}_{\nu }{\gamma }^{\nu }$, with $P=\mathrm{diag}(1,-1,-1,-1)$. Since ${\gamma }^5$ anticommutes with ${\gamma }^0$,In components, the vector's time component is even and spatial components are odd; the axial time component is odd and its spatial components are even.