[论文解读] Classification of Vector-Valued modular Forms of Dimension less than Six

Marks, Christopher|arXiv (Cornell University)|Mar 22, 2010

Algebraic structures and combinatorial models参考文献 15被引用 6

一句话总结

本文对全模群 $\mathrm{SL}(2,\mathbb{Z})$ 的不可约、T-酉表示在维数小于六时的向量值模形式进行了分类。证明了此类形式的空间是整权模形式环上的自由模，计算了显式基，并推导出每种情况的Hilbert-Poincaré级数，关键结果是维数五以内的完整分类，包括维数五时的级数 $\Psi(\rho,\upsilon)(t) = \frac{t^{k_4-8}(1+2t^2+2t^4)}{(1-t^4)(1-t^6)}$。

ABSTRACT

The first half of this dissertation reviews the basic notion of vector-valued modular forms and its connection to differential equations. The main purpose of the dissertation is to classify spaces of vector-valued modular forms associated to irreducible, T-unitarizable representations of the full modular group, of dimension less than six. Given such a representation, it is shown that the associated graded complex linear space of vector-valued modular forms is a free module over the ring of integral weight modular forms for the full modular group, whose rank is equal to the dimension of the given representation. An explicit basis is computed for the module structure in each case, and this basis is used to compute the Hilbert-Poincare series associated to each graded space.

研究动机与目标

• 对 $\mathrm{SL}(2,\mathbb{Z})$ 的不可约、T-酉表示在维数小于六时的向量值模形式空间进行分类。
• 证明此类形式的分次空间是整权模形式环上的自由模，其秩等于表示的维数。
• 在每种情况下计算模结构的显式基，特别是维数一至五的情况。
• 确定每种表示的 Hilbert-Poincaré 级数，以捕捉形式空间按权增长的维数。
• 将先前对维数二的结果推广至更高维，包括维数五的完整分类。

提出的方法

• 利用模导数 $D$ 定义模线性微分方程（MLDEs），将向量值模形式与具有模系数的常微分方程解联系起来。
• 应用模 Wronskian 来刻画 MLDE 的基本解系，确保向量值形式的各分量线性无关。
• 使用斜多项式环 $\mathcal{R}$ 描述模结构，结合模导数与模形式的作用。
• 通过 Poincaré 级数构造向量值模形式，并利用 Eisenstein 级数 $E_4, E_6, E_8$ 从低权形式提升。
• 在形式空间上使用线性泛函检测非平凡关系，以证明候选基向量的线性无关性。
• 通过 $\Delta \mathcal{H}(k_4 + 2(k-6), \rho, \upsilon)$ 的递归分解推导维数公式与 Hilbert-Poincaré 级数。

实验结果

研究问题

• RQ1 对于 $\mathrm{SL}(2,\mathbb{Z})$ 的每个不可约、T-酉表示（维数小于六），向量值模形式空间作为整权模形式环上模的结构是怎样的？
• RQ2 能否证明向量值模形式的空间是自由模？若是，其显式基是什么？
• RQ3 每种情况下，向量值模形式分次空间的 Hilbert-Poincaré 级数是什么？
• RQ4 空间中权为 $k_0 + 2k$ 的形式的维数如何随 $k$ 增长？能否用闭式公式捕捉这一增长？
• RQ5 维数五情况下 Hilbert-Poincaré 级数的精确形式是什么？它如何反映基的结构？

主要发现

• 向量值模形式空间 $\mathcal{H}(\rho,\upsilon)$ 是整权模形式环 $\mathcal{M}$ 关于 $\mathrm{SL}(2,\mathbb{Z})$ 上的秩为五的自由模。
• 空间 $\mathcal{H}(\rho,\upsilon)$ 的显式基为 $\{G_1, DG_1, G_2, DG_2, G_3\}$，其中 $G_1, G_2, G_3$ 通过递归提升与线性无关性论证构造而成。
• 当 $k \equiv 5 \pmod{6}$ 时，$\mathcal{H}(k_4 + 2k, \rho, \upsilon)$ 的维数为 $\left[\frac{5k}{6}\right] + 4$；否则为 $\left[\frac{5k}{6}\right] + 5$。
• 维数五情况的 Hilbert-Poincaré 级数为 $\Psi(\rho,\upsilon)(t) = \frac{t^{k_4-8}(1+2t^2+2t^4)}{(1-t^4)(1-t^6)}$。
• 证明依赖于在形式空间上线性泛函核的交集中构造非平凡元素，以确保提升与基的完备性。
• 该结果推广了先前对维数二的分类，为维数一至五建立了完整的框架。