PMNS Large Mixing Requires A-Sector Flavor Rotation Beyond σ-Matrix
σ-polarity matrices for neutrino and charged-lepton sectors share the same eigenvector basis (structural consequence of the [[a,b,0],[b,c,b],[0,b,a]] shape). Therefore V_ℓ†·V_ν ≈ identity and large PMNS mixing requires A-sector (Weak, π-generator) flavor rotation. sin²θ₂₃ ≈ κ_D²
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.T153
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 5 · Chapter 36
Result summary
σ-polarity matrices for neutrino and charged-lepton sectors share the same eigenvector basis (structural consequence of the [[a,b,0],[b,c,b],[0,b,a]] shape). Therefore V_ℓ†·V_ν ≈ identity and large PMNS mixing requires A-sector (Weak, π-generator) flavor rotation. sin²θ₂₃ ≈ κ_D² = (1−ι_τ)² ≈ 0.434 (PDG 0.45) with A-sector rotation.
Related Results surfaces
- Galaxy Rotation Curves without Dark Matter
- No Dark Matter Particle: Sector Exhaustion Theorem
- neutrino-mass
- Neutrino mass
Reading role
Use as Registry evidence for an existing Results surface.
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: neutrino, rotation
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.