An $\mathrm{A}_2$ Bailey tree and $\mathrm{A}_2^{(1)}$ Rogers-Ramanujan-type identities

TL;DR

This paper extends the $ ext{A}_2$ Bailey chain to a four-parameter $ ext{A}_2$ Bailey tree and applies it to prove the Kanade-Russell conjecture, deriving new Rogers-Ramanujan-type identities related to affine Lie algebra $ ext{A}_2^{(1)}$.

Contribution

It introduces a novel $ ext{A}_2$ Bailey tree and uses it to prove significant conjectures and identities in the theory of $q$-series and affine Lie algebra characters.

Findings

Proved the Kanade-Russell conjecture for $ ext{A}_2^{(1)}$ identities.

Derived an $ ext{A}_2^{(1)}$ analogue of Andrews-Gordon identities.

Established a Rogers-Selberg-type identity for principal subspace characters.

Abstract

The $\mathrm{A}_2$ Bailey chain of Andrews, Schilling and the author is extended to a four-parameter $\mathrm{A}_2$ Bailey tree. As main application of this tree, we prove the Kanade-Russell conjecture for a three-parameter family of Rogers-Ramanujan-type identities related to the principal characters of the affine Lie algebra $\mathrm{A}_2^{(1)}$. Combined with known $q$-series results, this further implies an $\mathrm{A}_2^{(1)}$-analogue of the celebrated Andrews-Gordon $q$-series identities. We also use the $\mathrm{A}_2$ Bailey tree to prove a Rogers-Selberg-type identity for the characters of the principal subspaces of $\mathrm{A}_2^{(1)}$ indexed by arbitrary level-$k$ dominant integral weights $\lambda$. This generalises a result of Feigin, Feigin, Jimbo, Miwa and Mukhin for $\lambda=k\Lambda_0$.