[论文解读] The ring of modular forms for the even unimodular lattice of signature (2,10)

Kenji Hashimoto, Kazushi Ueda|arXiv (Cornell University)|Jun 2, 2014

Advanced Algebra and Geometry参考文献 6被引用 12

一句话总结

本文确定了签名为 (2,10) 的偶自守格的特征模形式环的结构，证明其由权重为 4、10、12、16、18、22、24、28、30、36、42 和 252 的形式生成，且存在一个权重为 504 的单一同余关系。证明方法利用了对称域的轨道商与加权射影空间上根叠构造之间的双全纯映射，建立了余维数一的同构，从而通过 canonical bundle 和 Picard 群分析实现了环结构的计算。

ABSTRACT

We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section.

研究动机与目标

• 确定偶自守格签名 (2,10) 的特征模形式分次环的完整结构。
• 在对称域的轨道商与加权射影空间上的根叠之间建立双全纯等价关系。
• 通过 K3 曲面模空间上的几何与上同调技术，识别模形式环的生成元与定义关系。

提出的方法

• 将 T2,3,7-极化 K3 曲面的粗模空间 M 构造为对称域 D 关于离散群 Γ 的商 D/Γ。
• 将粗模空间之间的周期映射提升为轨道空间 M 与 T∗ 之间的亚纯映射，其中 T∗ 是加权射影空间 P(w) 上的根叠。
• 通过沿度为 504 的除子 HP 的二阶根叠构造，对轨道空间 T∗ 进行建模，以捕捉 Γ 的特征结构。
• 应用 canonical bundle 的分支公式，计算判别除子 ∆T 的度，得到 deg ∆T = 504。
• 识别 Pic T∗ 为 Z⊕Z/2Z，由 OP(1) 的拉回与典范丛 OT∗(HT∗) 生成，且满足 OT∗(HT∗)⊗2 ∼= p∗OP(HP)。
• 利用 Pic M ≅ Pic T∗ 与关系 s² = ∆T，得出模形式环由指定权重的形式生成，且存在一个权重为 504 的关系。

实验结果

研究问题

• RQ1 偶自守格签名 (2,10) 的特征模形式环的完整结构是什么？
• RQ2 对称域的轨道商与加权射影空间上的根叠构造之间有何关系？
• RQ3 定义模形式环关系的判别除子 ∆T 的度是多少？
• RQ4 模空间的 canonical bundle 与根叠上的典范线丛之间有何关系？
• RQ5 Z/2Z 特征群在模形式环结构中起何精确作用？

主要发现

• 签名为 (2,10) 的偶自守格的特征模形式环由权重为 4、10、12、16、18、22、24、28、30、36、42 和 252 的模形式生成。
• 环中存在唯一一个定义关系，其权重为 504，源于加权射影空间 P(w) 中除子 HP 的定义方程。
• 判别除子 ∆T 的度恰好为 504，通过根叠 T∗ 上 canonical bundle 的分支公式计算得出。
• 模空间 M 的 Picard 群同构于 Z⊕Z/2Z，自由部分由 OP(1) 的拉回生成，挠部分由典范丛 OT∗(HT∗) 生成。
• 尽管 T∗ 有奇点而 M 是光滑的，轨道空间 T∗ 与 M 之间的双全纯映射在余维数一上是同构。
• 环中的关系对应于方程 ∆T(t) = k(t)/r(t)³，其中 k(t) 为判别式，r(t) 为多项式 g2 与 g3 的结式。