[論文レビュー] On the Spezialschar of Maass

Bernhard Heim|ArXiv.org|Jan 11, 2008

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

ひとこと要約

本稿は、次数 $2n$ のスiegelモジュラー形式の一般化されたSpezialscharを導入し、$n=1$ の場合に古典的Maass Spezialscharと一致することを証明する。$M_k^{(2)}$ から対称テンソル積への微分作用素 $\mathcal{D}_{k,\underline{2\nu}}$ を用いた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.

研究の動機と目的

• 次数 $2n$ の偶数次スiegelモジュラー形式 $M_k^{(2n)}$ に対して、$\mathrm{Sp}_n \times \mathrm{Sp}_n \to \mathrm{Sp}_{2n}$ におけるヘッケ代数作用 $\mathcal{H}^n$ を用いて一般化されたSpezialschar $\mathsf{Spez}(M_k^{(2n)})$ を定義すること。
• この一般化Spezialscharが $n=1$ の場合、つまり次数2のスiegelモジュラー形式に対して、古典的Maass Spezialscharと一致することを証明すること。
• テイラー係数と楕円モジュラー形式の対称テンソル積を用いた、Maass Spezialscharの微分作用素による特徴付けを提供すること。
• これらの作用素の像における特定係数の消える条件が、Gross-Prasad予想が予言する$L$-関数の特殊値とどのように関係するかを明らかにすること。

提案手法

• Spezialschar $\mathsf{Spez}(M_k^{(2n)})$ を、$\mathrm{Sp}_n \times \mathrm{Sp}_n \to \mathrm{Sp}_{2n}$ におけるヘッケ代数 $\mathcal{H}^n$ のすべての $T$ に対して $F|_k \Join_T = 0$ を満たす $F \in M_k^{(2n)}$ の空間として定義する。ここで $\Join_T = (\widetilde{T} \times 1) - (1 \times \widetilde{T})$ である。
• Siegelモジュラー形式から楕円モジュラー形式の対称テンソル積への写像を定める微分作用素 $\mathcal{D}_{k,\underline{2\nu}}: M_k^{(2)} \to \mathrm{Sym}^2 M_{k+2\nu}$ を導入する。
• $\mathbb{H} \times \mathbb{H} \hookrightarrow \mathbb{H}_2$ における対角埋め込みにおいて、$F|_k \Join_T$ の $z=0$ の周りのテイラー展開を用いて、$F|_k \Join_T$ の消えることと、$\mathcal{D}_{k,\underline{2\nu}}F$ が対角部分空間に属することを関連付ける。
• ヘッケ作用素の自己随伴性と $\mathrm{SL}_2(\mathbb{Z})$ における重複度1の結果を用い、$\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)$ における核条件を含むこと、固有値の比較とカスプ形式における重複度1の結果を用いることで示される。

実験結果

リサーチクエスチョン

• RQ1 一般化Spezialschar構成 $M_k^{(2n)}$ が $n=1$ 時に古典的Maass Spezialscharを回復するか。
• RQ2 Maass Spezialscharは、楕円モジュラー形式の対称冪への写像 $\mathcal{D}_{k,\underline{2\nu}}$ を用いて特徴付け可能か。
• RQ3 Gross-Prasad予想が予言するように、$\mathcal{D}_{k,\underline{2\nu}}F$ の係数の消える条件と$L$-関数の特殊値との正確な関係は何か。
• RQ4 $T(p)$ と $T(p^2)$ によるSpezialschar条件は、次数2の場合に同値か。

主な発見

• ヘッケ代数作用を用いて定義された一般化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})$ における重複度1の性質により、$T(p^2)$ における核条件が $T(p)$ における核条件を含むことから導かれる。