[论文解读] The theory of vector-modular forms for the modular group

Terry Gannon|arXiv (Cornell University)|Oct 16, 2013

Algebraic structures and combinatorial models参考文献 19被引用 10

一句话总结

本论文为模群 SL₂(ℤ) 上的向量值模形式（vvmf）建立了全面的理论，确立了基础性结果，如全纯 vvmf 的维数公式、Serre 对偶性，以及 Mittag-Leffler 问题的解。该理论基于一阶 Fuchsian 微分方程和 Röhrl 对 Riemann–Hilbert 问题的解法，构造了任意特征标和权的 vvmf，推广了经典结果，并自然地推广至亏格为 0 的 Fuchsian 群。

ABSTRACT

We explain the basic ideas, describe with proofs the main results, and demonstrate the effectiveness, of an evolving theory of vector-valued modular forms (vvmf). To keep the exposition concrete, we restrict here to the special case of the modular group. Among other things,we construct vvmf for arbitrary multipliers, solve the Mittag-Leffler problem here, establish Serre duality and find a dimension formula for holomorphic vvmf, all in far greater generality than has been done elsewhere. More important, the new ideas involved are sufficiently simple and robust that this entire theory extends directly to any genus-0 Fuchsian group.

研究动机与目标

• 为模群 SL₂(ℤ) 的向量值模形式（vvmf）建立一个一般理论，超越半整数权和有限指数子群的古典假设。
• 解决 vvmf 的 Mittag-Leffler 问题，构造在尖点处具有预设主部的亚纯 vvmf。
• 建立全 holomorphic vvmf 的维数公式，并量化将 vvmf 空间赋给特征标的函子中精确性的失效程度。
• 通过显式构造和例子（特别是 Eisenstein 系数和模微分方程）展示该理论的有效性。
• 为将该理论推广至任意亏格为 0 的 Fuchsian 群奠定基础，以 SL₂(ℤ) 作为原型。

提出的方法

• 该理论基于 vvmf 作为紧化轨道丛 Γ\H* 上平坦全纯向量丛的亚纯截面的几何解释，其在椭圆点和尖点处具有奇点。
• 使用黎曼球面上的一阶 Fuchsian 微分方程作为核心工具，替代了先前工作中使用的高阶常微分方程。
• 应用 Röhrl 对 Riemann–Hilbert 问题的解法，证明基本矩阵的存在性，并构造具有预设单值性及奇点行为的 vvmf。
• 该理论区分了全纯 vvmf（无极点）与弱全纯 vvmf（仅在尖点处有极点），后者被用作基础情形。
• 通过双射指数和基本矩阵构造 vvmf 的张量积，推导出权通过偶数整数平移时的显式公式。
• 该方法利用模形式（如 E₄、E₆ 和 Δ）的结构，及其通过微分算子和乘法作用于基本矩阵的方式。

实验结果

研究问题

• RQ1 如何在不假设半整数权或有限指数子群的前提下，为模群发展向量值模形式的一般理论？
• RQ2 对于给定的特征标和权，全纯 vvmf 空间的维数是多少？其在函子性赋值中的精确性失效程度如何？
• RQ3 能否解决 vvmf 的 Mittag-Leffler 问题，即能否构造在尖点处具有预设主部的 vvmf？
• RQ4 vvmf 的张量积行为如何？对于权通过偶数整数的平移，其基本矩阵能否显式构造？
• RQ5 椭圆不动点在 vvmf 结构中的作用是什么？其单值性如何融入该理论？

主要发现

• 建立了全纯 vvmf 的维数公式，量化了解空间的大小，其取决于特征标的表示和权。
• 解决了模群上 vvmf 的 Mittag-Leffler 问题，证明了在尖点处具有预设主部的亚纯 vvmf 的存在性。
• 证明了 vvmf 的 Serre 对偶性，建立了 vvmf 及其对偶的上同调群之间的对偶关系。
• 通过从单值表示导出的某些矩阵的秩，量化了将 vvmf 空间赋给特征标的函子中精确性的失效程度。
• 给出了权通过偶数整数平移的 vvmf 的基本矩阵的显式构造，使用 E₄、E₆、Δ 与微分算子对原始基本矩阵的组合。
• 对于权平移 2、4、6、8、10 和 12，该理论提供了对修改后基本矩阵列的显式线性组合，以生成具有双射指数的新基本矩阵。