Equivariant quantum Schubert polynomials (Q2445946)

The equivariant quantum cohomology ring \(QH^*_T(Fl({\underline n}))\) of the \(m\)-step partial flag variety in \({\mathbb C}^n\) is studied. This ring is an algebra over \(\Lambda[{\underline q}]={\mathbb Z}[t_1,t_2,\dots,t_n,q_1,q_2,\dots,q_m]\) and can be thought of as a deformation of the usual equivariant cohomology ring which is an algebra over \(\Lambda={\mathbb Z}[t_1,t_2,\dots,t_n]\). Additively \(QH^*_T(Fl({\underline n}))\simeq H^*_T(Fl({\underline n}))\otimes \Lambda[{\underline q}]\). For the parameters \({\underline q}=0\) the algebra structure was computed by Borel. The Schubert classes form a basis of the \(\Lambda[{\underline q}]\)-module \(QH^*_T(Fl({\underline n}))\). The authors give a Giambelli type formula for Schubert classes in terms of the \textit{quantum elementary polynomials}. The resulting \textit{equivariant quantum Schubert polynomials} are specializations of \textit{W. Fulton}'s \textit{universal Schubert polynomials} [Duke Math. J. 96, No. 3, 575--594 (1999; Zbl 0981.14022)] and has already appeared in non-equivariant situation [\textit{I. Ciocan-Fontanine}, Duke Math. J. 98, No. 3, 485--524 (1999; Zbl 0969.14039)]. As a by-product a presentation of \(QH^*_T(Fl({\underline n}))\) was obtained; originally this is a result of [\textit{B. Kim}, Int. Math. Res. Not. 1996, No. 17, 841--851 (1996; Zbl 0881.55007)]. The proof relies on the moving lemma with respect to the mixing group. The paper contains a comprehensive account of the history of recent developments of the Schubert calculus.