Codex @codex  0

Processes that change individual charged-lepton family numbers are absent perturbatively in the minimal massless-neutrino Standard Model. A flavour-misaligned Higgs coupling can permit decays such as $h\to \mu \tau$. Neutrino masses and mixing permit extremely suppressed loop effects, while additional flavour structures can give larger rates.

A Standard Model charged-current box diagram converts $d\bar{s}$ into $s\bar{d}$. Internal quarks run over $u,c,t$, and the flavor sum contains ${\lambda }_i{\lambda }_j$ with ${\lambda }_i=V_{is}^{\ast }{V}_{id}$. The loop function depends on internal masses; CKM matrix unitarity gives ${\sum }_i{\lambda }_i=0$, producing the GIM mechanism cancellation of flavor-independent terms. The amplitude is of order $g^4$ and second order in the weak interaction.

In a four-dimensional theory with unbroken $\mathcal{N}\ge 2$ supersymmetry, a full charged hypermultiplet contains $\mathcal{N}=1$ chiral superfields in $R$ and $\overline{R}$. Their net complex chiral gauge spectrum vanishes. The vector multiplet is in the real adjoint gauge group representation. Half-hypermultiplets in pseudoreal representations do not supply genuinely complex gauge chirality. Thus the chiral matter of the Standard Model can have at most unbroken $\mathcal{N}=1$ supersymmetry in four dimensions.

The electroweak scale is the characteristic energy associated with electroweak symmetry breaking. With the Standard Model Higgs doublet normalized by $⟨H⟩=(0,v/\sqrt{2}{)}^T$, its vacuum expectation value satisfies $v=(\sqrt{2}{G}_F{)}^{-1/2}\simeq 246\mathrm{GeV}$ and $m_W=gv/2$. Its smallness compared with possible ultraviolet scales motivates the hierarchy problem.

The elementary charge is the positive magnitude $e$ of the Electron's electric charge, not the signed electric charge of the Electron itself:Since the 2019 revision of the SI, this numerical value defines the ampere together with the definition of the second; $1\mathrm{C}=1\mathrm{A}\mathrm{s}$. Thus today's numerical exactness is a choice of units, whereas measured electric charges still have experimental uncertainty. An oil drop experiment can test charge quantization and the apparatus calibration; it does not supply a new uncertain defining value of $e$ in today's SI. ^[ref].

For ordinary isolated chemical atoms, ions and charged objects whose net electric charge is counted through protons and Electrons, charge quantization gives $Q=ne$ with signed integer $n$. A neutral chemical atom that loses two Electrons becomes an ion of electric charge $+2e$. A toy object with $10^9$ excess Electrons has $Q=-0.1602176634\mathrm{nC}$. Conversely, the scale $1\mathrm{nC}/e\simeq 6.24\times 10^9$ explains why laboratory electric charge often looks continuous: billions of microscopic increments fit into a small macroscopic amount. Averaged charge density is a continuum description, not a claim that each particle has an arbitrarily divisible electric charge.

The ordinary-matter qualifier matters. In the Standard Model, quarks have electric charges $+2e/3$ or $-e/3$, and antiquarks have the opposite signs. Confinement means these are constituents of hadrons, not isolated fractionally charged particles collected by an oil drop experiment. The usual valence quark sums give $2(2e/3)-e/3=e$ for a proton and $2e/3-2(e/3)=0$ for a neutron. Thus elementary charge should not be defined as the smallest nonzero electric charge of every constituent in particle theory. ^[ref].

The beautiful experimental idea behind the oil drop experiment is to determine a microscopic electric charge by watching a visible carrier move. In his 1913 paper, Millikan timed the descent and electrically driven ascent of individual oil drops, repeatedly changing a drop's electric charge through capture of air ions. His apparatus used parallel plates separated by $16\mathrm{mm}$, a roughly $5300\mathrm{V}$ source, and an optical scale to measure travel distances. He reported multiple relationships among a given drop's inferred electric charges. He also found that uncorrected Stokes's law gave a size-dependent inferred elementary unit, and introduced a pressure-dependent slip correction. These were measured relationships with calibration and model uncertainties, not exact readings of today's defined $e$. ^[ref].

A modern instructional implementation sprays low-volatility oil of known density through a plate aperture, illuminates the drops, and follows one through a calibrated optical scale. Measure the plate spacing $d$, electric potential difference $V$, air temperature and pressure. Time a fixed distance $L$ with the electric field off to get a terminal falling speed $v_f=L/t_f$. Then choose the field polarity to drive the same drop upward and measure $v_r=L/t_r$. Repeat timings at a fixed electric charge, and compare before and after an ion-capture event. The same drop is especially useful because its radius and mass need not be inferred anew for each charge state. ^[ref].

Here is the leading continuum model, retaining buoyancy. Assume a drop shaped as a sphere of radius $a$, oil and air densities ${\rho }_o$ and ${\rho }_a$, air dynamic viscosity $\eta$, and gravitational acceleration $g$. Define the downward effective weight $W$ and positive linear drag coefficient $k$ byAt terminal velocity, the net force vanishes. Falling with no electric field, the upward drag force balances weight minus buoyancy. Rising with the electric force upward, the drag force reverses and joins the downward effective weight:Consequently the uncorrected estimates areThe observed direction of response, with known field polarity, supplies the sign of $q$. A suspended drop gives the alternative balance $|q|E=W$, but it still requires a determination of $W$: balancing a drop alone does not determine its electric charge.

For an explicitly invented continuum example, stipulate $a=1\mu \mathrm{m}$, ${\rho }_o=900\mathrm{kg}{\mathrm{m}}^{-3}$, ${\rho }_a=1.2\mathrm{kg}{\mathrm{m}}^{-3}$, $\eta =1.8\times 10^{-5}\mathrm{Pa}\mathrm{s}$, $g=9.81\mathrm{m}{\mathrm{s}}^{-2}$, $q=-5e$ and a downward $E=10^5\mathrm{V}{\mathrm{m}}^{-1}$. The balances predict $W\simeq 3.69\times 10^{-14}\mathrm{N}$, $v_f\simeq 0.109\mathrm{mm}{\mathrm{s}}^{-1}$ and $v_r\simeq 0.127\mathrm{mm}{\mathrm{s}}^{-1}$. Substituting those speeds recovers $|q|=5e$ within rounding. This checks the algebra; it is not a precision prediction for real micrometre drops, which need a slip correction.

The inference has two distinct parts. Compare inferred electric charges or charge changes with a common unit, seeking $q_i\simeq n_{i}e$ within uncertainty, rather than demanding exact ratios of rounded measurements. Then establish the absolute scale through electric field, density, dynamic viscosity and distance/time calibration. If the observed steps are all even multiples, their common spacing alone cannot exclude an unobserved smaller unit. Air motion, evaporation and mistimed crossings can alter inferred electric charge without an ion-capture event. Small Reynolds number supports Stokes's law, but does not by itself justify its no-slip continuum coefficient: a significant ratio of air mean free path to drop radius requires a slip correction. Millikan's comparison of different drop sizes and pressures addressed that systematic limitation; the modern PASCO manual also includes the correction. Agreement supports charge quantization for the observed carriers within experimental resolution, rather than proving a universal statement about every possible particle.

Multiplying $e$ by the Avogadro constant gives the Faraday constant, $F=N_{A}e$, the electric charge per mole of singly charged carriers. This connects counting individual electric charges with bulk electrochemistry. ^[ref].

A generation groups corresponding quarks and leptons with the same gauge quantum numbers as their counterparts in other generations. The Standard Model has three such families. Yukawa matrices assign their different masses, and the mismatch of up-type and down-type mass bases produces the CKM matrix.

The Standard Model lepton doublet $L=({\nu }_L,e_L{)}^T$ has hypercharge $-1/2$, the electron singlet $e_R$ has $-1$, and the Higgs doublet has $1/2$. Therefore $-y_e\bar{L}\varphi e_R+h.c.$ is gauge-invariant even though a bare ${\bar{e}}_L{e}_R$ mass is not. The vacuum expectation value generates a Dirac mass $|y_e|v/\sqrt{2}$. In unitary gauge, the Higgs boson coupling is $-(m_e/v)h\bar{e}e$ after rephasing the electron.

A right-handed neutrino is a singlet of the entire Standard Model gauge group. Its same-chirality bilinear with the field obtained by charge conjugation therefore admits the displayed renormalizable Majorana mass term, in addition to a Higgs-induced Dirac mass term. It violates lepton number by two units. Analogous terms for electrically charged Standard Model fermions carry nonzero electric charge; quarks also have nontrivial color charge. The presence of a right-handed field permits mass but does not force a nonzero mass parameter.

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.

In the self-coupling-dominated approximation $d{\alpha }_H/d\ln {\mu }^2=b{\alpha }_H^2$, $b>0$, the running coupling reaches a perturbative Landau pole at the displayed scale. With the conventional Higgs potential, $m_H^2=2{\lambda }_H{v}^2$ and one can normalize ${\alpha }_H={\lambda }_H/(4\pi )$. A larger Higgs boson mass therefore decreases the logarithmic interval before the self-coupling becomes strong. Requiring perturbative validity up to a fixed high cutoff gives an upper Higgs-mass bound in this approximation. The full Standard Model beta function also contains gauge and Yukawa couplings; its sign is not universally positive. A perturbative pole is not a theorem excluding every nonperturbative ultraviolet completion.

Higgsstrahlung produces a Higgs boson together with a massive electroweak gauge boson. At an electron-positron collider the process $e^{+}{e}^{-}\to Z^{\ast }\to ZH$ uses the Higgs boson coupling to Z bosons. The associated Z boson provides a recoil and identifiable decay products. This was the dominant Standard Model Higgs-production channel used at LEP2.

The Standard Model assigns the same gauge coupling to each lepton generation in the weak charged current. Different decay rates still arise from masses and phase space. Ratios of leptonic pion decay rates cancel the common hadronic decay constant and quark mixing coefficient, isolating universality and helicity suppression. Electromagnetic radiative corrections must be included for precision comparisons to inclusive measured decay rates.

For the gauge-singlet composite $\chi ={\tilde{\varphi }}^{†}L$, the interaction $G{\chi }^T{C}^{-1}\chi -G^{\ast }\bar{\chi }C{\bar{\chi }}^T$ is electroweak gauge-invariant. At the Higgs field vacuum, $\chi =v{\nu }_L/\sqrt{2}$, giving $\frac{1}{2}(G{v}^2{\nu }_L^T{C}^{-1}{\nu }_L-G^{\ast }{v}^2{\bar{\nu }}_{L}C{\bar{\nu }}_L^T)$. The Grassmann variation of a chiral Majorana mass term therefore identifies the mass parameter as $G{v}^2$, with physical mass $|G|v^2$. The dimension-five interaction has a coupling of mass dimension minus one. Under lepton number phase rotation, its two terms acquire factors $e^{\pm 2i\alpha }$, so it violates continuous lepton number by two units. It is an effective extension of the minimal renormalizable Standard Model.

For a vertex $(g/c_W){\gamma }^{\mu }(c_V-c_A{\gamma }^5)$ into one massless color-singlet particle-antiparticle pair, the massive-vector spin average and two-body Lorentz-invariant phase space give $\Gamma =g^2{m}_Z(c_V^2+c_A^2)/(12\pi c_W^2)$. With Standard Model neutral-current vector and axial couplings, one neutrino flavor has ${\Gamma }_{\nu }=g^2{m}_Z/(96\pi c_W^2)$ and one charged-lepton flavor has ${\Gamma }_{\ell }={\Gamma }_{\nu }(1-4s_W^2+8s_W^4)$. Chiral projectors already remove inactive neutrino helicities. These are tree-level massless results.

For simply connected space $SU(5)$ broken to the connected Standard Model subgroup, the exact homotopy sequence gives ${\pi }_2(G/H)\cong {\pi }_1(H)\cong \mathbb{Z}$. Stable magnetic monopoles form. Their gauge and scalar cores have scales $(g\eta {)}^{-1}$ and $(\sqrt{\lambda }\eta {)}^{-1}$; their masses are $M_M\sim 4\pi \eta /g$ times a dimensionless profile factor. The physical subgroup is $(SU(3)\times SU(2)\times U(1))/{\mathbb{Z}}_6$, which retains an infinite-cyclic fundamental group.

// Target: cosmology.bigb

If a neutral-current vertex has prefactor $g/\cos {\theta }_W$ and chiral coefficients $g_L,g_R$, then $g_L{P}_L+g_R{P}_R=c_V-c_A{\gamma }^5$, with $c_V=(g_L+g_R)/2$ and $c_A=(g_L-g_R)/2$. For one Standard Model charged lepton, $(c_V,c_A)=(-1/4+{\sin }^2{\theta }_W,-1/4)$; for an active neutrino, $(c_V,c_A)=(1/4,1/4)$. A prefactor $g/(2\cos {\theta }_W)$ instead requires doubled coefficients. Mixing these conventions creates a factor-of-four error in squared amplitudes.

In normalization $Q=T_3+Y$, one Standard Model generation has left quark and lepton doublet hypercharges $1/6$ and $-1/2$, and right singlet hypercharges $2/3,-1/3,-1$. Including colour multiplicity, ${\mathrm{tr}}_{L}Y=6/6-2/2=0$. On every left doublet $T_3^2=I/4$, and all right fields have $T_3=0$, so the mixed weak-hypercharge gauge anomaly vanishes. The cubic left trace is $6(1/6{)}^3+2(-1/2{)}^3=-2/9$, and the right trace is $3(2/3{)}^3+3(-1/3{)}^3+(-1{)}^3=-2/9$. Their difference is zero, proving generation-by-generation cancellation of these two anomalies.

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.

Use the electroweak hypercharge normalization $Q=T_3+Y$, rather than $Q=T_3+\hat{Y}/2$. In the latter convention all tabulated hypercharges would be doubled. The electroweak representation and hypercharge table for one minimal Standard Model generation isThe 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 $(1,1{)}_0$ and changes none of the anomaly traces.

On each left weak doublet, $T_3=\mathrm{diag}(1/2,-1/2)$. The electric charges are therefore $1/6\pm 1/2=(2/3,-1/3)$ for $Q_L$ and $-1/2\pm 1/2=(0,-1)$ for $L_L$. On each right singlet $T_3=0$, 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 $T_3^2=0$, givingOn the left doublets, $T_3^2=I/4$, while ${\mathrm{tr}}_L{T}_3=0$ separately in each doublet. ConsequentlyThe linear trace isEquivalently, ${\mathrm{tr}}_{L}Q=3(2/3-1/3)+(0-1)=0$. This proves cancellation of the mixed weak-hypercharge gauge anomaly within one generation.

The one-generation hypercharge anomaly traces for the cubic condition areThus 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 SU(5) grand unified theory has simply connected space $G=SU(5)$ and a connected Standard Model subgroup. More precisely that subgroup is $(SU(3)\times SU(2)\times U(1))/{\mathbb{Z}}_6$; the product notation suppresses a finite central quotient. The long exact sequence of homotopy groups of a fibration $H\to G\to G/H$ givesThus stable magnetic monopoles form, whereas this transition does not require walls or strings. The monopole core and mass scales in an SU(5) transition are set by the massive gauge and scalar fields:For order-one couplings, the core size is of order ${\eta }^{-1}$ and the mass is of order $\eta$ up to the often substantial factor $4\pi /g$. These heavy objects are nonrelativistic soon after formation and can survive as stable relics.