On an Internal Characterization of Horocyclically Convex Domains in the Unit Disk

TL;DR

This paper provides an internal geometric characterization of horocyclically convex domains in the unit disk, linking horo-convexity to the existence of specific curves with bounded hyperbolic curvature, and explores metric bounds and implications.

Contribution

It introduces a novel internal characterization of horo-convex domains using curves with hyperbolic curvature in (-2,2), advancing understanding of their geometric structure.

Findings

Horo-convexity characterized by curves with hyperbolic curvature in (-2,2)

Lower bounds established for the hyperbolic metric in horo-convex regions

Implications for the geometric and metric properties of horo-convex domains

Abstract

A proper subdomain $G$ of the unit disk $\mathbb{D}$ is horocyclically convex (horo-convex) if, for every $\omega \in \mathbb{D}\cap \partial G$, there exists a horodisk $H$ such that $\omega \in \partial H$ and $G\cap H=\emptyset$. In this paper we give an internal characterization of these domains, namely, that $G$ is horo-convex if and only if any two points can be joined inside $G$ by a $C^1$ curve composed with finitely many Jordan arcs with hyperbolic curvature in $(-2,2)$. We also give a lower bound for the hyperbolic metric of horo-convex regions and some consequences.