MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a question about Chern class of symplectic reduction.

Let $(M,\omega)$ be a smooth compact symplectic manifold with a Hamiltonian circle action. Let $H : M \rightarrow \mathbb{R}$ be the corresponding moment map. When $0$ is a regular value of $H$, how can I prove that a Kirwan map $\kappa : H^*_{S^1}(M) \rightarrow H^*(H^{-1}(0)/S^1)$ maps the equivariant first Chern class of $M$ to the first Chern class of $H^{-1}(0)/S^1$?

I saw this argument in the paper "Floer homology on the extended moduli space" by Manolescu and Woodward (Lemma 4.4), but the precise proof is not involved. Perhaps (I guess) the proof of the statement seems to be an exercise, but I don't know what I missed.

Thank you in advance.

share|cite|improve this question

I am not offering an answer, but I suspect that the answer ultimately comes from the behaviour of Chern classes under pullbacks. More precisely, if $L\rightarrow M$ is an $S^1$-equivariant complex line bundle with equivariant first Chern class $c_1^{S^1}(L)\in H_{S^1}^2(M)$, then the $S^1$-equivariant first Chern class of the restricted bundle $L\vert_{\mu^{-1}(0)}\rightarrow\mu^{-1}(0)$ is precisely $i^*(c_1^{S^1}(L))\in H_{S^1}^*(\mu^{-1}(0))$, where $i:\mu^{-1}(0)\rightarrow M$ is the inclusion. The image of $c_1^{S^1}(L)$ under the Kirwan map is then the image of $i^*(c_1^{S^1}(L))$ under the isomorphism $H_{S^1}^*(\mu^{-1}(0))\rightarrow H^*(\frac{\mu^{-1}(0)}{S^1})$.

share|cite|improve this answer
Thank you. Now I totally understood. – Yunhyung Cho May 1 '14 at 7:48

To complete Peter's proof, we have to compare $A=TM|_{\mu^{-1}(0)}$ with $i^*T(\mu^{-1}(0)/S^1)$. The latter is a sub quotient of the former: we pass to the subbundle $B$ tangent to $\mu^{-1}(0)$, and kill the vectors $C$ tangent to the $S^1$-orbits. The key observation is that the symplectic form shows that $A/B$ and $C$ are dual (since $B$ is symplectic orthogonal to $C$). I'm assuming you have a compatible metric which puts a complex structure on $A/B\oplus C\cong \mathbb{C}C$ making this a complex line bundle with trivial Chern class, since it is self-dual.

share|cite|improve this answer
I see. You mean that the pull-back bundle $i^*TM% over %\mu^{-1}(0)/S^1$ splits into the sum of a tangent bundle over $\mu^{-1}(0)/S^1$ and a trivial line bundle. So, the argument is true for any characteristic classes, not only first Chern class – Yunhyung Cho May 1 '14 at 18:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.