Affiliation:
1. Department of Mathematics, Imperial College London , 180 Queen’s Gate, London SW7 2AZ, UK
Abstract
AbstractWe compare several notions of equivariant formality for complex K-theory with respect to a compact Lie group action, including surjectivity of the forgetful map and the weak equivariant formality of Harada–Landweber, and find all are equivalent under standard hypotheses. As a consequence, we present an expression for the equivariant K-theory of the isotropy action of $H$ on a homogeneous space $G/H$ in all the classical cases. The proofs involve mainly homological algebra and arguments with the Atiyah–Hirzebruch–Leray–Serre spectral sequence, but a more general result depends on a map of spectral sequences from Hodgkin’s Künneth spectral sequence in equivariant K-theory to that in Borel cohomology that seems not to have been otherwise defined. The hypotheses for the main structure result are analogous to a previously announced characterization of cohomological equivariant formality, first proved here, expanding on the results of Shiga and Takahashi.
Publisher
Oxford University Press (OUP)
Reference76 articles.
1. Embeddings of the line in the plane;Abhyankar;J. Reine Angew. Math.,1975
2. Equivariant K-theory of compact Lie group actions with maximal rank isotropy;Adem;J. Topol.,2012
3. The toral rank conjecture and variants of equivariant formality;Amann,2019
4. Bott periodicity and the index of elliptic operators;Atiyah;Quart. J. Math. Oxford Ser. (2),1968
5. The moment map and equivariant cohomology;Atiyah;Topology,1984