-
Notifications
You must be signed in to change notification settings - Fork 0
Paper Main Framework
Brieuc de La Fournière edited this page Mar 12, 2026
·
2 revisions
Geometric Information Field Theory: Topological Derivation of Standard Model Parameters from G2 Holonomy Manifolds
Brieuc de La Fournière (2026) Full text (markdown) | Zenodo DOI: 10.5281/zenodo.18837071
Framework proposing that 19 Standard Model dimensionless parameters emerge as topological invariants of a 7D G2 holonomy manifold K7 with Betti numbers (b2=21, b3=77) coupled to ×ばつE8 gauge structure. Derives 33 dimensionless predictions with mean deviation 0.24% from experiment. 18 core relations formally verified in Lean 4. DUNE will test δ_CP = 197° falsification criterion.
| Observable | GIFT Formula | Value | Exp. | Dev. |
|---|---|---|---|---|
| sin2θ_W | b2/(b3+dim(G2)) | 3/13 | 0.2312 | 0.19% |
| N_gen | rank(E8)−Weyl | 3 | 3 | exact |
| Q_Koide | dim(G2)/b2 | 2/3 | 0.6667 | 0.001% |
| α_s(M_Z) | √2/12 | 0.1179 | 0.1179 | 0.04% |
| δ_CP | ×ばつ14+99 | 197° | 177°±20° | 1σ |
| m_τ/m_e | ×ばつ99 | 3477 | 3477.2 | 0.004% |
| n_s | ζ(11)/ζ(5) | 0.9649 | 0.9649 | 0.004% |
Global: 33 predictions, 0.24% mean deviation (32 well-measured), 4 exact, 28/33 sub-1%
- Introduction — Parameter problem, contemporary context, framework overview
- Mathematical Framework — Octonions, ×ばつE8, K7 hypothesis, G2 structure
- Methodology & Epistemic Status — Derivation principle, claims vs non-claims
- Derivation of 33 Predictions — Gauge, lepton, quark, neutrino, Higgs, cosmological sectors
- Formal Verification & Statistics — Lean 4 (290+ theorems), uniqueness among 192,349 alternatives
- G2 Metric Program — PINN atlas construction, metric quality results
- Falsifiable Predictions — δ_CP via DUNE, fourth generation bounds
- Discussion — M-theory connections, comparison with other approaches, limitations
- Conclusion
- (21,77) unique optimal among 192,349 configurations (p < ×ばつ10−6)
- ×ばつE8 achieves ×ばつ better agreement than next best gauge group
- G2 holonomy achieves ×ばつ better than Calabi-Yau (SU(3))
- Lean 4 verification: 290+ theorems, 0 sorry, 0 domain-specific axioms
- Paper S1 Foundations — Mathematical foundations
- Paper S2 Derivations — Complete derivations
- Paper Explicit G2 Metric — Numerical G2 metric
- Paper Spectral Geometry — KK spectrum
- Observable Reference — Full prediction catalog
- Statistical Evidence — 7-component validation
Start Here
By Audience
Papers
Reference
Blog Posts
- Roberto Carlos' Geometry
- Lice of the Universe
- The Algebra That Waited
- Gift from Bit
- On What Comes First
- Joyce's Theorem in Lean
- 13 Theorems, Zero Trust
Project