Congruence properties modulo prime powers for a class of partition functions

Matthew Boylan,Swati
2024-11-01
Abstract:Let $p$ be prime, and let $p_{[1,p]}$ denote the function whose generating function is $\prod (1-q^n)^{-1}(1 - q^{pn})^{-1}$. This function and its generalizations $p_{[c^{\ell}, d^m]}$ are the subject of study in several recent papers. Let $\ell \geq 5$, and let $j\geq 1$ and let $p \in \{2, 3, 5 \}$. In this paper, we prove that the generating function for $p_{[1, p]}(n)$ in the progression $\beta_{p, \ell, j}$ modulo $\ell^j$ with $24\beta_{p, \ell, j} \equiv p + 1\pmod{\ell^j}$ lies in a Hecke-invariant subspace of type $\{\eta(Dz)\eta(Dpz)F(Dz) : F(z) \in M_{s}(\Gamma_0(p), \chi)\}$ for suitable $D\geq 1$, $s\geq 0$, and character $\chi$. When $p\in \{2, 3, 5\}$, we use the Hecke-invariance of these subspaces to prove, for distinct primes $\ell$ and $m\geq 5$ and $j\geq 1$, congruences of the form \[ p_{[1, p]}\left(\frac{\ell^jm^k n + 1}{D}\right)\equiv 0\pmod{\ell^j} \] for all $n\geq 1$ with $m\nmid n$, where $k$ is an explicitly computable constant depending on the modular forms in the invariant subspace. Our proofs requires adapting and extending analogous results on $p(n)$ in [1] and [19].
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve the problem regarding the congruence properties of a class of partition functions under prime - power moduli. Specifically, the author studied the partition function \(p[1,p](n)\) of a specific form, whose generating function is: \[ \prod_{j = 1}^{\infty}\frac{1}{(1 - q^{j})(1 - q^{pj})} \] where \(p\) is a prime number. The author's goal is to prove that these partition functions have specific congruence properties under certain modular conditions, and these properties can be described by the Hecke - invariant subspaces in the theory of modular forms. ### Main problems 1. **Proof of congruence properties**: The author aims to prove that for different primes \(\ell\) and \(m\geq5\), and integers \(j\geq1\), there exist explicitly computable integers \(J\) and \(N\geq1\) such that the following congruence relations hold: - For all positive integers \(v\) and \(n\) (where \(m\nmid n\)): \[ p[1,p](\ell^{j}m^{2vJ - 1}n+\frac{1}{D})\equiv0\pmod{\ell^{j}} \] - For all non - negative integers \(w\) and \(n\): \[ p[1,p](\ell^{j}m^{w}n+\frac{1}{D})\equiv p[1,p](\ell^{j}m^{2N + w}n+\frac{1}{D})\pmod{\ell^{j}} \] 2. **Application of modular forms**: By regarding the generating function as a modular form, the author uses the Hecke operators and the trace operators in the theory of modular forms to prove the above congruence properties. Specifically, they prove that these generating functions belong to certain Hecke - invariant subspaces, and these subspaces remain invariant under the action of the square - index Hecke operators. ### Methods and tools - **Theory of modular forms**: In particular, weakly holomorphic eta - quotients and their properties. - **Hecke operators**: Used to study the behavior of modular forms under different modular conditions. - **Trace operators**: Used to reduce the space level of modular forms. ### Conclusions By the above methods, the author successfully proves the congruence properties of \(p[1,p](n)\) under specific modular conditions and shows that these properties can be generalized to more general partition functions \(p[c\ell,dm](n)\). This not only deepens the understanding of partition functions but also provides new tools and perspectives for further research. ### Examples For example, when \(\ell = 13\), \(m = 7\), \(p = 5\), and \(j = 1\), the author finds that part of the results of the first theorem hold, that is, for all \(v\geq1\) and all \(n\geq1\) (where \(7\nmid n\)): \[ p[1,5](13\cdot7^{2380v - 1}n+\frac{1}{4})\equiv0\pmod{13} \] This result verifies the correctness of the theoretical derivation and provides a specific example for practical applications.