[論文レビュー] Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points

Ziyang Gao|arXiv (Cornell University)|Oct 4, 2013

Algebraic Geometry and Number Theory参考文献 25被引用数 8

ひとこと要約

本稿は、すべての混合シャイムラー多様体に対してAx-Lindemann-Weierstrauss定理を確立し、特殊点のガロア軌道の下界を示した。これにより、純粋部が$\mathcal{A}_6^n$の部分多様体である混合シャイムラー多様体に対して一般化されたアンドレ＝オールポート予想を条件なしで証明でき、アーベル型のすべての混合シャイムラー多様体に対してはGRHのもとで同様の結果が得られた。

ABSTRACT

We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.

研究の動機と目的

• 純粋シャイムラー多様体からの一般化を含め、すべての混合シャイムラー多様体へのAx-Lindemann-Weierstrauss定理の拡張。
• 混合シャイムラー多様体内の特殊点のガロア軌道に対する有効な下界の確立。これはアンドレ＝オールポート予想の証明に不可欠である。
• ホッジ理論と群作用に基づく新しい手法を用いて、シルバーバーグのCM点のガロア軌道に関する結果を再証明する。
• 純粋部が$\mathcal{A}_6^n$の部分多様体である混合シャイムラー多様体に対して、一般化されたアンドレ＝オールポート予想を条件なしで証明する。
• 代数的・算術的幾何学的手法を用いて、混合シャイムラー多様体における特別部分多様体と特別点の研究を統一する。

提案手法

• 混合$\mathbb{Z}$-ホッジ構造の変動理論を用いて、混合シャイムラー多様体の幾何を分析する。
• 均一化空間と弱く特別な部分多様体の文脈において、Ax-Lindemann-Weierstrauss定理を適用する。
• ピラ＝ウィルキーの数え上げ定理と$o$-極小性を用いて、半代数的集合内の有理点の数を制御する。
• 複素均一化空間における安定化群$\operatorname{Stab}_V(\widetilde{Z})$と$\operatorname{Stab}_U(\widetilde{Z})$を分析し、$\widetilde{Z}$が複素部分空間の平行移動であることを証明する。
• 代数的曲線上の微分形式$\omega|_T$の積分を用いて、$\Gamma_U$内の群元$\gamma_U$の数に対する下界を導出する。
• ボレル–ハリシュ＝チャンドラの定理と算術群の構造を用いて、$H(\gamma)$の成長と基本領域内での$\gamma$-平行移動の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 純粋なものに限らないすべての混合シャイムラー多様体に対し、Ax-Lindemann-Weierstrauss定理は成り立つか？
• RQ2 混合シャイムラー多様体内の特殊点のガロア軌道サイズに対する有効な下界は何か？
• RQ3 純粋部が$\mathcal{A}_6^n$の部分多様体である混合シャイムラー多様体に対して、アンドレ＝オールポート予想を条件なしに証明できるか？
• RQ4 アーベル型の混合シャイムラー多様体に対して、アンドレ＝オールポート予想がどのような条件下で成立するか？
• RQ5 安定化群$\operatorname{Stab}_V(\widetilde{Z})$と$\operatorname{Stab}_U(\widetilde{Z})$は、弱く特別な部分多様体の構造をどのように制御するか？

主な発見

• すべての混合シャイムラー多様体に対してAx-Lindemann-Weierstrauss定理が証明され、均一化空間内の代数的部分多様体が特殊点のザリスキ・コアを含むならば、それは弱く特別な部分多様体であることが示された。
• 有効な下界$\#\Theta(\widetilde{Z}, M) \gg M$が、$H(\gamma_U) \leq M$を満たし、かつ$\gamma_U \widetilde{Z} \cap \mathcal{F}_U \neq \emptyset$を満たす群元$\gamma_U$の数に対して確立された。これはガロア軌道の推定に不可欠である。
• 純粋部が$\mathcal{A}_6^n$の部分多様体である混合シャイムラー多様体に対して、一般化されたアンドレ＝オールポート予想が条件なしに証明された。これは以前の結果を高次元の場合に拡張したものである。
• 一般化されたリーマン予想（GRH）のもとで、すべてのアーベル型混合シャイムラー多様体に対してアンドレ＝オールポート予想が確立された。Ax-Lindemannの結果とガロア軌道の下界を用いた。
• CM点のガロア軌道に関するシルバーバーグの結果が、ホッジ理論と群論的安定化群に基づく新しい枠組みで再証明された。
• もし$\widetilde{Z}$が特殊点のザリスキ・コアをもつ均一化空間内の最大の代数的部分多様体であれば、$\widetilde{Z}$は複素部分空間$\operatorname{Stab}_V(\widetilde{Z})(\mathbb{R})$の平行移動であることが示され、したがって弱く特別な部分多様体である。