- Boxes
- definitions
- Ellipses
- theorems and lemmas
- Blue border
- the statement of this result is ready to be formalized; all prerequisites are done
- Orange border
- the statement of this result is not ready to be formalized; the blueprint needs more work
- Blue background
- the proof of this result is ready to be formalized; all prerequisites are done
- Green border
- the statement of this result is formalized
- Green background
- the proof of this result is formalized
- Dark green background
- the proof of this result and all its ancestors are formalized
- Dark green border
- this is in Mathlib
The PINN parameterizes perturbations via the 14-dimensional \(\mathfrak {g}_2\) adjoint:
Only 14 functions are learned (not 35).
The trained PINN is evaluated on a grid and FFT identifies dominant modes. Coefficients are rationalized to \(\mathbb {Q}\) within tolerance \(10^{-8}\).
The six hypotheses (H1)–(H6) for spectral bounds:
Volume normalization: \(\mathrm{Vol}(K) = 1\)
Bounded neck volume: \(v_0 \leq \mathrm{Vol}(N) \leq v_1\)
Product metric: \(g|_N = dt^2 + g_Y\)
Block Cheeger bound: \(h(M_i \setminus N) \geq h_0\)
Balanced blocks: \(\mathrm{Vol}(M_i) \in [1/4, 3/4]\)
Neck minimality: \(\mathrm{Area}(\Gamma ) \geq \mathrm{Area}(Y)\)
A TCS manifold \(K = M_1 \cup _N M_2\) consists of:
Two asymptotically cylindrical manifolds \(M_1, M_2\) (building blocks)
A cylindrical neck \(N \cong Y \times [0, L]\) with cross-section \(Y\)
Neck length parameter \(L {\gt} 0\)
Volume normalization: \(\mathrm{Vol}(K) = 1\)
The canonical GIFT G2 metric on \(K_7\) is given by:
3-form (\(35\) components, \(7\) non-zero):
where \(c = (65/32)^{1/14}\).
Metric (\(7 \times 7\) diagonal):
Properties:
\(\det (g) = 65/32\) (exact)
\(\| T\| = 0\) (torsion-free)
\(\mathrm{Hol}(g) = G_2\) (by construction)
The metric has \(28 - 27 - 1 = 0\) free parameters:
\(\mathrm{dim}(\mathrm{SPD}_7) = 28\) total metric DOF
\(G_2\) holonomy kills \(\mathrm{dim}(J_3(\mathbb {O})) = 27\) traceless directions
\(\det (g) = 65/32\) fixes the remaining conformal modulus
The G2 constraint reduces parameters from 35 to 14: \(35 - 14 = 21 = b_2\)
\(H^*= \mathrm{dim}(K_7) \times \mathrm{dim}(G_2) + 1\), i.e., \(99 = 7 \times 14 + 1\). The quotient is \(\mathrm{dim}(K_7)\) and the remainder is 1 (the parallel spinor count for \(G_2\) holonomy from Berger’s classification).
Mathematical infrastructure: E\(_8\) lattice (240 roots), G\(_2\) cross product, \(G_2\) differential geometry (axiom-free), octonion bridge, K\(_7\) Betti numbers, Joyce existence, conformal rigidity, Poincaré duality, G\(_2\) metric properties, TCS piecewise metric.
Complete GIFT framework: 460+ certified relations spanning E\(_8\) lattice, \(G_2\) holonomy, \(G_2\) differential geometry (axiom-free), dimensional hierarchy, 50+ physical observables, spectral theory, bare ratio \(14/99\), physical ratio \(13/99\), selection principle, KK spectral bridge, Cheeger inequality, \(G_2\) metric properties, TCS piecewise metric, conformal rigidity, and Poincaré duality.
Structure: three domain-organized pillars — Foundations.statement \(\wedge \) Predictions.statement \(\wedge \) Spectral.statement.
The PINN torsion is well below Joyce threshold: \(0.001 {\lt} 0.0288\)
For TCS family \((M_T, g_T)\) with cross-section \(X\):
Reference: Langlais 2024, Comm. Math. Phys.
The \(7 \times 7\) matrix space decomposes as \(49 = 28 + 21 = 2 \cdot \mathrm{dim}(G_2) + b_2\). The symmetric part (28 = metric DOF) equals \(2 \times \mathrm{dim}(G_2)\); the antisymmetric part (21 = torsion 2-forms) equals \(b_2\).
Using the bare ratio: \(\Delta = (14/99) \times \Lambda _{\mathrm{QCD}}\) with \(\Lambda _{\mathrm{QCD}} = 200\; \mathrm{MeV}\) gives \(\approx 28.3\; \mathrm{MeV}\). The analytical mass gap \(\lambda _1 = 6\pi ^2/475\) gives \(\approx 24.9\; \mathrm{MeV}\).
For \(\varphi = c \cdot \varphi _0\) and metric \(g_{ij} = \frac{1}{6}\sum _{k,l} \varphi _{ikl}\varphi _{jkl}\):
Standard \(\varphi _0\) gives \(g = I_7\), so \(\det (g) = 1\)
Scaling \(\varphi \mapsto c \cdot \varphi \) gives \(g \mapsto c^2 \cdot g\)
Therefore \(\det (g) \mapsto c^{14} \cdot \det (g)\)
Setting \(c^{14} = 65/32\) yields \(\det (g) = 65/32\)
Spectral gap programme: bare algebraic ratio \(\mathrm{dim}(G_2)/H^*= 14/99\), physical ratio \(({\mathrm{dim}(G_2) - h})/H^*= 13/99\), analytical mass gap \(\lambda _1 = 6\pi ^2/475\), TCS spectral bounds, selection principle, Cheeger inequality, KK spectral bridge.
The target value \(65/32\) lies in the certified interval for \(\det (g)\).