模形式是椭圆曲线的模叠上的某种微分形式.
定义
记 $\mathcal M_{\text{ell}}$ 为椭圆曲线的模叠, $A \to \mathcal M_{\text{ell}}$ 为万有椭圆曲线, $\Omega^1_{A/S}$ 为其上的逐纤维 Kähler 微分, $e$ 为零截面. 考虑 $\mathcal M_{\text{ell}}$ 上的线丛
$$
\omega:=e^*\Omega^1_{A/S}.
$$
$k$ 阶模形式是 $\omega^{\otimes k}$ 的截面.
相关页面
谷山–志村猜想