[論文レビュー] Theta correspondences for GSp(4)

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|Jun 17, 2010

Advanced Algebra and Geometry参考文献 14被引用数 20

ひとこと要約

本稿は、非アーチメデス的局所体上の4次元および6次元の二次形式に付随する正規化されたシミリチュード群 GSO_{4,0}、GSO_{2,2}、GSO_{3,3} と GSp(4) 間のシグマトロピー対応を明示的に決定する。L関数およびLパラメータによる表現の明示的特徴付けを用いて、GSp(4) の自動表現と GSO_{4,0}、GSO_{2,2}、GSO_{3,3} の自動表現との間の双対写像および単射写像を確立し、GSp(4) の局所ラングランズ対応における非超臨界表現の完全かつ明確なパラメトライゼーションを提供する。

ABSTRACT

We explicitly determine the theta correspondences for $\GSp_4$ and orthogonal similitude groups associated to various quadratic spaces of rank $4$ and $6$. The results are needed in our proof of the local Langlands correspondence for $\GSp_4$.

研究の動機と目的

• 非アーチメデス的局所体上での GSp(4) と正規化されたシミリチュード群 GSO_{4,0}、GSO_{2,2}、GSO_{3,3} 間のシグマトロピー対応を完全に決定すること。
• Kudla-Rallis理論におけるギャップを解消するために、彼らの結果でカバーされていない GSp(4) の残りの表現を明示的に分類すること。
• シグマトロピー対応を通じて、GSp(4) の非超臨界表現の局所ラングランズパラメトライゼーションを完全に明示的かつ透明にすること。
• 離散系列や非離散系列などの表現型を含めた、シグマトロピー写像の像をL関数、Lパラメータ、表現型の観点から明確に特徴付けること。

提案手法

• 4次元および6次元の二次形式に付随する GSp(4) と正規化されたシミリチュード群の間のシミリチュード・シグマトロピー対応の理論を用いる。
• GSO_{2,2} ≅ (GL_2 × GL_2)/{z, z^{-1}}、GSO_{4,0} ≅ (D^× × D^×)/{z, z^{-1}}、GSO_{3,3} ≅ (GL_4 × GL_1)/{z, z^{-2}} という同型を用いて、表現をテンソル積としてパラメトライズする。
• 正規化されたジャケットモジュールのフィルトレーションを適用し、パラボリック部分群およびシミリチュード特性の作用を通じて誘導表現を計算する。
• 特性吸収の補題を用いて、シミリチュード群が等長写像空間に作用するのを簡略化し、表現を標準形に還元する。
• 自動表現のLパラメータおよび標準的L因子を用いて、シグマトロピー写像の像を極や分解の観点から特徴付ける。
• 小スカラーティングの理論および相互作用作用素を適用し、因子の順列の下での挙動を含め、対応の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 GSp(4)(F) のどの無限可縮な滑らかな表現が、GSO_{4,0}(F)、GSO_{2,2}(F)、または GSO_{3,3}(F) とシグマトロピー対応を取るか？
• RQ2 GSp(4)(F) の非一般的で本質的にテンソルな表現は、GSO_{4,0}(F) および GSO_{2,2}(F) へのシグマトロピー写像によってどのように特徴付けられるか？
• RQ3 GSO_{3,3}(F) から GSp(4)(F) へのシグマトロピー対応の正確な像は何か？ また、関係する表現のLパラメータとどう関係しているか？
• RQ4 GSp(4)(F) の表現 π が、GSO_{4,0}(F) および GSO_{3,3}(F) の両方へ非自明に写像される条件は何か？ その小スカラーティングの構造はどのようなものか？
• RQ5 標準的L関数および外部平方L関数の極が、シグマトロピー対応の像にある表現の性質をどのように決定するか？

主な発見

• GSO_{4,0} と GSp(4) 間のシグマトロピー対応は、GO_{4,0}(F) の作用の下での GSO_{4,0}(F) の表現の同値類の集合と、GSp(4)(F) の非一般的で本質的にテンソルな表現の集合との間で双対写像を誘導する。
• τ₁^D ⊠ τ₂^D（ただし τ₁^D ≠ τ₂^D）の GSp(4)(F) へのシグマトロピー写像の像は、正確に非一般的で超臨界な表現の集合である。
• GSO_{2,2} から GSp(4) へのシグマトロピー対応は単射であり、その像は標準的L関数 L(s,π,std) が s=0 で極を持つ、一般的で離散系列の表現および特定の非離散系列の表現からなる。
• GL_2(F) の離散系列表現 τ₁ ≠ τ₂ に対するテンソル積 τ₁ ⊠ τ₂ は、正確に標準的L関数 L(s,π,std) が s=0 で極を持つ、GSp(4)(F) の一般的で離散系列の表現に写像される。
• GSp(4) から GSO_{3,3} へのシグマトロピー対応は単射であり、その像には L(s,⋀²φ_Π ⊗ μ^{-1}) が s=0 で極を持つ、一般的で離散系列の表現 π が含まれる。ここで φ_Π は Π のLパラメータである。
• 表1の非離散系列表現 NDS(a) は、GL_4(F) × GL_1(F) の表現 Π ⊠ μ に写像され、ここで φ_Π = ρ ⊕ ρ·χ かつ μ = detρ·χ を満たす。ρ は2次元の無限可縮表現で、χ ≠ 1 である。