Spinor Sector of the Coherence Lagrangian

derived

Overview

This derivation answers the question left open at the end of Coherence Lagrangian: what is the Lagrangian for spinor (fermion) fields in the framework, and is it derived rather than postulated?

The scalar sector of the Coherence Lagrangian is derived in full: Fisher-metric kinetic term, potential term constrained to at most quartic by dimensional analysis and bootstrap self-consistency, Euler–Lagrange equations reproducing the Klein–Gordon and related scalar dynamics. The fermion sector was flagged as Open Gap 5. This derivation closes that gap.

The approach. The argument assembles in four steps:

The result. The Dirac Lagrangian Lspinor=iψˉγμμψmc2ψˉψ\mathcal{L}_{\text{spinor}} = i\hbar\bar\psi\gamma^\mu\nabla_\mu\psi - mc^2\bar\psi\psi is the unique spinor sector of the Coherence Lagrangian consistent with the framework’s axioms and downstream theorems. The Euler–Lagrange equation is the Dirac equation. The Majorana form 12m(νTCν+h.c.)\tfrac12 m(\nu^T C\nu + \mathrm{h.c.}) applies at bootstrap level 2 where the SU(2)LSU(2)_L doublet carries a pseudo-real structure. Three-generation replication follows from the so(3)\mathfrak{so}(3) winding-class structure.

Why this matters. Every Standard Model fermion — electrons, neutrinos, quarks, across all three generations — is covered by the derived Lagrangian. Combined with the scalar and gauge sectors of Coherence Lagrangian and the gravity sector of Einstein Field Equations, the Coherence Lagrangian is now Lagrangian-complete at the level of the Standard Model plus General Relativity, with zero free parameters beyond those inherited from the bootstrap hierarchy.

An honest caveat. Level-3 (octonionic) spinors are not covered: non-associativity breaks the operator-mean construction underlying both BKM (Step 1 below) and the standard Clifford algebra (Step 3). Within the framework, level-3 content appears as SU(3)SU(3) color charge attached to level-1 Dirac spinors (Color Force) rather than as a kinematically distinct spinor level — so this gap does not affect Standard Model coverage, but it does leave the octonionic sector as an open research problem.

Statement

Theorem. The spinor sector of the Coherence Lagrangian, for a spinor observer at bootstrap level 1 with field configuration ψ:MAC4\psi: M_A \to \mathbb{C}^4 on observer-projected spacetime MAM_A, is uniquely:

  Lspinor=iψˉγμμψmc2ψˉψ  \boxed{\;\mathcal{L}_{\text{spinor}} = i\hbar\,\bar\psi\gamma^\mu\nabla_\mu\psi - mc^2\,\bar\psi\psi\;}

where μ=μ+14ωμabγaγb+igAμ\nabla_\mu = \partial_\mu + \tfrac14\omega_\mu^{ab}\gamma_a\gamma_b + igA_\mu is the MAM_A-covariant spinor derivative (spin connection from the MAM_A tetrad; gauge connection from the Standard Model gauge chain). The form is forced by the BKM quantum Fisher metric, the spin-statistics theorem, Lorentz invariance, hermiticity, and minimal coupling; no additional inputs are required. Euler–Lagrange variation gives the Dirac equation (iγμμm)ψ=0(i\gamma^\mu\nabla_\mu - m)\psi = 0.

Extensions.

Derivation

Step 1: The Spinor Observer and Its State Space

Definition 1.1 (Spinor observer). A spinor observer at bootstrap level 1 is an observer A=(ΣA,IA,BA)A = (\Sigma_A, I_A, \mathcal{B}_A) whose state space is a Clifford module:

ΣAC2D/2\Sigma_A \cong \mathbb{C}^{2^{\lfloor D/2\rfloor}}

equipped with a representation of the Clifford algebra Cl(D1,1)\mathrm{Cl}(D-1, 1) generated by matrices γμ\gamma^\mu satisfying {γμ,γν}=2ημν1\{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu\nu}\mathbf{1}. For D=4D = 4 spacetime dimensions (from Three Dimensions), this is ΣAC4\Sigma_A \cong \mathbb{C}^4 — the standard Dirac spinor.

Definition 1.2 (Field configuration). A spinor field on observer-projected spacetime MAM_A (from Observer-Projected Spacetime Theorem 3.1) is a smooth section

ψ:MAΣA\psi: M_A \to \Sigma_A

of the spinor bundle over MAM_A. The bundle’s spin connection ωμab\omega^{ab}_\mu is constructed from the MAM_A tetrad eμae^a_\mu via the standard spin-connection formula. The covariant spinor derivative is

μψ=μψ+14ωμabγaγbψ+igAμψ\nabla_\mu\psi = \partial_\mu\psi + \tfrac14\omega_\mu^{ab}\gamma_a\gamma_b\psi + igA_\mu\psi

where AμA_\mu is the gauge connection from the Standard Model gauge sector.

Remark 1.3 (No global background). The spinor field lives on each observer’s own projected patch MAM_A, not on a single shared spacetime. Inter-observer consistency becomes a presheaf condition on the family {ψA}\{\psi_A\} under the restriction maps ρAB\rho_{AB} of the projection functor (Observer-Projected Spacetime Definition 1.2). In a local Lorentz frame near the observer worldline γA\gamma_A, where ωμab0\omega_\mu^{ab} \to 0, the covariant derivative reduces to μ\partial_\mu, and the Lagrangian below takes the flat-space Dirac form. The flat form is therefore the leading-order result within a single MAM_A, not a background-field postulate.

Step 2: The Kinetic Term

Proposition 2.1 (BKM pullback on spinor field configurations). The BKM metric on pure spinor states (from Quantum Fisher Metric Theorem 7.2) reduces to the Fubini–Study form on rays ρ=ψψ\rho = |\psi\rangle\langle\psi|. Pulled back along the spacetime variation δψ=μψdxμ|\delta\psi\rangle = \nabla_\mu|\psi\rangle\,dx^\mu, the line element on the field configuration space is the quadratic form

dsBKM2[ψ]=μψνψgAμνdxμdxν+O(dx3)ds^2_{\mathrm{BKM}}[\psi] = \hbar\,\bigl\langle\nabla_\mu\psi\,\big|\,\nabla_\nu\psi\bigr\rangle\,g_A^{\mu\nu}\,dx^\mu dx^\nu + O(|dx|^3)

where the U(1) phase part of Fubini–Study has been gauged into μ\nabla_\mu via minimal coupling. This is a “Klein–Gordon-like” kinetic form: quadratic in ψ\nabla\psi, symmetric in the spacetime indices.

Proof. On pure states every Petz metric reduces to Fubini–Study (Quantum Fisher Metric Theorem 7.2). The infinitesimal Fubini–Study line element is dsFS2=δψδψψδψ2ds^2_{\mathrm{FS}} = \langle\delta\psi|\delta\psi\rangle - |\langle\psi|\delta\psi\rangle|^2. The second term is the U(1) gauge freedom; absorbing it into μ\nabla_\mu via the gauge connection produces the stated quadratic form. The \hbar prefactor is the Action–Planck normalization from Fisher Information Metric Proposition 4.1, carried through the BKM identification. \square

Proposition 2.2 (Ostrogradsky exclusion applies). By Coherence Lagrangian Theorem 6.0 (Ostrogradsky exclusion from Axiom 3 loop-closure stability), the spinor Lagrangian involves at most first derivatives of ψ\psi. Both quadratic (ψ2|\nabla\psi|^2) and linear (ψˉγμμψ\bar\psi\,\gamma^\mu\nabla_\mu\psi) constructions satisfy this bound.

Proof. Direct application of Coherence Lagrangian Theorem 6.0, which excludes higher-derivative terms universally for all field sectors. Ostrogradsky discriminates between orders-of-derivative but not between functional powers of the derivative. \square

Proposition 2.3 (Spin-statistics forces linear-in-ψ\nabla\psi). A Lagrangian quadratic in ψ\nabla\psi yields bosonic commutation relations upon canonical quantization, contradicting Spin and Statistics Theorem 1.1. A Lagrangian linear in 0ψ\nabla_0\psi yields a primary second-class constraint πψiψ0\pi_\psi - i\hbar\psi^\dagger \approx 0, whose Dirac-bracket quantization produces fermionic anticommutation relations — consistent with spin-statistics. Therefore the spinor kinetic term must be linear in ψ\nabla\psi.

Proof. For a quadratic Lagrangian L(0ψ)(0ψ)\mathcal{L} \sim (\nabla_0\psi)^\dagger(\nabla_0\psi) - \ldots, the conjugate momentum πψ=L/(0ψ)(0ψ)\pi_\psi = \partial\mathcal{L}/\partial(\nabla_0\psi) \sim (\nabla_0\psi)^\dagger is independent of ψ\psi. Canonical quantization assigns [ψ(x),π(y)]=iδ(xy)[\psi(x),\pi(y)] = i\hbar\delta(x-y) — bosonic commutators. Fermion fields satisfy anticommutators by Spin and Statistics, so this is inconsistent.

For a Lagrangian Liψ0ψ+\mathcal{L} \sim i\psi^\dagger\nabla_0\psi + \ldots linear in 0ψ\nabla_0\psi, the momentum πψ=iψ\pi_\psi = i\hbar\psi^\dagger depends only on ψ\psi itself — a primary constraint ϕ1=πψiψ0\phi_1 = \pi_\psi - i\hbar\psi^\dagger \approx 0. Its Poisson bracket with itself is non-zero (second-class constraint). Dirac-bracket reduction gives {ψ(x),ψ(y)}DB=iδ(xy)\{\psi(x),\psi^\dagger(y)\}_{DB} = -\tfrac{i}{\hbar}\delta(x-y). Quantizing the Dirac bracket with a choice of commutator or anticommutator: energy positivity (bounded-below Hamiltonian required by Axiom 3 Lyapunov stability) selects the anticommutator (see Step 7 Proposition 7.1 for the energy-positivity argument), producing {ψ(x),ψ(y)}=δ(xy)\{\psi(x),\psi^\dagger(y)\} = \delta(x-y) — fermionic, consistent with Spin and Statistics. \square

Theorem 2.4 (Uniqueness of the Dirac kinetic term). The unique Lagrangian density on MAM_A satisfying: (i) linear in μψ\nabla_\mu\psi; (ii) bilinear in (ψ,ψˉ)(\psi, \bar\psi) with ψˉ=ψγ0\bar\psi = \psi^\dagger\gamma^0; (iii) Lorentz scalar on MAM_A; (iv) hermitian up to total derivative; (v) minimally coupled (no free non-minimal coupling parameter), is:

Lkinspinor=i2[ψˉγμμψ(μψˉ)γμψ]    iψˉγμμψ+(total derivative).\mathcal{L}_{\text{kin}}^{\text{spinor}} = \frac{i\hbar}{2}\bigl[\bar\psi\gamma^\mu\nabla_\mu\psi - (\nabla_\mu\bar\psi)\gamma^\mu\psi\bigr] \;\equiv\; i\hbar\,\bar\psi\gamma^\mu\nabla_\mu\psi + \text{(total derivative)}.

Proof. Condition (ii) gives one factor of ψ\psi and one of ψˉ\bar\psi. Condition (i) requires exactly one μ\nabla_\mu. Condition (iii) demands contraction of the spacetime index to a scalar. The spinor-bilinear classification provides exactly five independent bilinears: ψˉψ,ψˉγ5ψ,ψˉγμψ,ψˉγμγ5ψ,ψˉσμνψ\bar\psi\psi, \bar\psi\gamma^5\psi, \bar\psi\gamma^\mu\psi, \bar\psi\gamma^\mu\gamma^5\psi, \bar\psi\sigma^{\mu\nu}\psi (scalar, pseudoscalar, vector, axial vector, tensor). Of these, only ψˉγμψ\bar\psi\gamma^\mu\psi carries a single free vector index suitable for contraction with a single μ\nabla_\mu; the scalar and pseudoscalar carry zero indices (violating (i)), the tensor carries two (producing a second-derivative term that violates Ostrogradsky when contracted symmetrically, and an antisymmetric Lagrangian that trivializes under [μν]\nabla_{[\mu}\nabla_{\nu]}).

The axial-vector ψˉγμγ5ψ\bar\psi\gamma^\mu\gamma^5\psi also carries a single free index but is pseudoscalar under parity; a Lagrangian built from it alone is not consistent with minimal coupling to the parity-even gravitational connection (condition (v)). The framework’s explicit parity-violating content enters only through the gauge connection AμA_\mu via Chirality Selection, not through an axial-vector kinetic term.

Contracting ψˉγμψ\bar\psi\gamma^\mu\psi with μ\nabla_\mu gives ψˉγμμψ\bar\psi\gamma^\mu\nabla_\mu\psi, complex-valued. Hermiticity (iv) requires the symmetric combination displayed above, which differs from iψˉγμμψi\hbar\bar\psi\gamma^\mu\nabla_\mu\psi only by a total derivative. Condition (v) rules out non-minimal scalar-curvature couplings ψˉRψ\bar\psi R\psi or equivalents by the same enumeration argument Coherence Lagrangian Theorem 3.1(v) applies for scalars.

The \hbar coefficient is fixed by requiring the kinetic arc length over one rest-cycle of the observer to equal \hbar (Fisher Information Metric Proposition 4.1 normalization, carried through the BKM identification). \square

Proposition 2.5 (Clifford factorization of the BKM pullback). The BKM-pullback quadratic form (Prop 2.1) and the Dirac first-order form (Theorem 2.4) are related by Clifford factorization. On-shell:

(iγμμ)2=gAμνμν+RA4(i\gamma^\mu\nabla_\mu)^2 = -g_A^{\mu\nu}\nabla_\mu\nabla_\nu + \frac{R_A}{4}

where RAR_A is the scalar curvature of MAM_A (Lichnerowicz identity, Lichnerowicz, 1963).

Proof. Direct computation: γμγνμν=12{γμ,γν}μν+12[γμ,γν]12[μ,ν]=gAμνμν+14ΣμνRμνρσ\gamma^\mu\gamma^\nu\nabla_\mu\nabla_\nu = \tfrac12\{\gamma^\mu,\gamma^\nu\}\nabla_\mu\nabla_\nu + \tfrac12[\gamma^\mu,\gamma^\nu]\tfrac12[\nabla_\mu,\nabla_\nu] = g_A^{\mu\nu}\nabla_\mu\nabla_\nu + \tfrac14\Sigma^{\mu\nu}R_{\mu\nu\rho\sigma}, and standard manipulation of the Riemann tensor contracting with γ\gamma-bilinears reduces the curvature piece to RA/4R_A/4. See Lawson–Michelsohn, Spin Geometry, §II.8. \square

Remark. The RA/4R_A/4 term is an on-shell consequence of squaring the Dirac operator, not a Lagrangian-level non-minimal coupling. The Lagrangian Lspinor\mathcal{L}_{\text{spinor}} of Theorem 2.4 contains no explicit curvature term.

Step 3: The Mass Term

Proposition 3.1 (Mass from rest-cycle coherence content). By Observer Definition Identification 5.3, the observer’s accessible coherence is C(ΣA)=IA\mathcal{C}(\Sigma_A) = \|I_A\|, with rest-cycle frequency ω0\omega_0 giving rest energy mc2=ω0mc^2 = \hbar\omega_0. The spinor mass term must be a Lorentz-scalar, non-derivative, bilinear-in-(ψ,ψˉ)(\psi, \bar\psi) operator of dimension 4, with coefficient mm fixed by the rest-cycle identification.

Proof. Same bilinear classification as Theorem 2.4. Of the five Lorentz-covariant spinor bilinears, only ψˉψ\bar\psi\psi (scalar) and ψˉγ5ψ\bar\psi\gamma^5\psi (pseudoscalar) carry zero spacetime indices. The pseudoscalar is parity-odd; its inclusion as a mass term would break parity explicitly in the vacuum coherence structure, whereas the framework’s parity violation is localized to the gauge-coupling chirality (Chirality Selection) and does not propagate to the mass term. The scalar form ψˉψ\bar\psi\psi is the unique parity-even, non-derivative, Lorentz-scalar bilinear. Identification 5.3 fixes the coefficient to m=ω0/c2m = \hbar\omega_0/c^2. \square

Theorem 3.2 (Mass term). The spinor mass term in the Coherence Lagrangian is

Lmassspinor=mc2ψˉψ.\mathcal{L}_{\text{mass}}^{\text{spinor}} = -mc^2\,\bar\psi\psi.

The sign follows from the convention that the mass term contributes positively to rest energy in the Hamiltonian.

Step 4: Chirality Structure from the Clifford Z2\mathbb{Z}_2 Grading

Definition 4.1 (Chirality operator). The volume element

γ5:=iγ0γ1γ2γ3\gamma^5 := i\gamma^0\gamma^1\gamma^2\gamma^3

satisfies (γ5)2=1(\gamma^5)^2 = \mathbf{1} and {γ5,γμ}=0\{\gamma^5, \gamma^\mu\} = 0 for all μ\mu. The chirality projectors are

PL:=12(1γ5),PR:=12(1+γ5).P_L := \tfrac12(1 - \gamma^5), \qquad P_R := \tfrac12(1 + \gamma^5).

These satisfy PL2=PLP_L^2 = P_L, PR2=PRP_R^2 = P_R, PLPR=0P_L P_R = 0, PL+PR=1P_L + P_R = \mathbf{1}, and commute with all even-grade Clifford elements (in particular with the Lorentz generators σμν=i2[γμ,γν]\sigma^{\mu\nu} = \tfrac{i}{2}[\gamma^\mu, \gamma^\nu]).

Proposition 4.2 (Weyl decomposition). The Dirac spinor decomposes as a direct sum of Spin(3,1)\mathrm{Spin}(3,1)-irreducible representations:

ψ=ψL+ψR,ψL:=PLψCL2,  ψR:=PRψCR2\psi = \psi_L + \psi_R, \qquad \psi_L := P_L\psi \in \mathbb{C}^2_L,\ \ \psi_R := P_R\psi \in \mathbb{C}^2_R

with ψL\psi_L in the (1/2,0)(1/2, 0) Weyl representation and ψR\psi_R in the (0,1/2)(0, 1/2) Weyl representation of sl(2,C)su(2)Lsu(2)R\mathfrak{sl}(2, \mathbb{C}) \cong \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R.

Proof. Standard consequence of the Clifford Z2\mathbb{Z}_2 grading; the projectors PL/RP_{L/R} are orthogonal idempotents, and their commutativity with the Lorentz generators makes each image a Spin(3,1)\mathrm{Spin}(3,1)-invariant subspace. \square

Proposition 4.3 (Chirality decomposition of the kinetic term). Under ψ=ψL+ψR\psi = \psi_L + \psi_R, the Dirac kinetic term decomposes block-diagonally:

iψˉγμμψ  =  iψLσˉμμψL  +  iψRσμμψRi\hbar\,\bar\psi\gamma^\mu\nabla_\mu\psi \;=\; i\hbar\,\psi_L^\dagger\bar\sigma^\mu\nabla_\mu\psi_L \;+\; i\hbar\,\psi_R^\dagger\sigma^\mu\nabla_\mu\psi_R

where σμ=(1,σ)\sigma^\mu = (\mathbf{1}, \vec\sigma) and σˉμ=(1,σ)\bar\sigma^\mu = (\mathbf{1}, -\vec\sigma).

Proof. Direct computation using γμPL=PRγμ\gamma^\mu P_L = P_R\gamma^\mu and the Weyl basis γμ=(0σμσˉμ0)\gamma^\mu = \begin{pmatrix} 0 & \sigma^\mu \\ \bar\sigma^\mu & 0 \end{pmatrix}. \square

Proposition 4.4 (Chirality decomposition of the mass term). The Dirac mass term mixes the two Weyl components:

ψˉψ  =  ψLψR+ψRψL.\bar\psi\psi \;=\; \psi_L^\dagger\psi_R + \psi_R^\dagger\psi_L.

Proof. ψˉψ=ψγ0ψ\bar\psi\psi = \psi^\dagger\gamma^0\psi; in the Weyl basis, γ0\gamma^0 exchanges the two Weyl blocks. \square

Corollary 4.5 (Massless-to-massive transition). For m=0m = 0, the Dirac Lagrangian decouples into two independent Weyl Lagrangians (kinetic only, one per chirality). For m0m \neq 0, the mass term is the unique chirality-mixing bilinear, producing the Dirac equation’s ψLψR\psi_L \leftrightarrow \psi_R oscillation at frequency mc2/mc^2/\hbar.

Proposition 4.6 (Gauge-coupling chirality from Chirality Selection). By Chirality Selection Theorem 3.1 (global quaternionic orientation lock) and Proposition 4.1 (orientation-to-chirality map), the SU(2)SU(2) gauge connection in μ\nabla_\mu is restricted to one Weyl component. In the conventional sign choice:

μψL=(μ+14ωμabγaγb+igWμaTa+igBμY)ψL\nabla_\mu\psi_L = \bigl(\partial_\mu + \tfrac14\omega_\mu^{ab}\gamma_a\gamma_b + igW_\mu^a T^a + ig'B_\mu Y\bigr)\psi_L

μψR=(μ+14ωμabγaγb+igBμY)ψR\nabla_\mu\psi_R = \bigl(\partial_\mu + \tfrac14\omega_\mu^{ab}\gamma_a\gamma_b + ig'B_\mu Y\bigr)\psi_R

with WμaW_\mu^a absent from the right-handed sector. The kinematic chirality split of Proposition 4.2 is a representation-theoretic property of every Dirac spinor; the gauge-coupling chirality of this proposition is the additional content supplied by Chirality Selection.

Proof. Direct application of Chirality Selection Proposition 4.1 to the covariant derivative in the Lagrangian of Theorem 2.4. \square

Step 5: Majorana Form at Bootstrap Level 2

Proposition 5.1 (Pseudo-real structure of the weak doublet). The SU(2)LSU(2)_L fundamental representation on C2\mathbb{C}^2 carries a canonical quaternionic (anti-linear) structure

Jϵ:C2C2,Jϵψ:=ϵψ,ϵ=iσ2=(0110)J_\epsilon: \mathbb{C}^2 \to \mathbb{C}^2, \qquad J_\epsilon\psi := \epsilon\,\psi^*, \qquad \epsilon = i\sigma_2 = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}

satisfying Jϵ2=1J_\epsilon^2 = -\mathbf{1} and [Jϵ,g]=0[J_\epsilon, g] = 0 for all gSU(2)g \in SU(2). Equivalently, σ2σiσ2=σi\sigma_2\sigma_i^*\sigma_2 = -\sigma_i implies 2ˉ2\bar{\mathbf{2}} \cong \mathbf{2} as SU(2)SU(2) representations via the invariant pairing ψaχbϵab\psi^a\chi^b\epsilon_{ab}. This JϵJ_\epsilon realizes the Cayley–Dickson level-2 identification C2RH\mathbb{C}^2 \cong_\mathbb{R} \mathbb{H} of Bootstrap Division Algebras.

Proof. Standard algebraic identities for Pauli matrices. \square

Proposition 5.2 (Majorana condition). For an SU(2)LSU(2)_L-doublet that carries no other distinguishing charges (electrically neutral, colorless — i.e., a neutrino), the coherence-dual map D\mathcal{D} of Coherence-Dual Pairs acts only on the SU(2)LSU(2)_L phase structure. Proposition 5.1 makes this action identify-equivalent on the doublet (2ˉ2\bar{\mathbf{2}} \cong \mathbf{2}), so the state is self-conjugate: D(ν)=ν\mathcal{D}(\nu) = \nu. This is the Majorana condition νc=ν\nu^c = \nu, where charge conjugation C=iγ2γ0C = i\gamma^2\gamma^0 is the spacetime extension of the JϵJ_\epsilon Weyl-level structure.

Proof. This is Neutrino Masses Theorem 1.3 applied to the Lagrangian framework: the U(1)emU(1)_{em} conjugation that distinguishes Dirac particle from antiparticle is absent (zero electric charge); the only conjugation-sensitive label is the SU(2)LSU(2)_L representation, which is self-conjugate via JϵJ_\epsilon. \square

Theorem 5.3 (Majorana mass term). For a JϵJ_\epsilon-invariant (Majorana) neutrino, the unique Lorentz-scalar, non-derivative, bilinear mass term consistent with the pseudo-real structure is

LmassMajorana=12mν(νTCν+νCν).\mathcal{L}_{\text{mass}}^{\text{Majorana}} = \frac{1}{2}m_\nu\bigl(\nu^T C\,\nu + \nu^\dagger C\,\nu^*\bigr).

The Dirac form νˉν=νγ0ν\bar\nu\nu = \nu^\dagger\gamma^0\nu does not apply for Majorana neutrinos because it vanishes on JϵJ_\epsilon-invariant states (alternatively: for a self-conjugate field, νˉ=νTC\bar\nu = \nu^T C, and νTCν\nu^T C\nu is the surviving Lorentz-scalar non-derivative bilinear). The coefficient 1/21/2 avoids double-counting the self-conjugate degree of freedom.

Proof. The spinor-bilinear enumeration of Proposition 3.1 restricted to JϵJ_\epsilon-invariant states leaves νTCν\nu^T C\nu as the unique parity-even, non-derivative, Lorentz-scalar bilinear. Identification 5.3 fixes the coefficient as before. The 1/2 factor is standard (Weinberg QFT Vol. I §2.6). \square

Remark 5.4 (Seesaw consistency). The seesaw mass matrix of Neutrino Masses Theorem 2.2 combines a Dirac coupling mDνˉLνRm_D\bar\nu_L\nu_R (from Theorem 3.2) with a right-handed Majorana term 12MRνRTCνR\tfrac12 M_R\nu_R^T C\nu_R (Theorem 5.3). Both terms arise from the same Identification 5.3 mechanism at different bootstrap levels: Dirac at level 1 (charged leptons), Majorana at level 2 (neutrinos). The seesaw eigenvalue relation mνmD2/MRm_\nu \sim m_D^2/M_R is then a consequence of diagonalizing the combined mass matrix.

Step 6: Three-Generation Replication

Proposition 6.1 (Generation replication from winding classes). By Three Generations Theorem 0.1, exactly three winding-direction classes exist on the internal so(3)\mathfrak{so}(3) space. The Lagrangian-level content is replication of the spinor sector over generation index k{1,2,3}k \in \{1, 2, 3\}:

Lspinor3gen=k=13[iψˉkγμμψkmkc2ψˉkψk]\mathcal{L}_{\text{spinor}}^{3\text{gen}} = \sum_{k=1}^{3}\Bigl[i\hbar\,\bar\psi_k\gamma^\mu\nabla_\mu\psi_k - m_kc^2\,\bar\psi_k\psi_k\Bigr]

with masses mkm_k fixed by Three Generations Theorem 4.2 (misalignment-angle tunneling factors ykeαk/gEW2y_k \sim e^{-\alpha_k/g_{EW}^2}).

Proof. The Lagrangian of Theorem 2.4 and 3.2 derives from a single-observer state space ΣA\Sigma_A. Three Generations establishes that the framework’s observer category contains exactly three classes distinguished by winding direction; replicating the derivation across the three classes gives the stated form. Cross-generation bilinears ψˉiγμψj\bar\psi_i\gamma^\mu\psi_j for iji \neq j vanish by orthogonality of the winding classes (Three Generations Proposition 3.2). Off-diagonal Yukawa couplings (CKM/PMNS mixing) arise from mass-basis-vs-interaction-basis misalignment and are handled in Mixing Angles; they are not part of the spinor sector of the Coherence Lagrangian itself. \square

Step 7: Consistency — Spin-Statistics, Pauli Exclusion, CPT, and Stress-Energy

Proposition 7.1 (Spin-statistics from energy positivity). Canonical quantization of Lspinor\mathcal{L}_{\text{spinor}} with bosonic commutators yields a Hamiltonian unbounded below. With fermionic anticommutators it yields a Hamiltonian bounded below. By Axiom 3 (Lyapunov stability of the observer loop, Loop Closure Proposition 2.3), only the fermionic quantization is consistent.

Proof. The Dirac-bracket analysis of Proposition 2.3 leaves the quantization statistics undetermined. Expanding ψ\psi in plane-wave modes ψ(x)=p,s[ap,sus(p)eipx+bp,svs(p)eipx]\psi(x) = \sum_{p,s}[a_{p,s}u^s(p)e^{-ip\cdot x} + b^\dagger_{p,s}v^s(p)e^{ip\cdot x}] and computing the Hamiltonian:

Loop-closure Lyapunov stability requires bounded-below Hamiltonians, so fermionic quantization is forced. This reproduces the Pauli–Lüders spin-statistics theorem from the Lagrangian and is independent of the configuration-space / Laidlaw–DeWitt route of Spin and Statistics. \square

Proposition 7.2 (Pauli exclusion). The fermionic anticommutators {ap,s,ap,s}=0\{a^\dagger_{p,s}, a^\dagger_{p',s'}\} = 0 of Proposition 7.1 give (ap,s)2=0(a^\dagger_{p,s})^2 = 0 for any single mode. Two identical fermions in the same state are coherence-forbidden. This is the Pauli exclusion principle.

Proof. Direct from the anticommutator algebra of Proposition 7.1. Matches Pauli Exclusion Theorem. \square

Proposition 7.3 (CPT invariance). The composite Lagrangian (Dirac kinetic + Dirac mass + Majorana mass + three-generation replication + Chirality Selection gauge coupling) is invariant under CPT as defined in CPT Theorem: CC from coherence-dual pairs, PP from spatial reflection of the winding structure, TT from loop-closure phase reversal.

Proof. Term by term:

Three-generation replication does not affect CPT invariance: each generation is an independent copy of the CPT-invariant structure. \square

Proposition 7.4 (Stress-energy tensor). Variation of Lspinor\mathcal{L}_{\text{spinor}} with respect to the MAM_A metric gAμνg^{\mu\nu}_A gives the Dirac stress-energy tensor

Tμνspinor=i4ψˉ(γ(μν))ψgA,μνLspinorT^{\text{spinor}}_{\mu\nu} = \frac{i\hbar}{4}\bar\psi\bigl(\gamma_{(\mu}\overleftrightarrow{\nabla}_{\nu)}\bigr)\psi - g_{A,\mu\nu}\mathcal{L}_{\text{spinor}}

which matches the variational definition of Coherence Lagrangian Proposition 7.1 and produces the standard Einstein–Dirac coupling. No non-minimal coupling ξRψˉψ\xi R\bar\psi\psi is generated at tree level (consistent with the enumeration argument of Theorem 2.4 condition (v)).

Proof. Direct variational calculation + Lichnerowicz identity of Proposition 2.5. The Lichnerowicz RA/4R_A/4 term is an on-shell property of D2D^2, not a Lagrangian-level coupling. \square

Physical Interpretation

Framework conceptStandard physics
Spinor observer (ΣA,IA,BA)(\Sigma_A, I_A, \mathcal{B}_A) with ΣAC4\Sigma_A \cong \mathbb{C}^4Dirac spinor
BKM pullback on field configurations”Klein–Gordon-like” quadratic form in ψ\partial\psi
Spin-statistics → first-order kinetic termDirac vs. Klein–Gordon for fermions
Unique first-order Lorentz-scalar bilineariψˉγμμψi\bar\psi\gamma^\mu\partial_\mu\psi
Identification 5.3 for massmψˉψ-m\bar\psi\psi (rest energy)
Clifford Z2\mathbb{Z}_2 gradingChirality projectors PL/RP_{L/R}
Level-2 pseudo-realityMajorana condition νc=ν\nu^c = \nu
so(3)\mathfrak{so}(3) winding classesThree generations
Energy positivity (Prop 7.1)Pauli spin-statistics theorem
Fock-space anticommutators (Prop 7.2)Pauli exclusion principle
Lichnerowicz identityD2=+R/4D^2 = -\Box + R/4 on curved spacetime

Consistency Model

The Standard Model fermion sector provides the primary consistency model. The composite Lagrangian produced by this derivation is:

LSM-fermion=k=13[iψˉkγμμSMψk]kmkψˉkψk+12k,kMkkννkTCνk+h.c.\mathcal{L}_{\text{SM-fermion}} = \sum_{k=1}^{3}\Bigl[i\hbar\,\bar\psi_k\gamma^\mu\nabla_\mu^{\text{SM}}\psi_k\Bigr] - \sum_k m_k\bar\psi_k\psi_k + \tfrac12\sum_{k,k'}M^\nu_{kk'}\nu_k^T C\nu_{k'} + \text{h.c.}

with μSM\nabla_\mu^{\text{SM}} carrying the SU(3)×SU(2)L×U(1)YSU(3) \times SU(2)_L \times U(1)_Y gauge connections (chirality-selected via Chirality Selection), mkm_k the charged-lepton/quark mass eigenvalues, and MkkνM^\nu_{kk'} the Majorana neutrino mass matrix.

Against this model:

Rigor Assessment

Fully rigorous:

Assessment: Derived. The derivation is tight: every step traces either to the BKM selection of Quantum Fisher Metric, to already-derived framework theorems (Spin and Statistics, Chirality Selection, Neutrino Masses, Three Generations, CPT Theorem, Pauli Exclusion), or to standard representation theory. The consistency checks (Step 7) provide independent framework routes to two already-derived theorems (spin-statistics via energy positivity as an alternative to Laidlaw–DeWitt; Pauli exclusion via Fock space as an alternative to algebraic antisymmetry), confirming self-consistency.

No structural postulates.

Open Gaps

  1. Level-3 (O\mathbb{O}) spinor sector. Non-associativity breaks (a) the BKM operator-mean construction (Quantum Fisher Metric Open Gap 1), (b) the standard γμ\gamma^\mu Clifford algebra, and (c) the γ5=iγ0γ1γ2γ3\gamma^5 = i\gamma^0\gamma^1\gamma^2\gamma^3 Z2\mathbb{Z}_2 grading via its quadruple product. Within the framework, level-3 content appears as SU(3)SU(3) color charge on level-1 spinors (Color Force), not as a distinct spinor kinematic level — so the Standard Model’s fermion content is fully covered by levels 1–2 and this gap does not affect Standard Model coverage. A non-associative quantum Fisher formalism, if developed, would enable a direct level-3 spinor derivation; as a separate research problem.

  2. Infinite-dimensional extension. The derivation assumes finite-dimensional spinor state spaces. Quantum-field-theoretic extension to infinite-dimensional Fock spaces is standard but requires explicit verification that the BKM selection arguments survive the infinite-dimensional limit.

Addressed Gaps