Where this sits in the programme
The Icosian Closure Object bundle reached the positivity wall and located the gap: a single cuspidal GRH. This paper takes the next step. It builds the witness operator in full, identifies the quadratic form it carries with the Weil explicit formula, and turns “located the gap” into a clean two-way theorem — the gap is exactly this positivity, and this positivity is exactly RH(L). The object stops being suggestive and becomes a named entry in the catalogue of structures whose positivity is equivalent to the Riemann Hypothesis.
The central result
The paper constructs a self-adjoint operator from the object alone and proves its associated quadratic form is the Weil functional. The equivalence is then immediate from Weil's criterion:
1. The equivalence. Positivity of the geometric form is equivalent to RH(L), via Weil's positivity criterion. Proved
2. The identification. The geometric quadratic form is the Weil explicit-formula functional — not merely similar to it. Proved
3. The divisor-term interpretation. The form's prime-ideal terms are read off the divisor structure of ζK(s)·ζK(s−1), tying the construction back to the object's exact L-function. Proved
The construction, step by step
The blueprint runs from the geometric object to the equivalence in five moves. The first four are settled; the fifth is the frontier.
-
The object Recalled Computed
The 120 unit icosians on the 600-cell assemble the icosian ring — a maximal order in a definite quaternion algebra over ℚ(√5). Under the golden trace form, its shell structure yields exactly the E8 root system: 240 roots of norm-squared 2, computed in the Coxeter plane.
-
The arithmetic shadow Recalled Derived
The Hilbert theta-series equals ζK(s)·ζK(s−1) by Siegel–Weil (with C2 = 1). A new derivation shows the representation numbers r(π) = 120(1 + N(π)) split into a count contribution and a norm contribution — yielding four factors, one of which is the classical ζ.
-
Two faces Computed
The object has two arithmetic faces. The Eisenstein face contains the classical ζ but violates the Ramanujan bound. The cuspidal face uses Brandt / Hecke operators whose parameter-free geometric eigenvalues satisfy Ramanujan's bound |a𝒮| ≤ 2. The witness is built on the cuspidal face — this is why the result is about RH(L), not classical ζ.
-
The witness operator Derived Recalled
A self-adjoint operator A = A∞ − AP is constructed on the Hilbert space H = L²(ℝ+×, d×t) ⊗ VBrandt. The archimedean part encodes Tate's local term; the prime part uses the geometric coefficients. By the Weil explicit formula, ⟨h, Ah⟩ = ∑ρ |ĥ(γρ)|² — the form is literally a sum over the zeros.
-
The equivalence — and the frontier Proved Open: positivity
Because the form sums over zeros, A ≥ 0 is equivalent to all zeros lying on the critical line: A ≥ 0 ⇔ RH(L). The construction and the equivalence are proved. Whether A is actually positive — the last step — is RH(L) itself, and stays open. Closing it would need a Hilbert-space operator extension and Brandt coefficients beyond the tested norm range.
The witness operator
What was computed
The 240 E8 roots are computed in the Coxeter plane. The Brandt eigenvalues a𝒮 for prime norm N𝒮 ≤ 150 (32 eigenvalues cached in geometric_aP.json) are all self-adjoint and all Ramanujan-certified (|a𝒮| ≤ 2), with no artificial fitting. Operator calibration achieves relative error from 10−2 down to 2.4×10−6. Nine explanatory figures are regenerated by make_figures.py; verification scripts ship in repro/src/.
The claim ledger
The full ledger lives in CLAIMS.md. In five registers:
New theorems established here
- The equivalence QA ≥ 0 ⇔ RH(L), via Weil's positivity criterion.
- The geometric quadratic form is the Weil explicit-formula functional (identification, not analogy).
- The divisor-term interpretation at prime ideals, tied to ζK(s)·ζK(s−1).
Classical, cited not reproven
- Icosian-order class-number properties (Kirschmer–Voight).
- The H4 → E8 connection under the golden trace form.
- The exact L-function L(Θℐ, s) = ζK(s)·ζK(s−1) with C2 = 1.
- Weil's explicit-formula framework (and Connes' operator-theoretic setting).
Finite verification
- 240 E8 roots in the Coxeter plane.
- Brandt eigenvalues a𝒮 (N𝒮 ≤ 150): all self-adjoint, all Ramanujan, no fitting.
- Operator calibration: relative error 10−2 to 2.4×10−6.
The frontier
- Positivity of A — i.e. RH(L) itself — remains unproven.
- Requires extension to Hilbert-space operators and higher-norm Brandt coefficients beyond the tested range.
Explicitly out of scope
- No proof of RH or GRH.
- Classical ζ is only one of four factors — the result concerns RH(L) for a cuspidal L-function, not classical RH.
- No physical, cosmological, or interpretive models are invoked.
The landscape of RH equivalents
The firewall
What is — and is not — claimed
What is claimed
- A parameter-free construction of the Weil quadratic form QA from the icosian object
- The proven equivalence QA ≥ 0 ⇔ RH(L) for one cuspidal L-function
- Identification of the geometric form with the Weil explicit-formula functional
- A finite, reproducible, Ramanujan-certified eigenvalue computation with no fitted parameters
- A concrete new member of the known family of RH-equivalent reformulations
What is not claimed
- No proof of the Riemann Hypothesis — an equivalence is proved, not the positivity
- No proof of GRH; the positivity of A is the open frontier
- No claim about classical ζ in isolation — the result is about a cuspidal L-function (RH(L))
- No physical or cosmological interpretation
- Peer-reviewed status — a working draft, locally maintained, unpublished
One object, no free parameters, one clean theorem: positive form if and only if Riemann. The equivalence is proved; the positivity is the wall — and the wall is named exactly.