Depends On
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 quantum Fisher metric on spinor state spaces is BKM (Quantum Fisher Metric). Pulled back along field configurations on observer-projected spacetime , BKM produces a quadratic “Klein–Gordon-like” form in .
- Canonical quantization of a quadratic-in- Lagrangian produces bosonic commutators, contradicting the framework’s already-derived spin-statistics theorem. The kinetic term must therefore be linear in . Among all Lorentz-scalar, hermitian, minimally coupled bilinears linear in , the Dirac form is the unique one available.
- The mass term follows from the same Identification 5.3 that produces the scalar mass term: rest-cycle frequency × coherence content gives .
- The chirality structure, Majorana form, and three-generation replication follow from representation-theoretic consequences of the Clifford algebra and the Cayley–Dickson bootstrap hierarchy; none requires new content beyond what is already derived in the framework.
The result. The Dirac Lagrangian 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 applies at bootstrap level 2 where the doublet carries a pseudo-real structure. Three-generation replication follows from the 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 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 on observer-projected spacetime , is uniquely:
where is the -covariant spinor derivative (spin connection from the 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 .
Extensions.
- Chirality decomposition: The Clifford grading via splits the Dirac spinor as with . The kinetic term is chirality-block-diagonal; the mass term mixes chiralities. The gauge coupling is restricted to by Chirality Selection.
- Majorana sector at level 2: For an -doublet with no other distinguishing charges (neutrinos), the pseudo-real structure of the weak doublet forces the Majorana condition , and the mass term takes the form with the charge-conjugation matrix.
- Three-generation replication: By Three Generations Theorem 0.1, spinor observers replicate over three winding-direction classes in with distinct mass eigenvalues fixed by Three Generations Theorem 4.2.
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 whose state space is a Clifford module:
equipped with a representation of the Clifford algebra generated by matrices satisfying . For spacetime dimensions (from Three Dimensions), this is — the standard Dirac spinor.
Definition 1.2 (Field configuration). A spinor field on observer-projected spacetime (from Observer-Projected Spacetime Theorem 3.1) is a smooth section
of the spinor bundle over . The bundle’s spin connection is constructed from the tetrad via the standard spin-connection formula. The covariant spinor derivative is
where 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 , not on a single shared spacetime. Inter-observer consistency becomes a presheaf condition on the family under the restriction maps of the projection functor (Observer-Projected Spacetime Definition 1.2). In a local Lorentz frame near the observer worldline , where , the covariant derivative reduces to , and the Lagrangian below takes the flat-space Dirac form. The flat form is therefore the leading-order result within a single , 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 . Pulled back along the spacetime variation , the line element on the field configuration space is the quadratic form
where the U(1) phase part of Fubini–Study has been gauged into via minimal coupling. This is a “Klein–Gordon-like” kinetic form: quadratic in , 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 . The second term is the U(1) gauge freedom; absorbing it into via the gauge connection produces the stated quadratic form. The prefactor is the Action–Planck normalization from Fisher Information Metric Proposition 4.1, carried through the BKM identification.
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 . Both quadratic () and linear () 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.
Proposition 2.3 (Spin-statistics forces linear-in-). A Lagrangian quadratic in yields bosonic commutation relations upon canonical quantization, contradicting Spin and Statistics Theorem 1.1. A Lagrangian linear in yields a primary second-class constraint , whose Dirac-bracket quantization produces fermionic anticommutation relations — consistent with spin-statistics. Therefore the spinor kinetic term must be linear in .
Proof. For a quadratic Lagrangian , the conjugate momentum is independent of . Canonical quantization assigns — bosonic commutators. Fermion fields satisfy anticommutators by Spin and Statistics, so this is inconsistent.
For a Lagrangian linear in , the momentum depends only on itself — a primary constraint . Its Poisson bracket with itself is non-zero (second-class constraint). Dirac-bracket reduction gives . 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 — fermionic, consistent with Spin and Statistics.
Theorem 2.4 (Uniqueness of the Dirac kinetic term). The unique Lagrangian density on satisfying: (i) linear in ; (ii) bilinear in with ; (iii) Lorentz scalar on ; (iv) hermitian up to total derivative; (v) minimally coupled (no free non-minimal coupling parameter), is:
Proof. Condition (ii) gives one factor of and one of . Condition (i) requires exactly one . Condition (iii) demands contraction of the spacetime index to a scalar. The spinor-bilinear classification provides exactly five independent bilinears: (scalar, pseudoscalar, vector, axial vector, tensor). Of these, only carries a single free vector index suitable for contraction with a single ; 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 ).
The axial-vector 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 via Chirality Selection, not through an axial-vector kinetic term.
Contracting with gives , complex-valued. Hermiticity (iv) requires the symmetric combination displayed above, which differs from only by a total derivative. Condition (v) rules out non-minimal scalar-curvature couplings or equivalents by the same enumeration argument Coherence Lagrangian Theorem 3.1(v) applies for scalars.
The coefficient is fixed by requiring the kinetic arc length over one rest-cycle of the observer to equal (Fisher Information Metric Proposition 4.1 normalization, carried through the BKM identification).
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:
where is the scalar curvature of (Lichnerowicz identity, Lichnerowicz, 1963).
Proof. Direct computation: , and standard manipulation of the Riemann tensor contracting with -bilinears reduces the curvature piece to . See Lawson–Michelsohn, Spin Geometry, §II.8.
Remark. The term is an on-shell consequence of squaring the Dirac operator, not a Lagrangian-level non-minimal coupling. The Lagrangian 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 , with rest-cycle frequency giving rest energy . The spinor mass term must be a Lorentz-scalar, non-derivative, bilinear-in- operator of dimension 4, with coefficient fixed by the rest-cycle identification.
Proof. Same bilinear classification as Theorem 2.4. Of the five Lorentz-covariant spinor bilinears, only (scalar) and (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 is the unique parity-even, non-derivative, Lorentz-scalar bilinear. Identification 5.3 fixes the coefficient to .
Theorem 3.2 (Mass term). The spinor mass term in the Coherence Lagrangian is
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 Grading
Definition 4.1 (Chirality operator). The volume element
satisfies and for all . The chirality projectors are
These satisfy , , , , and commute with all even-grade Clifford elements (in particular with the Lorentz generators ).
Proposition 4.2 (Weyl decomposition). The Dirac spinor decomposes as a direct sum of -irreducible representations:
with in the Weyl representation and in the Weyl representation of .
Proof. Standard consequence of the Clifford grading; the projectors are orthogonal idempotents, and their commutativity with the Lorentz generators makes each image a -invariant subspace.
Proposition 4.3 (Chirality decomposition of the kinetic term). Under , the Dirac kinetic term decomposes block-diagonally:
where and .
Proof. Direct computation using and the Weyl basis .
Proposition 4.4 (Chirality decomposition of the mass term). The Dirac mass term mixes the two Weyl components:
Proof. ; in the Weyl basis, exchanges the two Weyl blocks.
Corollary 4.5 (Massless-to-massive transition). For , the Dirac Lagrangian decouples into two independent Weyl Lagrangians (kinetic only, one per chirality). For , the mass term is the unique chirality-mixing bilinear, producing the Dirac equation’s oscillation at frequency .
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 gauge connection in is restricted to one Weyl component. In the conventional sign choice:
with 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.
Step 5: Majorana Form at Bootstrap Level 2
Proposition 5.1 (Pseudo-real structure of the weak doublet). The fundamental representation on carries a canonical quaternionic (anti-linear) structure
satisfying and for all . Equivalently, implies as representations via the invariant pairing . This realizes the Cayley–Dickson level-2 identification of Bootstrap Division Algebras.
Proof. Standard algebraic identities for Pauli matrices.
Proposition 5.2 (Majorana condition). For an -doublet that carries no other distinguishing charges (electrically neutral, colorless — i.e., a neutrino), the coherence-dual map of Coherence-Dual Pairs acts only on the phase structure. Proposition 5.1 makes this action identify-equivalent on the doublet (), so the state is self-conjugate: . This is the Majorana condition , where charge conjugation is the spacetime extension of the Weyl-level structure.
Proof. This is Neutrino Masses Theorem 1.3 applied to the Lagrangian framework: the conjugation that distinguishes Dirac particle from antiparticle is absent (zero electric charge); the only conjugation-sensitive label is the representation, which is self-conjugate via .
Theorem 5.3 (Majorana mass term). For a -invariant (Majorana) neutrino, the unique Lorentz-scalar, non-derivative, bilinear mass term consistent with the pseudo-real structure is
The Dirac form does not apply for Majorana neutrinos because it vanishes on -invariant states (alternatively: for a self-conjugate field, , and is the surviving Lorentz-scalar non-derivative bilinear). The coefficient avoids double-counting the self-conjugate degree of freedom.
Proof. The spinor-bilinear enumeration of Proposition 3.1 restricted to -invariant states leaves 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).
Remark 5.4 (Seesaw consistency). The seesaw mass matrix of Neutrino Masses Theorem 2.2 combines a Dirac coupling (from Theorem 3.2) with a right-handed Majorana term (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 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 space. The Lagrangian-level content is replication of the spinor sector over generation index :
with masses fixed by Three Generations Theorem 4.2 (misalignment-angle tunneling factors ).
Proof. The Lagrangian of Theorem 2.4 and 3.2 derives from a single-observer state space . 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 for 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.
Step 7: Consistency — Spin-Statistics, Pauli Exclusion, CPT, and Stress-Energy
Proposition 7.1 (Spin-statistics from energy positivity). Canonical quantization of 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 in plane-wave modes and computing the Hamiltonian:
- Bosonic: gives . Filling arbitrary antiparticle modes drives : unbounded below.
- Fermionic: combined with gives with constant zero-point : bounded below.
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.
Proposition 7.2 (Pauli exclusion). The fermionic anticommutators of Proposition 7.1 give 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.
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: from coherence-dual pairs, from spatial reflection of the winding structure, from loop-closure phase reversal.
Proof. Term by term:
- Kinetic term : CPT-invariant by the Pauli–Lüders term-by-term argument (CPT Theorem Proposition 4.1).
- Dirac mass : Lorentz scalar, trivially CPT-invariant.
- Majorana mass : CPT-invariant automatically — Majorana fermions are their own CPT conjugates.
- Chiral coupling: CPT-invariant by CPT Theorem Proposition 6.1 (the chirality flip from cancels against the chirality flip from , and the phase conjugation from cancels against the phase structure of ).
Three-generation replication does not affect CPT invariance: each generation is an independent copy of the CPT-invariant structure.
Proposition 7.4 (Stress-energy tensor). Variation of with respect to the metric gives the Dirac stress-energy tensor
which matches the variational definition of Coherence Lagrangian Proposition 7.1 and produces the standard Einstein–Dirac coupling. No non-minimal coupling 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 term is an on-shell property of , not a Lagrangian-level coupling.
Physical Interpretation
| Framework concept | Standard physics |
|---|---|
| Spinor observer with | Dirac spinor |
| BKM pullback on field configurations | ”Klein–Gordon-like” quadratic form in |
| Spin-statistics → first-order kinetic term | Dirac vs. Klein–Gordon for fermions |
| Unique first-order Lorentz-scalar bilinear | |
| Identification 5.3 for mass | (rest energy) |
| Clifford grading | Chirality projectors |
| Level-2 pseudo-reality | Majorana condition |
| winding classes | Three generations |
| Energy positivity (Prop 7.1) | Pauli spin-statistics theorem |
| Fock-space anticommutators (Prop 7.2) | Pauli exclusion principle |
| Lichnerowicz identity | on curved spacetime |
Consistency Model
The Standard Model fermion sector provides the primary consistency model. The composite Lagrangian produced by this derivation is:
with carrying the gauge connections (chirality-selected via Chirality Selection), the charged-lepton/quark mass eigenvalues, and the Majorana neutrino mass matrix.
Against this model:
- Electron mass term: Dirac (), level 1, from Theorem 3.2.
- Neutrino mass term: Majorana seesaw, mixed level-1/level-2 structure, from Theorem 5.3 + Remark 5.4.
- Quark mass terms: Dirac, level 1 with color factor (not a level-3 spinor modification; see Open Gap 1), from Theorem 3.2 applied per generation.
- Three-generation replication: Proposition 6.1.
- Gauge couplings: Chirality Selection applied at the Lagrangian level (Proposition 4.6).
Rigor Assessment
Fully rigorous:
- Step 1 (Setup): definitions + framework cross-references
- Proposition 2.1 (BKM pullback): direct application of Quantum Fisher Metric Theorem 7.2 to field configurations
- Proposition 2.2 (Ostrogradsky): direct application of Coherence Lagrangian Theorem 6.0
- Proposition 2.3 (Spin-statistics forces first-order): Dirac-bracket constraint analysis, standard (Henneaux–Teitelboim Quantization of Gauge Systems, Ch. 1)
- Theorem 2.4 (Dirac uniqueness): spinor-bilinear enumeration (Weinberg QFT Vol. I §5.4) + Lorentz/hermiticity/minimal-coupling constraints
- Proposition 2.5 (Lichnerowicz identity): Lichnerowicz, 1963
- Propositions 3.1, 3.2 (Mass term): bilinear enumeration + Identification 5.3
- Propositions 4.1–4.6 (Chirality structure): standard Clifford representation theory + Chirality Selection cross-reference
- Propositions 5.1–5.3 (Majorana sector): pseudo-real structure of + cross-reference to Neutrino Masses Theorem 1.3
- Proposition 6.1 (Three-generation replication): cross-reference to Three Generations Theorem 0.1 + 4.2
- Propositions 7.1–7.4 (Consistency): energy-positivity spin-statistics, Pauli exclusion from Fock space, CPT term-by-term, standard stress-energy variation
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
-
Level-3 () spinor sector. Non-associativity breaks (a) the BKM operator-mean construction (Quantum Fisher Metric Open Gap 1), (b) the standard Clifford algebra, and (c) the grading via its quadruple product. Within the framework, level-3 content appears as 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.
-
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
- Coherence Lagrangian Open Gap 5 (fermion kinetics): closed by Theorems 2.4 and 3.2.
- Observer Pattern Signal Open Gap 2 (spinor Yukawa signal): the Lagrangian-level spinor source is now available for propagation to the pattern-signal derivation; full propagation is a downstream update.
- Neutrino Masses Lagrangian embedding of the Majorana condition: closed by Theorem 5.3.