SIGMA 22 (2026), 064, 15 pages      arXiv:1901.00104      https://doi.org/10.3842/SIGMA.2026.064

On Polyhedral Formulas for Kirillov-Reshetikhin Modules

Chul-hee Lee
June E Huh Center for Mathematical Challenges, Korea Institute for Advanced Study, Seoul 02455, South Korea

Received December 24, 2025, in final form June 26, 2026; Published online July 05, 2026

Abstract
We propose a method to prove a polyhedral branching formula for Kirillov-Reshetikhin (KR) modules over an untwisted quantum affine algebra. When the underlying simple Lie algebra is of exceptional type, such a formula remains conjectural in many cases. Using a linear recurrence relation satisfied by the characters of KR modules, we convert the verification of a polyhedral formula into an identity between two rational functions of a single variable with only simple poles at known locations. It is then sufficient to compare the residues at those poles, which are explicitly computable quantities. By applying this strategy, we obtain new, computer-assisted and easily verifiable proofs of known polyhedral formulas in types $F_4$ and $G_2$ within a uniform framework.

Key words: quantum affine algebras; Kirillov-Reshetikhin modules.

pdf (473 kb)   tex (20 kb)  

References

1. Bishnoi A., Clark P.L., Potukuchi A., Schmitt J.R., On zeros of a polynomial in a finite grid, Combin. Probab. Comput. 27 (2018), 310-333, arXiv:1508.06020.
2. Chari V., On the fermionic formula and the Kirillov-Reshetikhin conjecture, Int. Math. Res. Not. 2001 (2001), 629-654, arXiv:math.QA/0006090.
3. Chari V., Moura A., The restricted Kirillov-Reshetikhin modules for the current and twisted current algebras, Comm. Math. Phys. 266 (2006), 431-454, arXiv:math.RT/0507584.
4. Di Francesco P., Kedem R., Proof of the combinatorial Kirillov-Reshetikhin conjecture, Int. Math. Res. Not. 2008 (2008), rnn006, 57 pages, arXiv:0710.4415.
5. Hatayama G., Kuniba A., Okado M., Takagi T., Yamada Y., Remarks on fermionic formula, in Recent Developments in Quantum Affine Algebras and Related Topics (Raleigh, NC, 1998), Contemp. Math., Vol. 248, American Mathematical Society, Providence, RI, 1999, 243-291, arXiv:math.QA/9812022.
6. Hernandez D., The Kirillov-Reshetikhin conjecture and solutions of $T$-systems, J. Reine Angew. Math. 596 (2006), 63-87, arXiv:math.QA/0501202.
7. Kirillov A.N., Reshetikhin N.Yu., Representations of Yangians and multiplicities of occurrence of the irreducible components of the tensor product of representations of simple Lie algebras, J. Soviet Math. 52 (1990), 3156-3164.
8. Kleber M., Combinatorial structure of finite-dimensional representations of Yangians: the simply-laced case, Int. Math. Res. Not. 1997 (1997), 187-201, arXiv:q-alg/9611032.
9. Lee C.-h., Linear recurrence relations in $Q$-systems via lattice points in polyhedra, Transform. Groups 24 (2019), 429-466, arXiv:1602.02347.
10. Lee C.-h., Product formula for the limits of normalized characters of Kirillov-Reshetikhin modules, Int. Math. Res. Not. 2021 (2021), 10014-10036, arXiv:1807.11194.
11. Mukhin E., Young C.A.S., Affinization of category $\mathcal{O}$ for quantum groups, Trans. Amer. Math. Soc. 366 (2014), 4815-4847, arXiv:1204.2769.
12. Nakajima H., $t$-analogs of $q$-characters of Kirillov-Reshetikhin modules of quantum affine algebras, Represent. Theory 7 (2003), 259-274, arXiv:math.QA/0204185.
13. Negut A., Category $\mathcal{O}$ for quantum loop algebras, arXiv:2501.00724.
14. Scrimshaw T., Uniform description of the rigged configuration bijection, Selecta Math. (N.S.) 26 (2020), 42, 84 pages, arXiv:1703.08945.
15. Snow D.M., Weyl group orbits, ACM Trans. Math. Software 16 (1990), 94-108.