[论文解读] Arithmetic properties of overpartitions

Qi-Yang Zheng|arXiv (Cornell University)|Sep 1, 2023

Advanced Mathematical IdentitiesMathematics被引用 3

一句话总结

本文通过连接到半整数权模形式和Hecke算子，建立了模3、7和11的过分拆函数的显式无限族Ramanujan型同余式。证明了对于满足 $ Q ≁ -1 \pmod{m} $ 的素数 $ Q $，对所有与 $ Q $ 互素的 $ n $，有 $ \bar{p}(mQ^3n) \equiv 0 \pmod{m} $ 成立，且该现象仅在 $ m = 3, 5, 7, 11 $ 时出现，暗示这些素数具有特殊作用。

ABSTRACT

The primary focus of this paper is overpartitions, a type of partition that plays a significant role in $q$-series theory. In 2006, Treneer discovered an explicit infinite family of congruences of overpartitions modulo $5$. In our research, we have identified explicit infinite families of congruences of overpartitions modulo $3,7,11$. This work reveals the connection between overpartitions and half-integral modular forms.

研究动机与目标

• 确定过分拆函数 $ \bar{p}(n) $ 模小素数的显式无限同余族。
• 探索过分拆与半整数权模形式之间的联系。
• 确定Treneer发现的模5同余模式是否可推广至其他素数。
• 研究模素数 $ m \geq 13 $ 时此类同余式的存在性与结构。
• 推测仅 $ m = 3, 5, 7, 11 $ 允许形如 $ \bar{p}(mQ^3n) \equiv 0 \pmod{m} $ 的显式同余式。

提出的方法

• 利用生成函数 $ \sum_{n=0}^\infty \bar{p}(n)q^n = \frac{\eta(2z)}{\eta^2(z)} $，将过分拆与模形式联系起来。
• 应用 $ U $、$ V $ 和Hecke算子 $ T(Q^2) $ 于半整数权模形式，推导同余式。
• 利用Serre密度定理和Shimura提升，证明存在无穷多个素数 $ Q $ 满足模 $ m \geq 13 $ 的同余式。
• 通过将模形式的 $ q $-展开式模 $ m $ 化简，分析 $ \mathbb{F}_m $ 中的同余式。
• 应用定理6.3，将非尖点形式变换为模 $ m $ 下的尖点形式，同时保持关键系数不变。
• 应用 $ U(m) $ 和 $ V(m) $ 算子，分离出不被 $ m $ 整除的系数，确保其具有尖点形式行为。

实验结果

研究问题

• RQ1 是否存在模其他素数（除5外）的 $ \bar{p}(n) $ 显式无限同余族？
• RQ2 半整数权模形式在生成此类同余式中起什么作用？
• RQ3 为何同余式 $ \bar{p}(mQ^3n) \equiv 0 \pmod{m} $ 在 $ m = 3, 7, 11 $ 时成立，但对 $ m \geq 13 $ 一般不成立？
• RQ4 是否存在一个有限素数集，使得此类显式同余式存在？
• RQ5 过分拆函数的结构能否通过模形式和Hecke算子完全刻画？

主要发现

• 对所有满足 $ Q \equiv 5 \pmod{6} $ 的素数 $ Q $，对所有与 $ Q $ 互素的 $ n $，有 $ \bar{p}(3Q^3n) \equiv 0 \pmod{3} $。
• 对所有满足 $ Q \equiv 5 \pmod{6} $ 的素数 $ Q $，对所有满足 $ n \equiv -1 \pmod{3} $ 且 $ (n,Q)=1 $ 的 $ n $，有 $ \bar{p}(Q^3n) \equiv 0 \pmod{3} $。
• 对所有满足 $ Q \equiv 3, 5, 6 \pmod{7} $ 的素数 $ Q $，对所有与 $ Q $ 互素的 $ n $，有 $ \bar{p}(7Q^3n) \equiv 0 \pmod{7} $。
• 对所有满足 $ Q \equiv 10 \pmod{11} $ 的素数 $ Q $，对所有与 $ Q $ 互素的 $ n $，有 $ \bar{p}(11Q^3n) \equiv 0 \pmod{11} $。
• 对素数 $ m \geq 13 $，存在正密度的素数 $ Q \equiv -1 \pmod{4Nm} $，使得对所有与 $ mQ $ 互素的 $ n $，有 $ \bar{p}(mQ^3n) \equiv 0 \pmod{m} $。
• 本文推测仅 $ m = 3, 5, 7, 11 $ 允许形如 $ \bar{p}(mQ^3n) \equiv 0 \pmod{m} $ 的显式同余式。