Last update: 11 February 2013
In this paper we study the generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension 3 in rank 2 (including and moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram [GRa0405333].
This paper is a study of the generalized equivariant cohomology of flag varieties. We set up a general framework for working with the generalized (equivariant) Schubert calculus which allows for detailed study without the need for knowledge of cobordism or generalized cohomology theories. Working in the context of a complex reductive algebraic group the (generalized) flag variety is where is a Borel subgroup containing the maximal torus The equivariant generalized cohomology theory comes with a (formal) group which is used to combinatorially construct the ring The Borel model presents as a ‘coinvariant ring’ and the moment graph model presents via the image of the inclusions of the points of Special cases of generalized equivariant cohomology theories are ‘ordinary’ cohomology (corresponding to the additive group) and (corresponding to the multiplicative group). The universal formal group law corresponds to complex cobordism.
Our work follows papers of Bressler-Evens [BEv0968883, BEv1044959], Calmés-Petrov-Zainoulline [CPZ0905.1341], Harada-Holm-Henriques [HHH0409305], Hornbostel-Kiritchenko [HKi0903.3936], and Kiritchenko-Krishna [KKr1104.1089], which have laid important foundations. Combining these tools we study the equivariant cohomology of the flag varieties, partial flag varieties, and Schubert varieties via the algebraic and combinatorial study of the rings which appear in the Borel model and the moment graph model. In Sections 2.3 and 3 we review the setup for these models and the connection to the (generalized) nil affine Hecke algebra and the BGG-Demazure operators (see also [HLS1208.4114] and [BEv0968883, BEv1044959]).
One of the main points of our work is to shift the focus from Bott-Samelson classes to Schubert classes. In ordinary equivariant cohomology and equivariant K-theory these agree, but in generalized cohomology the Schubert classes and the Bott-Samelson classes usually differ. Since the Schubert varieties are not, in general, smooth it is not even clear how the Schubert classes (the fundamental classes of the Schubert varieties) should be defined. In Section 5 we give explicit examples of “naive pushforwards” and Bott-Samelson classes and explain why neither of these can possibly be the Schubert classes in general. There are several directions to explore in searching for a good way to define Schubert classes:
In Section 7 we provide explicit computations of Schubert classes, and products with Schubert classes in the rank 2 cases. Our computations hold for all rank two cases, but we have only given specific results for Schubert classes of Schubert varieties in of (complex) dimension 3. In partiuclar, this provides complete results for types and and partial results for and
To some extent this paper is a sequel to [GRa0405333]. That paper considers the case of equivariant In retrospect, [GRa0405333] did not capitalize on the full power of the moment graph model, in particular, that the map in Theorem 3.1 is a ring homomorphism. This key point is the feature which we exploit in this paper to execute computations similar to those in [GRa0405333], but with greater ease and in greater generality.
We thank the Australian Research Council for continuing support of our research under grants DP0986774, DP120101942 and DP1095815. Many thanks to Geordie Williamson, Omar Ortiz, and Martina Lanini for teaching us the theory of moment graphs and this beautiful way of working with cohomology theories. We thank Alex Ghitza, Matthew Ando, Megumi Harada, Dave Anderson and Michel Brion for helpful conversations. We also thank Craig Westerland for answering many many questions of all shapes and sizes all along the way. It is a pleasure to dedicate this paper to C.S. Seshadri who, for so many years, has provided so much Schubert calculus support and inspiration.
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.