The Chamber Ansatz for quantum unipotent cells (Q2416410): Difference between revisions

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.