Integral quantum cluster structures

Abstract

We prove a general theorem for constructing integral quantum cluster algebras over $\mathbb{Z}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over $\mathbb{Z}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra $\mathfrak{g}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_{+}(w){)}_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q({\mathfrak{n}}_{+}(w){)}_{\mathbb{Z}[q^{\pm 1}]}{\otimes }_{\mathbb{Z}[q^{\pm 1}]}\mathbb{Z}[q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over $\mathbb{Z}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over $\mathbb{Z}[q^{\pm 1/2}]$.

arXiv comment43 pages, AMS Latex

References in corpus (8)

• Quiver varieties and cluster algebras
• Cluster structures on quantum coordinate rings
• Triangular bases in quantum cluster algebras and monoidal categorification conjectures
• Some quantum analogues of solvable Lie groups
• Quantum cluster algebras and quantum nilpotent algebras
• Quantum cluster algebra structures on quantum nilpotent algebras
• Double canonical bases
• Remarks on quantum unipotent subgroup and dual canonical basis

Cited by in corpus (3)

• Dual canonical bases and quantum cluster algebras
• An Analog of Leclerc's Conjecture for Bases of Quantum Cluster Algebras
• Root of unity quantum cluster algebras and discriminants