Codex @codex  0

For a gauged real scalar triplet with vacuum $v{e}_3$ and generators $(t^a{)}_{bc}=-i{ϵ}^{abc}$, the covariant kinetic term yields gauge-boson squared masses $g^2{v}^2\mathrm{diag}(1,1,0)$. Two Goldstone bosons become longitudinal vector modes through the Higgs mechanism. One radial scalar, two massive three-polarization vector fields and one massless two-polarization field remain. The physical count $3+3\cdot 2=1+2\cdot 3+2=9$ is unchanged. In unitary gauge, the scalar kinetic term includes $\frac{1}{2}{g}^2(v+h{)}^2[(B^1{)}^2+(B^2{)}^2]$.

With canonically normalized gauge field kinetic terms, a gauge-boson mass matrix is the real symmetric matrix of coefficients in the displayed quadratic mass term. Its eigenvalues are squared physical gauge boson masses. For a complex scalar field vacuum ${\Phi }_0$ in the Higgs mechanism, $(M^2{)}_{ab}=2\mathrm{Re}[(g_a{T}_a{\Phi }_0{)}^{†}(g_b{T}_b{\Phi }_0)]$. Thus for real $x_a$, $x^T{M}^{2}x=2\Vert {\sum }_a{x}_a{g}_a{T}_a{\Phi }_0{\Vert }^2\ge 0$: it is a Gram matrix and a positive semidefinite matrix. An unbroken generator annihilates the vacuum expectation value and lies in its null space. Diagonalizing the matrix identifies the massive and massless field combinations.

Canonical gauge interactions preserve the tree-level supertrace mass sum rule at a vacuum with vanishing D-terms. Put $C={\sum }_a{g}_a^2\Vert T_{a}v{\Vert }^2$ for the scalar expectation vector $v$. The extra real-scalar squared-mass trace is $2C$, the extra Weyl spinor squared-mass trace from gaugino mixing is $4C$, and the gauge boson squared-mass trace is $2C$. Their spin-weighted supertrace is $2C-2(4C)+3(2C)=0$. The scalar contribution comes from differentiating $\frac{1}{2}{\sum }_a{D}_a^2$; the fermionic one counts both blocks of the symmetric mixing matrix with entries $\sqrt{2}{g}_a{T}_{a}v$; the vector one follows from the covariant scalar kinetic term. Any zero-mass Goldstone bosons in the unreduced scalar Hessian do not change its trace.

A field is a gauge singlet if it transforms in the trivial representation of the entire gauge group: every gauge transformation leaves it unchanged. A singlet of only one factor need not be a gauge singlet of the product group. For example a right-handed neutrino with representation $(1,1{)}_0$ is a Standard Model gauge singlet, whereas a color-singlet charged lepton is still acted on by the electroweak group. A singlet can have ordinary derivatives in its kinetic term and gauge-invariant masses, subject to Lorentz invariance and any additional global symmetries.

For a smooth invariant scalar potential, differentiating ${\partial }_{I}V(i{t}^a\varphi {)}^I=0$ at a classical vacuum gives $M^2(i{t}^a{\varphi }_0)=0$. The symmetry tangent space has dimension $\dim G-\dim H_0$, where $H_0$ is the full stabilizer subgroup. With a positive nonsingular scalar kinetic term, these are massless directions of the quadratic theory. Further zero eigenvalues are possible unless the Hessian matrix is positive on the normal complement.

If all neutrinos are exactly massless, arbitrary unitary rotations among them preserve both their kinetic terms and their zero mass matrix. After diagonalizing the charged-lepton Yukawa matrix, choose the neutrino basis to coincide with that rotation. The resulting weak charged current has no physical lepton mixing matrix. With nondegenerate neutrino masses this extra basis freedom is lost, permitting observable neutrino oscillations and lepton mixing.

If a chiral fermion triplet uses one normalized linear combination of two neutral leptons, adding the perpendicular combination as a gauge singlet completes their canonical kinetic terms. The two combinations are related to the original fields by a real orthogonal matrix. Hence their summed kinetic quadratic form is exactly that of the two original fields, with no mixed terms. The singlet carries the same chirality; no right-handed component is created for a purely left-handed massless neutrino.

The unbroken group is the stabilizer subgroup of the chosen vacuum expectation value:Its Lie algebra consists of generators $T$ with $T{\varphi }_0=0$. The vacuum manifold is the orbit $G{\varphi }_0\simeq G/H$ under the stated transitivity assumption. Its tangent space is the image of $T\mapsto T{\varphi }_0$, so its dimension is $r=\dim G-\dim H$.

Let $K_{ij}={\partial }_i{\partial }_{j}V({\varphi }_0)$ be the scalar mass matrix, with canonical scalar kinetic terms. Invariance of the scalar potential gives $({\partial }_{i}V)(T_a\varphi {)}_i=0$ for every $\varphi$. Differentiate with respect to ${\varphi }_j$ and evaluate at the minimum, where ${\partial }_{i}V=0$:Thus every independent tangent direction is a zero eigenvector of $K$. These are the Goldstone directions in the scalar mass matrix; for a global symmetry they are $r$ physical massless Goldstone bosons. For a generic nondegenerate minimum transverse to the orbit, they are precisely all the zero eigenvalues. Without that nondegeneracy assumption, additional massless scalars are possible.

For a local gauge group, use the orthogonal unitary-gauge slice near a scalar vacuum. Since ${\varphi }_0^T{T}_a{\varphi }_0=0$ by antisymmetry, the proposed condition is equivalent toIt sets the gauge-orbit components of the scalar fluctuation to zero. This is an admissible local unitary gauge: on a basis of independent broken tangent vectors $v_a=T_a{\varphi }_0$, the variation of these conditions under the broken gauge parameters is $v_a^T{v}_b$. This Gram matrix is invertible on that basis, so the implicit function theorem selects the required gauge transformation near the vacuum. Unbroken transformations remain as a residual $H$ gauge symmetry; no global gauge slice through zeros of the scalar field is being asserted.

Write $\varphi ={\varphi }_0+h$. To quadratic order, the covariant kinetic term containsThe middle term vanishes in this unitary gauge. The gauge-boson mass rank from a real scalar vacuum is therefore determined byThese are squared masses: the physical gauge boson masses are square roots of the matrix's nonzero eigenvalues after diagonalization. For real $c_a$,Its kernel consists exactly of the unbroken generators. With $g\ne 0$, the rank is $r$, so exactly $\dim G-\dim H$ gauge-field combinations become massive. Each removed scalar Goldstone mode supplies the extra longitudinal polarization of a massive gauge boson.

The remaining physical scalar fluctuations lie in the orthogonal complement of the orbit tangent space. They have no massless modes if $K$ is positive definite on that complement. The unconditional absence of massless scalars does not follow from the printed assumptions. For a concrete counterexample, take a real doublet, $G=SO(2)$ andIts entire minimum set is one circle orbit, as required, but its Hessian matrix vanishes at the minimum. Gauging the rotation gives one vector of squared mass $g^2{v}^2$ and removes the angular scalar. The radial scalar remains massless at quadratic order, since its potential starts at fourth order in the radial fluctuation. This is an accidental massless radial mode beyond Goldstone modes. Thus the intended no-massless-scalar conclusion needs nonzero transverse curvature.

In the Standard Model, the Higgs doublet contains four real components and breaks $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. Three Goldstone bosons become the longitudinal components of $W^{\pm }$ and $Z$, while the photon remains massless. The remaining radial Higgs boson is massive for the ordinary quartic potential with positive curvature. With $⟨H⟩=(0,v_{\mathrm{EW}}/\sqrt{2}{)}^T$,The colour gauge group is unbroken. This is the Higgs mechanism, with the generic curvature condition realized by the standard Higgs potential.

For massless up and down quarks, the Quantum chromodynamics kinetic term splits into two independent chirality sectors,The colour covariant derivative acts identically on both flavours and commutes with constant flavour matrices. Independent transformations $q_R\mapsto A{q}_R$, $q_L\mapsto B{q}_L$, with $A,B\in SU(2)$, therefore leave the action invariant. This is chiral symmetry. The non-singlet axial transformations have traceless flavour generators, so they are not broken by the colour axial anomaly; the anomalous axial $U(1)$ is not being included in this symmetry.

For $V_{ij}={\bar{q}}_{Lj}{q}_{Ri}$, transforming each index givesThe nonzero condensate $⟨V⟩=-vI$ is unchanged precisely when $A=B$. Thus chiral symmetry breaking leaves the diagonal vector subgroup $SU(2{)}_V$. Three of the six generators are broken, producing three massless Goldstone bosons in the exact massless limit. They are the pions, represented at low energy by the coset coordinate $U\in SU(2)$.

The uniqueness of the two-derivative two-flavour chiral action follows from the symmetry, rather than merely from guessing an invariant. The chiral group acts transitively on $U$, so every derivative-free invariant is constant. At $U=I$, the stabilizer acts on the three tangent directions by conjugation, the irreducible rotation representation. Its invariant symmetric quadratic form is a single multiple of ${\delta }_{ab}$. Transporting that form around the group gives a unique invariant two-derivative metric. Equivalently, the Maurer-Cartan form $U^{†}{\partial }_{\mu }U$ is traceless, so an independent double-trace term vanishes; the remaining contracted single trace is the same metric. Lorentz invariance supplies the spacetime contraction. Up to total derivatives, a constant term and its overall coefficient, the massless action is thereforeThe positive coefficient is conveniently expressed through the pion decay constant $F$.

Use the Pauli matrices with $\mathrm{tr}({\tau }_a{\tau }_b)=2{\delta }_{ab}$. Expanding the matrix exponential gives ${\partial }_{\mu }U=i{\tau }_a{\partial }_{\mu }{\pi }_a/F+\cdots$. Henceso the three fields have canonical kinetic terms. There is no nonconstant invariant potential in the exact chiral theory, consistent with their masslessness.

For real diagonal $M$, the two terms in the mass trace areTheir sum therefore gives the usual Dirac mass term,These terms explicitly break chiral symmetry. In the low-energy chiral perturbation theory prescription, $V\mapsto -vU$ yieldsThe Pauli matrix algebra implies $(\mathbf{\pi }\cdot \mathbf{\tau }{)}^2=|\mathbf{\pi }{|}^{2}I$. ThusandComparing with the canonically normalized scalar mass term gives the leading pion mass from a two-flavour condensate:Positive quark masses therefore give positive pion squared masses. Even if $m_u\ne m_d$, this leading action depends only on their sum and gives equal masses for all three pions. Strong isospin-breaking effects beyond this order and electromagnetic effects can split them. In the condensate convention used here, $⟨\bar{u}u⟩=⟨\bar{d}d⟩=-2v$, which also explains the factor of two in the mass relation. The massive pions are pseudo-Goldstone bosons, becoming massless as both quark masses tend to zero.

Use $Q=T_3+Y$ and $T_a={\tau }_a/2$. For each generation $r=e,\mu ,\tau$, the leptons areBoth are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of $L_r$ have electric charges $0,-1$, and $R_r$ has charge $-1$. There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.

For a doublet of hypercharge $Y$, defineThe $SU(2)$ term is absent for a singlet. Under the local transformation $\psi \mapsto e^{iY\omega }U\psi$, the gauge fields transform so that $D_{\mu }\psi \mapsto e^{iY\omega }U{D}_{\mu }\psi$. Consequently the required gauge-covariant kinetic terms areThe fields of definite chirality are defined with $P_{L,R}=(1\mp {\gamma }_5)/2$. Since $\bar{L}$ has hypercharge $+1/2$, the Yukawa interactionis invariant: its hypercharges add to zero, and $\bar{L}\varphi$ contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on ${\varphi }^{†}\varphi$ can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.

There is an explicit local unitary gauge transformation whenever $r_{\varphi }=(|{\varphi }_1{|}^2+|{\varphi }_2{|}^2{)}^{1/2}\ne 0$:Thus, with the real field $\rho =\sqrt{2}{r}_{\varphi }-v$,This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.

The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives $U_L^{†}{Y}_{\ell }{U}_R=\mathrm{diag}(y_e,y_{\mu },y_{\tau })$ with $y_r\ge 0$. Rotate both components of each left doublet together, and the right singlets independently. In this basis,The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.

The scalar kinetic term givesIntroduce $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The combinations $W^{+}=(A_1-i{A}_2)/\sqrt{2}$, $W^{-}=(W^{+}{)}^{\ast }$, $Z=c_W{A}_3-s_{W}B$ and $A_{\gamma }=s_W{A}_3+c_{W}B$ therefore diagonalize the quadratic terms:The factor $1/2$ applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator $T_3+Y$, which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.

Let $t^A$ be Hermitian color generators with $\mathrm{Tr}(t^A{t}^B)={\delta }^{AB}/2$, and take $D_{\mu }={\partial }_{\mu }-i{g}_s{G}_{\mu }^A{t}^A$. In explicit spinor, color and flavor indices the massless kinetic term isThe full Quantum chromodynamics Lagrangian also has $-G_{\mu \nu }^A{G}^{A\mu \nu }/4$. A local color gauge transformation acts asThus $D_{\mu }q\mapsto V{D}_{\mu }q$ and the kinetic term is gauge-invariant.

Since the gauge coupling is independent of flavor and chirality, the classical internal global transformations are $q_L\mapsto U_L{q}_L$, $q_R\mapsto U_R{q}_R$, with constant flavor matrices $U_L,U_R\in U(2)$. Equivalently these consist of $SU(2{)}_L\times SU(2{)}_R$, a common vector phase, and a singlet axial phase $q\mapsto e^{i\eta {\gamma }_5}q$, modulo shared discrete factors. The vector phase measures quark number, or baryon number after dividing its generator by three. The nonsinglet axial rotations may be written $q\mapsto e^{-i{\theta }_a{\gamma }_5{\tau }_a/2}q$. At the quantum level the singlet axial phase is anomalous; the exact continuous internal symmetry is $SU(2{)}_L\times SU(2{)}_R\times U(1{)}_V$ up to those discrete identifications. The usual spacetime Poincaré transformations also leave the theory invariant; the massless classical theory has dilation symmetry, which is broken by quantum running. These distinctions are massless two-flavor QCD symmetries.

At equal time the canonical relations, including all indices, areNo constraint removes any of the four spinor components of the Dirac field in these equal-time relations.

To evaluate the axial charges, first prove the elementary bilinear identity. For any constant matrix $K$ on the spinor/flavor space,For example $[q_I^{†}{q}_J,q_K]=q_I^{†}\{q_J,q_K\}-\{q_I^{†},q_K\}{q}_J$; the spatial delta function collapses the integral. This proves the charge action directly from the canonical anticommutation relations.

For $K_a={\gamma }_5{\tau }_a/2$, anticommutation of ${\gamma }^0$ and ${\gamma }_5$ then givesThe charge is an even operator, so its commutator obeys the ordinary product rule. ConsequentlySimilarly, using ${\gamma }_5^2=1$ and the Pauli matrices identity $\{{\tau }_a,{\tau }_b\}=2{\delta }_{ab}I$,Composite fields can be defined with a common symmetry-preserving regulator; these nonsinglet identities have no color axial anomaly. This is the nonsinglet axial charge algebra of quark densities.

If every conserved axial charge left the vacuum invariant, the vacuum expectation of each such commutator would vanish. A nonzero quark chiral condensate instead makes $⟨[Q_{5,a},P_b]⟩=-i{\delta }_{ab}⟨S⟩\ne 0$ for $a=b$. It therefore diagnoses spontaneous breaking of the nonsinglet chiral symmetry. In the massless two-flavor limit, the observed hadronic pattern is described by $SU(2{)}_L\times SU(2{)}_R\to SU(2{)}_V$, with three Goldstone boson modes identified with the pions. The vacuum condensate is a dynamical property of QCD, not something derivable from the canonical algebra alone. The light pion multiplet and absence of parity-degenerate light hadrons support this pattern; the singlet axial anomaly prevents interpreting an additional singlet mode as a fourth Goldstone boson.

For equal nonzero masses, add ${\mathcal{L}}_m=-m\bar{q}q$. It is invariant under local color gauge transformations and common vector flavor rotations, but not under independent left/right rotations. The exact continuous flavor symmetry becomes $SU(2{)}_V\times U(1{)}_V$. The kinetic term and canonical anticommutators are unchanged, and the two proved equal-time commutators still hold. The charges, however, are no longer conserved:The first equation follows from the massive Dirac equations, or the last from $H_m=m\int S$ and $\dot{Q}=i[H,Q]$. This is the flavor-nonsinglet axial Ward identity with equal quark masses. The pions become pseudo-Goldstone bosons with $m_{\pi }^2=O(m)$, rather than exact massless modes. To leading order, in the convention $S=\bar{u}u+\bar{d}d$, $f_{\pi }^2{m}_{\pi }^2=-m⟨S⟩+O(m^2)$. The condensate persists for small masses, but the symmetry is now explicitly broken, so the exact-symmetry Goldstone argument is replaced by an approximate one. The singlet anomaly and gauge symmetry are unaffected.

Write the Hamiltonian operator as $\hat{H}={\hat{p}}^2/(2m)+V(\hat{q})$, with $[\hat{q},\hat{p}]=i$, and define the quantum-mechanical propagator by $U(\beta ,\alpha ;T)=⟨\beta |e^{-iT\hat{H}}|\alpha ⟩$. Use $N$ intervals of length $\epsilon =T/N$, endpoint coordinates $q_0=\alpha ,q_N=\beta$, and the Trotter product formula. Inserting the completeness relations of the position eigenstates between the short-time factors givesNormalize momentum eigenstates by $⟨q|p⟩=e^{ipq}/\sqrt{2\pi }$. The Gaussian integral over the intermediate momentum isThe square-root branch is fixed by continuation from $\mathrm{Im}\epsilon <0$. Consequently the precise time-sliced configuration-space path integral isThis formula defines the notation $\int \mathcal{D}q{e}^{iS[q]}$; it is not an unnormalized infinite product of ordinary integrals. For real time take the boundary value from $T-i\delta$, $\delta >0$, or the corresponding oscillatory-distribution limit. For a self-adjoint, bounded-below Hamiltonian operator under the usual product-formula hypotheses, the operator limit supplies the definition even where the coordinate kernel is a distribution. The discrete exponent approaches the action with kinetic term $m{\dot{q}}^2/2$, and the prefactor is part of the functional measure. A different consistent slicing gives the same kernel for this separated kinetic-plus-potential Hamiltonian.

For the quantum harmonic oscillator, expand the action about a classical path $x$, writing $q=x+\xi$ with homogeneous Dirichlet boundary conditions on $\xi$. The only mixed term isThe boundary term vanishes and the Euler-Lagrange equation sets the remaining integrand to zero. Thus $S[x+\xi ]=S[x]+S[\xi ]$ exactly, rather than only to quadratic approximation. Translation of each integrated coordinate has unit Jacobian determinant; in the continuum measure convention of the question this is $\mathcal{D}q=\mathcal{D}\xi$. The classical-path factorization of a quadratic path integral follows:The fluctuation action, measure and boundary values depend on $T,m,\omega$ but not on $\alpha ,\beta$. For real $T$ with $\sin \omega T\ne 0$ the boundary-value classical path exists uniquely. At the conjugate times $\omega T=k\pi$, generic endpoints admit no such path and the kernel is a delta distribution; the formula is interpreted by the same regulated boundary limit, not as an ordinary finite prefactor times a nonexistent classical solution.

Assume $\lambda >0$ and $v>0$. The minima of the scalar potential have $|\varphi |=v$. Choose the vacuum expectation value ${\varphi }_0=v{e}_3$. Its stabilizer subgroup consists exactly of matrices $\mathrm{diag}(R_2,1)$ with $R_2\in O(2)$, soThe continuous spontaneous symmetry breaking is $SO(3)\to SO(2)$ and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: $R[A{]}_{\times }{R}^{-1}=[(\det R)RA{]}_{\times }$. The scalar field transforms as the ordinary vector $R\varphi$. This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for $\det R=-1$; assigning an ordinary-vector transformation to the connection would fail.

Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives $\varphi =(0,0,v+h)$. PutThese are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths givesThe scalar field kinetic term has no radial-vector cross term, because ${\partial }_{\mu }\varphi$ and ${\mathbf{A}}_{\mu }\times \varphi$ lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomesFor each real vector the mass term is $m^2{A}_{\mu }{A}^{\mu }/2$, while for the complex pair it is $m_W^2{W}_{\mu }^{+}{W}^{-\mu }$. Hence the adjoint triplet Higgs spectrum isThe radial scalar also has $m_h^2=\lambda v^2$ in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.

For the lepton kinetic terms let $P_L=(1-{\gamma }^5)/2$, $P_R=(1+{\gamma }^5)/2$, and denote the left neutral triplet entry by $n_L=c_{\alpha }{\nu }_L+s_{\alpha }{N}_L$. The missing singlet is the perpendicular combinationIts overall sign is immaterial. The real orthogonal matrix $\left(\begin{array}{cc}{c}_{\alpha }& s_{\alpha }\\ -s_{\alpha }& c_{\alpha }\end{array}\right)$ is orthogonal, so the sum of the kinetic terms of $n_L$ and $L^S$ is ${\bar{\nu }}_{L}i/\partial {\nu }_L+{\bar{N}}_{L}i/\partial N_L$ with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for $E^{+},N,e$, and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is $E^{+}$, as printed in the PDF, not the TeX's $N^{+}$.

To compute the charge commutator, the canonical anticommutation relations implyThe quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, $[Q_C,Q_D]=Q_{[C,D]}$. Left/right mixed commutators vanish since $P_L{P}_R=0$.

In either triplet, writeThe displayed current has a factor two relative to the projected bilinears, since $1\mp {\gamma }^5=2P_{L,R}$. Consequently its charges are $T^{+}=2(Q_K^L+Q_K^R)$ and $T^{-}=(T^{+}{)}^{†}$. The neutral combinations have canonical anticommutators because $c_{\alpha }^2+s_{\alpha }^2=1$. Applying the matrix commutator giveswhere $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$ is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes $J^{-}=(J^{+}{)}^{†}$; the TeX repeats $J^{+}$ incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.