[論文レビュー] Khintchine-type theorems on manifolds: the convergence case for standard and multiplicative versions

В. И. Берник, Dmitry Kleinbock+1 more|ArXiv.org|Oct 18, 2002

Functional Equations Stability Results参考文献 13被引用数 26

ひとこと要約

本稿は、$\mathbb{R}^n$ 内の非退化な滑らかな部分多様体に対するキンチン型定理の収束ケースを確立し、$\boldsymbol{\theta}$ が収束条件を満たすとき、$\boldsymbol{y} \notin \mathrm{W}(\boldsymbol{\theta})$ であるような点の集合がフル測度を持つことを証明している。この研究では、測度論的数論と、$(C, \beta)$-良い関数および $\mathrm{SL}(n+2, \mathbb{R})$ 上の行列力学を用いた新しい格子幾何的アプローチを組み合わせ、標準的および乗法的ディオファントス近似の結果を多様体へと拡張している。

ABSTRACT

An analogue of the convergence part of the Khintchine-Groshev theorem, as well as its multiplicative version, is proved for nondegenerate smooth submanifolds in $\mathbb{R}^n$. The proof combines methods from metric number theory with a new approach involving the geometry of lattices in Euclidean spaces.

研究の動機と目的

• 非退化な滑らかな部分多様体に対するキンチン＝グロシュェフの定理の収束ケースを確立し、$\mathbb{R}^n$ からの古典的結果を埋め込まれた多様体へと拡張すること。
• ディオファントス近似の乗法的バージョンを多様体へと拡張し、近似関数が座標ノルムの積に依存する場合の収束条件を導出すること。
• 測度論的数論と、特に行列作用と $(C, \beta)$-良い関数を用いたユニモジュラー格子空間における幾何的技法を組み合わせた新しい手法を開発すること。
• ドメイン $U$ のほとんどすべての $x$ に対して、$\boldsymbol{f}(x) \in \mathrm{W}(\boldsymbol{\theta})$ であることが、$\boldsymbol{\theta}$ に関連するある級数の収束と同値であることを証明すること。
• 関連する関数空間が $(C, \beta)$-良い性質を持つことを確認することで、線形でない設定においてもボレル＝カンテリの補題を適用可能にするよう、線形ケースの結果を多様体へ一般化すること。

提案手法

• ドメイン $U \subset \mathbb{R}^d$ 上の $(C, \beta)$-良い関数の概念を用いて、整数ベクトルにおける線形形式の減衰を制御し、多様体上の測度論的議論を可能にする。
• $\sum \Psi(\boldsymbol{q})$ の収束を仮定して、$\boldsymbol{q} \in \mathbb{Z}^n \setminus \{0\}$ に対して $|\langle \boldsymbol{f}(x) \boldsymbol{q} \rangle| \leq \Psi(\boldsymbol{q})$ を無限に満たす $x \in U$ の集合に対してボレル＝カンテリの補題を適用する。
• 線形形式の格子上での力学をモデル化するため、行列埋め込み $U^{\boldsymbol{f}, \boldsymbol{g}}_x = \begin{pmatrix} 1 & 0 & \boldsymbol{f}(x) \\ 0 & 1 & \boldsymbol{g}(x) \\ 0 & 0 & I_n \end{pmatrix}$ を導入し、ユニモジュラー格子作用と関連付ける。
• $\bigwedge^k(\mathbb{R}^{n+1})$ のウェッジ積分解を用いて、格子 $\Lambda$ の部分群 $\Gamma$ に対する $DU^{\boldsymbol{f}, \boldsymbol{g}}_x \Gamma$ のノルムを分析し、$(C, \beta)$-良い性質を証明する。
• $f_i$, $g_i$ および $2\times2$ ミノル $\left| \begin{smallmatrix} f_i & f_j \\ g_i & g_j \end{smallmatrix} \right|$ のスパンが $(C, \beta)$-良い関数の空間をなすことを確認し、収束議論の根幹をなす。
• 発散ケースを動機付けとして提示し、多様体上でも発散対応が成り立つと予想するが、本稿では収束ケースに焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 標準的キンチン＝グロシュェフの収束定理は、$\mathbb{R}^n$ 内の非退化な滑らかな部分多様体へと拡張可能か？
• RQ2 座標ノルムの積に依存する近似関数を持つ場合、キンチン定理の乗法的バージョンを多様体へと拡張可能か？
• RQ3 古典的な転送原理に依存しない、新しい格子論的アプローチにより、多様体上でのディオファントス近似の収束ケースを証明可能か？
• RQ4 パrameterization $\boldsymbol{f}: U \to \mathbb{R}^n$ にどのような条件を課すと、集合 $\{x \in U \mid \boldsymbol{f}(x) \in \mathrm{W}(\Psi)\}$ が $\sum \Psi(\boldsymbol{q})$ の収束に応じてフル測度またはゼロ測度をとるか？
• RQ5 $(C, \beta)$-良い関数のクラスは、解析的または滑らかな関数で定義される多様体上での近似集合の測度を十分に制御可能か？

主な発見

• 非退化な滑らかな部分多様体に対して、標準的キンチン＝グロシュェフ定理の収束ケースが成立する。すなわち、$\sum_{\boldsymbol{q} \in \mathbb{Z}^n \setminus \{0\}} \Psi(\boldsymbol{q}) < \infty$ ならば、集合 $\{x \in U \mid \boldsymbol{f}(x) \in \mathrm{W}(\Psi)\}$ はLebesgue測度ゼロをとる。
• 乗法的バージョンでは、収束条件 $\sum_{k=1}^\infty (\log k)^{n-1} \psi(k) < \infty$ が、非退化な多様体上での $\psi$-乗法的に近似可能な点の集合が測度ゼロをとることを示唆する。
• 関数 $f_1, \dots, f_n$ が、$f_i$, $f_j$, および $2\times2$ ミノル $\left| \begin{smallmatrix} f_i & f_j \\ f_i' & f_j' \end{smallmatrix} \right|$ のスパンが $(C, \beta)$-良い関数からなる場合、収束結果が成立する。
• 本手法により、$x \mapsto \|DU^{\boldsymbol{f}, \boldsymbol{g}}_x \Gamma\|$ が $x_0$ の近傍で $(C, \beta)$-良い関数であることが示され、非線形設定におけるボレル＝カンテリの補題の適用に不可欠である。
• 解析的関数 $f_i$ の場合、Corollary 3.5(a) を用いて $(C, \beta)$-良い性質を確認でき、これにより広範なクラスの多様体へ本手法を適用可能である。
• 本稿は、線形形式を超えた収束ケースを拡張するフレームワークを提供し、行列力学と格子幾何を用いて、曲がった部分多様体上の近似集合の測度を制御する。