[論文レビュー] Remarks on the symmetric powers of cusp forms on GL(2)

Dinakar Ramakrishnan|ArXiv.org|Oct 3, 2007

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

ひとこと要約

本稿は、数体 $F$ 上の GL(2) における非可解多面体的尖点的自動形式的表現 $\pi$ に対して、すべての対称冪 $\text{sym}^m(\pi)$ が自動的であるならば、$\text{sym}^5(\pi)$ は尖点的であり、$\text{sym}^6(\pi)$ は尖点的でないことを確立する。主な結果は、$\text{sym}^5(\pi)$ が別の尖点形式 $\pi'$ のアドジョイント表現 $\text{Ad}(\pi')$ と $\pi$ のファンクターイ性積の twist として特定されることを示し、準イコサハedral形式の自動的特徴付けを提供する。

ABSTRACT

In this paper we prove the following conditional result: Let F be a number field, and pi a cusp form on GL(2)/F which is not solvable polyhedral. Assume that all the symmetric powers sym^m(pi) are modular, i.e., define automorphic forms on GL(m+1)/F. If sym^6(pi) is cuspidal, then all the symmetric powers are cuspidal, for all m. Moreover, sym^6(pi) is Eisenteinian iff sym^5(pi) is an abelian twist of the functorial product of pi with the symmetric square of a cusp form pi' on GL(2)/F.

研究の動機と目的

• 数体 $F$ 上の $\text{GL}(2,\mathbb{A}_F)$ における尖点的自動形式的表現 $\pi$ の対称 $m$ 乗 $\text{sym}^m(\pi)$ がいつ尖点的であるかを特定すること。
• 既知の例（例えば、二面体的、四面体的、八面体的）を超えて、新たなクラスの表現—準イコサハedral形式—を含む、尖点性基準の拡張。
• $\text{sym}^5(\pi)$ の明確な自動的特徴付けを、別の尖点形式 $\pi'$ のアドジョイント表現を含むファンクターイ性積として確立すること。
• ガロア表現に依存せずに、ラングランズのファンクターイティー哲学に整合する、$\text{sym}^5(\pi)$ の純粋な自動的証明を提供すること。

提案手法

• すべての $m \leq 6$ に対して $\text{sym}^m(\pi)$ が自動的であり、$m \leq 4$ で尖点的で、$m=6$ で非尖点的であるような尖点的自動形式的表現 $\pi$ を、準イコサハedralと定義する。
• モジュラー性仮説を用いて、$\pi$ に付随する $L$-関数がほとんどすべての場所で整合する $\ell$-進ガロア表現 $\rho_\ell(\pi)$ の存在を保証する。
• チェボタレフ密度定理を適用し、$\text{sym}^m(\pi)$ に付随する $\ell$-進ガロア表現を、$\text{GL}(3)$ および $\text{GL}(4)$ 上の自動形式 $\eta, \eta'$ に由来する表現と比較する。
• ファンクターイティー積構成 $\Pi \boxtimes \pi'$（$\Pi$ を $\text{GL}(3)$ 上、$\pi'$ を $\text{GL}(2)$ 上とする）を用いて、$\text{sym}^5(\pi) \boxtimes \pi$ を分析する。
• $\text{sym}^6(\pi) \simeq \eta \boxplus \eta' \boxplus (\text{sym}^4(\pi) \otimes |\cdot|^{1-k})$ の分解を用い、$\text{sym}^6(\pi)$ が尖点的であると仮定すると矛盾を導く。
• $\ell$-進ガロア表現を用いて $\text{sym}^6(\rho_\ell(\pi)) \simeq \rho_\ell(\eta) \oplus \rho_\ell(\eta')$ を示し、これは $\text{sym}^6(\rho_\ell(\pi))$ の既約性に反する（$\text{sym}^6(\pi)$ が尖点的でない限り）。

実験結果

リサーチクエスチョン

• RQ1 数体 $F$ 上の $\text{GL}(2,\mathbb{A}_F)$ における尖点的自動形式的表現 $\pi$ に対して、$\text{sym}^m(\pi)$ がいつ尖点的であるか。
• RQ2 非可解多面体的でない $\pi$ に対して、対称第五乗 $\text{sym}^5(\pi)$ がファンクターイティー積として特徴付けられるか。
• RQ3 非可解多面体的 $\pi$ に対して $\text{sym}^6(\pi)$ の構造は何か。また、いつ非尖点的であるか。
• RQ4 $\text{sym}^5(\pi)$ が $\text{Ad}(\pi') \boxtimes \pi$ の twist として表されるような、純粋な自動的構成による $\pi'$ が存在するか。
• RQ5 $\text{sym}^6(\pi)$ の非尖点性は、$\ell$-進ガロア表現 $\text{sym}^6(\rho_\ell(\pi))$ の既約性とどのように関係しているか。

主な発見

• 任意の非可解多面体的尖点的自動形式的表現 $\pi$ に対して、$\text{GL}(2,\mathbb{A}_F)$ 上で、すべての対称冪 $\text{sym}^m(\pi)$ が自動的であるならば、$\text{sym}^5(\pi)$ は尖点的である。
• このような $\pi$ に対して、対称第六乗 $\text{sym}^6(\pi)$ は非尖点的であり、既知の二面体的、四面体的、八面体的例を超えて、非尖点的対称冪が存在することを確認する。
• $\text{sym}^5(\pi)$ は、中心字 $\omega'$ を持つ $F$ 上の $\text{GL}(2)$ 上の尖点形式 $\pi'$ に対して、$\text{Ad}(\pi') \boxtimes \pi$ の twist と同型である。
• ガロア表現 $\text{sym}^6(\rho_\ell(\pi))$ は既約であるが、その $\ell$-進実現が $\rho_\ell(\eta) \oplus \rho_\ell(\eta')$ と一致するため、$\text{sym}^6(\pi)$ が非尖点的でない限り矛盾が生じる。
• $\pi'$ の存在はガロア的構成ではなく、自動的手段によって確立されており、ラングランズのファンクターイティー哲学に整合する。
• 証明はチェボタレフ密度定理に依拠し、自動的 $L$-関数に由来する $\ell$-進ガロア表現を等置することで、$\text{sym}^6(\pi)$ が尖点的であると仮定すると矛盾が生じる。