Standard-Model Gauge Commutant: Why External Selectors Do Not Yet Predict Flavor
Date: 16 October 2026 Branches: B03 and B11 Claim status: gauge-theory commutant established; Furey-specific reduction remains pinned
1. One generation
Ignoring a right-handed neutrino, one Standard-Model generation contains five inequivalent complex gauge irreducibles:
Each occurs with multiplicity one. Therefore the commutant of the gauge action is
Gauge symmetry permits an independent scalar action on every species. Adding \(\nu_R\) gives \(\mathbb C^6\).
2. Three generations
With three equivalent copies of each species,
Schur’s lemma gives
Its complex dimension is
or \(54\) with three right-handed neutrinos.
3. Consequence for the external selector
A Standard-Model-singlet external field may couple through any element of this commutant unless more structure forbids it. Gauge symmetry alone therefore allows independent family matrices for each species.
This means that adding the \(Spin(2,3)\) carrier as a gauge singlet does not predict Yukawa textures, family universality or mixing angles.
The Furey programme becomes explanatory only if its additional multiplication, ideal, triality or compatibility operations reduce this commutant.
4. Exact next target
Let \(\mathcal A_F\) be the full algebra of selected Furey actions, including more than the Standard-Model gauge generators. The relevant object is
Three outcomes are possible:
- Scalar commutant: strong universality, potentially too restrictive for observed flavor.
- Structured noncommutative commutant: possible restricted family mixing and a high-value prediction.
- Full species-wise family algebra: no flavor prediction beyond the Standard Model.
This turns “Furey may constrain Yukawas” into a finite linear-algebra problem once the action table is encoded.
5. Stop-everything and falsification criteria
Positive: the Furey commutant is strictly smaller than \(\bigoplus_rM_3(\mathbb C)\) and its invariant intertwiners match a nontrivial observed mass or mixing relation.
Negative: the full Furey action leaves the same arbitrary family matrices, or a smaller commutant incompatible with observed nondegenerate masses and mixing.
6. Certificate
0 records the multiplicity decomposition and verifies dimensions \(5\), \(45\), and \(54\) with optional \(\nu_R\).
Branch state
The gauge-only baseline is complete. The Furey-specific commutant remains pinned on the canonical module table, but its success and failure conditions are now quantitative.