- 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
Over the first 100,000 zeros: \(\max _n |N_{\text{approx}}(T_n) - n| = 0.111 {\lt} 0.5\) (safety factor \(4.52\times \)).
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: 600+ certified relations spanning E\(_8\) lattice, \(G_2\) holonomy, \(G_2\) differential geometry (axiom-free), dimensional hierarchy, 50+ physical observables, spectral theory, mass gap ratio \(14/99\), selection principle, Yang–Mills connection, Cheeger inequality, Connes bridge, Selberg bridge, number-theoretic correspondences, \(G_2\) metric properties, TCS piecewise metric, conformal rigidity, and Poincaré duality.
Structure (v3.3.23): 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\)
98.0% of zeros are localized to their correct inter-Gram interval. The 2.0% failure rate is predicted (within 8%) by a simplified GUE model.
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\).
The adaptive formula explains 93.9% of the variance in zero corrections \(\delta _n\) (\(R^2 = 0.939\), out-of-sample \(R^2 = 0.919\)).
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\)
The target value \(65/32\) lies in the certified interval for \(\det (g)\).
For a compact Riemannian manifold \(M\) and a suitable test function \(h\):
Reference: Selberg (1956); Duistermaat-Guillemin (1975), Invent. Math. 29:39–79.