[论文解读] Congruences for Andrews' Smallest Parts Partition Function and New Congruences for Dyson's Rank

Frank Garvan|ArXiv.org|Oct 31, 2007

Advanced Mathematical Identities参考文献 22被引用 4

一句话总结

本文通过利用秩与坎普矩之间的关系并借助半整权的Hecke特征形式，建立了spt(n)在素数ℓ = 11, 17, 19, 29, 31, 37下的新Ramanujan型同余式。该研究首次以构造性方法提供了Dyson的秩函数的显式非平凡同余式示例，证实了Bringmann与Ono关于存在无穷多个同余式的猜想，其理论基础为模形式与Hecke算子。

ABSTRACT

Let spt(n) denote the total number of appearances of smallest parts in the partitions of n. Recently, Andrews showed how spt(n) is related to the second rank moment, and proved some surprising Ramanujan-type congruences mod 5, 7 and 13. We prove a generalization of these congruences using known relations between rank and crank moments. We obtain explicit Ramanujan-type congruences for spt(n) mod p for p = 11, 17, 19, 29, 31 and 37. Recently, Bringmann and Ono proved that Dyson's rank function has infinitely many Ramanujan-type congruences. Their proof is non-constructive and utilizes the theory of weak Maass forms. We construct two explicit nontrivial examples mod 11 using elementary congruences between rank moments and half-integer weight Hecke eigenforms.

研究动机与目标

• 通过秩与坎普矩之间的关系，将Andrews的spt(n)在模5, 7, 13下的同余式推广至更高素数，适用于ℓ。
• 构造Dyson的秩函数在模11下的显式非平凡同余式示例，解决Bringmann与Ono的非构造性结果。
• 证明spt(ℓn + βₗ)的生成函数模ℓ与半整权Hecke特征形式同余，从而实现显式同余链。
• 证明spt(n)在ℓ > 3下满足无穷多个Ramanujan型同余式，扩展了关于分拆函数与秩矩结果的研究。

提出的方法

• 利用已知的秩与坎普矩之间的关系，推导出spt(n)模ℓ的广义同余式，当1−24n是模ℓ的二次非剩余时成立。
• 通过Dedekind η函数的23次幂及其与半整权Hecke特征形式的联系，分析spt(11n+6)模11的情形。
• 应用Hecke算子U₀,ₗ*于模形式，以分离模ℓ的同余条件，特别针对ℓ = 37。
• 借助弱Maass形式理论与η(24τ)¹³的模形式性质，建立spt(11·19⁴·n + 22006) ≡ 0 (mod 11)的同余式。
• 通过将秩矩生成函数表示为半整权Hecke特征形式，构造Dyson的秩函数N(r,11,n)模11的显式同余式。
• 利用Treneer关于存在素数Q使得T(Q²)在模ℓ下消去半整权形式的结果，证明spt(n)在模ℓ下存在无穷多个同余式。

实验结果

研究问题

• RQ1 Ramanujan型同余式能否从模5, 7, 13扩展至其他素数ℓ？
• RQ2 能否构造出Dyson的秩函数模ℓ的显式非平凡同余式示例，而非依赖非构造性证明？
• RQ3 是否存在模形式理论机制，将spt(n)的生成函数与模ℓ的Hecke特征形式联系起来？
• RQ4 当24d ≡ 1 (mod ℓ)时，秩差的生成函数是否仍为模形式？这是否可将已知对ℓ = 5, 7, 11, 13的结果推广至所有ℓ > 3？
• RQ5 能否通过Hecke特征形式与模形式，以构造性方法证明spt(n)在ℓ > 3下存在无穷多个同余式？

主要发现

• 本文通过证明生成函数模11同余于半整权Hecke特征形式，证明了显式同余式spt(11·19⁴·n + 22006) ≡ 0 (mod 11)。
• 首次建立了Dyson秩函数模11的显式非平凡同余式示例：对所有0 ≤ r ≤ 10，有N(r,11,5⁴·11·19⁴·n + 4322599) ≡ 0 (mod 11) 与 N(r,11,11²·19⁴·n + 172904) ≡ 0 (mod 11)。
• 对于ℓ = 37，生成函数∑spt(37n+17)q²⁴ⁿ⁺¹¹模37同余于一个半整权尖点形式G₃₇(τ) = η¹¹(24τ)E₄²(24τ)E₆(24τ)，该形式为Hecke特征形式。
• 本文证实，spt(n)在ℓ > 3下满足无穷多个Ramanujan型同余式，通过证明对正密度的素数Q，有spt(ℓQ⁴n + μ) ≡ 0 (mod ℓ)。
• 证明了当24d ≡ 1 (mod ℓ)时，秩差的生成函数模ℓ同余于半整权尖点形式的和，将已知结果推广至所有ℓ > 3。
• 对于2 ≤ 2k ≤ ℓ−3，恒等式∑spt(ℓn + βₗ)q²⁴ⁿ⁺ʳˡ ≡ ηʳˡ(24τ)Gₗ,₂ₖ(24τ) (mod ℓ) 成立，其中Gₗ,₂ₖ为权1的模形式之和，为同余式提供了通用框架。