[論文レビュー] Galois orbits and equidistribution: towards the Andre-Oort conjecture

Emmanuel Ullmo, Andrei Yafaev|arXiv (Cornell University)|Sep 5, 2012

Algebraic Geometry and Number Theory参考文献 7被引用数 6

ひとこと要約

本稿は、アンドレ＝オールポート予想に到達するための戦略を、ガロア理論的および等分布理論的技法を組み合わせることで開発する。一般化されたリーマン予想を仮定すると、非強特別な特別部分多様体のガロア軌道の次数に対する下界を確立し、ガロア軌道次数が有界な特別部分多様体の列の等分布性を証明する。これは一般化されたリーマン予想の下での完全な予想への重要な一歩を提供する。

ABSTRACT

In this paper we develop a strategy and some technical tools for proving the Andre-Oort conjecture. We give lower bounds for the degrees of Galois orbits of geometric components of special subvarieties of Shimura varieties, assuming the Generalised Riemann Hypothesis. We proceed to show that sequences of special subvarieties whose Galois orbits have bounded degrees are equidistributed in a suitable sense.

研究の動機と目的

• アンドレ＝オールポート予想を証明するための統一的戦略を開発すること。この戦略は、ガロア理論的および等分布理論的手法を統合する。
• 特に強特別でない特別部分多様体のガロア軌道の次数に対する下界を確立すること。
• 一般化されたリーマン予想のもとで、ガロア軌道次数が有界な特別部分多様体の列の等分布性を証明すること。
• クリングラーとヤファエフ（2014）が用いた一般化されたリーマン予想下でのアンドレ＝オールポート予想の後続証明に不可欠な基盤的道具を提供すること。
• 特別部分多様体の列における、無限大のガロア軌道と等分布性の間の二分法を明確にすること。

提案手法

• 特に関連する群が半単純でない場合に、特別部分多様体のガロア軌道の次数に対する下界を導出するために、ガロア理論的技法を用いる。
• 一般化されたリーマン予想を適用して、特に非トーラルな場合に、特別部分多様体のガロア軌道のサイズを制御する。
• エルゴディック理論からの等分布結果を応用し、ClozelとUllmoの研究を、一般化されたリーマン予想のもとで強特別でない部分多様体へと拡張する。
• グローバルおよび局所体上の再帰的群とその中心化部分群の構造を、ルートデータと共役類を用いて分析する。
• GilleとMoret-Baillyのfppf共役に関する結果を用いて、トーラスおよび再帰的部分群の共役類の有限集合への還元を行う。
• ショイマ多様体の標準モデルと再帰的準同型写像を用いて、ガロア作用と幾何的部分多様体との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 シュミューラ多様体内の特別部分多様体のガロア軌道が、どのような条件下で次数が無限大になるか。
• RQ2 ガロア軌道次数が有界な特別部分多様体の列は、幾何的に意味のある方法で等分布すると言えるか。
• RQ3 アンドレ＝オールポート予想の文脈において、ガロア理論的および等分布理論的アプローチはどのように相互に作用するか。
• RQ4 一般化されたリーマン予想は、ガロア軌道次数に対する下界を確立するために、どのように機能するか。
• RQ5 等分布結果は、強特別でない部分多様体へとどの程度拡張可能か。

主な発見

• 一般化されたリーマン予想のもとでは、シュミューラ多様体内の任意の無限集合の特別点のガロア軌道の次数は無限大に拡大する。
• 強特別でない特別部分多様体に対して、本稿はそのガロア軌道の次数に対する非自明な下界を確立する。
• ガロア軌道次数が有界な特別部分多様体の列は、極限的な特別部分多様体およびその関連する確率測度に関して等分布することが示される。
• 追加の技術的仮定（強特別の場合を除く）を課すと、等分布結果は条件なしに成立する。
• 本稿は、任意の特別部分多様体の列は、ガロア軌道次数が無限大に拡大するか、あるいはある固定された特別部分多様体に十分に後続で含まれるかのいずれかであることを証明し、重要な二分法を確立する。
• グローバルおよび局所体上のトーラスの中心化部分群とその共役類の構造を用いて、問題を有限個のケースに還元し、一様な推定が可能になる。