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
A theorem of Kirwan[1] 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
This differential geometry-related article is a stub.