[論文レビュー] On $m$--fold Holomorphic Differentials and Modular Forms

Damir Mikoč, Goran Muić|arXiv (Cornell University)|Jan 3, 2021

Advanced Algebra and Geometry被引用数 1

ひとこと要約

本稿は、偶数の重さ $m \geq 4$ の尖点形式の特別な部分空間 $SH_m(\Gamma)$ と、コンパクト化されたモジュラー曲線 $R_\Gamma$ 上の $m/2$ 重正則微分形式の空間との間の正確な同型を確立する。主な貢献は、$S_2(\Gamma)$ の基底における単項式の $q$-展開基準を用いた $m/2$-ワイエルシュトラス点の特徴付けであり、SAGE を用いた明示的計算を可能にする。また、Wronskian の完全な除数公式を提供し、特に $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ の場合の明示的計算も行う。

ABSTRACT

Let $\Gamma$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(\Gamma)$. We also give in depth study of Wronskians of cuspidal modular forms and their divisors.

研究の動機と目的

• 重さ $m \geq 4$ の偶数 $m$ に対して、$S_2(\Gamma)$ と $H^1(R_\Gamma)$ 間の古典的同型を、$m/2$ 重正則微分形式へ一般化すること。
• コンパクト化されたモジュラー曲線 $R_\Gamma$ 上で $m/2$ 重正則微分形式を誘導する尖点形式からなる部分空間 $SH_m(\Gamma) \subset S_m(\Gamma)$ を定義し、その性質を調査すること。
• 非双曲的モジュラー曲線 $X_0(N)$ 上の $m/2$-ワイエルシュトラス点を特定する計算的基準を提供すること。その基準は、$S_2(\Gamma)$ の基底における単項式の $q$-展開を用いる。
• $m$ 重のモジュラー形式 $k$ 個の Wronskian の除数を明示的に計算し、特に $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ の場合の Wronskian の明示的公式を導出すること。

提案手法

• 尖点および楕円的点の寄与が、重さ $m$ と点の位数を含む明確な条件を満たす場合に、$S_m(\Gamma)$ の部分空間 $SH_m(\Gamma)$ を定義する。
• $f \mapsto \omega_f$ による標準写像が、$SH_m(\Gamma)$ から $H^{m/2}(R_\Gamma)$、すなわち $m/2$ 重正則微分形式の空間への同型を誘導することを証明する。
• 尖点 $a_\infty$ における $q$-展開技術を用いて、$S_2(\Gamma)$ の基底における単項式の先頭係数を用いて、$m/2$-ワイエルシュトラス点を特徴付ける。
• $k$ 個の重さ $m$ のモジュラー形式に Wronskian を適用し、Wronskian が重さ $k(m + k - 1)$ の尖点形式であることを示す。
• 局所的 $q$-展開と変換法則を用いて、尖点および楕円的点における Wronskian の除数を局所解析により導出する。
• $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ の場合、$m = 12t$ の $M_m$ の基底の Wronskian を計算し、$\Delta^{t(t+1)/2} E_4^{t(t+1)/2} E_6^{t(t+1)/2}$ の定数倍に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 重さ $m$ の尖点形式の空間 $S_m(\Gamma)$ が、$m/2$ 重正則微分形式の空間 $H^{m/2}(R_\Gamma)$ と同型となるのはいつか？ そして、その同型を実現する正確な部分空間 $SH_m(\Gamma)$ は何か？
• RQ2 非双曲的モジュラー曲線 $X_0(N)$ 上の尖点 $a_\infty$ が $m/2$-ワイエルシュトラス点であるかどうかを特定する明示的基準は何か？
• RQ3 $k$ 個の重さ $m$ のモジュラー形式の Wronskian の除数を、特に尖点および楕円的点で明示的に計算するにはどうすればよいか？
• RQ4 $m = 12t$ の $\mathrm{SL}_2(\mathbb{Z})$ の $M_m$ の基底の Wronskアンの正確な形は何か？ また、その恒等式における比例定数は何か？

主な発見

• 写像 $f \mapsto \omega_f$ が $SH_m(\Gamma)$ から $H^{m/2}(R_\Gamma)$ への同型を誘導し、尖点形式と高次の微分形式との間の明確な関係を確立する。
• 非双曲的 $R_\Gamma$ に対して、$SH_m(\Gamma)$ は、$S_2(\Gamma)$ の基底 $f_0, \dots, f_{g-1}$ を用いて、$\sum \alpha_i = m/2$ を満たす単項式 $f_0^{\alpha_0} \cdots f_{g-1}^{\alpha_{g-1}}$ で張られる。
• 尖点 $a_\infty$ が $m/2$-ワイエルシュトラス点でないための必要十分条件は、単項式空間の基底が、各元が $a u q^{u + m/2 - 1}$ の形で展開され、$a_u \neq 0$ となるような基底が存在することである。
• $m$ 重の $k$ 個のモジュラー形式の Wronskian は、重さ $k(m + k - 1)$ の尖点形式であり、その除数は局所的 $q$-展開と変換法則を用いて計算可能である。
• $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ かつ $m = 12t$ の場合、$M_m$ の基底の Wronskian は $\Delta^{t(t+1)/2} E_4^{t(t+1)/2} E_6^{t(t+1)/2}$ の定数倍に一致し、$t=1$ のとき $\lambda = -1728$、$t=2$ のとき $\lambda = -2 \cdot 1728^3$、$t=3$ のとき $\lambda = 12 \cdot 1728^6$ である。
• 楕円的点 $i$ および $(1+i\sqrt{3})/2$ における Wronskian の除数は明示的に計算され、それぞれの位数が $\frac{1}{4}t(t+1)$ および $\frac{1}{3}t(t+1)$ であることが示された。