[論文レビュー] The Local Langlands Conjecture for GSp(4)

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|Jun 7, 2007

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

ひとこと要約

本稿は、特性がゼロの非アーチメデス的局所体 F 上のシミプレクティック群 GSp(4) における局所ラングランズ予想を証明し、GSp(4)(F) の既約な滑らかな表現からラングランズ双対群 GSp(4)∨ への有限対一の全射写像を確立する。主な結果は、L-パケットの完全な特徴付けであり、これには一般性条件、中心的およびシミプレクティス型特性の整合性、および一般および非一般の超臨界表現における γ-因子とプランシュレル測度の一致が含まれる。

ABSTRACT

We prove the local Langlands conjecture for $GSp_4(F)$ where $F$ is a non-archimedean local field of characteristic zero.

研究の動機と目的

• GSp₄(F) における局所ラングランズ対応を確立する。ここで GSp₄(F) は、特性がゼロの非アーチメデス的局所体上の再帰的群である。
• GSp(4)(F) の既約な滑らかな表現からラングランズ双対群 GSp(4)∨ に値をとる L-パrameter への、全射的かつ有限対一の写像を定義する。
• この対応が中心的およびシミプレクティス型特性、L-因子、ε-因子、プランシュレル測度といった重要な不変量を保存することを検証する。
• L-パケット内での一般および離散系列表現の特徴付けを、成分群 Aϕ を用いて行う。
• グローバル・シータ・リフトの局所対応における像が、特定の L-関数および周期条件を満たす自動形式表現であることを示す。

提案手法

• GLₙ における局所ラングランズ対応および自動形式論の理論を用いて、L-パラメータ写像 L: Π(GSp₄) → Φ(GSp₄) を構成する。
• GSp₄ と GSO(V) 間のグローバル・シータ双対性を用いて、自動形式表現を関連付け、局所 L-パラメータの性質を検証する。
• 非一般の超臨界表現に対するプランシュレル測度の理論を、未定義の γ-因子の代わりに用いる。
• シータ双対性の関手的性質を応用し、グローバル・リフトの標準 L-関数が ζ^S(s) · L^S(s, π, std) として因数分解されることを示し、画像の外積 L-関数と関連付ける。
• L-パケットに一般表現が含まれるための必要十分条件は、s = 1 における随伴 L-因子 L(s, Ad ∘ φ) が正則であることであることを示す。
• Harris-Taylor や Henniart、Adams-Barbasch による GLₙ および実群における局所ラングランズ対応の結果を活用し、GSp₄ への対応の拡張を図る。

実験結果

リサーチクエスチョン

• RQ1 GSp₄(F) の既約な滑らかな表現から GSp₄∨(C) に値をとる L-パラメータへの、自然な全射的かつ有限対一の写像が存在するか？
• RQ2 L-パケット内の表現が一般であるための条件は何か？ これは成分群 Aϕ によってどのように特定されるか？
• RQ3 表現の中心的特性とシミプレクティス型特性が、対応する L-パラメータとどのように関係するか？
• RQ4 表現理論的側と L-パラメータ側との間で、ペアの γ-因子および L-因子が一致するか？ 特に非一般の超臨界表現においては？
• RQ5 グローバル・シータ・リフトの像の正確な特徴付けは、自動形式 L-関数および周期を用いてどのように記述できるか？

主な発見

• GSp₄(F) における局所ラングランズ対応は、L: Π(GSp₄) → Φ(GSp₄) という全射的かつ有限対一の写像として確立され、r ≤ 2 の条件下で (i)、(iii)、(v)、(vi) の性質によって一意に定まる。
• 表現 π が離散系列表現であるための必要十分条件は、その L-パラメータ φπ が GSp₄(C) の任意の真のレヴィ部分群を通じて因数分解されないことである。
• L-写像のファイバー Lϕ は、成分群 Aϕ の既約な特徴のパラメトライゼーションによって与えられる。Aϕ は自明または ℤ/2ℤ であり、自明な特徴はパケット内に唯一の一般表現を示す。
• L-パラメータ φπ のシミプレクティス型特性は、局所クラス体理論を用いて、π の中心的特性 ωπ に一致する。
• 一般または非超臨界表現の場合、π × σ の γ-、L-、ε-因子は、φπ ⊗ φσ のそれらと一致し、Shahidi および Artin の因子定義と整合する。
• 非一般の超臨界表現の場合、プランシュレル測度 μ(s, π ⋉ σ, ψ) は、L-パラメータの双対および対称平方を含む4つの γ-因子の積として表現され、欠落している γ-因子理論の代わりの役割を果たす。