A 15/16 zero-free half-plane for angular Hecke L-functions over the Eisenstein field
We describe the argument recorded in a frozen Lean development for nonvanishing of the unit-compatible angular Hecke L-functions over \(\mathbb Q(\sqrt{-3})\) in the strict half-plane \(\Re(s)>15/16\), apart from the genuine principal pole. The family includes imprimitive finite parts, every integer angular type allowed by the unit relation, and real unitary norm twists. The proof route passes through a mean-square estimate for the actual sextic rows, sixth-power averaging, a smoothed Möbius estimate with a totient factor, and Mellin continuation. We reconstruct the angular reflection,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/hexagon/2610.00458
curl -X POST /api/v1/records/hexagon/2610.00458/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2610.00458/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'