Asymptotic Counting Near Curved Submanifolds

Definitions and mathematical statement

Let $M\subset{\mathbb{R}}^m$ be a bounded immersed submanifold with boundary, write $n=\dim M$, and put $R=m-n$. The displayed exponent below requires $R>0$; the supplied statement does not explicitly impose this restriction. The source asks for unspecified "proper" curvature conditions on $M$.

The proposed asymptotic has the form \[ N(M;Q,\delta)\sim c_M\delta^R Q^{n+1},\qquad c_M>0, \] as $Q\to\infty$, subject to \[ \delta\ge Q^{-1/R+\epsilon}. \] Here $c_M$ is to depend only on $M$. The original excerpt says "for some $\epsilon>0$." The supplied record does not determine the full quantification over $\epsilon$, the upper range of $\delta$, or the uniformity in $\delta$. Once those choices and the counting function are specified, the symbol $\sim$ means that \[ \frac{N(M;Q,\delta)}{c_M\delta^R Q^{n+1}}\longrightarrow 1 \] along the intended admissible choices of $Q$ and $\delta$.

The supplied excerpt also introduces a local weighted counting problem. For $x_0\in{\mathbb{R}}^n$, $\varepsilon_0>0$, and $f_r\in C^\ell({\mathbb{R}}^n)$, $1\le r\le R$, with $\ell\ge2$, a local graph is \[ M_{\mathrm{loc}}=\{(x,f_1(x),\ldots,f_R(x)):x\in B_{\varepsilon_0}(x_0)\}\subset{\mathbb{R}}^{n+R}, \] where $B_{\varepsilon_0}(x_0)$ is the open Euclidean ball. Let $w\in C_c^\infty({\mathbb{R}}^n)$ be nonnegative, with support contained in a sufficiently small open neighbourhood of $x_0$, the required smallness depending on the manifold. For $t\in{\mathbb{R}}$, define \[ \|t\|_{{\mathbb{R}}/{\mathbb{Z}}}=\min_{b\in{\mathbb{Z}}}|t-b|. \] Reading the damaged summation layout in the supplied excerpt in its natural order gives, for positive integers $Q$ and $0\le\delta\le\tfrac12$, \[ N_w(Q,\delta)=\sum_{q=1}^{Q}\ \sum_{\substack{a\in{\mathbb{Z}}^n\\ \|qf_r(a/q)\|_{{\mathbb{R}}/{\mathbb{Z}}}\le\delta\ \text{for every }1\le r\le R}}w(a/q), \qquad N_0=\sum_{q=1}^{Q}\sum_{a\in{\mathbb{Z}}^n}w(a/q). \] Thus these local sums count integer numerator--denominator pairs with weights; their displayed conditions impose no coprimality restriction. The notation $N_0$ suppresses its dependence on $Q$ and $w$.

The excerpt does not define the global quantity $N(M;Q,\delta)$ or identify it with $N_w(Q,\delta)$. In particular, its distance convention, denominator convention, treatment of repeated representations, and treatment of an immersion's multiplicities are unspecified. The local upper bound $\delta\le\tfrac12$ is not explicitly attached to the global conjecture. Nor does the excerpt state the higher-codimension curvature hypothesis or a conclusion for the local weighted count. Consequently, the global display is a qualified conjectural template, not a fully specified mathematical assertion; these missing definitions and hypotheses must be recovered before a precise theorem can be formulated.

Short English statement

The supplied conjecture predicts a count of order $\delta^R Q^{\dim M+1}$ near a bounded immersed manifold with boundary, above the stated scale $Q^{-1/R+\epsilon}$. Its global counting function and curvature assumptions are missing. The excerpt supplies a local weighted count, but does not establish how it determines the global conjecture. This statement-only draft requires human mathematical review.

Sources

• Local UnsolvedMath registry, supplied complete record: permanent ID $30005526$, title "Asymptotic Counting Near Curved Submanifolds," source problem code catalogue entry, Oberwolfach Reports Open Problems collection, proposed year 2023. No proposer is identified.
• Group Actions and Harmonic Analysis in Number Theory (2023), Oberwolfach Reports, pp. 1195--1262, DOI 10.4171/owr/2023/22: https://doi.org/10.4171/owr/2023/22. The supplied excerpt contains the running page number 1233 and begins the conjecture with a reference to preceding material that is not included.
• The supplied registry marks the statement corrected_verified and says it was reconstructed and checked against the official report. This is a supplied verification claim, not an independent verification performed for this draft.
• Supplied historical attribution: the excerpt credits Huang with establishing the conjecture for hypersurfaces whose Gaussian curvature is bounded away from zero. It says the conjecture had previously been known only for planar curves, citing its reference [4], and points to [2], [6], [7] for earlier planar-curve results and [1], [3] for more general results. The bibliographic entries and the identity of the article referred to are absent. The excerpt also announces a higher-codimension generalisation under a certain curvature condition, without supplying that condition or the resulting theorem.
• Supplied literature source, labelled "Schindler--Yamagishi theorem": https://doi.org/10.1016/j.aim.2022.108358.
• Supplied literature source, labelled "recent rational-point theorem": https://arxiv.org/abs/2310.03867.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem partially solved and states that the conjectured asymptotic is established in strong curvature regimes and broad nowhere-completely-flat settings, but not for all compact manifolds and all conjectured $\delta$ ranges. This is supplied dated curation derived from the Oberwolfach material, not independently verified here. The record explicitly requests independent verification of time-sensitive status and cited claims.