The Chamber Ansatz for quantum unipotent cells

Cluster algebras (13F60) Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups (quantized function algebras) and their representations (20G42)

Abstract: In this paper, we prove quantum analogues of the Chamber Ansatz formulae for unipotent cells. These formulae imply that the quantum twist automorphisms, constructed by Kimura and the author, are generalizations of Berenstein-Rupel's quantum twist automorphisms for unipotent cells associated with the squares of acyclic Coxeter elements. This conclusion implies that the known compatibility between quantum twist automorphisms and dual canonical bases corresponds to the property conjectured by Berenstein and Rupel.

Review text

Let \(\mathfrak{g}\) be a complex finite-dimensional semisimple Lie algebra with a triangular decomposition \(\mathfrak{n}_- \oplus \mathfrak{h} \oplus \mathfrak{n}_+\) and let \(N_{\pm}\) denote the corresponding closed subgroups of the connected, simply connected algebraic group \(G\) with Lie algebra \(\mathfrak{g}\). A unipotent cell \(N^w_-\) is a certain subvariey of the maximal unipotent subgroup \(N_-\) of \(G\) associated with an element \(w\) of the Weyl group. Let \(f_i\) be a root vector corresponding to the simple root \(- \alpha_i\) and \(\mathbb{C} \to N_-\), \(t \mapsto \exp(tf_i)\) the 1-parameter subgroup corresponding to \(f_i\). For \(w \in W\) and its reduced word \(i = (i_1,\ldots,i_{\ell})\) there exists a map \(y_i: (\mathbf{C^*})^{\ell} \to N_-^w\), \((t_1,\ldots,t_{\ell}) \mapsto \exp(t_1 f_{i_1}) \ldots \exp(t_{\ell}f_{i_{\ell}})\) which is injective with Zariski-dense image. The map \(y_i\) induces an embedding of algebras \(y_i^*: \mathbb{C}[N_-^w] \to \mathbb{C}[(\mathbb{C}^*)^{\ell}] = \mathbb{C}[t_1^{\pm},\ldots, t_{\ell}^{\pm}]\). One would like to describe each \(t_k\) (\(k=1,\ldots,\ell\)) as a rational function on \(N_-^w\) explicitely. The Chamber Ansatz formulae gives such an expression for each \(t_k\). There are quantum analogs \(A_q[N_-^w]\) of the coordinate algebra \(\mathbb{C}[N_-^w]\) as well as quantum analogs \(\phi_i: A_q[N_-^w] \to \mathcal{L}_i\) of \(y_i^*\) (the so-called Feigin homomorphism) where each \(\mathcal{L}_i\) is a quantum torus in \(\ell\)-variables \(t_1,\ldots,t_{\ell}\). The main theorem of this article proves an analog of the Chamber Ansatz formulae for the \(t_k\) in the quantum case.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: The Chamber Ansatz for quantum unipotent cells

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