Dual $p$-adic Diophantine approximation on manifolds

技术摘要：流形上的对偶 $p$-进丢番图逼近

问题陈述
本文在 $p$-进数 $\mathbb{Q}_p$ 上流形的对偶丢番图逼近背景下，解决了广义 Baker-Schmidt 问题（GBSP）。GBSP 旨在确定非退化流形上 $\psi$-可逼近点集的豪斯多夫测度。尽管该问题的发散部分（即证明当某个级数发散时测度为无穷大）在实数和 $p$-进情形下均已解决（由 Beresnevich-Dickinson-Velani、Badziahin-Beresnevich-Velani 以及 Datta-Ghosh 完成），但相应的收敛部分（即证明当级数收敛时测度为零）仍然是一个具有挑战性的未解决问题，特别是在 $p$-进情形下。

作者聚焦于对偶逼近的齐次情形（$\theta = 0$）和非齐次情形（$\theta \neq 0$）。具体而言，他们研究了满足 $|a_1 x_1 + \dots + a_n x_n + a_0 + \theta|_p < \Psi(a)$ 对无穷多个整数向量 $a = (a_0, \dots, a_n)$ 成立的点集 $D_n^{\theta}(\Psi)$，其中 $x \in \mathbb{Q}_p^n$。目标是证明对于特定类别的流形，只要逼近函数项的求和收敛，该集合与流形交集的 $f$-维豪斯多夫测度即为零。

方法论
本文结合了 $p$-进分析、几何测度论以及适配于超度量空间的质转移原理框架。

1. 解析流形与强可微性：不同于实数情形中 $C^2$ 正则性通常就足够，作者要求流形由解析映射定义。这是由 $p$-进反函数定理所必需的，该定理依赖于强可微性（这是 $p$-进空间中比普通可微性更强的条件）以确保局部同构性质。
2. 归约为局部估计：流形 $M$ 由解析映射 $g: U \subset \mathbb{Q}_p^d \to \mathbb{Q}_p^{n-d}$ 参数化。问题被归约为估计集合 $S(a) = \{x \in U : |h_a(x)|_p < \Psi(a)\}$ 的豪斯多夫测度，其中 $h_a$ 是坐标与流形函数 $g$ 的线性组合。
3. 关键引理（引理 2.3）：核心的技术贡献是证明了一个覆盖引理（引理 2.3），该引理界定了 $S(a)$ 的豪斯多夫内容。证明涉及基于梯度 $\nabla h_a(x)$ 的分情况讨论：
   • 情形 (a)：$a_2 = 0$（仅线性部分）。
   • 情形 (b)：梯度由线性项主导。
   • 情形 (c)：梯度在某点消失（临界点）。
   • 情形 (d)：梯度非零且有界远离零。
     在每种情形中，作者利用 $p$-进中值定理以及在条件 II$_p$ 下海森矩阵行列式非零的性质，表明 $S(a)$ 可以被特定数量的特定半径的球所覆盖。
4. 维数函数条件：证明依赖于维数函数 $f(r)$ 的特定条件，记为 (I$_p$) 和 (II$_p$)。条件 (I$_p$) 对某个 $s < 2(d-1)$ 施加了增长约束（$f(xy) \ll x^s f(y)$）。条件 (II$_p$) 要求流形参数化的海森矩阵关于豪斯多夫测度 $H_f$ 几乎处处非奇异。
5. 求和与收敛：利用豪斯多夫 - 坎泰利引理，作者对整数向量上的覆盖集测度进行求和。他们仔细处理了不同整数向量子集（$Z^{(1)}$ 和 $Z^{(2)}$）上的求和，并利用条件 $\Psi(a) < \|a\|^{-1}$ 以确保级数的收敛性。

主要贡献与结果
主要结果是定理 1.4，它在特定的正则性和曲率条件下，确立了流形上对偶 $p$-进逼近的 GBSP 收敛部分。

• 定理 1.4(i)：对于 $p$ 至多整除一个分量的整数向量集合（集合 $Z^{(1)}$），如果 $\sum \Psi(a)^{-(d-1)} f(\Psi(a)) < \infty$，则豪斯多夫测度 $H_f(D_n^{\theta}(\Psi, Z^{(1)}) \cap M)$ 为零。这对任意维数 $d$ 均成立，并符合 GBSP 的预测。
• 定理 1.4(ii)：对于 $p$ 不整除所有分量的整数向量集合（集合 $Z^{(2)}$），在相同的收敛条件下，只要 $|\theta|_p \neq 1$，测度即为零。作者指出，对 $\theta$ 的这一限制是其方法的产物。
• 定理 1.4(iii)：对于齐次情形（$\theta=0$）下的所有非零整数向量集合，如果级数收敛且 $\Psi$ 满足缩放条件（$p\Psi(a) \leq \Psi(p^{-1}a)$），则测度为零。

推论与特例：

• 定理 1.8：将收敛结果与 Datta 和 Ghosh 的发散结果（定理 1.5）相结合，为解析非退化流形上的 $s$-维豪斯多夫测度（$d-1 < s < 2(d-1)$）提供了零 - 满二分法。
• 推论 1.10：明确计算了幂律逼近函数 $\Psi(a) = \|a\|^{-1-\tau}$（其中 $\tau > n$）的豪斯多夫维数。维数由 $d - 1 + \frac{n+1}{1+\tau}$ 给出。
• 维数 $d=2$：本工作的一个显著特征是将结果推广到了维数 $d=2$ 的超曲面（环境维数为 3），而以往实数情形的结果通常要求 $d \geq 3$。这是通过假设严格不等式 $\tau > n$ 实现的，从而改进了参数 $s$ 的范围。

意义与主张
本文声称解决了显著一类流形（维数 $d \geq 3$ 的超曲面以及满足海森条件的其他特定类别）上对偶 $p$-进逼近的广义 Baker-Schmidt 问题的收敛对应部分。

• 理论扩展：它将已知的发散结果（Datta-Ghosh）扩展为 $p$-进空间中充分弯曲的超曲面上齐次对偶逼近的完整零 - 满二分法。
• 正则性要求：作者强调，由于超度量空间中反函数定理的性质，在 $p$-进情形下，对解析性（而不仅仅是 $C^2$）的要求是技术上的必要。
• 局限性：作者谦逊地指出，非齐次结果（定理 1.4(ii)）需要条件 $|\theta|_p \neq 1$，对此他们尚无令人满意的解释。此外，非超曲面（余维数 $>1$）的结果依赖于条件 (II$_p$)，这对维数对 $(n, d)$ 施加了严格的限制，尽管他们暗示在解析情形下这些限制或许可以简化。
• 范围：结果针对多变元逼近函数 $\Psi$ 提出，尽管推论通常特化为单变元形式。本文并未声称解决了所有流形或所有逼近函数的 GBSP，而是针对满足所述特定解析和曲率条件的那些情形。