[논문 리뷰] Hecke operators in half-integral weight

Soma Purkait|arXiv (Cornell University)|2012. 08. 21.

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

한 줄 요약

이 논문은 반정수 스플릿 모듈라 형식에 대해 슈투르름의 경계와 헤크 기반의 재귀 관계를 유사하게 확장하며, 수준과 스플릿이 주어진 경우, 테타 급수의 직교보완부분공간 위의 헤크 대수는 소수 $p \leq R$ 에 대해 $T_{p^2}$ 로 생성됨을 증명한다. 여기서 $R$ 는 수준과 스플릿으로부터 유도된 경계이다. 또한, 모든 소수, 특히 수준 $N$ 을 나누는 소수를 포함하여, 헤크 연산자 $T_{p^{2 heta}}$ 가 셰이마 대응과 어떻게 교환되는지에 대한 명시적인 공식을 제공한다.

ABSTRACT

In \cite{Shimura}, Shimura introduced modular forms of half-integral weight, their Hecke algebras and their relation to integral weight modular forms via the Shimura correspondence. For modular forms of integral weight, Sturm's bounds give generators of the Hecke algebra as a module. We also have well-known recursion formulae for the operators $T_{p^\ell}$ with $p$ prime. It is the purpose of this paper to prove analogous results in the half-integral weight setting. We also give an explicit formula for how operators $T_{p^{\ell}}$ commute with the Shimura correspondence.

연구 동기 및 목표

• 정수 스플릿 모듈라 형식에서 슈투르름의 헤크 대수 생성자 경계를 반정수 스플릿 모듈라 형식으로 확장하기.
• 정수 스플릿과 유사하게 반정수 스플릿 설정에서 헤크 연산자 $T_{p^{2\ell}}$ 의 재귀 공식을 수립하기.
• 수준 $N$ 을 나누는 소수를 포함한 모든 소수 $p$ 에 대해, 헤크 연산자 $T_{p^{2\ell}}$ 와 셰이마 대응 간의 정확한 교환관계를 규명하기.
• 비테타 부분공간 $S_{k/2}^\perp(\chi)$ 위의 헤크 대수 제한이 $p \leq R$ 인 $T_{p^2}$ 로 생성됨을 증명하기, 여기서 $R$ 은 명시적으로 계산된다.

제안 방법

• 반정수 스플릿에서 $T_{p^{2\ell}}$ 의 재귀 관계 유도: $p \nmid N$ 인 경우 $T_{p^{2\ell+2}} = T_{p^2}T_{p^{2\ell}} - \chi(p^2)p^{k-2}T_{p^{2\ell-2}}$, $p \mid N$ 인 경우 $T_{p^{2\ell}} = (T_{p^2})^\ell$.
• 반정수와 정수 스플릿 헤크 대수 간의 관계를 위해 $\operatorname{Sh}_t: S_{k/2}(N,\chi) \to M_{k-1}(N', \chi^2)$ 의 셰이마 대응을 사용한다.
• $q$-전개 이론과 $q$-급수를 통한 헤크 연산자 행동 분석을 위해 $q$-급수 기반의 헤크 연산자 행동 이론을 적용한다.
• Hecke 작용을 푸리에 계수로 표현하기 위해 공식 $T_p(f) = \sum (a_{pn} + \chi(p)p^{k-1}a_{n/p})q^n$ 을 사용한다.
• 슈투르름의 경계(정리 8)와 $[\mathrm{SL}_2(\mathbb{Z}) : \Gamma_1(N')]$ 및 $[\mathrm{SL}_2(\mathbb{Z}) : \Gamma_0(N')]$ 의 군 인덱스 공식을 적용하여 경계 $R$ 을 도출한다.
• 모듈러 이론적 접근을 통해 $\mathbb{Z}[\zeta_{\varphi(N)}]$ 위에서 $T_{i^2}$ ($i \leq R$) 가 $\mathbb{T}_{k/2}^\perp$ 를 생성함을 보인다.

실험 결과

연구 질문

• RQ1 정수 스플릿 모듈라 형식에서 슈투르름 유형의 헤크 대수 생성자 경계를 반정수 스플릿 모듈라 형식으로 확장할 수 있는가?
• RQ2 특히 $p \mid N$ 인 경우, 반정수 스플릿 설정에서 헤크 연산자 $T_{p^{2\ell}}$ 를 지배하는 재귀 관계는 무엇인가?
• RQ3 모든 소수 $p$ (수준 $N$ 을 나누는 소수 포함) 에 대해, 헤크 연산자 $T_{p^{2\ell}}$ 와 셰이마 대응 간의 교환관계는 어떻게 되는가?
• RQ4 비테타 부분공간 $S_{k/2}^\perp(N,\chi)$ 위의 헤크 대수에서 생성자가 되는 최소한의 헤크 연산자 $T_{p^2}$ 는 무엇인가?
• RQ5 생성자 유한성의 경계 $R$ 이 수준 $N$, 스플릿 $k$, 그리고 캐릭터 $\chi$ 에 따라 어떻게 달라지는가?

주요 결과

• $p \mid N$ 인 경우, 헤크 연산자는 $\mathbb{T}_{k/2}$ 에서 $T_{p^{2\ell}} = (T_{p^2})^\ell$ 를 만족한다.
• $p \nmid N$ 인 경우, $\mathbb{T}_{k/2}$ 에서 재귀 관계 $T_{p^{2\ell+2}} = T_{p^2}T_{p^{2\ell}} - \chi(p^2)p^{k-2}T_{p^{2\ell-2}}$ 가 성립한다.
• 셰이마 대응은 모든 소수 $p$ 에 대해 $\operatorname{Sh}_t(T_{p^2}f) = T_p(\operatorname{Sh}_t(f))$ 를 만족하며, $p \mid tN$ 인 경우에도 성립하여 기존 결과를 확장한다.
• $\ell \geq 2$ 인 경우, $p \mid N$ 이면 $\operatorname{Sh}_t(T_{p^{2\ell}}f) = T_{p^\ell}(\operatorname{Sh}_t(f))$, $p \nmid N$ 이면 $\operatorname{Sh}_t(T_{p^{2\ell}}f) = (T_{p^\ell} - \chi(p^2)p^{k-3}T_{p^{\ell-2}})(\operatorname{Sh}_t(f))$ 가 성립한다.
• 헤크 대수 $\mathbb{T}_{k/2}^\perp$ 는 $\mathbb{Z}[\zeta_{\varphi(N)}]$-모듈러스로서 $i \leq R$ 인 $T_{i^2}$ 로 생성되며, 여기서 $R = \frac{(k-1)m}{12} - \frac{m-1}{N'}$, $m = N'^2 \prod_{p \mid N'} (1 - p^{-2})$ 이다.
• $\chi$ 가 이차 캐릭터인 경우, 같은 결과가 $m = N' \prod_{p \mid N'} (1 + p^{-1})$ 로 주어지며, 이 경우 더 정교한 경계를 제공한다.