[論文レビュー] Hecke operators in half-integral weight

Soma Purkait|arXiv (Cornell University)|Aug 21, 2012

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

ひとこと要約

本稿は、半整数重モジュラー形式におけるSturmの境界とHecke作用素の再帰関係の類似を確立し、レベルと重さから導かれる境界Rを用いて、theta系列の直交補空間上のHecke代数が、$T_{p^2}$（$p \leq R$）によって生成されることを証明する。さらに、すべての素数（特にレベル$N$を割る素数を含む）に対して、Hecke作用素$T_{p^{2\ell}}$とShimura対応の間の明示的な可換関係を提供する。

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.

研究の動機と目的

• 整数重モジュラー形式におけるSturmのHecke代数生成子に関する境界を、半整数重に拡張すること。
• 整数重と同様の再帰公式を、半整数重設定におけるHecke作用素$T_{p^{2\ell}}$に確立すること。
• すべての素数$p$（特にレベル$N$を割る素数を含む）に対して、Hecke作用素$T_{p^{2\ell}}$とShimura対応の正確な可換関係を特定すること。
• 非theta部分空間$S_{k/2}^\perp(\chi)$へのHecke代数の制限が、$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$。
• 半整数重と整数重のHecke代数を関係付けるために、Shimura対応$\operatorname{Sh}_t: S_{k/2}(N,\chi) \to M_{k-1}(N', \chi^2)$を用いる。
• $q$-展開とHecke作用素の$q$-級数による作用の理論を用いて、作用素の性質を分析する。
• $T_p(f) = \sum (a_{pn} + \chi(p)p^{k-1}a_{n/p})q^n$という公式を用いて、Hecke作用をフーリエ係数で表現する。
• Sturmの境界（定理8）および$[\mathrm{SL}_2(\mathbb{Z}) : \Gamma_1(N')]$と$[\mathrm{SL}_2(\mathbb{Z}) : \Gamma_0(N')]$の群指数の公式を用いて、境界$R$を導出する。
• $\mathbb{Z}[\zeta_{\varphi(N)}]$上の加群論的議論を用いて、$i \leq R$ における$T_{i^2}$が$\mathbb{T}_{k/2}^\perp$を生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 整数重から半整数重へのHecke代数生成子に関するSturm型の境界を拡張できるか？
• RQ2 特に$p \mid N$のとき、半整数重設定におけるHecke作用素$T_{p^{2\ell}}$を支配する再帰関係は何か？
• RQ3 すべての素数$p$（特にレベル$N$を割る素数を含む）に対して、Hecke作用素$T_{p^{2\ell}}$とShimura対応の可換関係は何か？
• RQ4 非theta部分空間$S_{k/2}^\perp(N,\chi)$上のHecke代数を生成する最小のHecke作用素$T_{p^2}$の集合は何か？
• RQ5 生成子の有限性を保証する境界$R$は、レベル$N$、重さ$k$、および字性$\chi$にどのように依存するか？

主な発見

• $p \mid N$のとき、Hecke作用素は$\mathbb{T}_{k/2}$において$T_{p^{2\ell}} = (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}}$が$\mathbb{T}_{k/2}$で成り立つ。
• Shimura対応は、すべての素数$p$（$p \mid tN$であっても）に対して$\operatorname{Sh}_t(T_{p^2}f) = T_p(\operatorname{Sh}_t(f))$を満たし、既知の結果を拡張する。
• $\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$は、$i \leq R$ における$T_{i^2}$によって、$\mathbb{Z}[\zeta_{\varphi(N)}]$-加群として生成される。ここで$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})$とすることで、この場合のより鋭い境界が得られることを示す。