[论文解读] 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$-Weierstrass 点进行刻画，从而实现在 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.

研究动机与目标

• 将 $S_2(\Gamma)$ 与 $H^1(R_\Gamma)$ 之间的经典同构推广至偶数 $m \geq 4$ 的 $m/2$-阶全纯微分形式。
• 定义并研究子空间 $SH_m(\Gamma) \subset S_m(\Gamma)$，其由在紧化模曲线 $R_\Gamma$ 上诱导出 $m/2$-重全洁微分形式的尖点形式组成。
• 提供一种计算准则，用于识别非双椭圆模曲线 $X_0(N)$ 上的 $m/2$-Weierstrass 点，基于 $S_2(\Gamma)$ 基中单项式的 $q$-展开。
• 计算 $k$ 个权为 $m$ 的模形式的 Wronskian 的除子，并在 $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ 情况下推导出 Wronskian 的显式公式。

提出的方法

• 将 $SH_m(\Gamma)$ 定义为 $S_m(\Gamma)$ 的子空间，其中尖点与椭圆点对形式 $f$ 的除子贡献满足涉及权 $m$ 与点阶数的精确条件。
• 证明标准映射 $f \mapsto \omega_f$ 诱导出从 $SH_m(\Gamma)$ 到 $H^{m/2}(R_\Gamma)$（即 $m/2$-重全纯微分形式空间）的同构。
• 利用在尖点 $a_\infty$ 处的 $q$-展开技术，通过 $S_2(\Gamma)$ 基中单项式的首项系数刻画 $m/2$-Weierstrass 点。
• 将 Wronskian 构造应用于 $k$ 个权为 $m$ 的模形式，证明 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 在何种条件下，尖点形式空间 $S_m(\Gamma)$ 同构于 $m/2$-重全纯微分形式空间 $H^{m/2}(R_\Gamma)$？实现该同构的精确子空间 $SH_m(\Gamma)$ 是什么？
• RQ2 如何显式判定一个尖点 $a_\infty$ 是否为非双椭圆模曲线 $X_0(N)$ 上的 $m/2$-Weierstrass 点？
• RQ3 如何显式计算 $k$ 个权为 $m$ 的模形式的 Wronskian 的除子，特别是在尖点与椭圆点处？
• RQ4 当 $m = 12t$ 时，$M_m(\mathrm{SL}_2(\mathbb{Z}))$ 基的 Wronskian 的精确形式为何？比例常数是多少？

主要发现

• 映射 $f \mapsto \omega_f$ 诱导出从 $SH_m(\Gamma)$ 到 $H^{m/2}(R_\Gamma)$ 的同构，建立了尖点形式与高阶微分形式之间的精确联系。
• 对于非双椭圆的 $R_\Gamma$，$SH_m(\Gamma)$ 由单项式 $f_0^{\alpha_0} \cdots f_{g-1}^{\alpha_{g-1}}$ 张成，其中 $\sum \alpha_i = m/2$，且 $f_0, \dots, f_{g-1}$ 是 $S_2(\Gamma)$ 的一组基。
• 一个尖点 $a_\infty$ 不是 $m/2$-Weierstrass 点，当且仅当存在一组单项式空间的基，使得每个基元素的 $q$-展开首项为 $a u q^{u + m/2 - 1}$，且 $a_u \neq 0$。
• $k$ 个权为 $m$ 的模形式的 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)$。