[論文レビュー] On Langlands functoriality- reduction to the semistable case

C. S. Rajan|ArXiv.org|Sep 24, 2002

Advanced Algebra and Geometry参考文献 25被引用数 3

ひとこと要約

この論文は、ラングランズ関手性の証明に向けた還元原理を確立する：自動表現の持ち上げを証明するには、算術的データが巡回的ベースチェンジおよび降下に関して閉じている限り、半安定の場合に限って証明すれば十分である。主な結果は、このような条件下で半安定自動表現が関手的持ち上げを許容することであり、これによりラウモンの定理のような逆定理および因子分解定理を用いてグローバルな持ち上げが可能になる。

ABSTRACT

We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent.

研究の動機と目的

• 巡回的ベースチェンジおよび降下に関して閉じている場合に、ラングランズ関手性を半安定の場合に限って証明すれば十分である一般原理を確立すること。
• ブラシウスおよびラマクリシュナンの手法を、特定のケースに限らないより広範な関手性の例へと拡張すること。
• 逆定理およびepsilons因子の因子分解を用いて、半安定自動表現が弱いおよび強い関手的持ち上げを許容することを示すこと。
• この原理を用いて、関数体上のランキン＝セールバーグ畳み込みおよびガロア表現の自動表現を証明すること。
• ラウモンの定理を用いて、グローバルepsilons因子のグローテンディークの関数方程式における因子分解を、局所定数を用いて確立すること。

提案手法

• 非分岐な場所における局所ラングランズ対応との整合性を仮定することで、グローバル関手性を半安定の場合に還元する。
• 逆定理の枠組みを適用し、L関数およびepsilons因子が解析的および関数方程式的性質を満たすならば、自動表現の持ち上げが存在することを示す。
• シャーディの三重積L関数およびその解析接続を用いて、半安定設定におけるL関数の「良さ」を検証する。
• ラウモンの因子分解定理を用いて、グローバルepsilons因子を局所的成分に分解し、逆定理にとって不可欠な役割を果たす。
• 巡回的ベースチェンジおよび降下に依存することで、半安定データが拡張に関して閉じていることを保証し、帰納的持ち上げを可能にする。
• 強い一意性の定理を用いて、すべての場所を除く有限個の場所で一致するならば、グローバルに自動表現が一致することを保証する。

実験結果

リサーチクエスチョン

• RQ1 算術的データが巡回的ベースチェンジおよび降下に関して閉じている場合に、ラングランズ関手性を半安定の場合に限って証明すれば十分であるか？
• RQ2 半安定自動表現に対する関手的持ち上げの存在が、すべての自動表現に対するグローバル持ち上げを示すにはどのような条件下で成立するか？
• RQ3 逆定理をどのように用いて、半安定データのみを用いてランキン＝セールバーグL関数の自動表現を証明できるか？
• RQ4 ガロア表現が半安定であるとき、グローバルepsilons因子が関数方程式におけるグローテンディークの関数方程式において局所定数に因子分解可能か？
• RQ5 半安定ベースチェンジを用いて、ガロア表現のテンソル積に対しepsilons因子の因子分解を確立できるか？

主な発見

• 半安定の場合への還元原理が成立する：関手的持ち上げがすべての半安定自動表現に対して存在し、データがベースチェンジおよび降下に関して閉じているならば、完全な関手性が導かれる。
• GL(2)×GL(2)におけるランキン＝セールバーグ畳み込みの自動表現が、逆定理を用いて証明され、半安定表現およびシャーディの三重積L関数の解析的性質に依拠する。
• 三重積L関数 L(s,π₁×π₂×η) は整関数であり、関数方程式を満たし、縦方向の帯で有界である。これは逆定理の条件を満たす。
• 関数体において、半安定ガロア表現 ρ に対して弱い自動表現の持ち上げが、逆定理およびepsilons因子の因子分解を用いて証明される。
• ラウモンのepsilons因子因子分解定理が半安定の場合に拡張され、ガロア表現からグローバルな自動表現の持ち上げを構成することが可能になる。
• 強い一意性の定理により、すべての場所を除く有限個の場所で一致するならば、グローバルな自動表現の一致が保証され、持ち上げプロセスの正当性が裏付けられる。