Rational approximation on spheres

DOI10.1007/S11856-015-1219-ZMaRDI QIDQ891157zbMATH OpenOpenAlexFDO

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.0989

Abstract: We quantify the density of rational points in the unit sphere

S^{n}

, proving analogues of the classical theorems on the embedding of

q^{n}

into

^{n}

. Specifically, we prove a Dirichlet theorem stating that every point

a l p h a i n S^{n}

is sufficiently approximable, the optimality of this approximation via the existence of badly approximable points, and a Khintchine theorem showing that the Lebesgue measure of approximable points is either zero or full depending on the convergence or divergence of a certain sum. These results complement and improve on previous results, particularly recent theorems of Ghosh, Gorodnik and Nevo.

Review text

The very active domain of Diophantine approximation on manifolds is mainly devoted to the study of the approximation of points in a manifold \(X\) by rational points in the ambient space. Here, the authors consider intrinsic Diophantine approximation, where the approximating points lie in the manifold \(X\) itself. The example which is considered in the paper under review is where \(X\) is the unit sphere \(S^n\) in \({\mathbb{R}}^{n+1}\). The first result is an analog of Dirichlet's theorem. For any \(n\geq 1\) there exists a constant \(C_n>0\) such that for any \(\alpha\in S^n\) there exist infinitely many \({\mathbf {p}}/q\) in \(S^n\) (\(\mathbf {p} \in \mathbb Z^{n+1}\) primitive, \(q \in \mathbb N\)) with \[ \left| \alpha-\frac{{\mathbf {p}}}{q}\right|<\frac{C_n}{q}\cdotp \] The authors show that \(C_n\) cannot be replaced by an arbitrary small constant : they define the set of badly approximable points on \(S^n\) as the set \({\mathrm{BA}}(S^n)\) of \(\alpha\in S^n\) such that there exists \(c=c(\alpha)>0\) such that, for all \({\mathbf {p}}/q\in S^n\cap {\mathbb {Q}}^{n+1}\), \[ \left| \alpha-\frac{{\mathbf {p}}}{q}\right|>\frac{c}{q}\cdotp \] They show that this set \({\mathrm{BA}}(S^n)\) is thick, meaning that its intersection with any non empty open subset of \(S^n\) has full Hausdorff dimension. They also prove an analog of Khinchine theorem for intrinsic approximation; in the special case that they consider, they obtain stronger results than the previous ones in [\textit{A. Ghosh} et al., Compos. Math. 150, No. 8, 1435--1456 (2014; Zbl 1309.37005)]. Also, using the notion of mass transference developed in [\textit{V. Beresnevich} and \textit{S. Velani}, Ann. Math. (2) 164, No. 3, 971--992 (2006; Zbl 1148.11033)], the authors obtain refined results involving the Hausdorff measure. The main tool is a correspondence between approximation and dynamics which is described explicitly here and which is also related with the works of \textit{D. Y. Kleinbock} and \textit{G. A. Margulis} [Invent. Math. 138, No. 3, 451--494 (1999; Zbl 0934.22016)] and \textit{C. Druţu} [Math. Ann. 333, No. 2, 405--470 (2005; Zbl 1082.11047)].

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Rational approximation on spheres

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891157)