Projection theorems in hyperbolic space (Q1729732)

Marstrand's theorem states that, given a Borel set $A$ in $\mathbb{R}^2$, for almost every line $L$ the orthogonal projection of $A$ onto $L$ is a set of Hausdorff dimension equal to the minimum of 1 and the Hausdorff dimension of $A$. Marstrand's theorem has been sharpened and generalized to higher dimensions by many authors. Also, similar problems have been studied in various other settings such as Heisenberg groups and normed spaces, as well as for radial projections, different notions of measure and dimension, and restricted families of projections. \par In this paper (Theorems 1 and 2, precisely) the authors prove a Marstrand-type projection theorem and a Besicovitch-Federer-type projection theorem (i.e., a characterization of purely unrectifiable sets in terms of projections) for orthogonal projections along geodesics in the hyperbolic $n$-space. \par Theorem 1 is proved by a comparison argument. Namely, the authors define a self-map of the unit ball that by conjugation transforms hyperbolic orthogonal projections (displayed in the Poincaré model) into Euclidean orthogonal projections. The same arguments allow them to establish Theorem 2.