The \(K\)-theory of the flag variety and the Fomin--Kirillov quadratic algebra (Q1770468)

\noindent Let \(\text{Fl}_n\) be the flag variety i.e. the variety of complete flags \(0=V_0\subset V_1\subset \cdots \subset V_n=\mathbb C^n.\) It is well known that both the integral cohomology ring \(H^{*}(\text{Fl}_n)\) and \(K^{0}(\text{Fl}_n)\) are isomorphic to \({\mathbb Z}[x_1, \dots ,x_n]/I_{n},\) where \(I_{n}\) is the ideal generated by symmetric polynomials in \(x_1, \dots ,x_n\) with constant term equal to zero. There are natural \({\mathbb Z}\)-bases of \(H^{*}(\text{Fl}_n)\) and \(K^{0}(\text{Fl}_n)\) corresponding to Schubert varieties \(X_w\), \(w\in S_n.\) \noindent The Schubert and Grothendieck polynomials \({\mathfrak S}_w(x)\) and \({\mathfrak G}_w(x)\) are polynomial representatives of the bases elements in \(H^{*}(\text{Fl}_n)\) and \(K^{0}(\text{Fl}_n)\) corresponding to \(X_w.\) \noindent The author extends the work of \textit{S. Fomin} and \textit{A. Kirillov} in the cohomological case [in: Advances in geometry. Prog. Math. 172, 147--182 (1999; Zbl 0940.05070)]) to the \(K\)-theoretical situation. He defines a \(K\)-theoretic version of the Dunkl elements and uses them to describe the structure constants with respect to the above mentioned basis.