English

The partition function and elliptic curves

Number Theory 2025-09-05 v3 Combinatorics

Abstract

For each n1n\geq 1, we express the partition function p(n)p(n) as a CM trace on X0(6)X_0(6) of the discriminant Δn:=124n\Delta_n:=1-24n invariants of a weight 0 weak Maass function PP that records where CM elliptic curves sit on X(1)X(1), together with their canonical first-order "CM tangent'', the diagonal local slope of the CM isogeny relation on X(1)×X(1)X(1)\times X(1). In this viewpoint, we obtain a formula for p(n) ⁣ ⁣(mod),p(n)\!\!\pmod{\ell}, when \ell is inert in Q(Δn),\mathbb{Q}(\sqrt{\Delta_n}), as a Brandt-module pairing uΔn,vP\langle u_{\Delta_n},v_P\rangle that is assembled from oriented optimal embeddings of Eichler orders. For {5,7,11}\ell \in \{5, 7, 11\} and j1j\geq 1, we obtain a new proof of the Ramanujan congruences p(5jn+β5(j))0(mod5j), p(5^j n +\beta_5(j))\equiv 0\pmod{5^j}, p(7jn+β7(j))0(mod7[j/2]+1), p(7^j n +\beta_7(j))\equiv 0\pmod{7^{ [ j/2]+1}}, p(11jn+β11(j))0(mod11j), p(11^jn+\beta_{11}(j))\equiv 0\pmod{11^j}, where βm(j)\beta_m(j) is the unique residue 0β<mj0\le \beta<m^j with 24βm(j)1(modmj)24\,\beta_m(j)\equiv 1\pmod{m^j}. The key point is a "bonus valuation" that stems from the fact that the supersingular locus of X0(6)FX_0(6)_{\mathbb{F}_{\ell}} lies over {0,1728}\{0, 1728\} for {5,7,11}.\ell \in \{5, 7, 11\}. This special property, combined with the uniform growth of the λ\lambda-adic valuations of the number of oriented optimal embeddings, explains these congruences. More generally, we give a portable genus 0 template showing that the Watson--Atkin UU_\ell-contraction works uniformly for suitable traces of singular moduli for genus 0 modular curves with N.\ell\nmid N.

Keywords

Cite

@article{arxiv.2508.09608,
  title  = {The partition function and elliptic curves},
  author = {Ken Ono},
  journal= {arXiv preprint arXiv:2508.09608},
  year   = {2025}
}

Comments

This version corrects minor errors in valuation bookkeeping

R2 v1 2026-07-01T04:47:46.175Z