Congruences modulo powers of $5$ and $7$ for the crank and rank parity functions and related mock theta functions

Dandan Chen,Rong Chen,Frank Garvan

2024-06-24

Abstract:It is well known that Ramanujan conjectured congruences modulo powers of $5$, $7$ and and $11$ for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of $5$ for the crank parity function. The generating function for the analogous rank parity function is $f(q)$, the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. Recently we proved congruences modulo powers of $5$ for the rank parity function, and here we extend these congruences for powers of $7$. We also show how these congruences imply congruences modulo powers of $5$ and $7$ for the coefficients of the related third order mock theta function $\omega(q)$, using Atkin-Lehner involutions and transformation results of Zwegers. Finally we a prove a family of congruences modulo powers of $7$ for the crank parity function.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the congruence properties of the crank and rank parity functions under powers of modulo 5 and modulo 7, as well as the related mock theta functions. Specifically:

1. **Extending existing congruence properties**: The author of the paper has previously proven the congruence properties of the rank parity function under powers of modulo 5, and this paper further extends it to powers of modulo 7 on this basis.

2. **Introducing new congruence relations**: By using the Atkin - Lehner involution transformation and Zwegers' transformation results, the author shows how these congruence properties lead to the congruence properties of the coefficients related to the third - order mock theta function \(\omega(q)\) under powers of modulo 5 and modulo 7.

3. **Proving new congruence properties of the crank parity function**: The author also proves the congruence properties of a family of crank parity functions under powers of modulo 7.

### Main conclusions

- **Theorem 1.2**: For each \(\alpha\geq1\), there exists an integer constant \(K_{\alpha}\) such that:
\[
\beta(49n - 2)\equiv K_{\alpha}\beta(n)\pmod{7^{\alpha}}, \quad \text{if} \quad 24n\equiv1\pmod{7^{\alpha}}.
\]
This is a weakened improvement of Ramanujan's partition congruence property under powers of modulo 7.

- **Theorem 1.4**: For all \(\alpha\geq3\) and all \(n\geq0\), we have:
\[
a_f(7^{\alpha}n+\delta_{\alpha})-a_f(7^{\alpha - 2}n+\delta_{\alpha - 2})\equiv0\pmod{7^{\left\lfloor\frac{\alpha - 1}{2}\right\rfloor}},
\]
where \(\delta_{\alpha}\) satisfies \(0 <\delta_{\alpha}<7^{\alpha}\) and \(24\delta_{\alpha}\equiv1\pmod{7^{\alpha}}\).

- **Theorem 1.5**: For all \(\alpha\geq3\) and all \(n\geq0\), we have:
\[
a_{\omega}(5^{\alpha}n+\delta_{\alpha})+a_{\omega}(5^{\alpha - 2}n+\delta_{\alpha - 2})\equiv0\pmod{5^{\left\lfloor\frac{\alpha}{2}\right\rfloor}},
\]
and
\[
a_{\omega}(7^{\alpha}n+\delta_{\alpha})+a_{\omega}(7^{\alpha - 2}n+\delta_{\alpha - 2})\equiv0\pmod{7^{\left\lfloor\frac{\alpha - 1}{2}\right\rfloor}},
\]
where \(\delta_{\alpha}\) satisfies \(0 <\delta_{\alpha}<7^{\alpha}\) and \(3\delta_{\alpha}+2\equiv0\pmod{7^{\alpha}}\).

### Methods and techniques

The paper uses tools such as the theory of modular forms, eta - product identities, and Atkin - Lehner involution transformations to prove these congruence properties. In particular, by constructing appropriate generating functions and using the properties of modular forms for derivation and verification.

Through these methods, the author successfully proves the congruence properties of the crank and rank parity functions and their related mock theta functions under powers of modulo 5 and modulo 7.