[论文解读] Hecke operators in half-integral weight

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

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

一句话总结

本文为自守形式的半整数权情形建立了斯图尔姆界限与赫克算子递推关系的类比，证明了在 theta 系列正交补上的赫克代数由 $T_{p^2}$ 生成，其中 $p \leq R$，$R$ 是由水平和权导出的界限。此外，本文还给出了赫克算子 $T_{p^{2\ell}}$ 与志村对应关系的显式公式，将已知结果推广至所有素数，包括整除水平的素数。

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}}$ 的递推公式，类比于整数权情形下的公式。
• 确定赫克算子 $T_{p^{2\ell}}$ 与志村对应关系在所有素数 $p$（包括整除水平 $N$ 的素数）下的精确交换关系。
• 证明赫克代数在非 theta 子空间 $S_{k/2}^\perp(\chi)$ 上的限制由 $T_{p^2}$ 生成，其中 $p \leq R$，且 $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$-级数理论来分析算子行为。
• 使用公式 $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 在半整数权情形下，赫克算子 $T_{p^{2\ell}}$ 的递推关系是什么，特别是当 $p \mid N$ 时？
• RQ3 赫克算子 $T_{p^{2\ell}}$ 与志村对应关系在所有素数 $p$（包括整除水平 $N$ 的素数）下的交换关系如何？
• RQ4 在非 theta 子空间 $S_{k/2}^\perp(N,\chi)$ 上，生成赫克代数的最小赫克算子集合 $T_{p^2}$ 是什么？
• RQ5 生成元有限性界限 $R$ 如何依赖于水平 $N$、权 $k$ 和字符 $\chi$？

主要发现

• 当 $p \mid N$ 时，赫克算子满足 $T_{p^{2\ell}} = (T_{p^2})^\ell$ 于 $\mathbb{T}_{k/2}$ 中。
• 当 $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}$ 中成立。
• 志村对应满足 $\operatorname{Sh}_t(T_{p^2}f) = T_p(\operatorname{Sh}_t(f))$ 对所有素数 $p$ 成立，即使 $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)}]$-模，由 $T_{i^2}$（$i \leq R$）生成，其中 $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})$，表明此情形下存在更精细的界限。