Abstract:Let $\mathcal{M}\subset \mathbb{R}^n$ be a compact and sufficiently smooth manifold of dimension $d$. Suppose $\mathcal{M}$ is nowhere completely flat. Let $N_{\mathcal{M}}(\delta,Q)$ denote the number of rational vectors $\mathbf{a}/q$ within a distance of $\delta/q$ from $\mathcal{M}$ so that $q \in [Q,2Q)$. We develop a novel method to analyse $N_{\mathcal{M}}(\delta,Q)$. The salient feature of our technique is the combination of powerful quantitative non-divergence estimates, in a form due to Bernik, Kleinbock, and Margulis, with Fourier analytic tools. The second ingredient enables us to eschew the Dani correspondence and an explicit use of the geometry of numbers.
We employ this new method to address in a strong sense a problem of Beresnevich regarding lower bounds on $N_{\mathcal{M}}(\delta,Q)$ for non-analytic manifolds. Additionally, we obtain asymptotic formulae which are the first of their kind for such a general class of manifolds. As a by-product, we improve upon upper bounds on $N_{\mathcal{M}}(\delta,Q)$ from a recent breakthrough of Beresnevich and Yang and recover their convergence Khintchine type theorem for arbitrary nondegenerate submanifolds. Moreover, we obtain new Hausdorff dimension and measure refinements for the set of well-approximable points for a range of Diophantine exponents close to $1/n$.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the distribution of rational points near manifolds. Specifically, it is to estimate the number of rational points with restricted denominators within a given distance range. More precisely, let \(M \subset \mathbb{R}^n\) be a compact and sufficiently smooth manifold of dimension \(d\), and assume that \(M\) is nowhere completely flat. Define \(N_M(\delta, Q)\) as the number of rational vectors \(\frac{a}{q}\) with denominator \(q \in [Q, 2Q)\) within a distance no more than \(\frac{\delta}{q}\) from \(M\).
The authors developed a new method to analyze \(N_M(\delta, Q)\), which combines the powerful quantitative non - divergence estimates proposed by Bernik, Kleinbock and Margulis, as well as Fourier analysis tools. This method enables them to avoid Dani correspondence and explicit tools in number - theoretic geometry.
Through this new method, the authors solved a problem proposed by Beresnevich, that is, to give a lower bound estimate of \(N_M(\delta, Q)\) for non - analytic manifolds. In addition, they also obtained the first asymptotic formula for such general manifolds. As a by - product, they improved the upper bound estimate of \(N_M(\delta, Q)\) in the recent breakthrough work of Beresnevich and Yang, and recovered their convergence Khintchine - type theorem on any non - degenerate submanifold. In addition, they also obtained improved results on Hausdorff dimension and measure in the range where the Diophantine exponent is close to \(\frac{1}{n}\).
### Specific problems and solutions
1. **Asymptotic formula**:
- For an \(l\)-non - degenerate manifold \(M\), when \(\delta\) is large enough, the authors give an asymptotic formula for \(N_M(\delta, Q)\).
- The formula is as follows:
\[
N_t^F(\delta, Q)=c_t \delta^m Q^{d + 1}+O\left(Q^{d + 1}\left(\delta^{-\frac{n - 1}{2}} Q^{-\frac{3}{2}+(n + 5)\eta}\right)^{\frac{1}{d(2l - 1)(n + 1)}}\right)
\]
where \(c_t\) is a constant depending on the weight function \(t\).
2. **Lower bound estimate**:
- When \(\delta \gg Q^{-\frac{3}{2n - 1}+\eta}\), the authors prove a lower bound estimate of the expected order of \(N_M(\delta, Q)\).
- The result shows:
\[
N_t^F(\delta, Q)\geq c_t \delta^m Q^{d + 1}+O\left(\delta^m Q^{d + 1-\frac{\eta}{d(2l - 1)(n + 1)}}\right)
\]
3. **Upper bound estimate**:
- The authors give an upper bound estimate of \(N_M(\delta, Q)\), which is applicable to any smooth non - degenerate manifold.
- When \(\delta \geq Q^{-3+\frac{(2n + 10)\eta}{2md(2l - 1)(n + 1)}+2n - 1}\), the upper bound is:
\[
N_t^F(\delta, Q)\ll \delta^m Q^{d + 1}