Equivariant \(K\)-theory of affine flag manifolds and affine Grothendieck polynomials
type: Item
instance of: scholarly article
title: Equivariant \(K\)-theory of affine flag manifolds and affine Grothendieck polynomials
zbMATH Open document ID: 1173.19004
DOI: 10.1215/00127094-2009-032
author: Masaki Kashiwara
author: Mark Shimozono
published in: Duke Mathematical Journal
publication date: 2009-07-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0601563
review text: Let \(G\) be an affine Lie group, \(B\) a Borel subgroup and \(X= G/B\) the corresponding affine flag manifold which is decomposed into the union of affine Schubert varieties \(X_w = \overline{BwB/B}\). \(X\) is an infinite-dimensional (not quasi-compact) scheme over \(\mathbb C\) and its \(B\)-orbits are parametrized by the elements of the Weyl group \(W\). Each \(B\) orbit is a locally closed subscheme with finite codimension and is isomorphic to the scheme \(\mathbb A^\infty = \text{Spec} (\mathbb C(x_1,x_2,\dots,))\). The \(K\)-group is decomposed into the product \(K_B(X) \cong \prod_{w\in W} K_B(pt)[\mathcal{O}_{X^w}]\). The group \(K_B(pt)\) is isomorphic to the group ring \(\mathbb Z[P]\) of the weight lattice \(P\) of a maximal torus of \(B\). Similar to the finite-dimensional case there is a homomorphism \(\mathbb Z[P] \otimes \mathbb Z[P] \cong K_B(pt) \otimes K_B(pt) \to K_B(X)\) which factors through the equivariant Atiyah-Hirzebruch homomorphism \(\mathbb Z[P] \bigotimes_{\mathbb Z[P]^W} \mathbb Z[P] \to K_B(X)\), where \(\mathbb Z[P]^W\) is the ring of invariants with respect to the action of the Weyl group \(W\). In the affine case, this morphism in injective but not surjective, not all \([{\mathcal O}_{X^w}]\) are in the image of this morphism. Nevertheless, after localization by a generator \(\delta\) of null roots, taking tensor product with the subring \(\mathbb Q[\delta]\) we get the main result of the paper: Theorem 4.4: all the elements \([{\mathcal O}_{X^w}]\) are in \(\mathbb Q[\delta] \bigotimes_{\mathbb Z[e^{\pm\delta}]} K_B(X)\). The authors call the elements of \(R \bigotimes_{\mathbb Z[e^{\pm\delta}]} \mathbb Z[P] \bigotimes_{\mathbb Z[P]^W} \mathbb Z[P]\) the affine Grothendieck polynomials.
reviewed by: Do Ngoc Diep
Mathematics Subject Classification ID: 19L47
Mathematics Subject Classification ID: 14M17
Mathematics Subject Classification ID: 17B67
Mathematics Subject Classification ID: 22E65
zbMATH DE Number: 5578930
zbMATH Keywords: \(K\)-theory
zbMATH Keywords: affine flag manifold
zbMATH Keywords: Grothendieck polynomial
MaRDI profile type: Publication
OpenAlex ID: W2030105072
arXiv ID: math/0601563
cites work: The space of loops on a Lie group
cites work: A Littlewood-Richardson rule for the \(K\)-theory of Grassmannians.
cites work: Désingularisation des variétés de Schubert généralisées
cites work: The Yang-Baxter equation, symmetric functions, and Schubert polynomials
cites work: A Pieri formula in the Grothendieck ring of a flag bundle
cites work: Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
cites work: Q4027539
cites work: Q3349072
cites work: Q3999005
cites work: Categories and Sheaves
cites work: Puzzles and (equivariant) cohomology of Grassmannians
cites work: Generalization of Schensted insertion algorithm to the cases of hooks and semi-shuffles
cites work: T-equivariant K-theory of generalized flag varieties
cites work: Kac-Moody groups, their flag varieties and representation theory
cites work: Affine Stanley symmetric functions
cites work: Schubert polynomials for the affine Grassmannian
cites work: Affine insertion and Pieri rules for the affine Grassmannian
cites work: Tableau atoms and a new Macdonald positivity conjecture
cites work: Quantum cohomology and the 𝑘-Schur basis
cites work: Q3329580
cites work: A Pieri-type formula for the ${K}$-theory of a flag manifold
cites work: Q3975993
description: scientific article