On q-Demazure operators - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T22:03:56Z http://mathoverflow.net/feeds/question/109225 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109225/on-q-demazure-operators On q-Demazure operators Chuck Hague 2012-10-09T13:46:18Z 2013-02-11T14:50:13Z <p><strong>Setup</strong></p> <p>Let $G$ be a semisimple algebraic group over an algebraically closed field of arbitrary characteristic with Borel subgroup $B$. Let $\Lambda$ denote the weight lattice of $G$; we write elements of the group ring $\mathbb Z[\Lambda]$ of $\Lambda$ as linear combinations of elements of the form $e^\lambda$, $\lambda \in \Lambda$. In particular, characters of finite-dimensional $B$-modules are elements of $\mathbb Z[\Lambda]$.</p> <p>For dominant $\lambda \in \Lambda$ let $ V(\lambda) $ denote the Weyl module for $G$ with highest weight $\lambda$ and for any element $w$ in the Weyl group $W$ of $G$ let $V_w(\lambda)$ denote the Demazure submodule of $V(\lambda)$ associated to $w$; this is the $B$-submodule of $V(\lambda)$ generated by an extremal vector of weight $w\lambda$. (Remark in particular that $V_{w_0}(\lambda) = V(\lambda)$).</p> <p>For any simple root $\alpha_i$ of $G$ with associated simple reflection $s_i \in W$ define the Demazure operator $D_{s_i} : \mathbb Z[\Lambda] \to \mathbb Z[\Lambda]$ by $$ D_{s_i}(e^\lambda) = \frac{ e^\lambda - e^{s_i \lambda - \alpha_i} }{ 1-e^{-\alpha_i} } . $$ It is easy to see that this is well-defined. For any word $\mathfrak w = (s_{i_1}, \ldots, s_{i_k})$ of simple reflections in $W$ we have a Demazure operator $D_{\mathfrak w}$ defined by the obvious composition. </p> <p>We now have the following theorem: Choose $w \in W$ and let $ \mathfrak w $ be any (not necessarily reduced!) word of simple reflections representing $w$. Then the character of $V_w(\lambda)$ is $D_{\mathfrak w}(e^\lambda)$. [A reference for this is, say, section 3.3 of Brion-Kumar's Frobenius splitting book].</p> <p><strong>Question</strong></p> <p>Has anyone studied $q$-analogues of these Demazure operators? In light of recent work on $q$-character formulas and Kazhdan-Lusztig polynomials, this seems like a natural combinatorial thing to consider. For example, I would (perhaps naively) expect that an appropriate $q$-analogue of the Demazure operators computes, say, the $q$-analog of weight multiplicity considered by Kazhdan-Lusztig, R. Brylinski, Joseph, and others. (Also, I don't know much about the path model or crystal bases, but it seems as though there may be a connection to those as well).</p> http://mathoverflow.net/questions/109225/on-q-demazure-operators/121480#121480 Answer by Tiago for On q-Demazure operators Tiago 2013-02-11T14:50:13Z 2013-02-11T14:50:13Z <p>Dear Chuck Hague,</p> <p>It may not answer your question. But let me suggest you to take a look at sections 4.5, 5.3 and 5.4 of:</p> <p>A. Joseph, Modules with a Demazure flag. Studies in Lie theory, 131–169, Progr. Math., 243, MR2214249 (2007b:17023).</p>