[论文解读] 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$ 上 $\text{GL}(2)$ 的非可解多面体尖形式自守表示 $\pi$，若所有对称幂 $\text{sym}^m(\pi)$ 均为自守的，则 $\text{sym}^5(\pi)$ 为尖形式而 $\text{sym}^6(\pi)$ 不是尖形式。关键结果将 $\text{sym}^5(\pi)$ 识别为另一尖形式 $\pi'$ 的伴随表示 $\text{Ad}(\pi')$ 与 $\pi$ 的函子性乘积的扭，从而给出了拟二十面体形式的自守刻画。

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.

研究动机与目标

• 确定 $\text{GL}(2,\mathbb{A}_F)$ 上尖形式自守表示 $\pi$ 的对称 $m$-次幂 $\text{sym}^m(\pi)$ 何时为尖形式。
• 将尖性判别准则扩展至已知情形（如二面体、四面体、八面体）之外，涵盖一类新形式——拟二十面体形式。
• 精确地给出 $\text{sym}^5(\pi)$ 的自守刻画，表明其为另一尖形式 $\pi'$ 的伴随表示的函子性乘积。
• 提供一种完全基于自守形式的证明，无需依赖伽罗瓦表示，与朗兰兹函子性哲学一致。

提出的方法

• 定义一个尖形式自守表示 $\pi$ 为拟二十面体形式，若对所有 $m \leq 6$，$\text{sym}^m(\pi)$ 为自守的，且当 $m \leq 4$ 时为尖形式，而当 $m=6$ 时非尖形式。
• 利用模形式性假设，确保存在与 $\pi$ 关联的伽罗瓦表示 $\rho_\ell(\pi)$，且在几乎所有素点上与 $L$-函数相容。
• 应用切博泰列夫密度定理，比较 $\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))$ 的不可约性矛盾。

实验结果

研究问题

• RQ1 对于 $\text{GL}(2,\mathbb{A}_F)$ 上的尖形式自守表示 $\pi$，在何种条件下 $\text{sym}^m(\pi)$ 为尖形式？
• RQ2 当 $\pi$ 不是可解多面体形式时，对称第五次幂 $\text{sym}^5(\pi)$ 是否可表为函子性乘积？
• RQ3 对于非可解多面体 $\pi$，$\text{sym}^6(\pi)$ 的结构如何？它在何时不是尖形式？
• RQ4 是否存在一种完全自守的构造方式来得到 $\pi'$，使得 $\text{sym}^5(\pi)$ 是 $\text{Ad}(\pi') \boxtimes \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)$ 同构于 $\text{Ad}(\pi') \boxtimes \pi$ 的一个扭，其中 $\pi'$ 是 $F/\text{GL}(2)$ 上的尖形式，其中心特征为 $\omega'$。
• 伽罗瓦表示 $\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)$ 为尖形式，则导出矛盾。