[论文解读] On the Spezialschar of Maass

Bernhard Heim|ArXiv.org|Jan 11, 2008

Advanced Algebra and Geometry参考文献 4被引用 5

一句话总结

本文引入了度数为 $2n$ 的Siegel模形式的广义Spezialschar，证明当 $n=1$ 时其与经典的Maass Spezialschar一致。通过微分算子 $\mathcal{D}_{k,\underline{2\nu}}$ 将 $M_k^{(2)}$ 映射到椭圆模形式的对称张量积，建立了Maass Spezialschar的刻画：当且仅当这些算子的直和映射的像位于对称形式的对角子空间中时，$F$ 属于Maass Spezialschar。

ABSTRACT

Let $M_k^{(n)}$ be the space of Siegel modular forms of degree $n$ and even weight $k$. In this paper firstly a certain subspace $\mathsf{Spez}(M_k^{(2n)})$ the Spezialschar of $M_k^{(2n)}$ is introduced. In the setting of the Siegel three-fold it is proven that this Spezialschar is the Maass Spezialschar. Secondly an embedding of $M_k^{(2)}$ into a direct sum $\oplus_{ν= 0}^{\lfloor \frac{k}{10} floor} ext{Sym}^2 M_{k + 2 ν}$ is given. This leads to a basic characterization of the Spezialschar property. The results of this paper are directly related to the non-vanishing of certain special values of L-functions related to the Gross-Prasad conjecture. This is illustrated by a significant example in the paper.

研究动机与目标

• 通过 $\mathrm{Sp}_n \times \mathrm{Sp}_n \to \mathrm{Sp}_{2n}$ 上的Hecke代数作用，定义度数为偶数 $2n$ 的Siegel模形式的广义Spezialschar $\mathsf{Spez}(M_k^{(2n)})$。
• 证明当 $n=1$ 时，该广义Spezialschar与经典的Maass Spezialschar一致，即对度数为2的Siegel模形式成立。
• 通过Taylor系数和椭圆模形式的对称张量积，提供Maass Spezialschar的微分算子刻画。
• 将这些算子像中某些系数的消失与由Gross-Prasad猜想预测的L-函数特殊值联系起来。

提出的方法

• 将Spezialschar $\mathsf{Spez}(M_k^{(2n)})$ 定义为满足对所有 $T$ 属于Hecke代数 $\mathcal{H}^n$ 有 $F|_k \Join_T = 0$ 的形式 $F \in M_k^{(2n)}$ 的空间，其中 $\Join_T = (\widetilde{T} \times 1) - (1 \times \widetilde{T})$。
• 引入微分算子 $\mathcal{D}_{k,\underline{2\nu}}: M_k^{(2)} \to \mathrm{Sym}^2 M_{k+2\nu}$，其将Siegel模形式映射到椭圆模形式的对称张量积。
• 利用 $F|_k \Join_T$ 在对角嵌入 $\mathbb{H} \times \mathbb{H} \hookrightarrow \mathbb{H}_2$ 中 $z=0$ 附近的Taylor展开，将 $F|_k \Join_T$ 的消失性与 $\mathcal{D}_{k,\underline{2\nu}}F$ 在对角子空间中的消失性联系起来。
• 利用Hecke算子的自伴性及 $\mathrm{SL}_2(\mathbb{Z})$ 的重数一结果，证明若 $\mathcal{D}_{k,\underline{2\nu}}F \in M_{k+2\nu}^D$，则 $F$ 属于Spezialschar。
• 通过特征值比较和尖形式的重数一性质，证明 $\mathsf{Spez}_0(M_k^{(2)}) = \mathsf{Spez}(M_k^{(2)})$，即 $T(p^2)$ 的核条件蕴含 $T(p)$ 的核条件。

实验结果

研究问题

• RQ1 当 $n=1$ 时，$M_k^{(2n)}$ 的广义Spezialschar构造是否能恢复经典的Maass Spezialschar？
• RQ2 Maass Spezialschar能否通过映射到椭圆模形式对称幂的微分算子 $\mathcal{D}_{k,\underline{2\nu}}$ 来刻画？
• RQ3 根据Gross-Prasad猜想，$\mathcal{D}_{k,\underline{2\nu}}F$ 中系数的消失性与L-函数特殊值之间的确切关系为何？
• RQ4 在度数为2的情况下，通过 $T(p)$ 和 $T(p^2)$ 定义的Spezialschar条件是否等价？

主要发现

• 通过Hecke代数作用定义的广义Spezialschar $\mathsf{Spez}(M_k^{(2n)})$ 在 $n=1$ 时与经典的Maass Spezialschar一致，即 $\mathsf{Spez}(M_k^{(2)}) = M_k^{\mathsf{Maass}}$。
• 嵌入 $\mathbb{D}_k = \oplus_{\nu=0}^{\lfloor k/10 \rfloor} \mathcal{D}_{k,\underline{2\nu}}$ 将 $M_k^{(2)}$ 映射到模形式对称幂的直和，且 $F \in M_k^{\mathsf{Maass}}$ 当且仅当 $\mathbb{D}_k F$ 属于对称形式的对角子空间。
• 对于 $F \in S_k^{(2)}$，条件 $F \in S_k^{\mathsf{Maass}}$ 等价于 $\mathbb{D}_k F \in \oplus_{\nu=0}^{\lfloor k/10 \rfloor} S_{k+2\nu}^D$，其中 $S_{k+2\nu}^D$ 表示 $S_{k+2\nu}^{\mathsf{Sym}}$ 的对角子空间。
• 在例子中，若 $F_j \in S_{20}^{(2)}$，则 $F_j \in M_k^{\mathsf{Maass}}$ 当且仅当在 $\mathcal{D}_{20,\underline{4}}F_j = \alpha_j f_1 \otimes f_1 + \beta_j (f_1 \otimes f_2 + f_2 \otimes f_1) + \gamma_j f_2 \otimes f_2$ 中，系数 $\beta_j$ 为零。
• 通过 $T(p)$ 和 $T(p^2)$ 定义的Spezialschar等价：$\mathsf{Spez}_0(M_k^{(2)}) = \mathsf{Spez}(M_k^{(2)})$，因为 $\mathrm{SL}_2(\mathbb{Z})$ 的重数一性质使得 $T(p^2)$ 的核条件蕴含 $T(p)$ 的核条件。