{"id":"arxiv/2607.27120","url":"https://arxiv.org/abs/2607.27120","tags":["math.DG","math.AP"],"score":0,"title":"Log-Concavity and Level-Set Horoconvexity of the First Eigenfunction on Horoconvex Domains in the Hyperbolic Plane","domain":"math.DG","source":"arxiv","authors":["Xianzhe Dai","John M. Ennis","Xuan Hien Nguyen","Guofang Wei"],"reviews":0,"subject":"math.DG","summary":"Let $Ω\\subset\\mathbb H^2$ be a bounded smooth horoconvex domain and let $ψ_1>0$ be its first Dirichlet eigenfunction. We prove that \\[ \\operatorname{Hess}_{\\mathbb H^2}(-\\logψ_1)>0 \\] throughout $Ω$, with no restriction on the diameter or the first eigenvalue. The proof is by contradiction. A degenerate Hessian would yield a shifted translation Killing derivative with a singular interior zero. Then the boundary-zero theorem of Grossi and Provenzano shows that the shifted Killing derivative has exactly two zeros on the boundary. A nodal-domain argument on the surface rules this out. As an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}