Skip to content
#

arakelov-theory

Star

Here is 1 public repository matching this topic...

DavidFox998 / riemann-arakelov-positivity

Star 1

Route A of 3: RH via Arakelov positivity on X₀(143) g=13. Abbes-Ullmo 1996 Thm 1.2 → ω²=48/13>0 → g=13 → GRH → H₄ 12/11 → RH. Lean 4.12 Mathlib 0 sorry riemannZeta. Companion to Route B (spectral gap λ₁≥975/4096) and Route C (Growth Contradiction). Base curve for S₄={2,3,19,191} C=11.422. https://doi.org/10.5281/zenodo.21303944

riemann-zeta riemannian-geometry riemann-hypothesis lean4 formal-proof x0-143 arakelov-theory
  • Updated Jul 23, 2026
  • Lean

Improve this page

Add a description, image, and links to the arakelov-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the arakelov-theory topic, visit your repo's landing page and select "manage topics."

Learn more