The calculus of BGG operators

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last update: 17 February 2013

The calculus of BGG operators

The nil affine Hecke algebra is the algebra over $𝕃$ with generators $x_{\lambda },$ $y_{\lambda },$ $t_w,$ with $\lambda ,\mu \in {𝔥}_{\mathbb{Z}}^{*}$ and $w\in W_0,$ with relations

$$x_{\lambda +\mu }=x_{\lambda }+x_{\mu }-p(x_{\lambda },x_{\mu })x_{\lambda }{x}_{\mu },y_{\lambda +\mu }=y_{\lambda }+y_{\mu }-p(y_{\lambda },y_{\mu })y_{\lambda }{y}_{\mu },x_{\lambda }{y}_{\mu }=y_{\mu }{x}_{\lambda },$$

and

$$t_v{t}_w=t_{vw},t_w{y}_{\lambda }=y_{\lambda }{t}_w,t_w{x}^{\lambda }=x_{w\lambda }{t}_w,\text{for}\hspace{0.17em}v,w\in W_0,\lambda \in {𝔥}_{\mathbb{Z}}^{*}\text{.}$$

Recall from (4.2) that the pushpull operators, or BGG-Demazure operators are given by

$$\begin{array}{cc}{A}_i=(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}},\text{for}\hspace{0.17em}i=1,2,\dots ,n\text{.}& \text{(8.1)}\end{array}$$

In general,

$$\begin{array}{ccc}{A}_i& =& (1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}=\frac{1}{x_{-{\alpha }_i}}+\frac{1}{x_{{\alpha }_i}}{t}_{s_i}=\frac{1}{x_{-{\alpha }_i}}-\frac{1-p(x_{{\alpha }_i},x_{-{\alpha }_i})x_{-{\alpha }_i}}{x_{-{\alpha }_i}}{t}_{s_i}\\ & =& \frac{1}{x_{-{\alpha }_i}}(1-(1-p(x_{{\alpha }_i},x_{-{\alpha }_i})x_{-{\alpha }_i})t_{s_i})=\frac{1}{x_{-{\alpha }_i}}(1-t_{s_i})+p(x_{{\alpha }_i},x_{-{\alpha }_i})t_{s_i}\text{.}& \text{(8.2)}\end{array}$$

so that $A_i$ is a divided difference operator plus an extra term. As in [BEv0968883, Prop. 3.1],

$$\begin{array}{ccc}{A}_i^2& =& (1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}=(\frac{1}{x_{-{\alpha }_i}}+\frac{1}{x_{{\alpha }_i}}{t}_{s_i})(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}\\ & =& (\frac{1}{x_{-{\alpha }_i}}-\frac{1}{x_{{\alpha }_i}})(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}=(\frac{1}{x_{-{\alpha }_i}}-\frac{1}{x_{{\alpha }_i}})A_i,\end{array}$$

so that

$$\begin{array}{cc}{A}_i^2=(\frac{1}{x_{-{\alpha }_i}}-\frac{1}{x_{{\alpha }_i}})A_i=a_i(\frac{1}{x_{-{\alpha }_i}}-\frac{1}{x_{{\alpha }_i}})=A_{i}p(x_{{\alpha }_i},x_{-{\alpha }_i})\text{.}& \text{(8.3)}\end{array}$$

Note also that

$$\begin{array}{cccc}{t}_{s_i}{A}_i& =& t_{s_i}(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}=A_i\text{and}& \text{(8.4)}\\ A_i{t}_{s_i}& =& (1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}{t}_{s_i}=(1+t_{s_i})\frac{1}{x_{{\alpha }_i}}=A_i\frac{x_{-{\alpha }_i}}{x_{{\alpha }_i}}\text{.}& \text{(8.5)}\end{array}$$

If $f\in 𝕃\left[[x_{\lambda }\hspace{0.17em}\mid \hspace{0.17em}\lambda \in {𝔥}_{\mathbb{Z}}^{*}]\right]$ then

$$\begin{array}{ccc}f{A}_i& =& f(1+t_{s_i})\frac{1}{x_{-{\alpha }_i}}=f\frac{1}{x_{-{\alpha }_i}}+f{t}_{s_i}\frac{1}{x_{-{\alpha }_i}}\text{and}\\ A_i\left(s_{i}f\right)& =& t_{s_i}\frac{s_{i}f}{x_{-{\alpha }_i}}=(s_{i}f+f{t}_{s_i})\frac{1}{x_{-{\alpha }_i}},\end{array}$$

so that

$$\begin{array}{cc}f{A}_i=A_i\left(s_{i}f\right)+\left(\frac{f-s_{i}f}{x_{-{\alpha }_i}}\right)\text{.}& \text{(8.6)}\end{array}$$

The relation (8.6) is the analogue, for this setting, of a key relation in the definition of the classical nil-affine Hecke algebra (see [CGi1433132, Lemma 7.1.10] or [GRa0405333, (1.3)]).

Next are useful, expansions of products of $t_{s_i}$ in terms of products of $A_i$ with $x\text{s}$ on the left,

$$\begin{array}{ccc}{t}_{s_1}& =& x_{{\alpha }_1}{A}_1-\frac{x_{{\alpha }_1}}{x_{-{\alpha }_i}},\\ t_{s_2}{t}_{s_1}& =& x_{s_2{\alpha }_1}{x}_{{\alpha }_2}{A}_2{A}_1-x_{s_2{\alpha }_1}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}{A}_1-\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}}{x}_{{\alpha }_2}{A}_2+\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}\\ t_{s_1}{t}_{s_2}{t}_{s_1}& =& x_{s_1{s}_2{\alpha }_1}{x}_{s_1{\alpha }_2}{x}_{{\alpha }_1}{A}_1{A}_2{A}_1-x_{s_1{s}_2{\alpha }_1}{x}_{s_1{\alpha }_2}\frac{x_{{\alpha }_1}}{x_{-{\alpha }_1}}{A}_2{A}_1-\frac{x_{s_1{s}_2{\alpha }_1}}{x_{-s_1{s}_2{\alpha }_1}}{x}_{s_1{\alpha }_2}{x}_{{\alpha }_1}{A}_1{A}_2\\ & & +\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}{x}_{s_2{\alpha }_1}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}{A}_1+\frac{x_{s_1{s}_2{\alpha }_1}}{x_{-s_1{s}_2{\alpha }_1}}{x}_{s_1{\alpha }_2}\frac{x_{{\alpha }_1}}{x_{-{\alpha }_1}}{A}_2-\frac{x_{s_1{s}_2{\alpha }_1}}{x_{-s_1{s}_2{\alpha }_1}}\frac{x_{s_1{\alpha }_2}}{x_{-s_1{\alpha }_2}}\frac{x_{{\alpha }_1}}{x_{-{\alpha }_1}}\\ & & +(\frac{x_{s_1{\alpha }_2}}{x_{-s_1{\alpha }_2}}\frac{x_{s_1{s}_2{\alpha }_1}}{x_{-s_1{s}_2{\alpha }_1}}{x}_{{\alpha }_1}-\frac{x_{s_1{\alpha }_2}}{x_{-s_1{\alpha }_2}}{x}_{s_1{s}_2{\alpha }_1}-\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}{x}_{s_2{\alpha }_1}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}})A_1\\ t_{s_1}{t}_{s_2}{t}_{s_1}{t}_{s_2}& =& x_{s_2{s}_1{s}_2{\alpha }_1}{x}_{s_2{s}_1{\alpha }_2}{x}_{s_2{\alpha }_1}{x}_{{\alpha }_2}{A}_2{A}_1{A}_2{A}_1\\ & & -x_{s_2{s}_1{s}_2{\alpha }_1}{x}_{s_2{s}_1{\alpha }_2}{x}_{s_2{\alpha }_1}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}{A}_1{A}_2{A}_1-\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}{x}_{s_2{s}_1{\alpha }_2}{x}_{s_2{\alpha }_1}{x}_{{\alpha }_2}{A}_2{A}_1{A}_2\\ & & +\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}{x}_{s_2{s}_1{\alpha }_2}{x}_{s_2{\alpha }_1}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}{A}_1{A}_2\\ & & +(\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}{x}_{s_2{\alpha }_1}{x}_{{\alpha }_2}-x_{s_2{s}_1{s}_2{\alpha }_1}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}{x}_{{\alpha }_2}-x_{s_2{s}_1{s}_2{\alpha }_1}{x}_{s_2{s}_1{\alpha }_2}\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}})A_2{A}_1\\ & & -(\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}{x}_{s_2{\alpha }_1}-x_{s_2{s}_1{s}_2{\alpha }_1}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}})\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}}{A}_1\\ & & +(\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}{x}_{s_2{s}_1{\alpha }_2}\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}}-\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}}{x}_{{\alpha }_2})A_2\\ & & +\frac{x_{s_2{s}_1{s}_2{\alpha }_1}}{x_{-s_2{s}_1{s}_2{\alpha }_1}}\frac{x_{s_2{s}_1{\alpha }_2}}{x_{-s_2{s}_1{\alpha }_2}}\frac{x_{s_2{\alpha }_1}}{x_{-s_2{\alpha }_1}}\frac{x_{{\alpha }_2}}{x_{-{\alpha }_2}},\end{array}$$

and expansions of products of $t_{s_i}$ in terms of products of $A_i$ with $x\text{s}$ on the right,

$$\begin{array}{ccc}{t}_{s_1}& =& A_1{x}_{-{\alpha }_1}-1,\\ t_{s_1}{t}_{s_2}& =& A_1{A}_2{x}_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}-A_1{x}_{-s_2{\alpha }_1}-A_2{x}_{-{\alpha }_2}+1,\\ t_{s_1}{t}_{s_2}{t}_{s_1}& =& A_1{A}_2{A}_1{x}_{-{\alpha }_1}{x}_{-s_1{\alpha }_2}{x}_{-s_1{s}_2{\alpha }_1}-A_1{A}_2{x}_{-s_1{\alpha }_2}{x}_{-s_1{s}_2{\alpha }_1}-A_2{A}_1{x}_{-{\alpha }_1}{x}_{-s_1{\alpha }_2}\\ & & +A_1{x}_{-s_2{\alpha }_1}+A_2{x}_{-s_1{\alpha }_2}-1+A_1(x_{-{\alpha }_1}-x_{-s_2{\alpha }_1}-\frac{x_{-{\alpha }_1}}{x_{{\alpha }_1}}{x}_{-s_1{s}_2{\alpha }_1}),\\ t_{s_1}{t}_{s_2}{t}_{s_1}{t}_{s_2}& =& A_1{A}_2{A}_1{A}_2{x}_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}{x}_{-s_2{s}_1{\alpha }_2}{x}_{-s_2{s}_1{s}_2{\alpha }_1}\\ & & -A_1{A}_2{A}_1{x}_{-s_2{\alpha }_1}{x}_{-s_2{s}_1{\alpha }_2}{x}_{-s_2{s}_1{s}_2{\alpha }_1}-A_2{A}_1{A}_2{x}_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}{x}_{-s_2{s}_1{\alpha }_2}\\ & & +A_1{A}_2(-\frac{x_{-{\alpha }_2}}{x_{{\alpha }_2}}{x}_{-s_2{s}_1{\alpha }_2}{x}_{-s_2{s}_1{s}_2{\alpha }_1}-x_{-{\alpha }_2}\frac{x_{-s_2{\alpha }_1}}{x_{s_2{\alpha }_1}}{x}_{-s_2{s}_1{s}_2{\alpha }_1}+x_{-{\alpha }_2}{x}_{-s_2{\alpha }_1})\\ & & +A_2{A}_1{x}_{-s_2{\alpha }_1}{x}_{-s_2{s}_1{\alpha }_2}\\ & & -A_1(x_{-s_2{\alpha }_1}-\frac{x_{-s_2{\alpha }_1}}{x_{s_2{\alpha }_1}}{x}_{-s_2{s}_1{s}_2{\alpha }_1})-A_2(x_{-{\alpha }_2}-\frac{x_{-{\alpha }_2}}{x_{{\alpha }_2}}{x}_{-s_2{s}_1{\alpha }_2})+1\text{.}\end{array}$$

Finally, there are expansions of products of $A_i$ in terms of products of $t_{s_i}:$

$$\begin{array}{ccc}{A}_1& =& (t_{s_1}+1)\frac{1}{x_{-{\alpha }_1}},\\ A_1{A}_2& =& (t_{s_1}+1)(t_{s_2}\frac{1}{x_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}}+\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_2}}),\\ A_1{A}_2{A}_1& =& (t_{s_1}+1)\left(\begin{array}{c}{t}_{s_2}{t}_{s_1}\frac{1}{x_{-{\alpha }_1}{x}_{-s_1{\alpha }_2}{x}_{-s_1{s}_2{\alpha }_1}}+t_{s_2}\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}}\\ +\frac{1}{x_{-{\alpha }_1}}(\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_2}}+\frac{1}{x_{-s_1{\alpha }_1}{x}_{-s_2{\alpha }_1}})\end{array}\right),\\ A_1{A}_2{A}_1{A}_2& =& (t_{s_1}+1)\left(\begin{array}{c}{t}_{s_2}{t}_{s_1}{t}_{s_2}\frac{1}{x_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}{x}_{-s_2{s}_1{\alpha }_2}{x}_{-s_2{s}_1{s}_2{\alpha }_1}}\\ +t_{s_2}{t}_{s_1}\frac{1}{x_{-{\alpha }_2}{x}_{-{\alpha }_1}{x}_{-s_1{\alpha }_2}{x}_{-s_1{s}_2{\alpha }_1}}\\ +t_{s_2}\frac{1}{x_{-{\alpha }_2}{x}_{-s_2{\alpha }_1}}(\frac{1}{x_{-{\alpha }_2}{x}_{-{\alpha }_1}}+\frac{1}{x_{-s_2{\alpha }_1}{x}_{-s_2{\alpha }_2}}+\frac{1}{x_{-s_2{s}_1{\alpha }_2}{x}_{-s_2{s}_1{\alpha }_1}})\\ +\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_2}}(\frac{1}{x_{-{\alpha }_2}{x}_{-{\alpha }_1}}+\frac{1}{x_{-s_2{\alpha }_1}{x}_{-s_2{\alpha }_2}}+\frac{1}{x_{-s_1{\alpha }_2}{x}_{-s_1{\alpha }_1}})\end{array}\right)\text{.}\end{array}$$

These formulas arranged so that products beginning with $t_{s_2}$ and $A_2$ are obtained from the above formulas by switching 1s and 2s. In particular, the “braid relations” for the operators $A_i$ are the equations given by, for example, in the case that $s_1{s}_2{s}_1=s_2{s}_1{s}_2$ so that $s_1{\alpha }_2=s_2{\alpha }_1={\alpha }_1+{\alpha }_2$ then

$$0=t_{s_1}{t}_{s_2}{t}_{s_1}-t_{s_2}{t}_{s_1}{t}_{s_2}$$

is equivalent to

$$\begin{array}{ccc}{A}_2{A}_1{A}_2& -& (\frac{1}{x_{-{\alpha }_2}{x}_{-{\alpha }_1}}-\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_3}}+\frac{1}{x_{{\alpha }_2}{x}_{-{\alpha }_3}})A_2\\ & =& A_1{A}_2{A}_1-(\frac{1}{x_{-{\alpha }_1}{x}_{-{\alpha }_2}}-\frac{1}{x_{-{\alpha }_2}{x}_{-{\alpha }_3}}+\frac{1}{x_{{\alpha }_1}{x}_{-{\alpha }_3}})A_1,\end{array}$$

as indicated in [HLS1208.4114, Proposition 5.7].

Notes and References

This is an excerpt from a paper entitled Generalized Schubert Calculus authored by Nora Ganter and Arun Ram. It was dedicated to C.S. Seshadri on the occasion of his 90th birthday.

page history