Results Glossary Entry Canonical physics The τ-Higgs is the radial breathing mode of the τ-framework's E₁ sector: not a separate "mass-giving field" but the diagonal scalar excitation of the linkage geometry whose vacuum value sets the Yukawa-overlap normalization for every massiv…
Results · Physics Glossary · Particle PG-P10-higgs-boson H Canonical Lean · formalized

τ-Higgs Boson

The τ-Higgs is the radial breathing mode of the τ-framework's E₁ sector: not a separate "mass-giving field" but the diagonal scalar excitation of the linkage geometry whose vacuum value sets the Yukawa-overlap normalization for every massive fermion in the atlas.

Physics Glossary Primary: IV.D04 scalar boson fundamental particle e1 sector breathing mode yukawa normalization

τ-Definition

The τ-Higgs is the radial breathing mode of the τ-framework's E₁ sector: not a separate "mass-giving field" but the diagonal scalar excitation of the linkage geometry whose vacuum value sets the Yukawa-overlap normalization for every massive fermion in the atlas.

Categorical invariant. Scalar breathing mode of the E₁ sector; diagonal excitation of the τ-linkage geometry; Yukawa-overlap normalization mode.

Primary registry anchor: IV.D04

Supporting items: IV.D493, IV.D143, IV.D469

τ-Derivation Chain

  1. IV.D12 — Particle Kind: a particle is a stable defect bundle on the T² fiber
  2. IV.D469 — The Two Electroweak Forces — EM + Weak share a sector structure
  3. IV.D04 — Higgs Sector at E₁ — the radial breathing mode of the linkage geometry
  4. IV.D143 — τ-Yukawa Overlap Integral is normalized by the Higgs vacuum mode
  5. IV.D493 — Higgs Measured Properties — vacuum value, self-coupling, observed mass

Lean modules referenced: TauLib.BookIV.Electroweak.TauHiggs

SI Translation

Numerical value: 2.232e-25 ± 1.4e-27 kg

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. ι_τ ≈ 0.341304
  3. E₁-sector breathing-mode amplitude (IV.D04)
  4. Higgs vacuum value v ≈ 246 GeV (IV.D493)

Manuscript reference: manuscript-sources/book-04/part03/ch26-tau-higgs.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookIV.Electroweak.TauHiggs

Lean kind: theorem

Lean symbol: TauHiggs

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert