Standard Model Assembly and Consistency
This chapter assembles the Standard Model as one quantum field theory with explicitly checkable consistency conditions. It connects the field and parameter map to the faithful gauge-group quotient, perturbative and global anomaly tests, accidental selection rules, coupled running, vacuum criteria, and controlled SMEFT or HEFT deformations. The central discipline is to keep those checks distinct: passing one never substitutes for the others.
Enter this chapter
Section titled “Enter this chapter”You are ready to begin if you can read representations of , use , and distinguish renormalized Lagrangian parameters from measured input observables. The volume’s earlier QCD, electroweak and Higgs, quark-flavor, and neutrino chapters supply the physical sectors.
Those are capability requirements, not a mandated reading order. Within this chapter, the suggested first pass follows the six rows below because each stage consumes a typed output from the preceding one. A reader who already has a convention-complete field table may enter directly at a later row, but must still supply that row’s required background.
| Route, in suggested order | Observable or method output | Readiness test and direct repair |
|---|---|---|
| The Standard Model Lagrangian and Parameter Map | fields, representations, independent parameters, gauge-fixing and input interface | Can you write every renormalizable term and count nineteen minimal-model parameters without double counting? If not, repair here. |
| The Global Form of the Standard Model Gauge Group | common center kernel, candidate quotients, electric and magnetic charge lattices | Can you show that the common center acts trivially and explain what local amplitudes cannot distinguish? If not, repair here. |
| Gauge-Anomaly Cancellation and Quantum Consistency | exact one-generation local sums and the mod-two test | Can you reproduce the , mixed, cubic-, gravitational-, and Witten-parity checks using only left-handed fields? If not, repair here. |
| Accidental Symmetries and Their Violations | classical, anomalous, nonperturbative, and EFT selection-rule classification | Can you distinguish dimension-four conservation from anomaly and dimension-five or dimension-six violation? If not, repair here. |
| Standard Model Running, Effective Potential, and Vacuum-Stability Criteria | matched coupled flow, gauge-aware effective potential, bounded stability criterion | Can you explain why a zero of a running quartic is not by itself a decay or world-status verdict? If not, repair here. |
| SMEFT and HEFT in Standard Model Observables | framework choice, basis and input shifts, truncation, validity mask | Can you carry one deformation through input redefinition and an observable while preserving a basis round trip? If not, repair here. |
One model, several noninterchangeable checks
Section titled “One model, several noninterchangeable checks”At the local level, the renormalizable action is fixed by fields, gauge representations, Lorentz invariance, and canonical dimension Schwartz 2014, §§29.1–29.3, pp. 584–602. Field redefinitions then separate coordinates from physical parameters. The familiar minimal-model count assumes exactly massless neutrinos; changing that assumption changes the parameter map rather than adding an unexplained exception.
At the global level, the same local algebra permits different quotient groups. Their observed local vertices agree, while genuine Wilson–’t Hooft probes and gauge bundles need not. At the quantum level, perturbative anomaly sums and Witten’s mod-two test are additional conditions on the fermion measure. The distinction between local and global gauge data follows the line-operator analysis of Aharony, Seiberg, and Tachikawa 2013, §§1–2.
At the effective level, accidental symmetries are bounded by operator dimension and anomalies. Coupled running is bounded by matching, scheme, gauge, truncation, and cutoff. SMEFT and HEFT are bounded by different symmetry realizations and power countings. These boundaries prevent three common overclaims: calling proton stability exact, calling a finite-order quartic crossing a physical vacuum verdict, and treating a selected quadratic dimension-six term as a complete result.
Informal synthesis check
Section titled “Informal synthesis check”Take one generation of the minimal model and explain, without consulting a parameter-count list, the following chain:
- why the Yukawa monomials are gauge invariant;
- how the common center kernel correlates color triality, weak-center parity, and hypercharge;
- why color is vectorlike and why the number of weak doublets is even;
- which baryon/lepton statements survive dimension four, anomalies, and dimension five or six;
- which data a vacuum or SMEFT prediction must declare before it is interpretable.
A complete answer writes at least one equation at each stage and names the limitation of the conclusion. If a representation phase, anomaly multiplicity, operator dimension, or input shift is missing, use the corresponding repair row above. This is an informal, unscored work-product check rather than a formal assessment.
Purpose-keyed exits
Section titled “Purpose-keyed exits”- For complex-pole, pseudo-observable, fiducial, likelihood, and correlated-fit semantics, continue to Precision Standard Model.
- For adding fields or mediators, apply the anomaly/global-form and EFT checks before entering Consistent Extensions and Portals.
- For operator-basis construction, matching, and generic power counting beyond this model-specific application, return to Renormalization and Effective Field Theory.
- For nonperturbative definitions of the path integral, topological sectors, or lattice tests, use the relevant later nonperturbative treatment rather than treating this assembly chapter as a proof of infrared dynamics.