[论文解读] Generating spaces of modular forms with $η$-quotients

L. J. P. Kilford|arXiv (Cornell University)|Jan 17, 2007

Algebraic Geometry and Number Theory参考文献 9被引用 5

一句话总结

本文证明了对于同余子群 $\Gamma_0(N)$ 的每个模形式，均可表示为 $η$-积的有理函数，从而扩展了 Ono 关于用 $η$-商生成模形式空间的提问。关键结果表明，此类形式可使用最多 $4N$ 水平的 $η$-积来表示，利用了已知的 $E_4$、$E_6$ 和 $Δ$ 的 $η$-商表示，并依赖于由 $j$-不变量及其 $N$-级扭化生成的模函数域。

ABSTRACT

In this note we consider a question of Ono, concerning which spaces of classical modular forms can be generated by sums of $η$-quotients. We give some new examples of spaces of modular forms which can be generated as sums of $η$-quotients, and show that we can write all modular forms of level $Γ_0(N)$ as rational functions of $η$-products.

研究动机与目标

• 回应 Ono 关于哪些经典模形式空间可由 $η$-商之和生成的开放性问题。
• 将埃斯滕斯坦系列与尖点形式已知的 $η$-商表示推广为适用于所有模形式的一般生成机制。
• 证明 $M_k(\Gamma_0(N))$ 中的每一个模形式均可表示为 $η$-积的有理函数。
• 确定此类表示所需的最小水平，表明对于 $N$ 水平的形式，$4N$ 水平已足够。

提出的方法

• 利用已知事实：$E_4$、$E_6$ 和 $Δ = η^{24}$ 均为 $η$-积的有理函数，且具有已知的 $η$-商表达式。
• 从给定的模形式 $f \in M_k(\Gamma_0(N))$ 构造一个权为 0 的模函数 $g = f × E_4^a E_6^b / Δ^c$，通过选择 $a$、$b$、$c$ 将权平衡至零。
• 应用 Milne 定理：$\Gamma_0(N)$ 的模函数域由 $j(q)$ 和 $j(q^N)$ 生成，因此每个此类 $g$ 均为这两个 $j$-不变量的有理函数。
• 由于 $j(q) = E_4^3 / Δ$ 和 $j(q^N)$ 均为 $η$-积的有理函数，因此 $g$ 也是，从而 $f$ 也是 $η$-积的有理函数。
• 证明所需的 $η$-积水平至多为 $4N$，原因在于 $E_4$ 和 $E_6$ 的 $4$-级表示。
• 使用 Sturm 估计和 $q$-展开比较，验证 $η$-商与经典模形式之间的恒等式。

实验结果

研究问题

• RQ1 是否每个 $M_k(\Gamma_0(N))$ 中的模形式都可表示为 $η$-积的有理函数？
• RQ2 生成 $N$ 水平所有模形式所需的 $η$-积的最小水平是多少？
• RQ3 为何无法仅用素数水平的 $η$-商来表示 $E_4$ 和 $E_6$？
• RQ4 $\Gamma_0(N)$ 的模函数域如何与 $η$-积及 $j$-不变量相关联？
• RQ5 为何在满足 $E_4$ 和 $E_6$ 的变换条件时，需要多个独立的 $η$-商解？

主要发现

• 所有 $M_k(\Gamma_0(N))$ 中的模形式均可表示为 $η$-积的有理函数。
• 所需 $η$-积的水平至多为 $4N$，该界源于 $E_4$ 和 $E_6$ 的 $4$-级表示。
• $E_4$ 和 $E_6$ 作为 $η$-商的表示要求水平中至少包含两个不同的素因子或一个素数的平方，因此素数水平的表示不足以实现。
• $M_k(\Gamma_0(N))$ 的空间由 $η$-积的有理函数生成，文中给出了 $N=1,2,3,4,5,7,11,27,28,44,576$ 和 $27$ 的显式例子。
• 证明依赖于 $\Gamma_0(N)$ 的模函数域由 $j(q)$ 和 $j(q^N)$ 生成，而两者均为 $η$-积的有理函数这一事实。
• 该方法确保所有恒等式均可通过 $q$-展开比较至 Sturm 估计范围内验证，从而确认模形式的相等性。