{"id":"arxiv/2609.20567","url":"https://arxiv.org/abs/2609.20567","tags":["math.NT","math.AG","math.CO","math.RT"],"score":0,"title":"Rogers--Ramanujan identities from the geometry of $X^a=Y^b$","domain":"math.NT","source":"arxiv","authors":["Yifeng Huang","Kenny Lau","Ken Ono"],"reviews":0,"subject":"math.NT","summary":"We prove the conjecture of Huang, Jiang, and Oblomkov (HJO) giving a geometric extension of the Rogers--Ramanujan and Andrews--Gordon identities for every torus-knot singularity $X^a=Y^b$ with coprime $1<a<b.$ For a prime power $q$, let $\\mathcal{NC}_n^{a,b}(\\mathbb F_q)$ denote the set of pairs of commuting nilpotent $n\\times n$ matrices $(A,B)$ over $\\mathbb F_q$ satisfying $A^a=B^b$. We establish the threefold equality between their normalized counts, the HJO $q$-series $Z_{a,b}$, and the explicit infinite product $P_{a,b}$: \\[ \\underbrace{\\vphantom{\\Bigg|} \\prod_{m\\geq1}(1-q^{-m})…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}