[論文レビュー] A conjecture of Yves Andre

Andrei Yafaev|ArXiv.org|Feb 11, 2003

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

ひとこと要約

この論文は、CM体における一般化リーマン予想（GRH）の下で、1989年にイヴ・アンドレが提起した予想を証明する。すなわち、特異点を無限に含むシャイマーラ多様体内の既約代数的曲線が、ホッジ型である必要がある。証明は、GRHに基づく特異点のガロア軌道の精密な下界と、有効なチェボタレフ密度定理を用い、このような曲線が特定のヘッケ対応によって保存されることを示し、これにより先行研究による特徴付けから、それがホッジ型であることが導かれる。

ABSTRACT

In this paper we prove, assuming the Generalised Riemann Hypothesis, a conjecture of Yves Andre that that asserts that a curve in a Shimura variety containing an infinite set of special points is of Hodge type.

研究の動機と目的

• CM体における一般化リーマン予想（GRH）を仮定して、1989年にイヴ・アンドレが提起した予想、すなわち無限個の特異点を含むシャイマーラ曲線がホッジ型であることを証明すること。
• GRHのもとで、シャイマーラ多様体内の特異点のガロア軌道のサイズに対する有効な下界を確立し、既存の結果を精緻化すること。
• 文献[3]の主結果を、Hodge構造が固定表現を介して同型であるという条件から、Q-トーラスとしてのムーディ・タート群が同型であるというより弱い条件へと拡張すること。
• ムーディ・タート群が同型である特異点を無限に含む曲線がホッジ型であることを、ヘッケ対応の技法を用いて示すこと。

提案手法

• GRHのもとで有効なチェボタレフ密度定理を用い、シャイマーラ多様体内の特異点のガロア軌道のサイズを制御する。
• 体の分解体の判別式と素数を法とするトーラスでない還元に関する情報を用いて、ガロア軌道の下界を精緻化する。
• 標準的な還元技法を用いて、G がアドジョイント型の半単純で、曲線 C がホッジ一般的である場合に帰着する。
• ある特殊点の全ガロア軌道を含むように、C ∩ T_gC が有限でないことを示すヘッケ対応 T_g を構成する。
• ガロア軌道が十分に大きい場合、C は T_g によって不変でなければならないことが示され、これにより文献[3]の特徴付けから C がホッジ型であることが導かれる。
• 再結合写像とムーディ・タート群の構造を用いて、特異点の表現論的データを制御する。

実験結果

リサーチクエスチョン

• RQ1 特異点を無限に含むシャイマーラ多様体内の代数的曲線がホッジ型であるための条件は何か？
• RQ2 GRHのもとで、特異点のガロア軌道の有効な下界を確立することで、曲線の場合のアンドレ＝オアート予想を証明できるか？
• RQ3 ムーディ・タート群の同型類は、曲線がホッジ型であるかどうかを決定づける役割を果たすか？
• RQ4 ヘッケ対応を用いて、シャイマーラ多様体内のホッジ型部分多様体を検出するにはどうすればよいか？
• RQ5 GRHは、ムーディ・タート群を素数を法として還元したときの分裂挙動をどの程度制御できるか？

主な発見

• 本論文は、GRHのもとで、シャイマーラ多様体内の任意の既約代数的曲線が無限個の特異点を含むならば、ホッジ型であることを証明した。
• 特異点のガロア軌道のサイズに対する下界を確立した：|Gal(𝑄̄/F)·s| > c₁ log(d_Ls)^5k c₂^i(s) i(s)! ここで i(s) は、MT(V_s)𝔽_p がトーラスでないような素数 p の個数を数える。
• 十分に大きなガロア軌道の場合、C ∩ T_gC が有限にはなり得ず、C はヘッケ対応 T_g によって不変でなければならないことが示された。
• 文献[3]の定理7.1を適用することで、C がホッジ型であることが示された。この定理は、ヘッケ対応不変性を用いてホッジ型部分多様体を特徴づけている。
• 文献[3]の主定理を、Hodge構造が同型であるという条件から、Q-トーラスとしてのムーディ・タート群が同型であるというより弱い条件へと拡張した。
• 本論文はエディクスベンのオープンプロブレム14に対する部分的解答を提供し、GRHのもとでガロア軌道の有効な下界を確立した。