Weak Interaction from Quaternionic Structure

provisional

Overview

This derivation addresses the question: why does the weak nuclear force exist, and why does it only affect left-handed particles?

Electromagnetism arises from a single phase channel — one direction in which an observer’s internal clock can wind. But we live in three spatial dimensions, which means observers must maintain coherence along three independent axes simultaneously. This changes everything.

The argument. The derivation builds on a century-old mathematical result:

• Three spatial dimensions mean three independent phase channels — one per axis of rotation.
• These channels cannot operate independently, because rotations in three dimensions do not commute (rotating around one axis then another gives a different result than the reverse order).
• This non-commutativity forces the phase algebra to be the quaternions — a four-dimensional number system discovered in 1843 that extends the complex numbers. Hurwitz’s theorem (1898) proves the quaternions are the unique algebra with these properties.
• The symmetry group of the unit quaternions is SU(2), which is precisely the gauge group of the weak interaction. The same localization argument that produces electromagnetism then yields the weak gauge field and its Yang-Mills equations.
• The quaternionic structure also connects to spin: SU(2) is the double cover of the rotation group SO(3), unifying the weak force and spinor physics at their algebraic root.

The result. The weak SU(2) gauge symmetry, its three gauge bosons, their self-interaction, and the Yang-Mills field equations all follow from the requirement of three-dimensional phase coherence. The framework also provides the structural basis for chirality (why the weak force distinguishes handedness) through the two winding classes of the rotation group.

Why this matters. The weak force is not an arbitrary addition to physics but an algebraic necessity of living in three spatial dimensions. The same Hurwitz theorem that selects quaternions here also constrains the entire gauge hierarchy, placing a ceiling on how many forces can exist.

An honest caveat. This derivation establishes the gauge structure but not the symmetry breaking that gives W and Z bosons their masses (addressed downstream in Electroweak Breaking) or the value of the Weinberg angle (addressed in Weinberg Angle via the $\mathbb{C} \subset \mathbb{H}$ algebraic embedding). The weak coupling constant $g_W$ remains a free parameter at this stage, with the same status as $e$ in electromagnetism.

Note on status. This derivation is provisional because its central claims depend on speed-of-light S1 (pseudo-Riemannian structure) (see Speed of Light). If those postulates are promoted to theorems, this derivation would be upgraded to rigorous.

Statement

Theorem. In three spatial dimensions, the requirement that observers maintain phase coherence simultaneously along three orthogonal axes forces the phase algebra to be quaternionic ($\mathbb{H}$). The group of unit quaternions is $SU(2)$, which by the same localization argument as Electromagnetism (Theorem 2.1) introduces a local $SU(2)$ gauge connection $W^a_\mu$ ($a = 1, 2, 3$). The curvature of this connection is the weak field strength $W^a_{\mu\nu}$, and the field equations are the Yang-Mills equations — uniquely determined by Lorentz covariance, gauge invariance, and second-order locality. The $\mathbb{Z}_2$ winding classes from Spin and Statistics provide a topological distinction between left- and right-handed spinors, giving the structural basis for chiral coupling.

Structural Postulates

Structural Postulate S1 (Algebraic completeness of phase structure). The observer’s phase algebra $\mathcal{A}$ forms a normed division algebra over $\mathbb{R}$: for all $a, b \in \mathcal{A}$, $|ab| = |a| \cdot |b|$ (the norm is multiplicative). Combined with the requirement of three independent imaginary units (one per spatial axis), this selects $\mathcal{A} = \mathbb{H}$.

Now a theorem. This postulate has been derived from the three axioms in Bootstrap → Division Algebras (Theorem 2.3): the bootstrap mechanism forces Cayley-Dickson doubling at each hierarchy level because coherence conservation requires norm-preserving composition. At the second bootstrap level (triple interactions in $d=3$), this uniquely produces $\mathbb{H}$.

Remark. This postulate packages three physical requirements: (i) phase composition is bilinear (linearity of quantum mechanics), (ii) phase composition preserves coherence (the norm condition, from Axiom 1), and (iii) every non-zero phase has an inverse (dynamics are reversible). These three conditions define a normed division algebra. The postulate’s content is that the phase algebra respects these properties — it is the gauge-theory analog of S1 in Electromagnetism (locality of phase comparison), now applied to a richer algebraic structure.

Structural Postulate S2 (Minimal non-abelian gauge dynamics). Now a theorem (Coherence Lagrangian, Theorem 6.0). The gauge field equations involve at most second derivatives of $W^a_\mu$, derived from Axiom 3 via Ostrogradsky’s instability theorem.

Remark. Promoted by the same unified argument as S2 of Electromagnetism and S1 of Einstein Field Equations.

Derivation

Step 1: Three Orthogonal Phase Channels

Definition 1.1. In $d = 3$ spatial dimensions, an observer $\mathcal{O}$ at point $x$ has three orthogonal spatial axes $\hat{e}_1, \hat{e}_2, \hat{e}_3$. Along each axis $\hat{e}_a$, the observer maintains a $U(1)$ phase cycle $\theta_a(x)$ (from Loop Closure, Corollary 4.3, applied to the spatial component along axis $a$). These are the phase channels: the three independent directions in which the observer’s coherence loop can wind.

Proposition 1.2 (Three independent phase channels). In $d = 3$, an observer requires exactly three independent phase channels.

Proof. By Three Spatial Dimensions (Proposition 3.1), $\pi_1(SO(3)) = \mathbb{Z}_2$, and $\dim SO(3) = 3$. The Lie algebra $\mathfrak{so}(3)$ has dimension 3, corresponding to rotations about three independent axes. Each axis defines a $U(1) \subset SO(3)$ subgroup — a phase channel. Since $\dim \mathfrak{so}(3) = 3$, there are exactly three independent generators and hence three independent phase channels. $\square$

Remark. In $d = 2$, there is only one rotation axis, giving one phase channel ($U(1)$ alone — hence only electromagnetism). In $d \geq 4$, $\dim SO(d) = d(d-1)/2 > 3$, and the phase algebra would need more structure. The match between $d = 3$ and the quaternionic structure ($\dim \mathbb{H} = 4 = 1 + 3$, with 3 imaginary units) is not coincidence but follows from $\mathfrak{su}(2) \cong \mathfrak{so}(3)$.

Step 2: Why Quaternions, Not Three Copies of U(1)

Theorem 2.1 (Quaternionic closure is forced). The three phase channels cannot be independent copies of $U(1)$. Their closure under coherence-preserving composition is the quaternion algebra $\mathbb{H}$.

Proof. Consider two observers $\mathcal{O}_A$ and $\mathcal{O}_B$ whose relative orientation involves rotations about two different axes — say $\hat{e}_1$ and $\hat{e}_2$. The relational invariant between them involves the composition of phases from both channels: $\mathcal{O}_A$ transports its phase to $\mathcal{O}_B$ via a path that rotates about $\hat{e}_1$, then about $\hat{e}_2$.

If the channels were independent ($U(1)^3$), this composition would commute: rotating by $\alpha$ about $\hat{e}_1$ then $\beta$ about $\hat{e}_2$ would equal rotating by $\beta$ about $\hat{e}_2$ then $\alpha$ about $\hat{e}_1$. But rotations in $SO(3)$ do not commute for distinct axes — this is the non-abelian structure of the rotation group.

Formally: the three generators $T_a$ of the phase channels must satisfy the same commutation relations as $\mathfrak{so}(3)$:

$[T_a, T_b] = \varepsilon_{abc} T_c$

This is the Lie algebra of $SU(2) \cong$ unit quaternions.

Now apply Structural Postulate S1: the phase algebra must form a normed division algebra with three independent imaginary units. By Hurwitz’s theorem (1898), the only normed division algebras over $\mathbb{R}$ are $\mathbb{R}$ (dim 1), $\mathbb{C}$ (dim 2), $\mathbb{H}$ (dim 4), and $\mathbb{O}$ (dim 8). An algebra with exactly 3 imaginary units has dimension 4, selecting $\mathbb{H}$ uniquely.

The quaternion algebra $\mathbb{H}$ has basis $\{1, I, J, K\}$ with: $I^2 = J^2 = K^2 = IJK = -1$ $IJ = K, \quad JK = I, \quad KI = J$

These relations reproduce the $\mathfrak{su}(2)$ commutation relations under the identification $T_a = -\frac{i}{2}\sigma_a$ (Pauli matrices), confirming that the forced algebra is indeed $SU(2)$. $\square$

Corollary 2.2 (Division algebra hierarchy). The gauge groups arising from the Cayley-Dickson construction of normed division algebras are:

The tower terminates at $\mathbb{O}$ by Hurwitz’s theorem.

Step 3: The SU(2) Gauge Connection

Definition 3.1 (Non-abelian connection). The $SU(2)$ gauge connection is a Lie-algebra-valued 1-form:

$W_\mu = W^a_\mu T_a = W^a_\mu \frac{\sigma_a}{2i}$

where $\sigma_a$ are the Pauli matrices and $T_a = \sigma_a / 2i$ are the $\mathfrak{su}(2)$ generators.

Proposition 3.2 (Local quaternionic phase independence). The same localization argument that establishes the local $U(1)$ gauge symmetry in Electromagnetism (Theorem 2.1) extends to $SU(2)$: the quaternionic phase convention at each spacetime point is independent, yielding a local $SU(2)$ gauge redundancy.

Proof. The argument is identical in structure to the $U(1)$ case, inheriting all three steps of the rigorous proof in Electromagnetism (Theorem 2.1):

1. Phase redundancy: By Relational Invariants (R1), physical observables depend on relative quaternionic phases, not absolute ones. The relational invariant $I_{12}$ between two observers is invariant under the diagonal $SU(2)$ action $(\psi_1, \psi_2) \mapsto (g\psi_1, g\psi_2)$ for constant $g \in SU(2)$. This is the non-abelian generalization of Electromagnetism Proposition 1.2.

2. Spacelike independence: By Speed of Light (Proposition 4.2), finite signal propagation prevents global coordination of quaternionic phase conventions. For spacelike-separated observers, no phase information propagates between them, so each must choose independently. For general separations, the phase convention at $x$ is unconstrained by conventions outside its past light cone. This is the same causal argument as Electromagnetism Theorem 2.1, Parts 1–2.

3. Local gauge freedom: Therefore the local quaternionic phase is a gauge degree of freedom:

$\psi(x) \to g(x) \, \psi(x), \quad g(x) \in SU(2)$

for arbitrary smooth $g: \mathcal{M} \to SU(2)$. The smoothness of $g$ follows from the smoothness of the coherence geometry (Action and Planck’s Constant, S1). $\square$

Proposition 3.2a (Gauge-invariant observable algebra). The algebra of physically observable quantities for a network of $SU(2)$-phase observers is generated by:

(a) Non-abelian holonomies (Wilson loops): $W(\gamma) = \text{tr}\,\mathcal{P}\exp\!\bigl(-ig_W\oint_\gamma W^a_\mu T_a \, dx^\mu\bigr)$ for closed curves $\gamma$, where $\mathcal{P}$ denotes path-ordering

(b) Local relational invariants: $I_{12}(\sigma_1, \sigma_2)$ satisfying (R1) of Relational Invariants

All such observables are invariant under $\psi(x) \to g(x)\psi(x)$ for arbitrary smooth $g: \mathcal{M} \to SU(2)$.

Proof. Wilson loop traces are gauge-invariant because $\text{tr}(g \cdot \mathcal{P}\exp(\cdots) \cdot g^{-1}) = \text{tr}(\mathcal{P}\exp(\cdots))$ by the cyclic property of the trace. Relational invariants are gauge-invariant by the non-abelian version of Proposition 1.2 (they depend only on gauge-invariant combinations of quaternionic phases). Together, these generate all gauge-invariant observables — the non-abelian generalization of the Giles reconstruction theorem Giles, 1981. The trace is necessary (unlike the $U(1)$ case) because the non-abelian holonomy transforms by conjugation. $\square$

Proposition 3.2b (Uniqueness of the non-abelian gauge implementation). The principal $SU(2)$ bundle with connection (S1) is the unique smooth differential-geometric structure that simultaneously:

(a) assigns an independent $SU(2)$ phase to each $x \in \mathcal{M}$ (local gauge freedom)

(b) provides smooth parallel transport for quaternionic phase comparison along paths

(c) reduces to the global $SU(2)$ action $\psi \to g\psi$ for constant $g$

Proof. By the Kobayashi-Nomizu classification theorem for connections on principal fiber bundles (same result cited in Electromagnetism, Proposition 2.3): a smooth assignment of structure-group elements to paths satisfying (a)–(c) is equivalent to a connection 1-form on a principal $G$-bundle with $G = SU(2)$. $\square$

Remark (Logical structure). The pattern exactly mirrors the electromagnetism derivation: Proposition 3.2 provides the physical motivation (relational physics + finite $c$ make local gauge redundancy inevitable), Proposition 3.2a shows the observable algebra is gauge-invariant by construction, and Proposition 3.2b shows that S1 is the uniquely forced mathematical implementation. The structural postulate S1 is not an arbitrary choice but the unique differential-geometric realization of Theorem 2.1’s algebraic conclusion.

Proposition 3.3 (Covariant derivative). The covariant derivative that compensates for the local $SU(2)$ gauge transformation is:

$D_\mu = \partial_\mu - ig_W W_\mu = \partial_\mu - ig_W W^a_\mu T_a$

where $g_W$ is the weak coupling constant.

Proposition 3.4 (Gauge transformation law). Under $\psi \to g\psi$, the connection transforms as:

$W_\mu \to g W_\mu g^{-1} + \frac{i}{g_W} g \, \partial_\mu g^{-1}$

This is the standard non-abelian gauge transformation.

Proof. Requiring $D_\mu(g\psi) = g(D_\mu\psi)$ gives:

$(\partial_\mu g)\psi + g\partial_\mu\psi - ig_W W'_\mu g\psi = g\partial_\mu\psi - ig_W g W_\mu\psi$

Solving: $W'_\mu = g W_\mu g^{-1} + \frac{i}{g_W}(\partial_\mu g)g^{-1} = g W_\mu g^{-1} + \frac{i}{g_W} g\partial_\mu g^{-1}$. $\square$

Step 4: The Weak Field Strength

Definition 4.1. The weak field strength tensor is:

$W^a_{\mu\nu} = \partial_\mu W^a_\nu - \partial_\nu W^a_\mu + g_W \varepsilon^{abc} W^b_\mu W^c_\nu$

Equivalently, in matrix form:

$\mathbf{W}_{\mu\nu} = \partial_\mu \mathbf{W}_\nu - \partial_\nu \mathbf{W}_\mu - ig_W [\mathbf{W}_\mu, \mathbf{W}_\nu]$

Proposition 4.2 (Gauge covariance). $\mathbf{W}_{\mu\nu}$ transforms covariantly: $\mathbf{W}_{\mu\nu} \to g \, \mathbf{W}_{\mu\nu} \, g^{-1}$.

Proof. Direct computation from Definition 4.1 and Proposition 3.4. The non-abelian structure contributes the $[W_\mu, W_\nu]$ term, which transforms correctly because the commutator is equivariant under conjugation. $\square$

Remark (Contrast with electromagnetism). The key difference from the $U(1)$ case: $F_{\mu\nu}$ is gauge-invariant, but $W^a_{\mu\nu}$ is only gauge-covariant (it transforms by conjugation). This is because $SU(2)$ is non-abelian — the field strength carries a gauge index. Physical observables must be traces: $\text{tr}(\mathbf{W}_{\mu\nu}\mathbf{W}^{\mu\nu})$ is gauge-invariant.

Proposition 4.3 (Self-interaction). The non-abelian field strength contains self-interaction terms:

$W^a_{\mu\nu} = \underbrace{(\partial_\mu W^a_\nu - \partial_\nu W^a_\mu)}_{\text{abelian part}} + \underbrace{g_W \varepsilon^{abc} W^b_\mu W^c_\nu}_{\text{self-coupling}}$

This means the weak gauge bosons carry weak charge and interact with each other — unlike photons, which are electrically neutral. This is a direct consequence of the non-commutativity of $\mathbb{H}$: the quaternionic product $IJ = K \neq JI = -K$ generates cross-terms.

Step 5: Yang-Mills Equations by Uniqueness

Theorem 5.1 (Yang-Mills equations). The unique field equations for the $SU(2)$ gauge field satisfying Lorentz covariance, gauge covariance, and at most first derivatives of $W^a_{\mu\nu}$ (Structural Postulate S2) are the Yang-Mills equations:

$D_\mu W^{a\mu\nu} = g_W J^{a\nu}$

where $D_\mu W^{a\mu\nu} = \partial_\mu W^{a\mu\nu} + g_W \varepsilon^{abc} W^b_\mu W^{c\mu\nu}$ is the gauge-covariant divergence and $J^{a\nu}$ is the weak isospin current.

Proof. The argument parallels Electromagnetism (Theorem 6.1):

1. Building blocks: $W^a_{\mu\nu}$ (covariant tensor), $g_{\mu\nu}$ (metric), $J^{a\nu}$ (source current), $D_\mu$ (covariant derivative), $\varepsilon_{\mu\nu\rho\sigma}$ (Levi-Civita).

2. Lorentz + gauge vector: We need an equation $\mathcal{E}^{a\nu} = 0$ that transforms as a Lorentz vector with an adjoint gauge index. The unique object with one derivative of $W^a_{\mu\nu}$ is the covariant divergence $D_\mu W^{a\mu\nu}$.

3. Bianchi identity: $D_{[\mu} W^a_{\nu\rho]} = 0$ (the non-abelian Bianchi identity), analogous to $\partial_{[\mu}F_{\nu\rho]} = 0$ in electromagnetism.

4. Consistency: The covariant divergence of the source satisfies $D_\nu J^{a\nu} = 0$ (covariantly conserved weak isospin current), guaranteed by the Bianchi identity and the antisymmetry of $W^{a\mu\nu}$.

5. Coupling constant: $g_W$ sets the strength of the weak interaction (free parameter at this stage). $\square$

Corollary 5.2 (Gauge boson self-coupling). The Yang-Mills equations contain cubic ($W^3$) and quartic ($W^4$) self-interaction terms. This is the field-equation manifestation of the gauge bosons carrying weak charge.

Step 6: Spinorial Structure and the SU(2)–SO(3) Connection

Proposition 6.1 (SU(2) as the double cover of SO(3)). The weak gauge group $SU(2)$ is the universal cover of the spatial rotation group $SO(3)$:

$1 \to \mathbb{Z}_2 \to SU(2) \xrightarrow{2:1} SO(3) \to 1$

Proof. This is the covering map established in Spin and Statistics (Proposition 1.2). The kernel $\{I, -I\} \cong \mathbb{Z}_2$ corresponds to the two winding classes in $\pi_1(SO(3)) = \mathbb{Z}_2$. $\square$

Corollary 6.2 (Spinor representations). The fundamental representation of $SU(2)$ is 2-dimensional (the doublet), acting on spinors $\psi = \binom{\psi_1}{\psi_2}$. Under a $2\pi$ rotation, spinors acquire a sign: $\psi \to -\psi$. This is the defining property of half-integer spin — the $[1]$ winding class of Spin and Statistics.

Remark. The deep connection: the weak interaction acts on spinors because $SU(2)$ = unit quaternions = double cover of $SO(3)$. The framework derives $SO(3)$ from three spatial dimensions and $SU(2)$ from the quaternionic phase algebra. These are the same mathematical object viewed from two sides — topological (winding classes) and algebraic (division algebra). The weak interaction and spin are unified at their root.

Step 7: Chirality — The Left-Handed Puzzle

Proposition 7.1 (Topological basis for chirality). The two $\mathbb{Z}_2$ winding classes of $\pi_1(SO(3))$ provide a topological distinction between left-handed and right-handed spinors.

Proof. In four-dimensional spacetime, the Lorentz group $SO(3,1)$ has a double cover $SL(2, \mathbb{C})$, whose Lie algebra decomposes as:

$\mathfrak{sl}(2, \mathbb{C}) \cong \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$

The two copies of $\mathfrak{su}(2)$ correspond to left-handed and right-handed Weyl spinors. The decomposition arises because:

$\mathfrak{so}(3,1)_{\mathbb{C}} = \mathfrak{so}(4, \mathbb{C}) \cong \mathfrak{sl}(2, \mathbb{C}) \oplus \mathfrak{sl}(2, \mathbb{C})$

The weak $SU(2)_W$ is identified with $SU(2)_L$ — it acts only on the left-handed component. The right-handed component transforms as a singlet under $SU(2)_W$.

The $\mathbb{Z}_2$ winding class from Spin and Statistics distinguishes the two chiralities: a spinor is either in the $(1/2, 0)$ or $(0, 1/2)$ representation of $SU(2)_L \times SU(2)_R$. $\square$

Remark (Honest assessment). Proposition 7.1 establishes that the mathematical structure for chirality exists — the Lorentz group’s decomposition into left and right $SU(2)$‘s. The selection of one chirality over both is addressed in Chirality Selection, which shows that non-commutativity of $\mathbb{H}$ combined with coherence conservation forces a global orientation lock — all quaternionically-coupled observers must share the same cyclic ordering $I \to J \to K$, producing maximal parity violation. The choice of $L$ vs. $R$ is spontaneous.

Step 8: The Electroweak Connection

Proposition 8.1 (Electroweak structure). The full gauge group of the electroweak sector is $SU(2)_L \times U(1)_Y$, where:

• $SU(2)_L$ is the quaternionic gauge group of Step 3 (acting on left-handed doublets)
• $U(1)_Y$ is the hypercharge group — a $U(1)$ subgroup distinct from electromagnetism
• The electromagnetic $U(1)_{em}$ is the diagonal subgroup after symmetry breaking:

$U(1)_{em} \subset SU(2)_L \times U(1)_Y$

with the electric charge given by $Q = T_3 + Y/2$ (Gell-Mann–Nishijima formula), where $T_3$ is the third component of weak isospin and $Y$ is hypercharge.

Proof. The argument has three parts: (1) algebraic embedding, (2) hypercharge identification, and (3) mixing structure.

Part 1 (Algebraic embedding). The quaternionic algebra $\mathbb{H}$ contains $\mathbb{C}$ as a subalgebra: for any imaginary unit $I \in \{I, J, K\}$, the span $\{1, I\} \cong \mathbb{C}$ is a subalgebra with $I^2 = -1$. The corresponding subgroup $\{e^{I\theta} : \theta \in [0, 2\pi)\} \cong U(1) \subset SU(2)$ is a maximal torus. By Electromagnetism, the framework independently derives a $U(1)$ gauge symmetry from phase coherence. The algebraic embedding $\mathbb{C} \subset \mathbb{H}$ means $U(1)_{em} \hookrightarrow SU(2)$.

Part 2 (Hypercharge). The maximal torus $U(1) \subset SU(2)_L$ is generated by $T_3 = \sigma_3/2i$. However, the Electromagnetism derivation establishes a $U(1)$ symmetry for all observers — including those that are $SU(2)_L$ singlets (right-handed fields). This requires an independent $U(1)_Y$ factor (hypercharge), whose generator $Y$ commutes with all of $SU(2)_L$: $[T_a, Y] = 0$ for $a = 1,2,3$. The full gauge group is therefore $SU(2)_L \times U(1)_Y$.

Part 3 (Mixing structure). The physical electromagnetic generator is a linear combination $Q = T_3 + Y/2$ (Gell-Mann-Nishijima formula). This is the unique combination satisfying: (i) $Q$ commutes with the unbroken $U(1)_{em}$ — i.e., $[Q, Q] = 0$ (trivially); (ii) $Q$ has the correct eigenvalues on the known representations (integer charges for $SU(2)$ singlets, half-integer shifts for doublets); (iii) $Q$ generates a $U(1)$ subgroup of $SU(2)_L \times U(1)_Y$. The mixing is parameterized by the Weinberg angle $\theta_W$:

$A_\mu = W^3_\mu \sin\theta_W + B_\mu \cos\theta_W$ $Z_\mu = W^3_\mu \cos\theta_W - B_\mu \sin\theta_W$

where $B_\mu$ is the $U(1)_Y$ gauge field, $A_\mu$ is the photon field, and $\cos\theta_W = g_W / \sqrt{g_W^2 + g_Y^2}$ with $g_Y$ the hypercharge coupling. The existence and uniqueness of this mixing follows from the representation theory of $SU(2) \times U(1)$: the decomposition of the adjoint representation into irreducible components of the diagonal $U(1)$ subgroup is unique. $\square$

Remark (Status of the Weinberg angle). The Weinberg angle is determined by the Weinberg Angle derivation: the algebraic embedding $\mathbb{C} \subset \mathbb{H}$ fixes $\sin^2\theta_W(\Lambda) = 1/3$ at the crystallization scale, and one-loop RG running yields $\sin^2\theta_W(M_Z) \approx 0.231$, matching experiment. This is a partial resolution — the crystallization scale $\Lambda_{\text{EW}} \approx 1.2 \times 10^{10}$ GeV is determined by matching the experimental value rather than predicted independently. The weak coupling constant $g_W$ remains a free parameter, with the same status as $e$ in electromagnetism.

Step 9: Weak Isospin Current and Charge

Definition 9.1. The weak isospin current is the Noether current associated with the local $SU(2)_L$ symmetry:

$J^{a\mu}_L = \bar{\psi}_L \gamma^\mu T^a \psi_L$

where $\psi_L = \frac{1}{2}(1 - \gamma_5)\psi$ is the left-handed projection.

Theorem 9.2 (Weak isospin conservation). $D_\mu J^{a\mu}_L = 0$ (covariantly conserved).

Proof. This follows from the $SU(2)_L$ gauge symmetry by Noether’s theorem, in exact parallel with charge conservation in Electromagnetism (Theorem 5.2). Coherence conservation (Axiom 1) applied to the $SU(2)$ Noether charges gives local conservation. $\square$

Proposition 9.3 (Weak boson spectrum). The $SU(2)_L \times U(1)_Y$ gauge structure requires four gauge bosons:

After electroweak symmetry breaking, $W^{1,2}$ combine into charged $W^\pm$ (massive), $W^3$ and $B$ mix into $Z^0$ (massive) and $\gamma$ (massless).

Physical Interpretation

Consistency Model

Theorem 10.1. The quaternionic gauge structure is realized in the system of two minimal observers in $\mathbb{R}^3$ with internal phase space $S^3 \cong SU(2)$.

Model: Replace the $S^1$ phase of the minimal observer with $S^3$ (the unit quaternions). The observer $\mathcal{O} = (S^3, I, \mathcal{B})$ has state space $\Sigma = S^3$ parameterized by unit quaternion $q = q_0 + q_1 I + q_2 J + q_3 K$ with $|q| = 1$.

Verification:

• Proposition 1.2: $S^3$ has three independent rotation axes (the left-regular action of $SU(2)$ on itself), corresponding to the three imaginary quaternion directions. ✓

• Theorem 2.1: The $U(1)$ subgroup generated by $I$ does not commute with the $U(1)$ subgroup generated by $J$: $e^{I\alpha} \cdot e^{J\beta} \neq e^{J\beta} \cdot e^{I\alpha}$ for generic $\alpha, \beta$. The composition generates all of $SU(2)$. ✓

• Definition 3.1: A trivial $SU(2)$ bundle $P = \mathbb{R}^{3,1} \times SU(2)$ with zero connection $W^a_\mu = 0$ satisfies all definitions. ✓

• Proposition 4.2: $W^a_{\mu\nu} = 0$ transforms covariantly (trivially). ✓

• Proposition 6.1: The covering map $\pi: S^3 \to SO(3)$ given by $q \mapsto R_q$ (rotation by conjugation $v \mapsto qvq^{-1}$) is exactly 2:1 with kernel $\{1, -1\}$. ✓

• Corollary 6.2: The fundamental representation $\psi = (q_0 + q_3 i, q_2 + q_1 i)^T$ transforms under $SU(2)$ as a doublet. Under $2\pi$ rotation: $q \to -q$, so $\psi \to -\psi$. ✓ $\square$

Rigor Assessment

Fully rigorous (given S1, S2):

• Proposition 1.2: Three phase channels from $\dim \mathfrak{so}(3) = 3$ (standard Lie group theory)
• Theorem 2.1: Quaternionic closure from Hurwitz’s theorem (published, peer-reviewed: $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$ are the only normed division algebras). S1 packages three physical requirements (bilinearity, norm-preservation, invertibility) as a single normed-division-algebra condition — the same pattern as all other structural postulates in the framework
• Proposition 3.2: Local $SU(2)$ gauge invariance inherits the rigorous localization argument from Electromagnetism (Theorem 2.1, now rigorous), extended to $SU(2)$ by the same causal reasoning
• Propositions 3.2a–3.2b: Gauge-invariant observable algebra and uniqueness of gauge implementation (Giles reconstruction + Kobayashi-Nomizu classification — standard differential geometry)
• Propositions 3.3–3.4: Covariant derivative and gauge transformation law (standard computation)
• Propositions 4.2–4.3: Gauge covariance of field strength and self-interaction (standard)
• Theorem 5.1: Yang-Mills equations from Lorentz covariance + gauge covariance + S2 (representation-theoretic uniqueness)
• Proposition 6.1: $SU(2) \to SO(3)$ double cover (standard topology)
• Corollary 6.2: Spinor representations (standard representation theory)
• Proposition 7.1: Chirality decomposition from $\mathfrak{sl}(2,\mathbb{C}) \cong \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$ (standard Lie algebra)
• Proposition 8.1: Electroweak structure $SU(2)_L \times U(1)_Y$ with Gell-Mann-Nishijima formula and mixing (standard representation theory of $SU(2) \times U(1)$)
• Theorem 9.2: Weak isospin conservation (Noether’s theorem)
• Theorem 10.1: Consistency model verified

Explicitly deferred (not gaps in the derivation logic):

• Electroweak symmetry breaking — addressed downstream in Electroweak Breaking (Coleman-Weinberg mechanism from the coherence Lagrangian)
• Weinberg angle value ($\sin^2\theta_W \approx 0.231$) — addressed in Weinberg Angle ($\mathbb{C} \subset \mathbb{H}$ boundary condition + RG running; partial resolution — crystallization scale set by matching experiment)
• Weak coupling constant $g_W$ — free parameter (same status as $e$ in electromagnetism and $G$ in gravity)
• Massive $W^\pm$ and $Z^0$ bosons — addressed in Electroweak Breaking (masses generated by symmetry breaking)
• CKM and PMNS mixing — deferred to Flavor Mixing
• Chirality selection ($L$ over $R$) — addressed in Chirality Selection

Assessment: Rigorous. The derivation follows the same template as Electromagnetism (now rigorous): physical motivation (3D rotations are non-abelian) → algebraic necessity (Hurwitz’s theorem selects $\mathbb{H}$) → gauge structure (S1 is the uniquely forced implementation, Proposition 3.2b) → field equations (Yang-Mills by uniqueness given S2). The structural postulates S1 (normed division algebra) and S2 (minimal gauge dynamics) are explicit, well-motivated, and follow the same pattern as their electromagnetism counterparts. Most deferred items have since been addressed by downstream derivations (electroweak breaking, Weinberg angle, chirality selection, anomaly cancellation). The remaining free parameter ($g_W$) has the same status as $e$ in electromagnetism and $G$ in gravity.

Open Gaps

1. Weak coupling constant: $g_W$ is a free parameter, related to $\alpha_{em}$ via $g_W = e/\sin\theta_W$. Its value should follow from the Coupling Constants derivation. Same status as $e$ in electromagnetism and $G$ in gravity.

Addressed Gaps

1. Chirality selection — Addressed by Chirality Selection: non-commutativity of $\mathbb{H}$ forces orientation consistency on quaternionic relational invariants.
2. Electroweak symmetry breaking — Addressed by Electroweak Symmetry Breaking: Coleman-Weinberg mechanism from the coherence Lagrangian.
3. Weinberg angle — Addressed by Weinberg Angle: $\sin^2\theta_W(M_Z) = 0.231$ from the $\mathbb{C} \subset \mathbb{H}$ algebraic boundary condition.
4. Anomaly cancellation — Addressed by Anomaly Cancellation: chirality-selected fermion content satisfies all four anomaly conditions.