Cluster structures on quantum coordinate rings

Cluster algebras (13F60) Representations of quivers and partially ordered sets (16G20) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: We show that the quantum coordinate ring of the unipotent subgroup N(w) of a symmetric Kac-Moody group G associated with a Weyl group element w has the structure of a quantum cluster algebra. This quantum cluster structure arises naturally from a subcategory C_w of the module category of the corresponding preprojective algebra. An important ingredient of the proof is a system of quantum determinantal identities which can be viewed as a q-analogue of a T-system. In case G is a simple algebraic group of type A, D, E, we deduce from these results that the quantum coordinate ring of an open cell of a partial flag variety attached to G also has a cluster structure.

Review text

Some algebras carry the structure of a cluster algebra. Fomin and Zelevinsky have introduced cluster algebras to study Lusztig's canonical bases, but various authors have found, studied and appreciated cluster structures in many areas of mathematics. A salient example of a cluster algebra is the following: Let \(\mathfrak{g}=\mathfrak{n}\oplus\mathfrak{h}\oplus\mathfrak{n}_{-}\) be a Kac-Moody Lie algebra and let \(N\) be the unipotent group attached to \(\mathfrak{n}\). The same authors, Geiß-Leclerc-Schröer, have shown in [Invent. Math. 165, No. 3, 589--632 (2006; Zbl 1167.16009)] that the coordinate ring \(\mathbb{C}[N]\) carries the structure of a cluster algebra. More generally, for every Weyl group element \(w\) the coordinate ring \(\mathbb{C}[N(w)]\) becomes a cluster algebra. To establish the cluster structure, Geiß-Leclerc-Schröer proved that \(\mathbb{C}[N(w)]\) is isomorphic to the cluster algebra \(\mathcal{A}(\mathcal{C}_w)\) associated with a certain category of modules over the preprojective algebra. In this context, a crux is the duality between \(\mathbb{C}[N]\) and the universal enveloping algebra \(U(\mathfrak{n})\) of \(\mathfrak{n}\). The aim of this article is to quantise the result. The authors show that a certain quantisation of \(\mathcal{A}(\mathcal{C}_w)\) -- called \(A_q(\mathfrak{n}(w))\) -- is a quantum cluster algebra in the sense of Berenstein-Zelevinsky. Again the authors utilise tools from representation theory of the preprojective algebra. Here, the quantisation \(\mathcal{A}(\mathcal{C}_w) \to A_q(\mathfrak{n}(w))\) emerges from the quantisation \(U(\mathfrak{n})\to U_q(\mathfrak{n})\) introduced by Drinfeld-Jimbo. A cluster algebra does not admit a quantisation in general, and if it exists, it is not necessarily unique. So Geiß-Leclerc-Schröer's result is remarkable for two reasons. First of all, it is noteworthy that homological considerations yield quantisations. (For example, the dimensions of certain homomorphism spaces describe q-commutativity relations among certain quantum cluster variables.) Secondly, it is surprising that this homologically constructed quantisation agrees with Drinfeld-Jimbo's. The result is important, because it is the first step to understand the relation between cluster algebras and canonical bases. Although canonical bases have motivated the theory of cluster algebras, only now we can formulate a precise conjecture. Conjecture 12.9 is a relation between the quantum cluster monomials in \(A_q(\mathfrak{n}(w))\)) and the dual of Lusztig's canonical basis in \(U_q(\mathfrak{n})\).

Recommendations

Cites work

Cited in

(95)

This page was built for publication: Cluster structures on quantum coordinate rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1950459)