Diophantine approximation on planar curves and the distribution of rational points. With an appendix: Sums of two squares near perfect squares by R. C. Vaughan

DOI10.4007/ANNALS.2007.166.367MaRDI QIDQ2477073zbMATH OpenOpenAlexFDO

Authors Detta Dickinson, Sanju Velani, Victor Beresnevich

Publication date 12 March 2008

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0401148, https://projecteuclid.org/euclid.annm/1200928841

zbMATH Keywords

Diophantine approximationHausdorff dimensionLebesgue measureplanar curves

Mathematics Subject Classification ID

Simultaneous homogeneous approximation, linear forms (11J13) Metric theory (11J83) Diophantine approximation in probabilistic number theory (11K60)

Abstract: Let $calC$ be a non--degenerate planar curve and for a real, positive decreasing function $psi$ let $calC(psi)$ denote the set of simultaneously $psi$--approximable points lying on $calC$. We show that $calC$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $calC$ of $calC(psi)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $calC$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $psi$ with lower order in a critical range we determine a general, exact formula for the Hausdorff dimension of $calC(psi)$. These results constitute the first precise and general results in the theory of simultaneous Diophantine approximation on manifolds.

Review text

Let \(\psi: \mathbb N \rightarrow \mathbb R_+\) be a non-increasing function. If \(\sum \psi(h)^2 = \infty\), then almost all points \({\mathbf x} \in \mathbb R^2\) satisfy \[ \| q{\mathbf x}\| < \psi(q), \tag \(*\) \] for infinitely many \(q \in \mathbb N\), where \(\| {\mathbf x} \|\) denotes the distance to the nearest point with integer coordinates. If on the other hand \(\sum \psi(h)^2 < \infty\), for almost every \({\mathbf x}\), (\(\ast\)) has at most finitely many solutions. This result goes back to \textit{M. Khintchine} [Math. Z. 24, 706--714 (1926; JFM 52.0183.02)]. In this important paper, the authors study the simultaneous approximation by rational points with the same denominator of points on a \(C^3\) planar curve \({\mathcal C}\), which satisfies certain non-degeneracy conditions. A curve \({\mathcal C}\) is said to be of Khintchine type for divergence (resp. convergence) if the divergence (resp. convergence) of the series \(\sum \psi(h)\) ensures that for almost all (resp. almost no) \(x \in {\mathcal C}\), (\(\ast\)) has infinitely many solutions. Here, the measure is the natural one-dimensional measure on \({\mathcal C}\). It is shown that if the curvature of \({\mathcal C}\) is non-zero almost everywhere, then \({\mathcal C}\) is of Khintchine type for divergence. Additionally, the more refined question of determining the Hausdorff dimension of the exceptional set in case of convergence is studied when this is in the range \((1/2,1)\). A lower bound is found when the curvature is non-zero at some point. It is shown that the lower bound coincides with an upper bound when the set where the curvature vanishes is of small Hausdorff dimension. In the case when \({\mathcal C}\) is a rational quadric, i.e., a rational affine transformation of either the standard hyperbola \(x_1^2 - x_2^2 = 1\), the standard parabola \(x_2 = x_1^2\) or the unit circle \(x_1^2 + x_2^2 = 1\), it is shown that \({\mathcal C}\) is also of Khintchine type for convergence. In this case, the Hausdorff dimension of the exceptional set is completely determined when it falls in \((1/2, 1)\). The divergence results and lower bounds for Hausdorff dimension are derived using the notion of a ubiquitous system. The general framework is that of \textit{V. Beresnevich}, \textit{D. Dickinson} and \textit{S. Velani} [Mem. Am. Math. Soc. 846, 91 p. (2006; Zbl 1129.11031)]. The required results from that paper are proved in a less general form, which is still sufficient for the problem at hand, in Appendix I. For rational quadrics, where the convergence case is also shown, the proof requires an asymptotic estimate for the number of sums of squares near a perfect squares. This estimate is derived in Appendix II, which is written by R. C. Vaughan.

Recommendations

• Diophantine approximation on planar curves: the convergence theory
• A note on simultaneous Diophantine approximation on planar curves
• Distribution of rational points near planar curves and simultaneous Diophantine approximations
• A NOTE ON SIMULTANEOUS AND MULTIPLICATIVE DIOPHANTINE APPROXIMATION ON PLANAR CURVES
• Inhomogeneous Diophantine approximation on planar curves

Cited in

(74)

• Inhomogeneous Diophantine approximation on curves and Hausdorff dimension
• Hausdorff theory of dual approximation on planar curves
• Global hypoellipticity for first-order operators on closed smooth manifolds
• Diophantine approximation on curves and the distribution of rational points: contributions to the divergence theory
• Quantitative rational approximation on spheres
• Exponents of Diophantine approximation in dimension 2 for a general class of numbers
• Density of rational points near/on compact manifolds with certain curvature conditions
• On simultaneous rational approximation to a real number and its integral powers. II.
• The density of rational points near hypersurfaces
• Mass transference principle from rectangles to rectangles in Diophantine approximation
• Exponents of Diophantine approximation in dimension 2 for numbers of Sturmian type
• Integral points close to a space curve
• Extrinsic Diophantine approximation on manifolds and fractals
• Rational points near planar curves and Diophantine approximation
• On the distribution of points with algebraically conjugate coordinates in a neighborhood of smooth curves
• Diophantine approximation on planar curves: the convergence theory
• Badly approximable points on planar curves and a problem of Davenport
• Rational approximation to real points on conics
• Non-planarity and metric Diophantine approximation for systems of linear forms
• \(S\)-arithmetic Khintchine-type theorem
• Random walks, spectral gaps, and Khintchine's theorem on fractals
• Integral polynomials with small discriminants and resultants
• Solutions to certain linear equations in Piatetski-Shapiro sequences
• Rational approximation of affine coordinate subspaces of Euclidean space
• Intrinsic Diophantine approximation on general polynomial surfaces
• A note on rational points near planar curves
• Distribution of rational points near planar curves and simultaneous Diophantine approximations
• On a problem of Bernik, Kleinbock and Margulis
• On simultaneous rational approximation to ap-adic number and its integral powers
• Computation of fractional measures in the case of convergence for Diophantine approximations on planar curves.
• Diophantine approximation and applications in interference alignment
• Counting rational points near planar curves
• A lower bound for the Hausdorff dimension of the set of weighted simultaneously approximable points over manifolds
• Simultaneous Diophantine approximation on polynomial curves
• ON THE SPECTRUM OF DIOPHANTINE APPROXIMATION CONSTANTS
• Borel-Cantelli sequences
• On algebraic points in the plane near smooth curves
• Simultaneous Diophantine approximation and asymptotic formulae on manifolds
• A characterization of bad approximability
• DIOPHANTINE APPROXIMATION ON MANIFOLDS AND LOWER BOUNDS FOR HAUSDORFF DIMENSION
• Diophantine approximation in Kleinian groups: singular, extremal, and bad limit points
• The Khintchine–Groshev theorem for planar curves
• On weighted inhomogeneous Diophantine approximation on planar curves
• Hausdorff dimension and Diophantine approximation
• METRIC DIOPHANTINE APPROXIMATION FOR SYSTEMS OF LINEAR FORMS VIA DYNAMICS
• On a generalization of a theorem of Popov
• On simultaneous rational approximation to a p-adic number and its integral powers. II.
• Sums of reciprocals of fractional parts and multiplicative Diophantine approximation
• On two lattice points problems about the parabola
• Diophantine approximation on the parabola with non-monotonic approximation functions
• The development of the method of essential and inessential domains for the calculation of vectors with real algebraic coordinates near smooth surfaces
• Distribution of algebraic points in domains of small measure and near the surfaces
• Inhomogeneous Diophantine approximation on planar curves
• A Jarník type theorem for planar curves: everything about the parabola
• An inhomogeneous Jarník type theorem for planar curves
• Diophantine approximation on polynomial curves
• On diophantine approximation along algebraic curves
• A NOTE ON SIMULTANEOUS AND MULTIPLICATIVE DIOPHANTINE APPROXIMATION ON PLANAR CURVES
• Rational points close to non‐singular algebraic curves
• Explicit bounds for rational points near planar curves and metric Diophantine approximation
• Quantitative Khintchine in simultaneous approximation
• Simultaneous p-adic Diophantine approximation
• Measure theoretic laws for limsup sets defined by rectangles
• A note on weighted simultaneous Diophantine approximation on manifolds
• Group actions and harmonic analysis in number theory. Abstracts from the workshop held May 7--12, 2023
• Effective equidistribution for multiplicative Diophantine approximation on lines
• Extremal affine subspaces and Khintchine-Jarník type theorems
• On simultaneous rational approximation to a real number and its integral powers
• Lower bounds for the number of vectors with algebraic coordinates near smooth surfaces
• Contribution of Jonas Kubilius to the metric theory of Diophantine approximation of dependent variables
• The dimension of well approximable numbers
• Simultaneous Diophantine approximation to points on the Veronese curve
• Rational points near manifolds and metric Diophantine approximation
• A note on simultaneous Diophantine approximation on planar curves

This page was built for publication: Diophantine approximation on planar curves and the distribution of rational points. With an appendix: Sums of two squares near perfect squares by R. C. Vaughan

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