{"id":"arxiv/2608.05480","url":"https://arxiv.org/abs/2608.05480","tags":["math.NT","math.CO","math.RT"],"score":0,"title":"Modularity of Point Counts for the Curves $X^a=Y^b$: New Rogers--Ramanujan Identities","domain":"math.NT","source":"arxiv","authors":["Kenny Lau","Ken Ono"],"reviews":0,"subject":"math.NT","summary":"For coprime $1<a<b$, let $M_n^{a,b}(\\mathbb{F}_q)$ be the set of commuting pairs of nilpotent $n\\times n$ matrices over $\\mathbb{F}_q$ with $X^a=Y^b$. Huang, Jiang, and Oblomkov assembled their orders as an Eulerian $q$-series $Z_{a,b}(q)$. They conjectured that it is an explicit product $P_{a,b}(q)$ involving Jacobi's theta function and Dedekind's eta-function, implying the threefold equality $$\\underbrace{\\prod_{n\\ge1}(1-q^n)\\cdot\\Biggl(\\sum_{n=0}^{\\infty}\\frac{|M_n^{a,b}(\\mathbb{F}_q)|}{|\\mathrm{GL}_n(\\mathbb{F}_q)|}\\Biggr)\\Biggr|_{q\\mapsto q^{-1}}}_{\\text{point…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}