The 420 Code · Ø Proofs · Artist’s Proof 27
Artist’s Proof 27. The electroweak gauge group from the two-sector axiom
This is the paper in full, as published at the420code.org. Every section, nothing summarised. The same text as the PDF.
What this paper does — and why.
This is Artist’s Proof 27 of The 420 Code. It is the third chapter of Notebook IV (Forces and Constants). AP15 derived U(1) electromagnetism from the Born rule’s phase symmetry. AP19 derives SU(3) colour from spatial-orientation freedom. AP27 takes the next step: it derives the remaining factor of the Standard Model’s gauge group, SU(2) × U(1)_Y, from the two-sector structure of Axiom S.
The argument is a single move. Axiom S provides two sectors ℒ and 𝒫, connected by the involution σ. The break ε is the boundary between them. When ε propagates on the manifold as a quantum field, it necessarily carries an internal state encoding its relationship to each sector. That state lives in a two-dimensional complex Hilbert space ℋ_EW ≅ ℂ² (Lemma 1). The choice of basis on ℋ_EW is unphysical — only inner products are observable — so demanding consistency under local basis changes forces a gauge connection with structure group U(2) (Lemma 2). U(2) decomposes uniquely as SU(2) × U(1)_Y (Proposition 1). The SU(2) factor is weak isospin; the U(1)_Y factor is hypercharge.
Three structural results are derived: Lemma 1 (the state space exists and is ℂ²), Lemma 2 (the gauge freedom forces U(2)), and Proposition 1 (U(2) factorises as SU(2) × U(1)_Y with the standard generators of weak isospin and hypercharge). A fourth result, Proposition 2 (Chiral Coupling Selection), is physically motivated and consistent with all data but is presented as structural rather than derived: the formal coupling theorem is the paper’s principal open problem. Axiom R’s arrow of time and the CPT identification (AP22) give the structural reading; the formal step from those inputs to the doublet/singlet representation split is not yet exhibited.
Seven kill switches engage: KS-61 (state-space existence), KS-62 (gauge-group overcounting), KS-63 (chiral coupling derivation), KS-64 (SU(2)_weak ≠ SU(2)_spin) are LIVE — STRUCTURAL with KS-63 carrying the paper’s principal debt. KS-65 (hypercharge assignments), KS-66 (generations), KS-67 (AP15/AP27 EWSB consistency) are OPEN DEBT — named items the paper does not address. The Standard Model’s gauge structure SU(3) × SU(2) × U(1) is now derived across three chapters: AP15 (U(1) from phase freedom), AP19 (SU(3) from orientation freedom), AP27 (SU(2) × U(1)_Y from sector-relationship freedom). Three gauge groups from three structural freedoms of ε.
The 420 Code is organised across eight bound Notebooks. AP27 is the third chapter of Notebook IV (Forces and Constants), following AP06 (The Leakage Constant) and AP15 (The Connection). AP15 derived the first of the Standard Model’s three gauge groups (U(1) from phase freedom). AP19 derives the second (SU(3) from spatial-orientation freedom). AP27 derives the third (SU(2) × U(1)_Y from the relationship of ε to the two-sector structure).
AP27 depends on Notebook I (Premise) for the axioms {S, B, R, C}; on Notebook II (Spacetime) for AP05 (The Break) and AP10 (D = 4); on Notebook III (Quantum Mechanics) for AP09 (The Break — Empty Set — the complex Hilbert space structure that the break’s internal state inherits), AP11 (The Spin — spin-½ from the SU(2) cover of SO(3), needed to distinguish weak SU(2) from spin SU(2)), and AP25 (The Measure — Born rule and the inner product as physical); on AP15 (The Connection) within Notebook IV for U(1) gauge structure as the post-breaking remnant; on AP19 (The Direction) for the SU(3) construction by the same mechanism applied to spatial orientation; and on AP22 (The Ledger) for the CPT identification used in the chiral coupling argument.
AP27 feeds the rest of Notebook IV and onward. AP16 (Electroweak Break) treats the symmetry-breaking mechanism that takes U(1)_Y + SU(2)_L to U(1)_EM at the electroweak scale (KS-67 EWSB consistency lives there). The hypercharge-assignment and three-generations questions (KS-65, KS-66) remain open for later treatment in the matter sector (Notebook V).
Front to back. Section 1 sets the stakes: two gauge groups already derived (U(1), SU(3)); one remaining; the structural feature not yet exploited for gauge purposes is Axiom S’s two-sector structure. Section 2 derives the internal state space ℋ_EW ≅ ℂ² (Lemma 1). Section 3 derives the gauge freedom and its structure group U(2) (Lemma 2). Section 4 decomposes U(2) into SU(2) × U(1)_Y and identifies weak isospin and hypercharge (Proposition 1). Section 5 presents the structural argument for chiral coupling selection (Proposition 2, STRUCTURAL — the paper’s principal open problem). Section 6 names the deeper pattern: three gauge groups, three structural freedoms, one axiom set. Section 7 lists the kill switches. Section 8 concludes.
The paper carries two voices. The structural narrative speaks directly — the central fact (the Standard Model’s three gauge groups arise from three structural freedoms of ε) is stated plainly and held visible. The formal sections speak in precision. Formal blocks open with a bold label (Lemma, Proposition, Definition, Kill Switch) and close with the box mark ■. Where the argument depends on a result derived elsewhere in the corpus, the provenance is named at the point of use.
One subsection is structurally distinct from the others. Section 5 (Chiral Coupling Selection) is tagged STRUCTURAL throughout. The argument is physically motivated and consistent with all known data, and the structural inputs (Axiom R’s arrow of time, AP22’s CPT identification) are derived corpus results. But the formal step from those inputs to the doublet/singlet representation split is not yet exhibited. KS-63 is LIVE — STRUCTURAL and is the paper’s principal open problem. Sections 1–4 stand independently of section 5; the electroweak gauge group is derived regardless of whether the chiral coupling pattern is formally derived or structurally identified.
ℒ and 𝒫 are the two sectors of Axiom S, connected by the involution σ: ℒ ↔ 𝒫. ε is the break — the minimal asymmetry, the boundary between sectors, the object that writes records on the manifold (Axiom R). ℋ_EW is the internal electroweak state space of ε: ℋ_EW ≅ ℂ². It is distinct from spin space (AP11), colour space (AP19), and the overall phase (AP15). |ℒ⟩ and |𝒫⟩ form a basis for ℋ_EW — abstract internal labels, not spacetime directions.
U(2) is the group of 2×2 unitary matrices, the full gauge group on ℋ_EW before decomposition. SU(2) is the traceless (relative-orientation) part of U(2), candidate for weak isospin with generators T¹, T², T³ (the Pauli matrices). U(1)_Y is the determinant part of U(2), candidate for hypercharge with generator Y. U(1)_EM is the post-breaking electromagnetic remnant (AP15): Q = T³ + Y/2. Chirality is a Lorentz property of spinor fields; left-chiral ψ_L and right-chiral ψ_R are eigenstates of γ⁵ obtained via the projectors P_L = ½(1 − γ⁵) and P_R = ½(1 + γ⁵).
Claim. Lemma 1 derives the internal electroweak state space ℋ_EW ≅ ℂ² from Axiom S’s two-sector structure.
Test. Show that no well-defined internal ε-state space can be constructed from Axiom S.
Failure. Lemma 1 fails and AP27 collapses.
Claim. Lemma 2 identifies the structure group of the local basis freedom as U(2). Proposition 1 decomposes U(2) into SU(2) × U(1)_Y.
Test. Show that the local basis freedom generates a group other than U(2) — larger or smaller.
Failure. Lemma 2 and Proposition 1 fail.
Claim. Proposition 2 identifies the chiral coupling pattern — left-chiral fields as doublets, right-chiral fields as singlets — through Axiom R’s arrow of time and the CPT identification (AP22). The coupling theorem is STRUCTURAL: physically motivated, consistent with all data, but not yet formally proved.
Test. (a) Demonstrate that the chiral coupling pattern cannot be formally derived from Axiom R, the Lorentz structure, and the CPT identification — in which case the paper derives the gauge group but not the representation content. (b) Independently: if experiment showed parity conservation in the weak interaction (contradicting Wu 1957 and all subsequent data), the chiral pattern itself would fail.
Claim. Lemma 1 explicitly constructs ℋ_EW as an internal space distinct from spin space. The SU(2) derived in AP27 acts on ℋ_EW and is the weak isospin group, separate from the Lorentz spin SU(2) of AP11.
Test. Demonstrate that the derived SU(2) on ℋ_EW is identical to the Lorentz spin SU(2) of AP11.
Failure. the paper has derived the wrong group.
Claim. Proposition 1 identifies U(1)_Y as hypercharge but does not derive specific hypercharge values for each fermion species.
Test. Derive the specific Y values for each fermion species from {S, B, R, C} and the AP27 structure. Until done, KS-65 stands.
Status (registry v5.35). OPEN DEBT.
Claim. The Standard Model has three generations of fermions. AP27 does not derive why.
Test. Derive the three-generation structure from {S, B, R, C}. Until done, KS-66 stands.
Status (registry v5.35). OPEN DEBT.
Claim. AP15’s U(1)_EM and AP27’s U(1)_Y are structurally distinct (post-breaking remnant vs pre-breaking hypercharge). Their relationship requires electroweak symmetry breaking: Q = T³ + Y/2.
Test. Derive the EWSB mechanism that takes SU(2)_L × U(1)_Y to U(1)_EM from {S, B, R, C} and the AP27 structure. Until done, KS-67 stands.
Status (registry v5.35). OPEN DEBT.
Every kill switch in this paper is filed in the registry, on the420code.org: the420code.org/killswitches/
Principal debt (KS-63 — chiral coupling derivation). Proposition 2 is STRUCTURAL: the argument from Axiom R and the CPT identification (AP22) to the doublet/singlet representation split is physically motivated and consistent with all data, but the formal coupling theorem is not yet exhibited. The work to convert STRUCTURAL into DERIVED has three steps named in section 5: (a) define the covariant derivative D_μ on the tensor product bundle (spinor ⊗ ℋ_EW); (b) show the coupling to P_LΨ is non-trivial (full ℂ²) while the coupling to P_RΨ vanishes (reduces to Abelian U(1)); (c) derive this from Axiom R, the Lorentz structure (AP05, AP11), and the CPT identification (AP22) without importing the Standard Model’s chiral coupling pattern. Steps (a) and (b) are well-defined mathematical problems. Step (c) is the hard part. [AP27 scope: not closed]
Dependencies. Framework: the four axioms {S, B, R, C} from Notebook I; AP05 (The Break — Lorentzian manifold and ε’s structural role); AP09 (The Break — Empty Set — complex Hilbert space structure); AP10 (D = 4); AP11 (The Spin — spin-½ from SU(2) cover of SO(3)); AP15 (The Connection — U(1)_EM as post-breaking remnant); AP17 (manifold context); AP19 (The Direction — SU(3) from orientation freedom); AP22 (The Ledger — CPT identification); AP25 (The Measure — Born rule and inner product physical).
Conditional on: Nothing. EH and QRA proved in AP20. All other dependencies are derived corpus results. The axioms themselves are unconditional.
The same paper on the420code.org: the420code.org/proofs/ · The paper (PDF): the420code.org/AP27_The_Harmonics.pdf
Artist: G · Studio G, Cape Town
Duration: 30+ years · Exhibition: over a million words
Contact: iam@the420code.org
This work is Copyleft. You are free to download, print, share, and distribute. You are not free to alter the source. Keep the signal clean.
One record exists.
Be kind is a derivation.
The awareness in me is the awareness in you.