Dual $p$-adic Diophantine approximation on manifolds

技術的サマリー：多様体上の双対 $p$ 進ディオファントス近似

問題定義
本論文は、$p$ 進数 $\mathbb{Q}_p$ 上の多様体における双対ディオファントス近似の文脈において、一般化されたベイカー・シュミット問題（GBSP）を取り扱います。GBSP は、非退化多様体上の $\psi$-近似可能点の集合のハウスドルフ測度を決定することを目的としています。この問題の発散部分（特定の級数が発散する場合、測度が無限大であることを確立するもの）は、実数設定および $p$ 進設定の両方において（Beresnevich-Dickinson-Velani、Badziahin-Beresnevich-Velani、および Datta-Ghosh によって）解決されていますが、対応する収束部分（級数が収束する場合、測度がゼロであることを確立するもの）は、特に $p$ 進設定において、依然として困難な未解決問題です。

著者らは、双対近似について同次ケース（$\theta = 0$）と非同次ケース（$\theta \neq 0$）に焦点を当てています。具体的には、整数ベクトル $a = (a_0, \dots, a_n)$ の無限個に対して $|a_1 x_1 + \dots + a_n x_n + a_0 + \theta|_p < \Psi(a)$ を満たす点 $x \in \mathbb{Q}_p^n$ の集合 $D_n^{\theta}(\Psi)$ を調査します。目標は、特定のクラスの多様体について、近似関数の項の和が収束する場合、この集合と多様体の交わりに対する $f$ 次元ハウスドルフ測度がゼロであることを証明することです。

手法
本論文は、$p$ 進解析、幾何学的測度論、および超距離空間に適応された質量転移原理の枠組みを組み合わせます。

1. 解析的多様体と強微分可能性: 実数設定では $C^2$ 正則性がしばしば十分であるのに対し、著者らは多様体が解析写像によって定義されることを要求します。これは、局所同型性を保証するために通常の微分可能性よりも強い条件である強微分可能性に依存する $p$ 進逆関数定理が必要とされるためです。
2. 局所評価への還元: 多様体 $M$ は、解析写像 $g: U \subset \mathbb{Q}_p^d \to \mathbb{Q}_p^{n-d}$ によってパラメータ化されます。問題は、$h_a$ が座標と多様体関数 $g$ の線形結合である集合 $S(a) = \{x \in U : |h_a(x)|_p < \Psi(a)\}$ のハウスドルフ測度を評価することに還元されます。
3. 主要な補題（補題 2.3）: 核心的な技術的貢献は、$S(a)$ のハウスドルフ内容を評価する被覆補題（補題 2.3）の証明です。証明は、勾配 $\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$ が少なくとも 1 つの成分を割るもの（集合 $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 \geq 3$ を必要としたのに対し、次元 $d=2$ の超曲面（環境次元 3）への結果を拡張している点です。これは、厳密な不等式 $\tau > n$ を仮定することで達成され、$s$ に対するパラメータ範囲を改善します。

意義と主張
本論文は、重要なクラスの多様体（次元 $d \geq 3$ の超曲面およびヘッセ条件を満たす他の特定のクラス）における双対 $p$ 進近似に対する一般化されたベイカー・シュミット問題の収束側面を解決すると主張しています。

• 理論の拡張: 既知の発散結果（Datta-Ghosh）を、$p$ 進空間において十分に曲がった超曲面における同次双対近似に対する完全なゼロ - 全量二分法へと拡張します。
• 正則性の要件: 著者らは、超距離空間における逆関数定理の性質により、$p$ 進設定では単なる $C^2$ ではなく解析性が技術的に必要であると強調しています。
• 限界: 著者らは控えめに、非同次結果（定理 1.4(ii)）が $|\theta|_p \neq 1$ という条件を必要とし、それに対する満足すべき説明がないことを指摘しています。さらに、非超曲面（余次元 $>1$）に対する結果は、次元のペア $(n, d)$ に厳格な制限を課す条件 (II$_p$) に依存していますが、解析的ケースではこれらが単純化される可能性を示唆しています。
• 範囲: 結果は多変数近似関数 $\Psi$ に対して提示されていますが、補題はしばしば単変数形式に特化しています。本論文は、すべての多様体またはすべての近似関数に対する GBSP の解決を主張するものではなく、むしろ提示された特定の解析的および曲率条件を満たすものに対する解決を主張しています。