[论文解读] Partition statistics and quasiweak Maass forms

Kathrin Bringmann, Frank Garvan+1 more|ArXiv.org|Mar 13, 2008

Advanced Mathematical Identities参考文献 11被引用 21

一句话总结

本文证明了 $k$-标记Durfee符号的生成函数是高权弱Maass形式的全纯部分，从而推广了Ramanujan的模θ函数。利用这些形式的自守性质，本文证明了这些分拆统计量存在无穷多同余式，且其模形式行为完全由 $k=2$ 的情形决定。

ABSTRACT

Andrews recently introduced k-marked Durfee symbols, which are a generalization of partitions that are connected to moments of Dyson's rank statistic. He used these connections to find identities relating their generating functions as well as to prove Ramanujan-type congruences for these objects and find relations between. In this paper we show that the hypergeometric generating functions for these objects are natural examples of quasimock theta functions, which are defined as the holomorphic parts of weak Maass forms and their derivatives. In particular, these generating functions may be viewed as analogs of Ramanujan's mock theta functions with arbitrarily high weight. We use the automorphic properties to prove the existence of infinitely many congruences for the Durfee symbols. Furthermore, we show that as k varies, the modularity of the k-marked Durfee symbols is precisely dictated by the case k=2. Finally, we use this relation in order to prove the existence of general congruences for rank moments in terms of level one modular forms of bounded weight.

研究动机与目标

• 理解Andrews引入的分拆秩矩推广形式——$k$-标记Durfee符号的算术性质。
• 证明其生成函数是任意半整数权弱Maass形式的全纯部分。
• 利用自守技术证明这些分拆统计量存在无穷多同余式。
• 刻画 $k$-标记Durfee符号的模形式性，表明 $k=2$ 的情形完全决定了所有 $k$ 的行为。
• 建立分拆秩矩同余式与有界权的Level 1模形式之间的联系。

提出的方法

• 作者分析 $k$-标记Durfee符号的生成函数 $R_k(q)$，并证明其为权 $k+\frac{1}{2}$ 的弱Maass形式的全纯部分。
• 他们运用弱Maass形式及其导数的理论，重点研究不同阶导数线性组合中的抵消现象。
• 该方法涉及将生成函数表示为超几何 $q$-级数，并将其与Ramanujan的模θ函数联系起来。
• 通过将Hecke算子和 $U$-算子作用于这些形式，作者推导出模素数的同余式。
• 他们对弱Maass形式使用扭算子，将系数限制在算术级数上，同时保持模形式性。
• 证明依赖于单位根的正交性以及三角和的恒等式，以验证非全纯部分的消失。

实验结果

研究问题

• RQ1 $k$-标记Durfee符号的生成函数是否表现出自守性质，从而解释其算术结构？
• RQ2 弱Maass形式理论能否被推广以解释高秩分拆统计量中的同余式？
• RQ3 $k$-标记Durfee符号的模形式性是否完全由 $k=2$ 的情形决定？
• RQ4 分拆秩矩生成函数 $R_k(q)$ 是否为高权弱Maass形式的全纯部分？
• RQ5 能否利用其生成函数的自守性质证明 $k$-标记Durfee符号的同余式？

主要发现

• $k$-标记Durfee符号的生成函数是权 $k+\frac{1}{2}$ 的弱Maass形式的全纯部分，从而将Ramanujan的模θ函数推广至更高权。
• $k$-标记Durfee符号的模形式性完全由 $k=2$ 的情形决定，该情形控制了所有 $k$ 的行为。
• 作者利用生成函数的自守结构，证明了 $R_k(q)$ 系数存在无穷多同余式。
• 对每个素数 $\ell$，生成函数 $R_k(q)$ 满足模 $\ell^2$ 的同余式，且可表示为有界权模形式的形式。
• 当生成函数限制在满足 $\left(\frac{1-24d}{t}\right) = -1$ 的算术级数上时，其结果为 $\Gamma_1(576t^6)$ 上的弱全纯模形式。
• 相关弱Maass形式的非全纯部分在某些算术级数上消失，从而保证了结果限制为模形式。