Kirwan map
In differential geometry, the Kirwan map, introduced by British mathematician Frances Kirwan, is the homomorphism
where
It is defined as the map of equivariant cohomology induced by the inclusion followed by the canonical isomorphism.
A theorem of Kirwan says that if is compact, then the map is surjective in rational coefficients. The analogous result holds between the K-theory of the symplectic quotient and the equivariant topological K-theory of.
