Skip to main content Accessibility help
×
Home

K-theory Schubert calculus of the affine Grassmannian

  • Thomas Lam (a1), Anne Schilling (a2) and Mark Shimozono (a3)

Abstract

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case where G=SLn, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, calledK-k-Schur functions, whose highest-degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      K-theory Schubert calculus of the affine Grassmannian
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      K-theory Schubert calculus of the affine Grassmannian
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      K-theory Schubert calculus of the affine Grassmannian
      Available formats
      ×

Copyright

References

Hide All
[1]Andersen, H. H., Jantzen, J. C. and Soergel, W., Representations of quantum groups at a pth root of unity and of semisimple groups in characteristic p: independence of p, Astérisque 220 (1994), 321.
[2]Bandlow, J. and Morse, J., Work in progress.
[3]Bezrukavnikov, R., Finkelberg, M. and Mirković, I., Equivariant homology and K-theory of affine Grassmannians and Toda lattices, Compositio Math. 141 (2005), 746768.
[4]Billey, S., Kostant polynomials and the cohomology ring for G/B, Duke Math. J. 96 (1999), 205224.
[5]Buch, A., A Littlewood–Richardson rule for the K-theory of Grassmannians, Acta Math. 189 (2002), 3778.
[6]Chriss, N. and Ginzburg, V., Representation theory and complex geometry (Birkhäuser, Boston, MA, 1997).
[7]Demazure, M., Désingularisation des variétés de Schubert généralisées, Ann. Sci. École Norm. Sup. (4) 7 (1974), 5388 (Collection of articles dedicated to Henri Cartan on the occasion of his 70th birthday, I).
[8]Deodhar, V. V., Some characterizations of Bruhat ordering on a Coxeter group and determination of the relative Möbius function, Invent. Math. 39 (1977), 187198.
[9]Fomin, S. and Kirillov, A., Grothendieck polynomials and the Yang–Baxter equation, in Proc. sixth int. conf. on formal power series and algebraic combinatorics (DIMACS, Piscataway, NJ, 1994), 183190.
[10]Goresky, M., Kottwitz, R. and MacPherson, R., Equivariant cohomology, Koszul duality, and the localization theorem, Invent. Math. 131 (1998), 2583.
[11]Goresky, M., Kottwitz, R. and MacPherson, R., Homology of affine Springer fibers in the unramified case, Duke Math. J. 121 (2004), 509561.
[12]Graham, W., Equivariant K-theory and Schubert varieties, Preprint (2002).
[13]Harada, M., Henriques, A. and Holm, T., Computation of generalized equivariant cohomologies of Kac–Moody flag varieties, Adv. Math. 197 (2005), 198221.
[14]Hivert, F. and Thiéry, N. M., MuPAD-Combinat, an open-source package for research in algebraic combinatorics, Séminaire Lotharingien de Combinatoire 51 (2003), B51zhttp://mupad-combinat.sourceforge.net/.
[15]Humphreys, J. E., Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics, vol. 29 (Cambridge University Press, Cambridge, 1990).
[16]Kac, V. G., Infinite-dimensional Lie algebras, third edition (Cambridge University Press, Cambridge, 1990).
[17]Kashiwara, M., The flag manifold of Kac–Moody Lie algebra, in Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) (Johns Hopkins University Press, Baltimore, MD, 1989), 161190.
[18]Kashiwara, M. and Shimozono, M., Equivariant K-theory of affine flag manifolds and affine Grothendieck polynomials, Duke Math. J. 148 (2009), 501538.
[19]Kostant, B. and Kumar, S., The nil Hecke ring and cohomology of G/P for a Kac–Moody group G, Adv. Math. 62 (1986), 187237.
[20]Kostant, B. and Kumar, S., T-equivariant K-theory of generalized flag varieties, J. Differential Geom. 32 (1990), 549603.
[21]Kumar, S., Kac–Moody groups, their flag varieties and representation theory, Progress in Mathematics, vol. 204 (Birkhäuser, Boston, MA, 2002).
[22]Lam, T., Affine Stanley symmetric functions, Amer. J. Math. 128 (2006), 15531586.
[23]Lam, T., Schubert polynomials for the affine Grassmannian, J. Amer. Math. Soc. 21 (2008), 259281.
[24]Lam, T., Lapointe, L., Morse, J. and Shimozono, M., Affine insertion and Pieri rules for the affine Grassmannian, Mem. Amer. Math. Soc., to appear, arXiv:math.CO/0609110.
[25]Lam, T. and Pylyavskyy, P., Combinatorial Hopf algebras and K-homology of Grassmannians, Int. Math. Res. Not. 2007 (2007), rnm 125.
[26]Lapointe, L., Lascoux, A. and Morse, J., Tableau atoms and a new Macdonald positivity conjecture, Duke Math. J. 116 (2003), 103146.
[27]Lapointe, L. and Morse, J., Tableaux on k+1-cores, reduced words for affine permutations, and k-Schur expansions, J. Combin. Theory Ser. A 112 (2005), 4481.
[28]Lapointe, L. and Morse, J., A k-tableau characterization of k-Schur functions, Adv. Math. 213 (2007), 183204.
[29]Lenart, C., Combinatorial aspects of the K-theory of Grassmannians, Ann. Comb. 4 (2000), 6782.
[30]Macdonald, I. G., Symmetric functions and Hall polynomials, Oxford Mathematical Monographs, second edition (Oxford University Press, New York, 1995).
[31]Magyar, P., Notes on Schubert classes of a loop group, Preprint, arXiv:0705.3826.
[32]Morse, J., Combinatorics of the K-theory of affine Grassmannians, Preprint, arXiv:0907.0044.
[33]Peterson, D., Lecture notes at MIT (1997).
[34]Pressley, A. and Segal, G., Loop groups, Oxford Mathematical Monographs (Oxford University Press, Oxford, 1986).
[35]Sage, , Open Source Mathematics Software, http://www.sagemath.org/, and *-Combinat, http://wiki.sagemath.org/combinat.
[36]Stanley, R., Enumerative combinatorics: Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62 (Cambridge University Press, Cambridge, 2001).
[37]Willems, M., Cohomologie et K-théorie équivariantes des variétés de Bott-Samelson et des variétés de drapeaux, Bull. Soc. Math. France 132 (2004), 569589.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

Keywords

MSC classification

Related content

Powered by UNSILO

K-theory Schubert calculus of the affine Grassmannian

  • Thomas Lam (a1), Anne Schilling (a2) and Mark Shimozono (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.