[论文解读] On modular forms for some noncongruence arithmetic subgroups

Chris A. Kurth, Линг Лонг|ArXiv.org|Dec 4, 2006

Algebraic Geometry and Number Theory参考文献 19被引用 6

一句话总结

本文研究了模形式在 $σ\mathrm{SL}_2(\mathbb{Z})$ 的非同余子群中的无界分母性质（UBD），重点关注特征群——即定义为到有限交换群的同态核的有限指数子群。通过分析具有数域模型的亏格 1 同余子群的 II(A) 型特征群，作者证明在关键假设下，此类群中满足 UBD 的比例为正（随 $X^2$ 指数增长），为真正非同余模形式若具有代数系数则通常具有无界分母提供了强有力证据。

ABSTRACT

In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine noncongruence modular forms (with algebraic coefficients) always satisfy the unbounded denominator property. Here, we give a partial positive answer to the above open question by constructing special finite index subgroups of SL_2(Z) called character groups and discuss the properties of modular forms for some groups of this kind.

研究动机与目标

• 解决一个开放问题：所有具有代数系数的真正非同余模形式是否都具有无界分母。
• 研究非同余子群模形式中的无界分母性质（UBD），特别关注特征群。
• 建立一个充分条件，使得一大类非同余子群——特别是 II(A) 型特征群——满足 UBD。
• 证明对于具有数域模型的亏格 1 同余子群，II(A) 型特征群中有一部分正比例满足 UBD，支持更广泛的猜想。

提出的方法

• 作者将特征群定义为从有限指数子群 $\Gamma^0 \subset \mathrm{SL}_2(\mathbb{Z})$ 到有限交换群的同态的核。
• 根据同态下抛物元素或抛物+椭圆元素是否非平凡映射，将特征群分类为 I 型和 II(A) 型。
• 利用亏格公式和数域上的模曲线模型分析 $\Gamma^0$ 及其特征群的结构。
• 应用形式幂级数条件（FS-B）以控制傅里叶系数的整性，并运用代数数论分析分母。
• 证明：若对某个素数 $p$，所有指数为 $p$ 的 II(A) 型特征群均满足 UBD，则当 $X \to \infty$ 时，满足 UBD 的此类群的数量（按 $X^2$ 比例）具有正密度。
• 分析 $\Gamma_n = \langle \Gamma^0(11), \sqrt[n]{G_5} \rangle$ 作为 I 型和 II 型特征群的族，表明 $\sqrt[n]{G_5}$ 除非 $n$ 整除 12 或被 5 整除，否则具有无界分母。

实验结果

研究问题

• RQ1 所有非同余子群是否都对具有代数系数的模形式满足无界分母性质（UBD）？
• RQ2 我们能否建立满足 UBD 的非同余子群的正密度，特别是 II(A) 型特征群？
• RQ3 对基同余子群 $\Gamma^0$ 的什么条件可确保其 II(A) 型特征群继承 UBD 性质？
• RQ4 在模函数的根构造如 $\sqrt[n]{G_5}$ 下，傅里叶系数的代数整性性质如何表现？
• RQ5 模曲线的亏格和定义域在决定相关特征群的 UBD 行为中起什么作用？

主要发现

• 对于具有数域模型的亏格 1 同余子群 $\Gamma^0$，若对某个素数 $p$，所有指数为 $p$ 的 II(A) 型特征群均满足 UBD，则满足 UBD 且指数小于 $X$ 的此类群的数量至少为 $c \cdot X^2$（$c > 0$），表明此类群具有正密度。
• $\Gamma_n = \langle \Gamma^0(11), \sqrt[n]{G_5} \rangle$ 族在 $n \notin \{1,2,3,4,6,12\}$ 且 $5 \nmid n$ 时构成 $\Gamma^0(11)$ 的 I 型特征群，且这些群满足 UBD。
• 当 $n=5$ 时，$\sqrt[5]{G_5}$ 对应于指数为 5 的 II 型特征群，且该群也满足 UBD。
• 当 $n \in \{2,3,4,6,12\}$ 时，$\sqrt[n]{G_5}$ 是一个 eta 乘积，因此是同余模形式，故 $\Gamma_n$ 为同余群；这些情况被排除在非同余分析之外。
• 附录证明：若 $h(w)$、$g^n(w)$ 和 $h(w)g^{n_1}(w)$ 均满足形式幂级数条件（FS-B），则 $g^{n_1}(w)$ 也满足该条件，这对控制系数的整性至关重要。
• 证明表明：若 $g(w)$ 具有代数系数且 $g^n(w)$ 满足 (FS-B)，则经归一化后 $g(w)$ 本身必须具有代数整系数，这意味着当 $n$ 不整除 12 或不被 5 整除时，将出现无界分母。