Hostname: page-component-8448b6f56d-jr42d Total loading time: 0 Render date: 2024-04-19T02:54:26.221Z Has data issue: false hasContentIssue false

Equivariant homology and K-theory of affine Grassmannians and Toda lattices

Published online by Cambridge University Press:  21 April 2005

Roman Bezrukavnikov
Affiliation:
Department of Mathematics, Northwestern University, Evanston, IL 60208, USAbezrukav@math.northwestern.edu
Michael Finkelberg
Affiliation:
Independent Moscow University, 11 Bolshoj Vlasjevskij Pereulok, Moscow 119002, Russiafnklberg@mccme.ru
Ivan Mirković
Affiliation:
Department of Mathematics, The University of Massachusetts, Amherst, MA 01003, USAmirkovic@math.umass.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

For an almost simple complex algebraic group G with affine Grassmannian $\text{Gr}_G=G(\mathbb{C}(({\rm t})))/G(\mathbb{C}[[{\rm t}]])$, we consider the equivariant homology $H^{G(\mathbb{C}[[{\rm t}]])}(\text{Gr}_G)$ and K-theory $K^{G(\mathbb{C}[[{\rm t}]])}(\text{Gr}_G)$. They both have a commutative ring structure with respect to convolution. We identify the spectrum of homology ring with the universal group-algebra centralizer of the Langlands dual group $\check G$, and we relate the spectrum of K-homology ring to the universal group-group centralizer of G and of $\check G$. If we add the loop-rotation equivariance, we obtain a noncommutative deformation of the (K-)homology ring, and thus a Poisson structure on its spectrum. We relate this structure to the standard one on the universal centralizer. The commutative subring of $G(\mathbb{C}[[{\rm t}]])$-equivariant homology of the point gives rise to a polarization which is related to Kostant's Toda lattice integrable system. We also compute the equivariant K-ring of the affine Grassmannian Steinberg variety. The equivariant K-homology of GrG is equipped with a canonical basis formed by the classes of simple equivariant perverse coherent sheaves. Their convolution is again perverse and is related to the Feigin–Loktev fusion product of $G(\mathbb{C}[[{\rm t}]])$-modules.

Type
Research Article
Copyright
Foundation Compositio Mathematica 2005