This important paper opens up a new avenue in the theory of metric Diophantine approximation. The authors apply ideas drawn from dynamical systems to prove the Baker-Sprindzhuk conjecture (and more) concerning the strong extremality of analytic manifolds satisfying certain non-degeneracy conditions and which implies Sprindzhuk’s conjecture on extremality. Call a point very well approximable if for some , there are infinitely many such that inequality
where is the height , holds for some .
Using ideas due to the second author and to S. G. Dani, they show that the set of very well approximable points on a smooth ‘non-degenerate’ manifold has induced Lebesgue measure zero. The proof is based on a correspondence between approximation properties of points in and the behaviour of certain orbits in the homogeneous space of unimodular lattices in . The core of the proof is an improvement on a result for non-divergent unipotent flows on lattices. The argument is rather technical but is clearly explained. The paper concludes with some interesting open questions.
The first author has used similar ideas to establish the inhomogeneous analogue of the result of W. M. Schmidt that the Hausdorff dimension of the set of badly approximable linear forms is maximal (or more precisely, the set is ‘thick’) [D. Kleinbock, Badly approximable systems of affine forms, J. Number Theory 79, No. 1, 83–102 (1999; Zbl 0937.11030)].