The overall aim of this note is to initiate a "manifold" theory for metric Diophantine approximation on the limit sets of Kleinian groups. We investigate the notions of singular and extremal limit points within the geometrically finite Kleinian group framework. Also, we consider the natural analogue of Davenport's problem regarding badly approximable limit points in a given subset of the limit set. Beyond extremality, we discuss potential Khintchine-type statements for subsets of the limit set. These can be interpreted as the conjectural "manifold" strengthening of Sullivan's logarithmic law for geodesics.
The general setup and main problemsThe classical results of Diophantine approximation, in particular those from the onedimensional theory, have natural counterparts and extensions in the hyperbolic space setting. In this setting, instead of approximating real numbers by rationals, one approximates the limit points of a fixed Kleinian group G by points in the orbit (under the group) of a distinguished limit point y. Beardon & Maskit [4] have shown that the geometry of the group is reflected in the approximation properties of points in the limit set.Unless stated otherwise, in what follows G denotes a nonelementary, geometrically finite Kleinian group acting on the unit ball model (B d+1 , ρ) of (d + 1)-dimensional hyperbolic space with metric ρ derived from the differential dρ = 2|dx|/(1−|x| 2 ). Thus, G is a discrete subgroup of Möb(B d+1 ), the group of orientation-preserving Möbius *