arXiv++ Combinatorics

Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $\mathrm{H}^*(\mathcal{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these operators we deduce the existence of two quantum cohomology rings, which satisfy properties conjectured earlier by Guest and Otofuji for $G= \mathrm{SL}_n(\mathbb{C})$. The first quantum ring is a deformation of the subalgebra of $\mathrm{H}^*(\mathcal{Fl}_G)$ generated by divisors. The second ring, denoted $\mathrm{QH}^*_{\mathrm{af}}(G/B)$, deforms the ordinary quantum cohomology ring $\mathrm{QH}^*(G/B)$ by adding an affine quantum parameter $q_0$. We prove that $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ is a Frobenius algebra, and that the new quantum product determines a flat Dubrovin connection. Further, we develop an analogue of Givental and Kim formalism for this ring and we deduce a presentation of $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ by generators and relations. The ideal of relations is generated by the integrals of motion for the periodic Toda lattice associated to the dual of the extended Dynkin diagram of $G$.

Let q_1, ..., q_n be some variables and set K:=Z[q_1, ..., q_n]/(q_1q_2...q_n). We show that there exists a K-bilinear product \star on H^*(F_n;Z)\otimes K which is uniquely determined by some quantum cohomology like properties (most importantly, a degree two relation involving the generators and an analogue of the flatness of the Dubrovin connection). Then we prove that \star satisfies the Frobenius property with respect to the Poincaré pairing of H^*(F_n;Z); this leads immediately to the orthogonality of the corresponding Schubert type polynomials. We also note that if we pick k\in {1,...,n} and we formally replace q_k by 0, the ring (H^*(F_n;Z)\otimes K,\star) becomes isomorphic to the usual small quantum cohomology ring of F_n, by an isomorphism which is described precisely.

A purely combinatorial construction of the quantum cohomology ring of the flag manifold $G/B$ is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of two of our previous papers, we obtain a presentation of this ring in terms of generators and relations, as well as formulas for quantum Giambelli polynomials. We show that these polynomials satisfy a certain orthogonality property, which - for G=SL_n(C) - was proved previously by Fomin, Gelfand and Postnikov.

We show how the quantum Chevalley formula for G/B, as stated by Peterson and proved rigorously by Fulton and Woodward, combined with ideas of Fomin, S. Gelfand and Postnikov, leads to a formula which describes polynomial representatives of the Schubert cohomology classes in the canonical presentation of QH^*(G/B) in terms of generators and relations.