geometry-topology / Hyperbolic geometry

Large systoles in every sufficiently large genus

We show that for every sufficiently large genus $g$, there exists a closed hyperbolic surface $S_g$ with systole $\mathrm{sys}(S_g)\geq \log g-12\log\log g$. In particular, $$ \liminf_{g\to \infty}\frac{\max\{\mathrm{sys}(S):S\in \mathcal{M}_g\}}{\log g}\geq 1, $$ improving the previously known bound $2/9$. This note is a continuation of our previous work on the diameter of finite covers arXiv:2608.12887, using the same framework of constant-twist pants decomposition to study systoles. The proof was developed by GPT-5.6 Sol through an extended discussion with the author.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyAug 27, 2026Significance 22/100Registry: unreviewed

Large systoles in every sufficiently large genus

Prior state unknownproved

The theorem improves the best lower bound valid in *every* sufficiently large genus from asymptotic constant $2/9$ to $1$. The every-genus ladder it climbs is Katz-Sabourau's $19/120$ and then Liu-Petri's $2/9$, the latter also by a random construction. Constant $1$ was already reached by Petri-Walker along a subsequence of genera, following Erdos-Sachs, so the new contribution is achieving it uniformly rather tha…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

We show that for every sufficiently large genus $g$, there exists a closed hyperbolic surface $S_g$ with systole $\mathrm{sys}(S_g)\geq \log g-12\log\log g$. In particular, $$ \liminf_{g\to \infty}\frac{\max\{\mathrm{sys}(S):S\in \mathcal{M}_g\}}{\log g}\geq 1, $$ improving the previously known bound $2/9$. This note is a continuation of our previous work on the diameter of finite covers arXiv:2608.12887, using the same framework of constant-twist pants decomposition to study systoles. The proof was developed by GPT-5.6 Sol through an extended discussion with the author.

The theorem improves the best lower bound valid in *every* sufficiently large genus from asymptotic constant $2/9$ to $1$. The every-genus ladder it climbs is Katz-Sabourau's $19/120$ and then Liu-Petri's $2/9$, the latter also by a random construction. Constant $1$ was already reached by Petri-Walker along a subsequence of genera, following Erdos-Sachs, so the new contribution is achieving it uniformly rather than the constant itself. The asymptotic problem stays open, and the remaining gap is wide: Brooks and Buser-Sarnak give $\limsup\ge4/3$, while the elementary area bound is $\max\mathrm{sys}(S)\le2\log(4g-2)$, asymptotically $2\log g$. So this closes much of the liminf gap and determines no optimal constant.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.