[論文レビュー] Rigidity in automorphic representations and local systems

Zhiwei Yun|arXiv (Cornell University)|May 13, 2014

Advanced Algebra and Geometry参考文献 33被引用数 5

ひとこと要約

本稿は、グローバル関数体上の剛性のある自己形式的表現に対して、幾何的ラングランズ対応を確立し、それらに対応するラングランズパラメータを、開曲線上の剛性局所系として構成する。これらの局所系がコhomologically rigidであることを証明し、GL₂の場合の明示的構成およびモチーフや逆ガロア問題への応用を提供する。

ABSTRACT

We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in details.

研究の動機と目的

• グローバル関数体上の自己形式的表現における剛性を定義・研究し、古典的な剛性の概念を幾何的ラングランズ設定へ拡張する。
• 剛性のある自己形式的表現のラングランズパラメータを、開曲線上の局所系として構成し、それらのコhomological rigidityを証明する。
• GL₂に対する剛性のある自己形式的データの明示的例を提示し、既知の剛性局所系と関連付ける。
• この理論を算術幾何の問題、特に例外的ガロア群をもつモチーフや逆ガロア問題への応用に適用する。
• 剛性局所系を幾何的ヘッケ作用素の固有対象として実現する、幾何的ヘッケ固有層の構成を確立する。

提案手法

• 再帰的群に対して、グローバル関数体上での剛性のある自己形式的データの概念を導入し、G- torsor とレベル構造のモジュライ空間を用いる。
• 層から関数への対応および幾何的サタケ同型を用いて、自己形式的層とヘッケ固有系を関連付ける。
• コットヴィッツ準同型と制限された中心的特徴を用いて、自己形式的データを制御し、ラングランズパラメータと整合するように保証する。
• 局所系のトレースフリー自己準同型の空間におけるコhomological rigidity 条件を用いて、剛性を定義・検証する。
• 幾何的ヘッケ作用素を用いて局所系を構成し、剛性のあるヘッケ固有層が剛性のある自己形式的データから生じることを示す。
• ねじれ表現とG-可換層理論を用いて、得られる局所系のモノドロミーおよび全体的構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 グローバル関数体上の自己形式的表現における剛性は、どのように幾何的に定義され、特徴づけられるか？
• RQ2 剛性のある自己形式的表現に対応するラングランズパラメータが局所系として正確にどのように構成されるか？
• RQ3 剛性のある自己形式的表現に対応する局所系が、どのような条件下でコhomologically rigid となるか？
• RQ4 GL₂に対する明示的例は、剛性のある自己形式的データと剛性局所系との間の対応をどのように示唆するか？
• RQ5 この構成は、数体上のモチーフや逆ガロア問題にどのような含意を持つか？

主な発見

• グローバル関数体上の剛性のある自己形式的表現は、開曲線上の局所系を導出し、H¹(X, j_* End°(F)) の消滅によりコhomologically rigid であることが示される。
• GL₂の場合、S が2点または3点であるような剛性のある自己形式的データの明示的構成により、所望のモノドロミーを持つ局所系が得られ、これらのケースにおける剛性が確認される。
• 幾何的ヘッケ固有層の構成により、F_V,α という局所系が得られ、これはヘッケ固有対象である。与えられた条件下で、そのモノドロミーが剛性であることが示される。
• 一般化されたクローストゥルマン層を用いて、P¹ から3点を除いた空間上に、G₂ や G₂(2) といった例外的モノドロミー群をもつ局所系を構成する。
• 理論により、例外的モチーフ的ガロア群をもつ数体上のモチーフを構成するフレームワークが提供され、ラングランズ関手性の予測に一致する。
• この構成により、例外的ガロア群をもつ有限群に対する逆ガロア問題の解法が実現され、剛性局所系のグローバルモノドロミーが利用される。