title: Kirwan map
text: # Kirwan map
  
  In differential geometry, the Kirwan map, introduced by British mathematician Frances Kirwan, is the homomorphism
  
      $H_{G}^{*}(M)\to H^{*}(M/\!/_{p}G)$
  
  where
  
  * $M$ is a Hamiltonian G-space; i.e., a symplectic manifold acted by a Lie group G with a moment map $\mu :M\to {\mathfrak {g}}^{*}$.
  * $H_{G}^{*}(M)$ is the equivariant cohomology ring of $M$; i.e.. the cohomology ring of the homotopy quotient $EG\times _{G}M$ of $M$ by $G$.
  * $M/\!/_{p}G=\mu ^{-1}(p)/G$ is the symplectic quotient of $M$ by $G$ at a regular central value $p\in Z({\mathfrak {g}}^{*})$ of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): \mu .
  
  It is defined as the map of equivariant cohomology induced by the inclusion $\mu ^{-1}(p)\hookrightarrow M$ followed by the canonical isomorphism $H_{G}^{*}(\mu ^{-1}(p))=H^{*}(M/\!/_{p}G)$.
  
  A theorem of Kirwan says that if $M$ 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 $M$.
  
  