AG-2024.01-598·math.QA·cross-listed: hep-thmath.RAmath.RT
Representations of shifted quantum affine algebras and cluster algebras I. The simply-laced case
Authors
- Christof Geiss
- David Hernandez
- Bernard Leclerc
Abstract
We introduce a family of cluster algebras of infinite rank associated with root systems of type $A$, $D$, $E$. We show that suitable completions of these cluster algebras are isomorphic to the Grothendieck rings of the categories $\mathcal{O}_\mathbb{Z}$ of the corresponding shifted quantum affine algebras. The cluster variables of a class of distinguished initial seeds are certain formal power series defined by E. Frenkel and the second author, which satisfy a system of functional relations called $QQ$-system. We conjecture that all cluster monomials are classes of simple objects of $\mathcal{O}_\mathbb{Z}$. In the final section, we show that these cluster algebras contain infinitely many cluster subalgebras isomorphic to the coordinate ring of the open double Bruhat cell of the corresponding simple simply-connected algebraic group. This explains the similarity between $QQ$-system relations and certain generalized minor identities discovered by Fomin and Zelevinsky.
Submitted
9 January 20242 years ago
Version
v1
License
CC-BY-4.0
DOI
10.48550/arXiv.2401.04616
Summary
We construct infinite-rank cluster algebras for simply-laced root systems whose completions realize Grothendieck rings of category $\mathcal{O}_{\mathbb{Z}}$ for shifted quantum affine algebras, with cluster variables given by $QQ$-system solutions and cluster subalgebras isomorphic to double Bruhat cell coordinate rings.
- Cluster algebras of infinite rank associated with $A$, $D$, $E$ root systems are shown to have completions isomorphic to $K_0(\mathcal{O}_{\mathbb{Z}})$ for shifted quantum affine algebras, establishing a bridge between cluster algebra structure and categorical representation theory.
- The distinguished initial seed cluster variables are Frenkel–Kuniba formal power series satisfying the $QQ$-system, and a conjecture identifies all cluster monomials with simple object classes, giving cluster algebra generators concrete categorical meaning.
- Infinitely many cluster subalgebras are identified with coordinate rings of open double Bruhat cells, explaining why $QQ$-system relations mirror Fomin–Zelevinsky generalized minor identities and clarifying the hidden algebraic geometry underlying these functional equations.
specialist · generated by claude-haiku-4-5
Chat with this PDF
Ask questions, probe assumptions, request a plain-English summary. Answers cite sections from the preprint itself.
Community
Questions and answers about this paper from other readers. No formal peer review — just a place to think out loud.