Skip to content
DraconiticResearch
Search Sources API
182,460 studies31 sourcesUpdated 6 min ago
PreprintarXiv licencearXiv

The modulo 9 Kanade--Russell identities and their Nahm-sum duals

Abstract

Kanade and Russell initiated a family of conjectural Rogers--Ramanujan type identities of moduli $9$ and $12$, which ultimately comprised five modulo $9$ identities and eleven modulo $12$ identities. The eleven modulo $12$ conjectures were subsequently settled through the work of Bringmann, Jennings-Shaffer, and Mahlburg and of Rosengren. In this paper, we prove all five modulo $9$ Kanade--Russell sum-product identities, four individual generalized Nahm-sum dual identities, and a product formula for the natural dual companion of the fifth Kanade--Russell identity, which is expressed as a linear combination of two negative-mixed-term generalized Nahm sums. The first three individual dual identities settle Conjecture~3.6 of Wang and Wang, while the fourth proves the corresponding conjecture of Li and Wang. Our results also connect directly with the recent Dynkin-diagram framework of Sun and Wang for generalized Nahm sums. They identified the rank-two pairs (T1,G2) and (G2,T1) as unresolved cases whose modularity would follow, respectively, from the first modulo $9$ Kanade--Russell identity and its Wang-Wang dual. The present results prove precisely these two required identities and hence establish the corresponding modularity statements unconditionally.

Related

  1. The three Kanade-Russell identities modulo nine
    Yuma Mizuno
    arXivPreprintarXiv licenceFull textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  2. Proofs of eighteen conjectural identities related to the modulo nine Kanade--Russell identities
    Ernest X. W. Xia
    arXivPreprintCC BY-NC-SA 4.0Full textAlgebra & number theoryarXiv
  3. Proofs of Some Kanade--Russell Mod 12 Conjectures
    Liuquan Wang
    arXivPreprintarXiv licenceFull textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  4. The cylinder over the Russell cubic threefold is flexible
    Pierre-Marie Poloni
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. Bloch torsion and modular combinations of Nahm sums
    Xuejun Guo
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{xia2026modulo,
  title = {{The modulo 9 Kanade--Russell identities and their Nahm-sum duals}},
  author = {Ernest X. W. Xia},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.08816},
  eprint = {2609.08816},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.08816},
}
RIS
TY  - UNPB
TI  - The modulo 9 Kanade--Russell identities and their Nahm-sum duals
AU  - Ernest X. W. Xia
PY  - 2026
DA  - 2026/09/08
PB  - arXiv
DO  - 10.48550/arxiv.2609.08816
UR  - https://arxiv.org/abs/2609.08816
AB  - Kanade and Russell initiated a family of conjectural Rogers--Ramanujan type identities of moduli $9$ and $12$, which ultimately comprised five modulo $9$ identities and eleven modulo $12$ identities. The eleven modulo $12$ conjectures were subsequently settled through the work of Bringmann, Jennings-Shaffer, and Mahlburg and of Rosengren. In this paper, we prove all five modulo $9$ Kanade--Russell sum-product identities, four individual generalized Nahm-sum dual identities, and a product formula for the natural dual companion of the fifth Kanade--Russell identity, which is expressed as a linear combination of two negative-mixed-term generalized Nahm sums. The first three individual dual identities settle Conjecture~3.6 of Wang and Wang, while the fourth proves the corresponding conjecture of Li and Wang. Our results also connect directly with the recent Dynkin-diagram framework of Sun and Wang for generalized Nahm sums. They identified the rank-two pairs (T_1,G_2) and (G_2,T_1) as unresolved cases whose modularity would follow, respectively, from the first modulo $9$ Kanade--Russell identity and its Wang-Wang dual. The present results prove precisely these two required identities and hence establish the corresponding modularity statements unconditionally.
ER  -