[論文レビュー] 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 のイzekstein 級数によって生成されることを示し、生成子間の明示的な関係式を特定している。主な貢献は、これらの環が多項式環の商として完全に記述されることを示し、整数基底とヒルベルト級数の計算によって検証している。

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)$ の完全な階数付き環構造を同定すること。
• $N \in \{1,2,3,4,5,6,7,8,9,10,12,16,18,25\}$ の場合に、$\mathcal{M}(N)$ を生成する明示的生成子（主に重さ 2, 4, 6 のイzekstein 級数）を特定すること。
• 生成子間の明示的関係式（シュリーズ）を確立し、$\mathcal{M}(N)$ が多項式環の商として同型であることを示すこと。
• 生成子および $\mathcal{M}_k(N)$ の標準基底が $\mathbb{Z}[[q]]$ 内で整数フーリエ展開を持つことを証明し、環構造の整数性を保証すること。

提案手法

• イzekstein 級数および関連する形式（例：$\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)$ への全射準同型の核を分析することにより生成子間の関係を確立し、$\dim \mathcal{M}_k(N)$ を超えるフーリエ係数の消滅を用いる。
• ヒルベルト級数（$\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$ を示し、生成子および基底の整数性を証明する。
• 得られた提示がヒルベルト級数と一致することを検証し、$\mathcal{M}(N) \simeq \mathbb{C}[f_1, \dots, f_h]/I$ が明示的な関係式のイデアル $I$ に対して同型であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 小レベル $N$ に対して、階数付き環 $\mathcal{M}(N)$ の完全な環構造は何か？
• RQ2 特にイzekstein 級数を含む、$N \in \{2,3,4,5,6,7,8,9,10,12,16,18,25\}$ の場合に $\mathcal{M}(N)$ を生成するモジュラー形式は何か？
• RQ3 $\mathcal{M}(N)$ の生成子間の定義関係（シュリーズ）は何か？
• RQ4 生成子および $\mathcal{M}_k(N)$ の標準基底は $\mathbb{Z}[[q]]$ 内で整数フーリエ係数を持つか？
• RQ5 ヒルベルト級数 $\mathcal{M}_k(N)$ は、$\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 のイzekstein 級数によって生成され、$\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)$ のヒルベルト級数は、既知の次元公式と一致し、環提示の正しさが確認された。
• $\alpha_4$, $\beta_9$, $\gamma_{16}$, $\beta_5$, $\delta_{25}$, $\beta_7$, $\delta_7$ のような重要な形式の整数性は、$\mathbb{Z}[[q]]$ 内の明示的 $q$-級数表現によって検証された。
• 環 $\mathcal{M}(N)$ が関係式のイデアルによる多項式環の商に同型であることが示され、関係式は $\dim \mathcal{M}_k(N)$ を超えるフーリエ係数の消滅から導出された。