Hostname: page-component-848d4c4894-nr4z6 Total loading time: 0 Render date: 2024-05-06T22:11:56.466Z Has data issue: false hasContentIssue false

Diophantine extremality of the Patterson measure

Published online by Cambridge University Press:  22 February 2006

BERND O. STRATMANN
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY 16 9SS. e-mail: bos@maths.st-and.ac.uk
MARIUSZ URBAŃSKI
Affiliation:
Dept. of Mathematics, University of North Texas, Denton, TX 76203-5118, U.S.A. e-mail: urbanski@unt.edu

Abstract

We derive universal Diophantine properties for the Patterson measure $\mu_{_{\Gamma}}$ associated with a convex cocompact Kleinian group $\Gamma$ acting on $(n+1)$-dimensional hyperbolic space. We show that $\mu_{_{\Gamma}}$ is always an ${\cal S}$-friendly measure, for every $(\Gamma,\mu_{_{\Gamma }})$-neglectable set ${\cal S}$, and deduce that if $\Gamma$ is of non-Fuchsian type then $\mu_{_{\Gamma}}$ is an absolutely friendly measure in the sense of Pollington and Velani. Consequently, by a result of Kleinbock, Lindenstrauss and Weiss, $\mu_{_{\Gamma}}$ is strongly extremal which means that $\mu_{_{\Gamma}}$-almost every point is not very well multiplicatively approximable. This is remarkable, since by a well-known result in classical metric Diophantine analysis the set of very well multiplicatively approximable points is of $n$-dimensional Lebesgue measure zero but has Hausdorff dimension equal to $n$.

Type
Research Article
Copyright
2006 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)