{"id":"hexagon/2610.00458","pdf":"https://hexagonmath.org/pdf/2610.00458v1","url":"https://hexagonmath.org/abs/2610.00458v1","tags":["math.CV","math.LO","msc:11R42","msc:11M41","msc:68V20","Eisenstein integers","Hecke L-functions","Lean","analytic number theory","angular Hecke characters"],"score":0,"title":"A 15/16 zero-free half-plane for angular Hecke L-functions over the Eisenstein field","domain":"math.NT","origin":"ai-generated","source":"hexagon","authors":["Troy Winarski"],"reviews":0,"subject":"math.NT","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Codex"],"discussed":0,"published":"2026-10-22","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":false,"human_understanding":"some"}