Last update: 22 February 2013
Using a combinatorial approach that avoids geometry, this paper studies the structure of the of the generalized flag variety This ring has a natural basis (the double Grothendieck polynomials), where is the structure sheaf of the Schubert variety For rank two cases we compute the corresponding structure constants of the ring and, based on this data, make a positivity conjecture for general which generalizes the theorems of M. Brion (for and W. Graham (for Let be the class of the homogeneous line bundle on corresponding to the character of indexed by For general we prove “Pieri–Chevalley formulas” for the products and where is dominant. By using the Chern character and comparing lowest degree terms the products which are computed in this paper also give results for the Grothendieck polynomials, double Schubert polynomials, and ordinary Schubert polynomials in, respectively and
Using a combinatorial approach which avoids geometry, this paper studies the ring structure of the of the (generalized) flag variety Here, the data is a complex reductive algebraic group (or symmetrizable Kac–Moody group) a Borel subgroup and a maximal torus and is the Grothendieck group of coherent sheaves on Because of the the ring is an where is the representation ring of As explained by Grothendieck [Gro1958] (in the non-Kac–Moody case) and Kostant and Kumar [KKu1990] (in the general Kac–Moody case), the ring has a natural where is the Weyl group and is the structure sheaf of the Schubert variety One of the main problems in the field is to understand the structure constants of the ring with this basis, that is, the coefficients in the equations
Our approach is to work completely combinatorially and define as a quotient of the affine nil-Hecke algebra. The fact that the combinatorial approach coincides with the geometric one is a consequence of the results of Kostant and Kumar [KKu1990] and Demazure [Dem1974]. In the combinatorial literature the elements are often called (double) Grothendieck polynomials.
Let be the weight lattice of and, for let be the homogeneous line bundle on corresponding to the character of indexed by The theorem of Pittie [Pit1972] says that the ring is generated by the Steinberg [Ste1975] strengthened this result by displaying specific which form an of These results are often collectively known as the “Pittie–Steinberg theorem”.
The theorems which we prove in Section 2 are simply different points of view on the Pittie–Steinberg theorem. Though we are not aware of any reference which states these theorems in the generality which we consider, these theorems should be considered well known.
Let be the simple reflections in (determined by the data let be the longest element of and let be the set of dominant weights in The Schubert varieties are the codimension one Schubert varieties in In Section 3 we prove “Pieri–Chevalley” formulas for the products
for and All of these Pieri–Chevalley formulas are given in terms of the combinatorics of the Littelmann path model [Lit1994,Lit1995,Lit1997]. The formula which we give for the first product in (0.2) is due to Pittie and Ram [PRa0401332]. In this paper we provide more details of proof than appeared in . The other formulas for the products in (0.2) follow by applying the duality theorem of Brion [Bri2002, Theorem 4] to the first formula. However, here we give an independent, combinatorial, proof and deduce Brion’s result as a consequence. The last formula is a consequence of the nice formula
which is an easy consequence of the first two Pieri–Chevalley rules.
It is not difficult to “specialize” product formulas for to corresponding product formulas for and (by using the Chern character and comparing lowest degree terms, and ignoring the Thus the products which are computed in this paper also give results for ordinary Grothendieck polynomials, double Schubert polynomials, and ordinary Schubert polynomials. In Section 4 we explain how to do these conversions. For most of these cases the specialized versions of our Pieri–Chevalley rules are already very well known (see, for example, [Che1994]).
In Section 5 we give explicitly
for the rank two root systems. This data allows us to make a “positivity conjecture” for the coefficients in (0.1). This conjecture generalizes the theorems of Brion [Bri2002, formula before Theorem 1] and Graham [Gra9908172, Corollary 4.1], which treat the cases and respectively.
It is a pleasure to thank Alain Lascoux for setting the foundations of the subject of this paper. Our approach is heavily influenced by his teachings. In particular, he has always promoted the study of the flag variety by divided difference operators (the affine, or graded, nil-Hecke algebra), it is his work with Fulton in [FLa1994] that provided the motivation for the Pieri–Chevalley rules as we present them, and it his idea of “transition” (see, for example, the beautiful paper [Las2002]) which allows us to obtain product formulas for Schubert classes in the form which we have given in Section 5 of this paper.
This is an excerpt of the paper entitled Affine Hecke algebras and the Schubert calculus authored by Stephen Griffeth and Arun Ram. It was dedicated to Alain Lascoux.