[논문 리뷰] On the Spezialschar of Maass

Bernhard Heim|ArXiv.org|2008. 01. 11.

Advanced Algebra and Geometry참고 문헌 4인용 수 5

한 줄 요약

이 논문은 차수 $2n$의 시겔 모듈라 형식에 대해 일반화된 슈체츠샤프를 도입하며, $n=1$인 경우 고전적 마스 슈체츠샤프와 일치함을 증명한다. $M_k^{(2)}$에서 대칭 타원 모듈라 형식의 텐서곱으로 사상하는 미분 연산자 $\mathcal{D}_{k,\underline{2\nu}}$를 통해 마스 슈체츠샤프의 특성을 규명하며, $F$가 마스 슈체츠샤프에 속해 있음과 그 연산자들의 직접 합에 의한 이미지가 대칭 형식의 대각 부분공간에 속함이 서로 동치임을 보인다.

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$에 대해 $\mathrm{Sp}_n \times \mathrm{Sp}_n \to \mathrm{Sp}_{2n}$에서의 헤케 대수 작용을 이용하여 $\mathsf{Spez}(M_k^{(2n)})$라는 일반화된 슈체츠샤프를 정의한다.
• 이 일반화된 슈체츠샤프가 $n=1$인 경우, 즉 차수 2의 시겔 모듈라 형식에 대해 고전적 마스 슈체츠샤프와 일치함을 증명한다.
• 타원 모듈라 형식의 대칭 텐서곱으로 사상하는 타일러 계수를 통한 미분 연산자 $\mathcal{D}_{k,\underline{2\nu}}$를 통해 마스 슈체츠샤프의 특성화를 제공한다.
• 이 연산자들의 이미지에서 특정 계수의 소멸과 그로스-프라사드 추측이 예측한 $L$-함수의 특수값 사이의 정확한 관계를 규명한다.

제안 방법

• 모든 $T \in \mathcal{H}^n$에 대해 $F|_k \Join_T = 0$를 만족하는 형식 $F \in M_k^{(2n)}$의 집합으로서 슈체츠샤프 $\mathsf{Spez}(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$의 타일러 전개를 이용하여, $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$가 슈체츠샤프에 속함을 보인다.
• $T(p^2)$에 대한 커널 조건이 $T(p)$에 대한 커널 조건을 유도함을 보여, 고유값 비교와 촉각형식에 대한 다중도 1 결과를 이용하여 $\mathsf{Spez}_0(M_k^{(2)}) = \mathsf{Spez}(M_k^{(2)})$임을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 슈체츠샤프 구성법이 $M_k^{(2n)}$에 대해 $n=1$일 때 고전적 마스 슈체츠샤프를 복원하는가?
• RQ2 마스 슈체츠샤프는 타원 모듈라 형식의 대칭 거듭제곱으로 사상하는 미분 연산자 $\mathcal{D}_{k,\underline{2\nu}}$를 통해 특성화될 수 있는가?
• RQ3 그러한 연산자들의 이미지에서 계수의 소멸과 그로스-프라사드 추측이 예측한 $L$-함수의 특수값 사이의 정확한 관계는 무엇인가?
• RQ4 $T(p)$와 $T(p^2)$에 의한 슈체츠샤프 조건이 차수 2의 경우 동치인가?

주요 결과

• 헤케 대수 작용을 통한 일반화된 슈체츠샤프 $\mathsf{Spez}(M_k^{(2n)})$는 $n=1$일 때 고전적 마스 슈체츠샤프와 일치하며, 즉 $\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$가 0이어야 한다.
• $T(p)$와 $T(p^2)$에 의한 슈체츠샤프 조건은 동치이다: $\mathsf{Spez}_0(M_k^{(2)}) = \mathsf{Spez}(M_k^{(2)})$, $\mathrm{SL}_2(\mathbb{Z})$의 다중도 1 결과에 의해 $T(p^2)$에 대한 커널 조건이 $T(p)$에 대한 커널 조건을 유도하기 때문이다.