feynlag.models

Reusable Standard Model building blocks.

The electroweak scaffold — the SU(2)×U(1) gauge groups, the Higgs doublet with its potential and covariant kinetic term, and the physical-basis rotations (Weinberg angle → Z/γ, then the W± unitary combination) — is identical across every SM-based example in this repository. This module factors it out so a worked model can say what it is about (a seesaw, a vector-like lepton, a Z′) without re-deriving the electroweak boilerplate.

Two levels of API:

• Composable primitives — electroweak_gauge(), higgs_doublet(), weinberg_rotation(), charged_current_rotation() — for models that reuse some of the scaffold but diverge (e.g. a U(1)_X extension whose Weinberg step produces an intermediate Z0 that then mixes with a Z′).

• Bundles — electroweak_scaffold() returns an ElectroweakScaffold (groups + Higgs + parameters), and to_physical_basis() applies the standard two rotations and returns a PhysicalBasis. standard_model() composes everything for the plain EW+leptons case.

This mirrors the precedent set by standard_ckm(): the library ships the standard construction, and non-standard models compose the pieces.

Functions

charged_current_rotation(model, SU2L[, wp, wm])	Register the W¹,W² → W⁺,W⁻ unitary rotation on model.
electroweak_gauge([gw, g1, names])	The electroweak gauge groups and their coupling parameters.
electroweak_scaffold([gw, g1, v, mh, lam, ...])	Build an ElectroweakScaffold at the given parameter point.
higgs_doublet(SU2L, U1Y[, v, mh, lam, ...])	The SM Higgs doublet with its VEV expanded and potential parameters.
higgs_lagrangian(H, lam, mu2)	The Higgs kinetic + potential terms, as {sector: expr}.
standard_model([generations, ...])	The plain SM electroweak + lepton sector, ready to use.
to_physical_basis(model, scaffold[, gm_name])	Apply the standard EW rotations and wire up the Goldstone bookkeeping.
weinberg_rotation(model, SU2L, U1Y[, z, a])	Register the W³,B → Z,γ Weinberg rotation on model.

Classes

ElectroweakScaffold(SU2L, U1Y, gw, g1, H, v, ...)	The SM electroweak scaffold: gauge groups, Higgs, and core parameters.
PhysicalBasis(Z, A, Wp, Wm, h, G0, Gp, Gm, cmap)	The electroweak fields after the standard two rotations.
StandardModel(model, scaffold, physical[, ...])	A fully-built Standard Model and its handles.