[論文レビュー] Baker-Sprindzhuk conjectures for complex analytic manifolds

Dmitry Kleinbock|ArXiv.org|Oct 23, 2002

Geometric Analysis and Curvature Flows参考文献 9被引用数 5

ひとこと要約

本論文は、複素解析的部分多様体がそのパラメータ関数に線形独立性条件を満たす場合、強い極値性を示すことを確立している。これはマラー問題に対するスプリンツォクの解法を一般化したものであり、格子空間上の準多項式的フローに対する定量的非発散推定の新しい応用を用いて証明されており、ベイカー＝スプリンツォク予想の複素版を解決する。

ABSTRACT

We show a large class of analytic submanifolds of C^n to be strongly extremal. This generalizes V. Sprindzhuk's solution of the complex case of Mahler's Problem, and settles complex analogues of conjectures made in the 1970s by Baker and Sprindzhuk. The proof is based on a variation of quantitative nondivergence estimates for quasi-polynomial flows on the space of lattices.

研究の動機と目的

• 度量的ディオファントス近似におけるベイカー＝スプリンツォク予想の複素版を解明すること。
• 任意の真のアフィン部分空間に含まれない複素解析的部分多様体が強い極値性を示すことを確立すること。
• マラー問題のスプリンツォクの解法を、複素数の場合に一般化し、広いクラスの解析的多様体へと拡張すること。
• 格子空間上の準多項式的フローを用いた動的証明により極値性を示すこと。

提案手法

• 格子空間上の準多項式的フローに対する定量的非発散推定を、複素解析的設定へと適応すること。
• 外積空間 $\mathbb{R}^{n+2}$ 内のベクトルの外積を含む低次元化問題に帰着させるスライシング技法を用いること。
• 外代数 $\bigwedge^k(\mathbb{R}^{n+2})$ 内でのフロー像の分解を構成し、$\mathbb{e}_0$ および $\mathbb{e}_*$ を含む成分を分離すること。
• 対角フロー $g_t$ の固有値を用いたノルム比較議論により、関連する外積の成長を制御すること。
• 関数 $1, f_1, \dots, f_n$ が $\mathbb{C}$ 上で線形独立であることから、外積分解における非ゼロ係数の存在を保証すること。
• 写像 $\mathbb{f}$ から導かれるベクトルの内積を含む行列式表現を用いて、$\|g_t(\mathbb{e}_n \wedge \mathbb{w}^{\prime\prime}(z))\|$ の下界を確立すること。

実験結果

リサーチクエスチョン

• RQ1 複素解析的部分多様体 $\mathbb{C}^n$ が、そのディオファントス指数が $\mathbb{C}^n$ の一般点と一致するという意味で強い極値性を示すための条件は何か？
• RQ2 格子空間上での動的アプローチにより、複素版のベイカー＝スプリンツォク予想を解くことは可能か？
• RQ3 線形独立性条件を満たす複素解析的多様体上のほとんどすべての $z$ に対して、乗法的ディオファントス指数 $\omega^\times(\mathbb{f}(z))$ は $\frac{n-1}{2}$ に等しいか？
• RQ4 格子上での準多項式的フローの非発散性は、実数の場合と同様に、複素解析的多様体の極値性を示すものとなるか？
• RQ5 実数の場合に用いられたスライシング法を、複素設定に適応して強い極値性を証明することは可能か？

主な発見

• 本論文は、$U \subset \mathbb{C}^d$ を開集合とし、$1, f_1, \dots, f_n$ が $\mathbb{C}$ 上で線形独立であるような任意の複素解析的写像 $\mathbb{f}: U \to \mathbb{C}^n$ が強い極値性を示すことを証明した。
• ほとんどすべての $z \in U$ に対して、ディオファントス指数 $\omega^\times(\mathbb{f}(z))$ は $\frac{n-1}{2}$ に等しく、これは $\mathbb{C}^n$ 内の一般点の指数と一致する。
• フローの非発散性を示すために、ある $z \in B$ に対して $\|g_t(\mathbb{e}_n \wedge \mathbb{w}^{\prime\prime}(z))\| \geq \rho$ となる下界を確立した。
• 主な推定は、外積分解における $\mathbb{e}_n \wedge \mathbb{v}_1 \wedge \cdots \wedge \mathbb{v}_{k-2}$ の係数が $\rho_2(B, \mathcal{F}) > 0$ で下から抑えられることに依拠している。
• この結果は、スプリンツォクによるマラー問題の複素数版の解法を、広いクラスの解析的部分多様体へ一般化したものである。
• この手法により、線形独立性条件を満たす複素解析的多様体が、実数の場合と同様に、周囲空間のディオファントス的性質を「記憶」していることが確認された。