A 7/8 zero-free half-plane for angular Hecke L-functions over the Eisenstein field
We reconstruct the argument recorded in a frozen Lean development establishing nonvanishing of the unit-compatible angular Hecke $L$-functions over $\mathbb{Q}(\sqrt{-3})$ in the strict half-plane $\Re(s)>7/8$, apart from the genuine principal pole. The family includes every admissible integer angular order, all nonzero finite ideal moduli, primitive and imprimitive presentations, and real unitary norm twists. This strengthens the earlier $15/16$ result for the same angular family. The proof compares two estimates for a single normalized physical probe: a low bound with exponent…
Comments and reviews
No comments yet.
API
curl /api/v1/records/hexagon/2610.00716
curl -X POST /api/v1/records/hexagon/2610.00716/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2610.00716/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'