τ-Z Boson
The τ-Z boson is the neutral weak gauge mode: a massive boundary character of the W (weak) sector whose mass arises from the window-universality theorem and whose mixing with the photon mode is set by the electroweak (Weinberg) mixing angle from EW projection.
τ-Definition
The τ-Z boson is the neutral weak gauge mode: a massive boundary character of the W (weak) sector whose mass arises from the window-universality theorem and whose mixing with the photon mode is set by the electroweak (Weinberg) mixing angle from EW projection.
Categorical invariant. Massive neutral W-sector gauge mode; mixed with the photon mode via EW projection.
Primary registry anchor:
IV.T178
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.D469— The Two Electroweak Forces — W and B sector mixing -
IV.D117— Left-Handed Doublets carry the weak charge structure that Z couples to -
IV.D04— Higgs Sector at E₁ supplies the breathing-mode amplitude that gives Z its mass -
IV.T178— Z Boson Mass from Window Universality at +1039 ppm precision
Lean modules referenced:
TauLib.BookIV.Electroweak.EWMixing,
TauLib.BookIV.Electroweak.WeakHolonomy
SI Translation
Numerical value: 1.6256e-25 ± 2.0e-29 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- ι_τ ≈ 0.341304
- Higgs vacuum value v (IV.D04)
- EW mixing angle (sin²θ_W ≈ 0.231)
- Window-universality relation (IV.T178)
Manuscript reference: manuscript-sources/book-04/part03/ch25-electroweak-mixing.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Electroweak.EWMixing
Lean kind: theorem
Lean symbol: EWMixing
See Also
Related glossary entries
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.