# Quasihyperbolic domains are CAT(2)

Preprint · Toni Ikonen, Abhishek Pandey

- Archive id: arxiv:2609.24610
- Published: 2026-09-21
- arXiv: https://arxiv.org/abs/2609.24610
- Source URL: https://arxiv.org/abs/2609.24610
- PDF: https://arxiv.org/pdf/2609.24610
- Provenance: arxiv

## Abstract

We prove that every proper subdomain of the Euclidean space equipped with its quasihyperbolic metric is CAT(2). The CAT property leads to a positive resolution of Väisälä's uniqueness, prolongation, quasihyperbolic convexity, and local geodesic conjectures on quasihyperbolic geodesics affirmatively on all dimensions, extending the two-dimensional results by Herron. The sectional curvature bound is optimal as demonstrated by the complement of two points in dimensions at least three. We also show that in any quasihyperbolic domain, quasihyperbolic spheres up to radius $π/\\sqrt{2}$ are $\\mathcal{C}^{1,\\frac{1}{2}}$-diffeomorphic to the Euclidean sphere. Consequently, we answer a question by Gehring and Vuorinen on the regularity of such spheres. Similar techniques lead to a positive resolution of Väisälä's conjecture on the Euclidean convexity of quasihyperbolic balls up to radius $\\arctan(\\sqrt{2})/\\sqrt{2}$. We establish that in all dimensions, the quasihyperbolic metric is CAT(0) on convex domains. This leads to a positive answer to a question by Martio and Väisälä on the quasihyperbolic convexity of quasihyperbolic balls on such domains. Finally, we prove that a variable Alexandrov curvature lower bound for a quasihyperbolic domain self-improves to a global lower bound of $-1$ and is equivalent to the concavity of the domain.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.