[論文レビュー] Arthur's multiplicity formula for GSp$_4$ and restriction to Sp$_4$

Toby Gee, Olivier Taïbi|arXiv (Cornell University)|Jul 11, 2018

Advanced Algebra and Geometry参考文献 32被引用数 6

ひとこと要約

本稿は、GSp₄（GSpin₅に同種）のアーバートの多重度公式について、条件付きの証明を提示し、離散的自動形式的表現のグローバル分類を確立するとともに、GSp₄とSp₄の局所ラングランズ対応の整合性を証明する。安定なねじれたトレース公式、外部平方の関手性、およびシータ対応を用いて、局所的アーバートパケットを構成し、グローバルトレース公式の手法により多重度公式を検証する。

ABSTRACT

We prove the classification of discrete automorphic representations of GSp$_4$ explained in [Art04], as well as a compatibility between the local Langlands correspondences for GSp$_4$ and Sp$_4$ .

研究の動機と目的

• 『Art04』で発表されたが、一般的手法（[Art13]）では技術的複雑性のため未解決のまま残っている、GSp₄の離散的自動形式的表現のアーバート分類の非条件的証明を提供すること。
• 特に自動形式的表現の制限の文脈において、GSp₄とSp₄の局所ラングランズ対応の整合性を確立すること。
• 『MW06』および『AMR15』の結果をもとに、明示的手法を用いて非温度的状況におけるGSp₄の局所的アーバートパケットを構成すること。
• GL₄ × GL₁の安定ねじれたトレース公式と、既知の内挿転送および関手性の結果を組み合わせることで、GSp₄のグローバル多重度公式を検証すること。
• ラバケシュ＝ラングランズおよびラマクリシュナンの結果を一般化し、GSp₄からSp₄への自動形式的制限のスペクトル的記述を、形式的に温度的グローバルパラメータにまで拡張すること。

提案手法

• GSpin₅をねじれた内挿的群として用い、自動同型 g ↦ t g⁻¹ を用いた GL₄ × GL₁ に対する安定（ねじれた）トレース公式を適用する。
• 『Kim03』で証明され、『Hen09』で完成された GL₄ における外部平方の関手性を用い、GL₄ の自動形式的表現と GSp₄ のそれらを関連付ける。
• 『GT11a』で提示されたシータ対応による GSp₄ の局所ラングランズ対応を用い、ねじれた内挿的特徴関係（『CG15』より）と整合性を検証する。
• 『Ram00』で示された GL₂ × GL₂ → GL₄ のテンソル積の関手性を用い、グローバルパラメータを分析し、Sp₄ への制限によってその形を制約する。
• GL₂ および GL₄ におけるシンプレクティック／直交的代替を用い、グローバルパラメータを分類し、アーバートの予測と整合することを検証する。
• GSp₄ から Sp₄ への制限が表現の多重度1分解を誘導することに依拠し、局所的およびグローバルLパラメータの比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 トレース公式の手法に加え、ランク2群に特有の道具を用いることで、GSp₄のアーバートの多重度公式を非条件的に証明できるか？
• RQ2 特に自動形式的表現の制限の文脈において、GSp₄とSp₄の局所ラングランズ対応はどのように関係するか？
• RQ3 非温度的状況におけるGSp₄の局所的アーバートパケットの構造は何か？ そして、それらを明示的に構成する方法は？
• RQ4 GSp₄の離散的自動形式的表現のグローバルパラメータは、安定ねじれたトレース公式および関手性を用いて、どの程度まで特定できるか？
• RQ5 GSp₄からSp₄への自動形式的表現の制限は多重度1を保ち、これはグローバル多重度公式とどのように関係するか？

主な発見

• 本稿は、GSp₄のグローバル多重度公式を証明し、グローバルパケットに属する自動形式的表現がすべて多重度1で現れ、それらがグローバルアーバート–ラングランズパラメータによって一意に決定されることを確認する。
• GSp₄(F) の無限可約な適応的表現 π を Sp₄(F) に制限すると、同一の局所パケットに属する表現の直和に分解され、それぞれの多重度は1である。
• GSp₄ の局所ラングランズ対応は、Sp₄ のそれと整合する：Sp₄ の各Lパラメータは、ねじれを除いて一意に GSp₄ のLパラメータに引き上げられる。
• 温度的表現の場合、π|_Sp₄(F) は、Lパラメータの SO₄ への射影によって得られる局所パケットに属するすべての表現の直和に同型である。
• GSp₄ の離散的自動形式的表現に付随するグローバルパラメータは、Sp₄ への制限およびパラメータの外部平方からの制約を用いて、アーバートが予測した形であることが示された。
• 形式的に温度的グローバルパラメータに対して、GSp₄ から Sp₄ への自動形式的制限写像のスペクトル的記述が完全に決定され、古典的な多重度1の結果が一般化された。