[論文レビュー] A Cuspidality Criterion for the Exterior Square Transfer of Cusp Forms on GL(4)

Mahdi Asgari, A. Raghuram|ArXiv.org|Dec 28, 2007

Advanced Algebra and Geometry参考文献 22被引用数 19

ひとこと要約

この論文は、GL(4) 上のカスプ形式の外積平方転送について、完全なカスプ性基準を確立し、GL(6) への転送が非カスプ的であるための必要十分条件を示している。具体的には、元の表現が GL(2) × GL(2)、GSp(4)、あるいは二次体からの自動的誘導やアサイ転送によって得られるようなより小さい群からの関手的転送である場合に限り、転送が非カスプ的である。主な結果は、表現論的およびガロア論的条件（自己双対性、自己ねじれ）を用いて、外積平方 L 関数がいつカスプ的でなくなるかを正確に特定することである。

ABSTRACT

For a cuspidal automorphic representation Πof GL(4,A), H. Kim proved that the exterior square transfer \wedge^2Πis an isobaric automorphic representation of GL(6,A). In this paper we characterize those representations Πfor which \wedge^2Πis cuspidal.

研究の動機と目的

• GL(4) 上のカスプ形式の外積平方転送がカスプ的のままであるか、あるいは非カスプ的等質的になる条件を特定すること。
• GL(6) への外積平方転送が非カスプ的であるような GL(4) 上の自動形式的表現を特徴づけること。
• 標準的な自己双対性基準を満たすにもかかわらず、転送が非カスプ的のままとなる例外的な場合を明確にすること。
• 特にディヘドラル表現に関連して、カスプ性基準における例外的ケースをガロア表現の観点から解釈すること。

提案手法

• 強い乗法的単一定理を用いて、外積平方転送が GL(6) 上の等質的自動形式的表現として一意に特定されることを示す。
• 各候補ケース（テンソル積、アサイ転送、GSp(4) の上昇、自動的誘導）について、∧²Π の等質的分解を明示的に計算する。
• ラングランズ–シャーディー法を用いて L 関数を解析し、外積平方転送のカスプ性に関する条件を導出する。
• ガロア表現とクライフォード理論を用いて、4次元表現の自己双対性および自己ねじれ性を分析する。
• 4次元表現における対称平方および交代平方表現の構造を活用し、部分群による不変性を検出することで、可約性を特定する。
• シミリチュード理論および ∧²V 上の非退化形式を用いて、G-不変部分空間を特徴づけ、それらを自己双対性の型と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 GL(4) 上のカスプ形式の外積平方転送がいつ非カスプ的になるか。
• RQ2 外積平方転送がカスプ的でなくなることを保証する、明確な自動的またはガロア論的条件は何か。
• RQ3 標準的な自己双対性条件が非カスプ性を完全に特徴づけないのはなぜか。例外的ケースの性質は何か。
• RQ4 自己ねじれと自己双対性の型（シンプレクティック型 vs. 正規型）は、外積平方表現の可約性とどのように関係するか。
• RQ5 自己双対性基準における例外的ケースは、ガロア表現の対称性を用いて説明可能か。

主な発見

• 外積平方転送 ∧²Π が非カスプ的であるための必要十分条件は、Π が GL(2)×GL(2)、GSp(4)、あるいは二次体からのアサイ転送または自動的誘導によって得られる場合に限る。
• 同値に、∧²Π が非カスプ的であるための必要十分条件は、Π が本質的に自己双対的（Π ≅ Π∨⊗χ）であるか、非自明な自己ねじれを持つ（Π ≅ Π⊗χ）ことであるが、非双曲的ディヘドラル表現のアサイ転送という特定のクラスを除く。
• 自己双対性基準における例外的ケースは、ディヘドラル表現のアサイ転送に対応し、これは本質的に正規型でない自己双対的型であり、非自明な二次自己ねじれを持つ。
• ∧²Π の可約性は、外積平方に G-不変な3次元部分空間が存在することによって検出され、これは本質的に正規型の自己双対的4次元表現である場合に限り成立する。
• Π に非自明な二次自己ねじれが存在することは、∧²V に2つの G-不変な単位的3次元部分空間が存在することと同値であり、それらは2次の部分群によって入れ替えられる。
• ガロア論的解釈により、例外的ケースは関連する2次元表現がディヘドラル型である場合に生じ、これは自己双対性条件を満たしても外積平方が可約になることを保証する。