Smooth circle action, $\chi(M^{S^1}) = \chi(M)$

For the Euler characteristic there is the following.

Consider a tubular neighborhood $T$ of the fixed set (submanifold) $M^{{\mathbb S}^1}$. By Mayer-Vietoris sequence, relatively to the open covering $\{U = M-{\mathbb S}^1, T\}$ of $M$, we get $$\chi (M) = \chi (U) + \chi(T) - \chi(U\cap T).$$ But, $\chi (U) =\chi(U\cap T)=0$ since the circle action is free on $U$. Finally, since $T$ equivariantly retracts on $M^{{\mathbb S}^1}$ then $$\chi (M) = \chi (T) = \chi(M^{{\mathbb S}^1}). $$


See this wonderful blog post by Pawlowski.


The following method is not the simplest. But I like this method very much.

  1. Take a generator $g$ of the group $S^1$. Then the rigidity of Euler characteristic number tells us $$\chi(M)=\sum_i(-1)^i\mathrm{Tr}[g|_{H^i(M)}]$$

  2. Applying the Atiyah-Bott fixed point formula, we get $$\sum_i(-1)^i\mathrm{Tr}[g|_{H^i}(M)]=\int_{M^{S^1}}e(M^{S^1}),$$ where $e(M^{S^1})$ is the Euler characteristic class.

  3. Applying the Gauss-Bonnet Chern formula, we get the identity.