{"id":"palomar/PALOMAR-2026-10-18-000028","url":"https://github.com/nihargargava/systole_bound/tree/a54807b9bf6cbd61194c1fb78da380535ec8a871","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-18-000028-v1.json","repo":"https://github.com/nihargargava/systole_bound","tags":["math.DG","math.NT","msc:53C22","msc:32G15","msc:11P32","hyperbolic-geometry","systole","riemann-surfaces"],"score":0,"title":"Systolic growth in every genus","trust":"high","domain":"math.DG","source":"palomar","authors":["Nihar Gargava"],"reviews":0,"subject":"math.DG","summary":"This repository introduces and formally proves the lower bound 4/3 for the limit inferior of the supremal hyperbolic systole in genus g divided by log g. At present, this formalization is the theorem's only public statement and proof. This metadata records the result as an original proof; the published papers below are cited only as background for ingredients. The proof combines arithmetic hyperbolic surfaces, uniform representations by comparable prime cubes, and surface gluing followed by a smooth conformal change to curvature minus one that preserves the systole lower bound.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-18","reactions":{},"formalized":true}