The Standard Model Lagrangian and Parameter Map
The minimal Standard Model is the most general local, Lorentz-invariant, power-counting-renormalizable theory built from its gauge fields, one Higgs doublet, and three repeated chiral matter families with no right-handed neutrinos. Its dimension-four monomials conserve baryon and lepton number classically as an accidental consequence of the field content and gauge symmetry, not as an additional defining gauge principle. Writing the theory as one object exposes missing interactions, duplicated inputs, and convention mismatches that are easy to hide when QCD, electroweak, Higgs, and flavor sectors are treated separately.
Required background. Use the field and coupling conventions of QCD in its perturbative domain and the construction of fermion masses from Yukawa couplings.
Helpful background. CKM mixing supplies the quark-flavor parameter count after the Yukawa matrices are diagonalized.
The checks that begin with the field and parameter map are summarized visually below. Read each arrow as “requires a declared interface,” not as “the upstream box proves the downstream conclusion.”
The Standard Model closes only when representation, global-form, anomaly, parameter, running, observable, and EFT checks agree. The diagram is schematic and carries no current numerical inputs.
Fields and faithful local action
Section titled “Fields and faithful local action”For one family, the chiral fermions and Higgs transform under the Lie algebra as follows. The last column rewrites every fermion as a left-handed Weyl field, which is the convenient form for anomaly sums.
| Physical field | Left-handed anomaly field | |
|---|---|---|
| with the same representation | ||
| with the same representation | ||
| complex scalar; no chiral anomaly |
The charge convention is and . With family indices suppressed, the gauge-invariant action can be organized without ambiguity as
where
Each representation in the table makes every displayed monomial neutral. For example, . This one-line check detects the common error of using rather than in the up-type term. The sector decomposition and representations agree with the explicit Standard Model constructions in Schwartz 2014, §§29.1–29.3, pp. 584–602 and Weinberg 1996, ch. 21.
is required to define perturbation theory but is not a new physical sector. Its parameters must disappear from pole positions and on-shell or fiducial observables after a consistent finite-order calculation. Likewise, the topological term is a total derivative in perturbation theory but its coefficient is a genuine nonperturbative parameter once the global and boundary conditions admit nontrivial sectors Schwartz 2014, §30.5.2, pp. 636–637.
From matrices to independent parameters
Section titled “From matrices to independent parameters”Before field redefinitions, the three complex Yukawa matrices contain many redundant coordinates. With no neutrino-mass operator, unitary flavor rotations reduce them to nine charged-fermion masses, three CKM angles, and one CKM phase. A useful map is:
| Sector | Convenient renormalized coordinates | Independent physical content in the minimal model | Typical dependent outputs |
|---|---|---|---|
| Gauge | in a stated scheme and at a stated scale | three gauge couplings | , , running masses and vertices |
| Higgs potential | before symmetry breaking | two scalar-sector parameters | , the Higgs pole mass after radiative matching |
| Quark Yukawa | modulo flavor rotations | six masses, three angles, one CP phase | CKM elements and Yukawa eigenvalues |
| Charged-lepton Yukawa | modulo flavor rotations | three masses | charged-lepton Yukawa eigenvalues |
| Strong topology | together with Yukawa phases | one invariant | CP-odd hadronic observables |
Thus the minimal renormalizable model with exactly massless neutrinos has nineteen independent continuous parameters: three gauge couplings, two Higgs-potential parameters, nine charged-fermion masses, four CKM parameters, and . This is the sum of the independent entries in the preceding table; the flavor reduction and invariant strong phase are treated in Schwartz 2014, §§29.1–29.3 and 30.5.2, pp. 584–602 and 636–637. This count is a statement about a particular field content and quotient by allowed field redefinitions—not about which measured quantities are used as inputs. Adding neutrino masses, right-handed neutrinos, or higher-dimensional operators changes the count and must be declared rather than silently folded into “the Standard Model.”
An electroweak input scheme trades coordinates, for example for three precisely defined observables. Such a trade is invertible only at a fixed perturbative order and with mass, tadpole, width, and subtraction prescriptions stated. The electroweak input-scheme page develops that translation; the invariant check is that a physical observable agrees after converting all inputs and counterterms to the same order.
A term-by-term assembly test
Section titled “A term-by-term assembly test”Given a proposed Standard Model Lagrangian, the following sequence finds most structural errors before any long calculation.
- Representations: apply to every component and verify that color and weak multiplicities are explicit.
- Gauge invariance: sum hypercharges and contract every and index in each interaction.
- Hermiticity: include the conjugate of every non-Hermitian Yukawa term and use real coefficients for Hermitian operators.
- Power counting: in four dimensions, retain operators of canonical dimension at most four for the renormalizable action.
- Redundancies: quotient by unitary field redefinitions before counting phases and mixing angles.
- Quantum consistency: run the local and global anomaly checks; classical gauge invariance alone is insufficient Weinberg 1996, ch. 22.
- Input semantics: label the renormalization scheme, scale, threshold content, mass definition, and electroweak input set.
As a representative round trip, diagonalize
Returning to the original weak basis by the inverse rotations reconstructs both matrices, while masses and rephasing-invariant combinations such as the Jarlskog invariant remain unchanged. Failure of that round trip means a phase, rotation, or normalization has been double counted.
What this action does not settle
Section titled “What this action does not settle”The local Lagrangian does not by itself select a unique global quotient of , prove anomaly cancellation, decide the ultraviolet fate of the Higgs potential, or justify a particular EFT truncation. Those are distinct questions because they probe, respectively, genuine line and bundle data, the quantum measure, scale evolution and tunneling, and a declared expansion beyond dimension four.
The typed output of this page is
Feed it next into the global-form test, the anomaly sums, or the SMEFT/HEFT observable map, depending on whether the question concerns faithful gauge action, quantum consistency, or controlled deformations.