A Higgs branch exists.
The mass problem remains.
Follow three distinct gates: a classical vacuum, the charged modes surviving that vacuum, and the conversion from a holomorphic coupling to a mass. The controls expose the assumptions that separate them.
Release the reverse Higgs arrow
EXACT · CONDITIONAL CLASSICAL GEOMETRYThe full bundle has eight summands with powers (0,0,0,1,1,2,−3,−1). At the ample wall μ(ℒ) = 0, every summand has slope zero.
Paired nonzero branch: classical vacuum exists.
An odd exceptional valuation makes the active spectral polynomial irreducible. The stable active pair and slope-zero spectators give a polystable full bundle.
det(λI − Φ₂) = λ² − s
ordD(s) = 3 + 2 + 2 = 7
Curve orders 3 and 2 contribute five zeros. Pulling back two top forms adds two exceptional Jacobian zeros. A square has even valuation, so s cannot be a square in the function field.
Fixed assumptions and symmetry
S = Bl(P,O)(X₀(143) × 143a1), genus 13, P the rational width-one cusp ∞; ℒ = π*O(P) ⊗ O(−3D), no extra flat twists. A smooth compact projective surface and an ample slope-zero wall are required. Φ is KS-valued, as in the defect-free classical BHV bulk parent. Tanaka’s surface correspondence supplies metric existence. The paired branch leaves U(3) × U(1)⁴; axionic removal of extra Abelian factors and a unique massless photon remain separate gates.
Count what remains light
EXACT · CONDITIONAL MODE COMPLEXThe paired vacuum changes the complex End(V) → KSEnd(V). This panel compares the split background with the fixed nonzero pair of canonical orders 3 and 2; it is independent of the selector in panel 1.
rank(A) = 41 ⇒ dim 𝕳¹ = 237
An exact finite certificate computes the six connection-block ranks for the specified paired representatives. Changing the Higgs sections requires a new calculation.
For any nonzero aligned pair, the six block capacities still give a robust lower bound: at least 160 classes per charge sign survive. Positive kinetic normalization cannot reduce their number.
| Arrow / spectator | Block size | Capacity | Rank |
|---|
A flat ray does not select a scale
INPUT · ELECTROWEAK TOY REDUCTIONDIAGNOSTIC · PLOTFor supplied neutral amplitudes u, d and couplings g₂ = gY = 1, the illustrative quartic is
u = d ⇒ VD = 0 at every scale
Normalize a coupling before calling it a mass
INPUT · POSITIVE DIAGONAL GRAMS AND SCALEDIAGNOSTIC · NORMALIZED EXAMPLEThe known residue minor has rank three. It has not been identified with a three-family low-energy sector. Supply kinetic matrices to see why its rank cannot determine mass ratios.
CX†GXCX = I
Ycan = CLTY₀CE / √GH
M = (κvH/√2)Ycan
The transpose is ordinary: these are holomorphic field-coordinate slots. Physical Dirac masses are the singular values of M. The omitted overall parent coefficient κ and the Higgs scale must also be derived or supplied.
GL diagonal
GE diagonal
Sorted singular values · arbitrary units
Inputs still missing for a mass calculation
| Required data | Status |
|---|---|
| Selected Higgs expectation value | OPEN |
| Selected light-family subspaces | OPEN |
| Full 18 × 44 × 10 Yukawa tensor | Only a slice known |
| Surface harmonic mode metrics | OPEN |
| Parent kinetic / superpotential prefactors | OPEN |
Curve Petersson or older HYM Grams are useful machinery, but cannot be substituted for the charged surface mode matrices of this construction.