Yukawa Coupling

Yukawa Coupling (IV.D142) is the τ-categorical coupling strength between a fermion defect-bundle and the Higgs-sector mode, fixed by the ι_τ-structured generation hierarchy. It is the dimensionless coupling that — in the SM dictionary — ties fermion masses to the Higgs vev; in τ it is a derived ratio in the coupling ledger (IV.D300).

Categorical invariant. Yukawa(B_f) := dimensionless coupling of fermion bundle B_f to Higgs mode, equal to a ι_τ-fixed ratio in the τ-coupling ledger; an E1 invariant.

Primary registry anchor: IV.D142

Supporting items: IV.D11, IV.D300, IV.D141

1. I.K0 — Universe Postulate establishes τ
2. IV.D11 — Physical Quantity Template — dimensional invariants
3. IV.D141 — τ-Higgs Mass — sets the Higgs-sector mass scale
4. IV.D142 — τ-Yukawa Coupling (Ch34) — fermion-to-Higgs dimensionless ratio
5. IV.D300 — Coupling Ledger fixes Yukawa as an entry in the dimensionless ratio table

Lean modules referenced: TauLib.BookIV.Calibration.DimensionlessCouplings, TauLib.BookIV.Calibration.MassRatioFormula

Calibration anchor: PG-P01-neutron

Calibration chain:

1. m_n (anchor)
2. ι_τ-fixed dimensionless ratio in IV.D300
3. Yukawa = m_f / v_Higgs · (numerical factor of √2)

Manuscript reference: manuscript-sources/book-04/part07-higgs-sector/ch34-yukawa.tex

Status: Formalized

Module: TauLib.BookIV.Calibration.MassRatioFormula

Lean kind: def

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-Q01-mass Mass

Referenced by

• PG-Q21-coupling-ledger Coupling Ledger