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.
Use the current convention in the question, whose vertex prefactor is . The neutral-current vector and axial couplings are then
For a charged lepton, , , giving
For an active neutrino, , , so . The right-handed weak singlet contribution is purely vectorlike in the charge term; combining it with the left-handed contribution gives precisely this Dirac-current form. These coefficients would be halved if the vertex prefactor were instead.
Let be the Z boson momentum and the outgoing massless lepton momenta. The decay amplitude is
Use the fermion spin sums and . Anticommutation of with the Dirac gamma matrices gives the symmetric part of the trace,
The vector-axial cross term is antisymmetric in , and hence drops out of the massive vector polarization sum. The massless equations also give : in the symmetric part, the first two contractions sum to , canceling the last; the antisymmetric term vanishes because . The longitudinal term therefore makes no contribution.
Since , contraction with gives . Thus the massless fermion Z decay spin sum, including all three initial polarizations, is
To use this fully summed expression for the decay width of one unpolarized Z boson, apply the massive-vector spin average, dividing by three. The width of each fixed polarization is the same after integration over all directions, so that procedure also gives the physical single-particle width. Omitting the division would sum the widths of three initial states.
For two massless distinguishable final particles, the two-body Lorentz-invariant phase space is
Consequently
The tree-level electroweak symmetry breaking relation is . Combining it with the Fermi constant normalization gives
For an active neutrino, the vertex itself projects out inactive chiralities, so no additional helicity factor is needed. This is the tree-level massless leptonic Z decay width; lepton masses and radiative corrections have been excluded.
Use the electroweak hypercharge normalization , rather than . In the latter convention all tabulated hypercharges would be doubled. The electroweak representation and hypercharge table for one minimal Standard Model generation is
The quarks are colour triplets, the leptons are colour singlets, and all listed right-handed fields are weak singlets. A sterile right-handed neutrino, if added, has representation and changes none of the anomaly traces.
On each left weak doublet, . The electric charges are therefore for and for . On each right singlet , so its electric charge equals its hypercharge. These are the observed quark and lepton charge assignments.
For Standard Model anomaly cancellation, traces must include both components of each doublet and all three colours. Every right weak singlet has , giving
On the left doublets, , while separately in each doublet. Consequently
The linear trace is
Equivalently, . This proves cancellation of the mixed weak-hypercharge gauge anomaly within one generation.
The one-generation hypercharge anomaly traces for the cubic condition are
Thus both required anomaly differences vanish generation by generation. The right-handed subtraction is important: counting all physical fields with the same chirality sign would not give the cubic cancellation.
The elements have several complementary origins: primordial light nuclei, stellar and explosive fusion products, and nuclei built by neutron capture. Chemical enrichment also requires their ejection, rather than merely their production inside a star. Nucleosynthesis and transport into the interstellar medium must therefore be considered together.
Hydrogen and much of the helium are primordial. During Big Bang nucleosynthesis, a cooling, expanding plasma assembled surviving neutrons and protons into deuterium, helium-3 and especially helium-4, with small abundances of lithium-7 or its beryllium-7 progenitor. Unstable nuclei at mass numbers five and eight, together with the rapidly falling density and short available time, obstructed sustained production of heavier nuclei. The carbon, oxygen and heavier material in later generations consequently require other sites. Cosmic rays fragment heavier interstellar nuclei and contribute importantly to the light elements lithium, beryllium and boron, which ordinary stellar burning tends to destroy.
Burning stages depend on initial stellar mass. Stellar nuclear fusion can release energy when the products have greater nuclear binding energy than the reactants. The resulting stellar thermostat links nuclear burning to hydrostatic equilibrium: when fuel exhaustion lowers heating, contraction raises the central temperature until another fuel can ignite, if the core becomes hot enough. Higher nuclear charges bring larger Coulomb barriers, so later charged-particle burning generally requires progressively higher temperatures. Whether the core reaches them depends on its mass, electron degeneracy pressure, mixing and envelope loss.
An approximately solar-composition star first spends most of its life on the main sequence, converting hydrogen into helium mainly through the proton–proton chain. The net conversion is four protons into one helium-4 nucleus, with positrons and neutrinos; the small CNO cycle contribution redistributes CNO catalyst abundances but is not a net source of carbon at this stage. Exhaustion of central hydrogen leaves a helium-rich core. A surrounding hydrogen-burning shell continues to add helium, while the core contracts and the envelope expands into a red giant.
The low-mass helium core becomes supported substantially by electron degeneracy pressure. At roughly , the Triple-alpha process ignites, first making transient beryllium-8 and then carbon-12 through the Hoyle state. Because degeneracy initially weakens the usual expansion response, this ignition is a helium flash. It heats and lifts the degeneracy of the core, leading to a stable phase of core helium burning. The Triple-alpha process makes carbon; competing carbon-12 alpha capture makes oxygen:
After central helium exhaustion, the star develops a carbon-oxygen core, a helium-burning shell and a more external hydrogen-burning shell. On the Asymptotic giant branch, recurrent thermal pulses of an asymptotic-giant-branch star arise from unstable helium-shell burning. Stellar dredge-up can bring processed material toward the surface, with its efficiency depending on mass and composition. The eventual stellar wind removes the envelope; the hot exposed core can illuminate a planetary nebula, and the remnant becomes a carbon-oxygen white dwarf. A usual isolated star does not ignite carbon burning. In particular, an element synthesized in its core need not all escape: much of the carbon and oxygen remains locked in the white dwarf.
An approximately star burns central hydrogen predominantly through the CNO cycle, usually in a convective core. The CNO nuclei act as catalysts; the slow nitrogen-14 proton-capture step tends to accumulate nitrogen-14 while converting hydrogen into helium. After central fuel exhaustion, a hydrogen-burning shell surrounds the contracting helium core. Unlike the case, core helium burning normally begins before strong electron degeneracy, without a classical helium flash. The same Triple-alpha process and carbon-12 alpha capture create a carbon-oxygen core.
The star then enters the Asymptotic giant branch, with hydrogen and helium burning in shells. Repeated thermal pulses and stellar dredge-up can enrich its envelope with freshly made carbon and s-process nuclei. Hot-bottom burning can occur when the base of the convective envelope is sufficiently hot: the CNO cycle processes dredged-up carbon into nitrogen, so a massive AGB star need not become carbon-rich despite making carbon below its envelope. Helium-shell reactions on neon-22 can also provide neutrons for the s-process. For an ordinary model, strong envelope loss generally precedes carbon ignition, leaving a carbon-oxygen white dwarf. The exact threshold for carbon ignition and the size of these yields depend on metallicity, mass loss and mixing; they are not universal integers fixed solely by initial mass.
A star reaches much more advanced stages. It starts with convective-core CNO cycle hydrogen burning, followed by core helium burning. After central helium exhaustion, contraction can ignite carbon burning at temperatures approaching . Carbon-fusion channels make products including neon, sodium and magnesium. Neon burning then uses photodisintegration of neon-20 to release oxygen-16 and an alpha particle, followed by capture of that alpha particle on another neon-20 nucleus; the combined network releases energy and produces magnesium-24. Oxygen burning makes silicon-group nuclei through channels such as
At still higher temperature, silicon burning rearranges nuclei by photodisintegration and captures of protons, neutrons and alpha particles. It is not principally direct fusion of two silicon nuclei. Networks approach quasi-equilibrium and then nuclear statistical equilibrium, producing an iron-group core whose precise mixture depends on the electron fraction in stellar matter. Outer shells retain different stages of burning, giving an approximately layered structure. Increasing stellar neutrino energy loss makes advanced burning stages much shorter than hydrogen burning.
Near the iron group, nuclear binding energy per nucleon is close to its maximum. Further fusion cannot provide the sustained energy source required to support the core. As the core grows, electron capture reduces electron-pressure support and photodisintegration absorbs energy, assisting gravitational collapse. A successful core-collapse supernova ejects some of the envelope and processed shells, and leaves a neutron star or black hole. The shock also causes explosive burning, changing the pre-existing abundances. A initial mass does not uniquely fix the explosion or remnant: envelope loss, rotation, composition and fallback all matter, and some collapses fail to eject much material.
Ejection determines the enrichment of the interstellar medium. Low- and intermediate-mass stars return helium, CNO-processed matter, dredged-up carbon and s-process products through stellar winds and envelope expulsion. Massive-star winds can expose hydrogen- or helium-burning products before collapse. Successful core-collapse supernovae eject substantial oxygen and other alpha-capture products, together with some iron-group matter formed in hydrostatic and explosive burning. Material that falls back or remains in a stellar remnant is withheld from the interstellar medium. Subsequent mixing, cooling and star formation distribute the escaped material into new stars. The distinction between production and ejection is why an internal burning inventory alone is not a stellar yield.
Binary stars provide an additional major iron-group source. In a Type Ia supernova, a carbon-oxygen white dwarf in a binary undergoes thermonuclear disruption after an appropriate accretion or merger history. Explosive carbon and oxygen burning makes intermediate-mass and iron-group nuclei. Much initially synthesized nickel-56 decays through cobalt-56 into iron-56; this radioactive decay also powers the supernova light curve. Such explosions have delay times and yields different from those of massive-star collapse, and help explain why iron enrichment need not track oxygen enrichment exactly.
Neutron capture builds much of the material beyond iron. Charged-particle reactions encounter increasing Coulomb barriers as nuclear charge grows, but a neutral neutron does not encounter that barrier. Neutron capture raises mass number, and subsequent beta-minus decay can turn a neutron into a proton and raise atomic number. The relative capture and decay times select different paths through the nuclear chart.
In the slow neutron-capture process, most unstable intermediates decay before the next capture, so the path stays near stable nuclei. In Asymptotic giant branch stars, important neutron sources are
The carbon-13 source operates in suitable partially mixed layers, while the hotter helium-shell pulses can activate the neon-22 source. Captures on pre-existing seed nuclei produce elements such as strontium and barium and, under suitable conditions, lead. Stellar dredge-up and stellar winds return these products to the interstellar medium. Massive stars also have a weak s-process, notably using neon-22 during helium- and carbon-burning phases; it need not produce the same abundance range as the main AGB contribution.
In the rapid neutron-capture process, very high neutron densities permit many captures before typical beta-minus decays. The path moves to neutron-rich nuclei, which later decay toward stability, producing heavy nuclei including lanthanides and actinides. Neutron-rich ejecta from neutron star mergers provide an established site: a merger can eject dynamical material and disk outflows, and radioactive decay of the newly made nuclei powers a kilonova. Special neutron-rich outflows associated with some massive-star collapses are additional candidate sites. It would be unjustified to assume that every ordinary core-collapse supernova produces the full heavy r-process pattern; the required neutron richness and expansion history are restrictive.
The two neutron-capture processes do not make every isotope beyond iron. Some proton-rich isotopes bypass their main paths. Gamma-process nucleosynthesis, for example, uses photodisintegration of pre-existing heavy seed nuclei in hot explosive material. Other proton-rich reaction paths can matter in suitable environments. Thus “heavier than iron” describes a family of production mechanisms rather than a single further ordinary fusion stage.
Binaries change both stellar evolution and the delivery of elements. Roche-lobe overflow, wind transfer and mergers can strip a donor, rejuvenate a mass-gaining star, alter core and envelope masses, and change the timing and character of an eventual explosion. Binary stripping can remove the hydrogen envelope of a massive core-collapse supernova progenitor. Accretion onto a white dwarf can cause a classical nova, ejecting hydrogen-burning products and particular isotopes while ordinarily leaving the white dwarf intact; this differs from the destructive Type Ia supernova. Compact binary stars can lose orbital energy through gravitational radiation and merge, providing the neutron star merger route to heavy r-process material. Consequently chemical enrichment cannot be inferred entirely from isolated-star tracks, even when a simplified population calculation treats binary components as evolving independently.
Use and . For each generation , the leptons are
Both 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 have electric charges , and has charge . 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 , define
The term is absent for a singlet. Under the local transformation , the gauge fields transform so that . Consequently the required gauge-covariant kinetic terms are
The fields of definite chirality are defined with . Since has hypercharge , the Yukawa interaction
is invariant: its hypercharges add to zero, and 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 can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.
There is an explicit local unitary gauge transformation whenever :
Thus, with the real field ,
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 with . 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 gives
Introduce and . The combinations , , and therefore diagonalize the quadratic terms:
The factor applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator , which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.
Take metric and write . The outgoing electron and antineutrino momenta are and . Up to an irrelevant overall phase, the amplitude is
A fermion spin sum gives
Anticommuting through the massless momentum and gamma matrix, and using , reduces the trace to twice the four-gamma trace minus twice its counterpart. In particular its symmetric part is
The epsilon-tensor part is antisymmetric and contributes neither to the unpolarized polarization sum nor to the real linear polarization used below. There is no extra factor for selecting the neutrino helicity: the chiral vertex has already done so.
The external massless equations imply for , so . With , averaging over the three initial spin states gives
Indeed . This is a massive-vector spin average, not an average over the final spins.
In the rest frame, eliminating the momentum delta function and integrating the remaining radial delta function reduces the two-body Lorentz-invariant phase space to . Therefore
This derives the massless leptonic W decay width without invoking a precomputed decay formula.
For the specified polarization there is no initial spin average. Put , and . The contraction selects
It follows that
Here . The total rate agrees with the spin-averaged result, but its normalized polar distribution is instead of the isotropic unpolarized distribution. This is polarized massless leptonic W decay.
In the specified dust model , so and . Photons and the six neutrino/antineutrino helicity states give
Using the supplied GeV estimates literally gives
The rounded time/temperature conversions are unusually crude: converting Gyr to and K to GeV instead gives . Either set gives the same order-of-magnitude mass conclusion below, but the numerical abundance should identify which supplied units are used.
For a stable relic, the relevant comparison is energy density, not merely particle number. The matter density left over after the baryons is at most nine times the baryon density here. Consequently
Put and use with . The condition becomes
For the literal supplied numbers the right side is about , giving and – GeV. With the physically consistent conversions the estimate is about GeV. The intended rough conclusion is therefore a sufficiently suppressed branch with no larger than order GeV, within the toy cosmological particle freeze-out law. Comparing the two number yields alone gives a similar rough scale but misses the mass weighting. This is a thermal relic density bound for a tunable fermion.
For , relativistic decoupling would instead leave , incompatible with the matter-density bound for such heavy stable particles. These are conditional bounds on a populated, stable thermal relic. A short lifetime or an initially suppressed nonthermal population can change the conclusion; the supplied information alone does not constrain every possible production and decay history.
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , so
The continuous spontaneous symmetry breaking is 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: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . Put
These are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths gives
The scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomes
For each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum is
The radial scalar also has 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 , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combination
Its overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , 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 , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations imply
The quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, write
The displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator gives
where 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 ; the TeX repeats 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.
Use the source convention , with electric charge measured in units of the positron charge. Expanding the covariant derivative in the fermion kinetic term gives interaction . Substituting the given neutral-field rotation, the coefficient of is
The photon coefficient is , with . For a Dirac field, acts only on its left-handed component. Thus
The weak neutral current interaction consequently has the requested form, with
The electroweak representation and hypercharge table gives the following values for one generation:
Type on left
Neutrinoabsent
Charged lepton
Up-type quark
Down-type quark
These neutral-current vector and axial couplings use the source's vertex prefactor . They are twice the coefficients used with prefactor ; the latter convention must not be mixed into this calculation. For the neutrino, the chiral projector removes the inactive right-handed component automatically.
Set and suppress the species label. For outgoing momenta , the amplitude is, up to an irrelevant phase,
The final-state spin sum is the Dirac trace of . Anticommutation of with the gamma matrices makes its symmetric part
The vector-axial cross term is proportional to the antisymmetric Levi-Civita symbol, so it contracts to zero with the symmetric massive vector polarization sum . Since , the symmetric tensor is transverse to as well. Only remains, and
Multiplying by proves the massless fermion Z decay spin sum:
For the decay width, average over the three initial polarizations. Rotational invariance makes the integrated width the same for each initial spin state, so the massive-vector spin average is legitimate even for a single prepared polarization. In the rest frame, the delta functions in two-body Lorentz-invariant phase space leave
This follows by setting and integrating ; the radial integration supplies a factor . Hence
For a quark species multiply by three colors, with strong-interaction radiative corrections when comparing with data. For one effectively massless active neutrino, , so .
The total resonance width contains visible charged-lepton and hadron decays plus . Thus the measured invisible contribution determines
Early resonance measurements supported three light active neutrino species, with experimental uncertainties; the OPAL analysis of its 1989 data explicitly compares the three- and four-species predictions. Under the question's assumption that every possible family has a massless neutrino with ordinary weak couplings, this constrains the number of such families. The inference does not exclude additional neutrinos heavier than or gauge singlet sterile states with no ordinary coupling. This is light-neutrino counting from the Z width.
Let , so . Direct multiplication of the Pauli matrices gives , equivalently . For this implies
Therefore transforms as the same weak fundamental representation doublet as , while complex conjugation reverses its hypercharge to . This is the Higgs conjugate doublet. The Yukawa coupling product is an singlet, and its hypercharges add to
It is consequently gauge-invariant and can supply an up-quark mass.
In unitary gauge, . Writing for the full arbitrary coefficient of the Yukawa coupling term, its physical form is
A one-generation field rephasing makes the mass positive, and its Higgs boson coupling is . The printed Yukawa expression has an additional trailing after which is never defined. If it denotes a constant, absorb it into ; in the conventional dimensionless Yukawa notation without that factor, . It does not affect the gauge-transformation argument.
For three families, use a singular value decomposition of the two mass matrices: and , with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates with
A complex matrix has eighteen real parameters, and 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 , 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 . The supplied charge conjugation transformations, with the fermion-reordering sign, give
For , use and the given gamma matrix relation to obtain
Under parity, the current acquires the Lorentz parity matrix and becomes . 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. Consequently
With , the interaction is . Therefore
with the transformed density evaluated at . This is the CP transformation of a charged quark current.
Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartet
is the Jarlskog invariant, where and in the standard three-angle parametrization. If , no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles with give .
The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: , 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 . Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionally
The factor 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.
The first argument is the energy budget. The gravitational energy reservoir is of order , so the Kelvin-Helmholtz cooling time is . For the Sun, , and give years. This is much shorter than the approximately -year solar-system age. Chemical binding energies are only of order electronvolts per atom and provide an even smaller reservoir. Thus neither ordinary chemical energy nor continuing gravitational contraction can supply the long-term solar luminosity.
Stellar nuclear fusion provides an adequate reservoir. Conversion of four hydrogen atoms into one helium-4 atom releases about , corresponding to a mass defect of about of the initial mass; some energy leaves as neutrinos. If a fraction of stellar mass with hydrogen fraction is available for core burning, the energy scale is . Taking and supplies roughly , enough for several billion years at the solar luminosity, consistent with a stellar nuclear timescale of order years. The core temperature and density inferred from stellar structure permit the proton–proton chain; hotter stellar cores favor the CNO cycle.
The most direct evidence is the detection of solar neutrinos. They are created in the weak reactions of the proton–proton chain and can escape from the core, unlike the photons whose transport through the interior is slow. Measurements accounting for neutrino oscillation recover a total neutrino flux consistent with nuclear-powered solar models. Their spectra and reaction-dependent fluxes test the core reactions rather than merely the surface effective temperature.
There is also independent evidence from stellar evolution: the main sequence is a long-lived core-hydrogen-burning phase, more massive luminous stars consume fuel more quickly, and the main-sequence turnoff of a star cluster records its age. Subsequent evolution and the production of heavier elements fit further nuclear reactions. Agreement among these observations, nuclear energy release and stellar-model lifetimes is much stronger than the energy-budget argument alone. The combination of a sufficient nuclear reservoir, measured core neutrinos and the observed evolutionary sequence identifies nuclear reactions as the main long-term power source of ordinary stars.
The derivative convention uses hypercharge Y with . For each lepton family , the left-handed fields form an SU(2) doublet , with . Their weak isospin values are and their electric charges are . The right-handed charged lepton is an SU(2) singlet, with , and charge . The minimal model used here has no right-handed neutrino. A sterile right-handed neutrino, if added as a singlet with , would have no charged weak current interaction. Antiparticles carry the conjugate representations and opposite electric charges.
Expanding supplies . The off-diagonal entries of are and . With the chiral projector , one has . Thus the two W boson interactions are
For quarks, separate rotations diagonalize the up-type and down-type mass terms. If their left-handed rotations are and , the charged interaction contains the CKM matrix :
There is an implicit sum over color charge. This quark mixing permits transitions between different families, rather than just the paired fields in a single doublet.
Let and . At momenta much smaller than , neglect derivatives in the heavy W boson equation. Its mass and source terms can be completed to a square:
This explicitly performs integrating out a charged vector boson. The resulting Fermi interaction is
The omitted terms contain derivatives and are relatively suppressed by momentum squared divided by .
For the leptonic pion decay, Lorentz covariance restricts a vacuum-to-spin-zero current matrix element to a constant times . In the rest frame, rotations eliminate the spatial components. Under parity, the temporal vector current is even, whereas the vacuum is even and the pion is odd, so its temporal matrix element equals its negative and vanishes. The temporal axial current is odd and is allowed. This proves the vacuum-to-pseudoscalar current selection rule, rather than merely assuming an axial current. Define the pion decay constant by
Then the vector-minus-axial charged weak current has matrix element , up to an irrelevant overall phase convention. Consequently the scattering amplitude for the decay can be written
Use , the momentum-space Dirac equation , and for a massless neutrino. Since , the neutrino contribution vanishes, leaving
The fermion spin sum is, using the supplied gamma matrix trace identities,
Here , , and . The mass term in the trace vanishes; anticommuting reduces the remaining trace to twice . It follows that
Using two-body decay phase space, with final momentum magnitude , gives the leptonic pseudoscalar decay width
Thus the requested factor is already present in the squared amplitude, and the phase space supplies one more threshold factor.
The physical explanation is helicity suppression. In the pion rest frame the two momenta are opposite. The massless antineutrino has positive helicity; zero total angular momentum would require the electron to have positive helicity too. The charged weak current instead creates a left-chiral electron, whose helicity is negative when its mass vanishes. A nonzero electron mass admits the required opposite helicity with an amplitude proportional to . The decay amplitude vanishes for , and the rate is suppressed by .