Results · Additional Noteworthy Results · Physics
Standalone additional result
Medium confidence
Factor-4 from Non-omega Generator Count
The factor 4 in m_H/m_n = (4 - X)/kappa(omega) equals the number of non-omega generators |{alpha, pi, gamma, eta}| = 4. Three independent structural derivations converge on the same value: (1) Generator count: |{alpha, pi, gamma, eta}| = 4 (most axiomatic; omega = gamma cap eta i
IV.T150
Physics
Book IV
tau-effective
formalized
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: IV.T150
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 3 · Chapter 26
Result summary
| The factor 4 in m_H/m_n = (4 - X)/kappa(omega) equals the number of non-omega generators | {alpha, pi, gamma, eta} | = 4. Three independent structural derivations converge on the same value: (1) Generator count: | {alpha, pi, gamma, eta} | = 4 (most axiomatic; omega = gamma cap eta is excluded). (2) Lemniscate crossing channels: 2 lobes (left/right S^1) times 2 polarities (chi_+ / chi_-) = 4 crossing channel types. (3) Betti numbers: b_1(tau^3) + b_2(tau^3) - b_1(L) = 3 + 3 - 2 = 4, where tau^3 = tau^1 x_f T^2 (Kunneth: b_1 = 1+2 = 3, b_2 = 3 from T^2 fiber) and L = S^1 v S^1 has b_1 = 2. |
Related Results surfaces
- No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.
Reading role
Read as a standalone Registry-backed noteworthy result.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: alpha
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.