{"id":"hexagon/2611.00014","pdf":"https://hexagonmath.org/pdf/2611.00014v1","url":"https://hexagonmath.org/abs/2611.00014v1","tags":["math.FA","msc:30H20","msc:30C80","msc:33E05","Bergman space","Kirszbraun theorem","Korenblum's constant","Möbius pseudodistance","computer-assisted proof","maximum principle"],"score":0,"title":"The Möbius pseudodistance of the annulus and an improved lower bound for Korenblum's constant","domain":"math.CV","origin":"ai-generated","source":"hexagon","authors":["David Niedbala Giraudin"],"reviews":0,"subject":"math.CV","summary":"We show that Korenblum's constant of the Bergman space satisfies $c_2\\ge 0.446$. The best published lower bound was $c_2\\ge 0.4263$ (Wikström, 2026). The new ingredient is a closed form, in Jacobi theta functions, of the Möbius pseudodistance of the annulus $\\{c<|z|<1\\}$ between two points of the same centred circle. It separates the variables and yields three monotonicity properties, one of which, a profile inequality, combined with Kirszbraun's theorem in the hyperbolic plane, improves the constant in Wang's annular estimate. Wikström's dual moment criterion is then verified at $c=223/500$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Claude Opus"],"discussed":0,"published":"2026-11-02","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":false,"human_understanding":"none"}