Hauptmoduln and even-order mock theta functions modulo 2

Abstract

The Fourier coefficients $c_1(n)$ of the elliptic modular $j$-function are always even for $n \not\equiv 7 \pmod{8}$. In contrast, for $n \equiv 7 \pmod{8}$, it is conjectured that ``half" of the coefficients take odd values. In this article, we first observe in detail when $c_1(8n-1)$ is odd and show that the coefficients share the same parity as the coefficients $c_{μ_2}(n)$ of the 2nd order mock theta function $μ_2(q)$. Furthermore, we prove that this phenomenon also holds among several hauptmoduln and between hauptmoduln and even-order mock theta functions.

Theorems & Definitions (20)

• Theorem 1.1
• Theorem 1.2
• Theorem 1.3
• Remark
• proof : Proof of (2)
• proof : Proof of (3) and (4)
• proof : Proof of (1)
• proof : Proof of (2)
• proof : Proof of (3)
• proof : Proof of (4)