[论文解读] An explicit structure of the graded ring of modular forms of small level

Suda Tomohiko, Hayato Saito|arXiv (Cornell University)|Aug 19, 2011

Advanced Algebra and Geometry参考文献 2被引用 5

一句话总结

本文明确定義了模形式在 $̿_0(N)$ 下的分次環結構，其中 $N = 2,3,4,5,6,7,8,9,10,12,16,18,25$，並表明這些環由權重 2、4 和 6 的 Eisenstein 級數生成，且生成元之間具有明確的關係。主要貢獻在於以多項式環的商形式完整呈現這些環，並透過整基與 Hilbert 級數計算加以驗證。

ABSTRACT

In this paper, we study the explicit structure of the graded ring of elliptic modular forms for the congruence subgroup $Γ_0(N)$ with N=1,2,3,4,5,6,7,8,9,10,12,16,18,25. More precisely, making use of some relations between Fourier expansions, we determine the ring by a quotient of the polynomial ring in several variables.

研究动机与目标

• 確定小水平 $N$ 下模形式 $\mathcal{M}(N)$ 的完整分次環結構。
• 識別 $\mathcal{M}(N)$ 的顯式生成元（主要為權重 2、4 和 6 的 Eisenstein 級數），其中 $N \in \{1,2,3,4,5,6,7,8,9,10,12,16,18,25\}$。
• 建立生成元之間的顯式定義關係（syzygies），並證明 $\mathcal{M}(N)$ 同構於多項式環的商環。
• 證明生成元與 $\mathcal{M}_k(N)$ 的規範基具有 $\mathbb{Z}[[q]]$ 中的整係數傅立葉展開，確保環結構的整性。

提出的方法

• 從 Eisenstein 級數與相關形式（例如 $\mathrm{E}_2$, $\mathrm{E}_4$, $\mathrm{E}_6$, $\mathrm{C}_N$, $\alpha_p$, $\mathrm{E}_\chi$）構造一組模形式 $f_1, \dots, f_h$，作為 $\mathcal{M}(N)$ 的候選生成元。
• 利用 $\mathcal{M}_k(N)$ 的基 $\{b_1, \dots, b_d\}$ 滿足 $b_j \in q^{j-1} + \mathbb{C}[[q]]q^j$ 的性質，使關係式可透過截斷有效計算。
• 透過分析從 $\mathbb{C}[f_1, \dots, f_h]$ 到 $\mathcal{M}(N)$ 的滿同態的核，建立生成元之間的關係，利用傅立葉係數在 $d = \dim \mathcal{M}_k(N)$ 之後消失的性質。
• 計算 Hilbert 級數（$\dim \mathcal{M}_k(N)$ 的生成函數）以驗證所提出的關係確實定義了正確的環結構。
• 透過 $\tau_N(n)$ 與 $\sigma_\chi(n)$ 的顯式公式，證明生成元與基元素滿足 $f_i \in \mathbb{Z}[[q]]$ 與 $b_j \in q^{j-1} + \mathbb{Z}[[q}}q^j$，從而證明其整性。
• 驗證所得的陳述與 Hilbert 級數相符，確認同構關係 $\mathcal{M}(N) \simeq \mathbb{C}[f_1, \dots, f_h]/I$ 對於明確的關係理想 $I$ 成立。

实验结果

研究问题

• RQ1 對於小水平 $N$，分次環 $\mathcal{M}(N)$ 的完整環結構為何？
• RQ2 哪些模形式——特別是 Eisenstein 級數——生成 $\mathcal{M}(N)$ 為 $\mathbb{C}$-代數，其中 $N \in \{2,3,4,5,6,7,8,9,10,12,16,18,25\}$？
• RQ3 $\mathcal{M}(N)$ 的生成元之間的定義關係（syzygies）為何？
• RQ4 生成元與 $\mathcal{M}_k(N)$ 的規範基是否具有 $\mathbb{Z}[[q]]$ 中的整傅立葉係數？
• RQ5 是否可利用 $\mathcal{M}_k(N)$ 的 Hilbert 級數來驗證所提出之 $\mathcal{M}(N)$ 陳述的正確性？

主要发现

• 對於 $N=3$，環 $\mathcal{M}(3)$ 同構於 $\mathbb{C}[\mathrm{C}_3, \alpha_3, \beta_3]/(\alpha_3^2 - \mathrm{C}_3\beta_3)$，其中 $\mathrm{C}_3 \in \mathcal{M}_2(3)$，$\alpha_3 \in \mathcal{M}_4(3)$，且 $\beta_3 \in \mathcal{M}_6(3)$。
• 對於所有 $N \in \{2,3,4,5,6,7,8,9,10,12,16,18,25\}$，環 $\mathcal{M}(N)$ 由權重 2、4 和 6 的 Eisenstein 級數生成，且具有顯式生成元，如 $\mathrm{C}_N$、$\alpha_p$ 與 $\mathrm{E}_\chi$。
• 所有生成元與 $\mathcal{M}_k(N)$ 的規範基 $\{b_1, \dots, b_d\}$ 均滿足 $b_j \in q^{j-1} + \mathbb{Z}[[q]]q^j$，確保環結構的整性。
• 由所提出關係計算出的 $\mathcal{M}_k(N)$ 的 Hilbert 級數與已知的維數公式相符，確認了環陳述的正確性。
• 透過在 $\mathbb{Z}[[q]]$ 中的顯式 $q$-級數表達式，驗證了 $\alpha_4$、$\beta_9$、$\gamma_{16}$、$\beta_5$、$\delta_{25}$、$\beta_7$ 與 $\delta_7$ 等關鍵形式的整性。
• 證明 $\mathcal{M}(N)$ 同構於多項式環模一個關係理想，且關係由傅立葉係數在 $d = \dim \mathcal{M}_k(N)$ 之後消失的性質推導而出。