Abstract:Let $M$ be a symplectic manifold carrying a Hamiltonian $S^1$-action with momentum map $J:M \rightarrow \mathbb{R}$ and consider the corresponding symplectic quotient $\mathcal{M}_0:=J^{-1}(0)/S^1$. We extend Sjamaar's complex of differential forms on $\mathcal{M}_0$, whose cohomology is isomorphic to the singular cohomology $H(\mathcal{M}_0;\mathbb{R})$ of $\mathcal{M}_0$ with real coefficients, to a complex of differential forms on $\mathcal{M}_0$ associated with a partial desingularization $\widetilde{\mathcal{M}}_0$, which we call resolution differential forms. The cohomology of that complex turns out to be isomorphic to the de Rham cohomology $H(\widetilde{ \mathcal{M}}_0)$ of $\widetilde{\mathcal{M}}_0$. Based on this, we derive a long exact sequence involving both $H(\mathcal{M}_0;\mathbb{R})$ and $H(\widetilde{ \mathcal{M}}_0)$ and give conditions for its splitting. We then define a Kirwan map $\mathcal{K}:H_{S^1}(M) \rightarrow H(\widetilde{\mathcal{M}}_0)$ from the equivariant cohomology $H_{S^1}(M)$ of $M$ to $H(\widetilde{\mathcal{M}}_0)$ and show that its image contains the image of $H(\mathcal{M}_0;\mathbb{R})$ in $H(\widetilde{\mathcal{M}}_0)$ under the natural inclusion. Combining both results in the case that all fixed point components of $M$ have vanishing odd cohomology we obtain a surjection $\check \kappa:H^\textrm{ev}_{S^1}(M) \rightarrow H^\textrm{ev}(\mathcal{M}_0;\mathbb{R})$ in even degrees, while already simple examples show that a similar surjection in odd degrees does not exist in general. As an interesting class of examples we study abelian polygon spaces.

Quantum cohomology and $S^1$-actions with isolated fixed points

On semifree symplectic circle actions with isolated fixed points

Hamiltonian $S^1$-manifolds which are like a coadjoint orbit of $G_2$

Hamiltonian Circle Actions with Almost Minimal Isolated Fixed Points

Revisit Hamiltonian $S^1$-manifolds of dimension 6 with 4 fixed points

Equivariant cohomological rigidity for four-dimensional Hamiltonian $\mathbf{S^1}$-manifolds

Symmetries of exotic spheres via complex and quaternionic Mahowald invariants

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Classification of Hamiltonian $S^1$-actions on compact symplectic orbifolds with isolated cyclic singular points in dimension four

Geometric Quantization for Proper Actions

The S" fixed points in Quot-schemes

Symplectic torus actions on complete intersections

Circle action, lower bound of fixed points and characteristic numbers

Isolated hypersurface singularities, spectral invariants, and quantum cohomology

Hamiltonian Gromov–Witten Invariants on ℂ N +1 with S 1 -Action

Non-Hamiltonian actions with isolated fixed points

S-duality and the universal isometries of instanton corrected q-map spaces

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

On a symplectic quantum Howe duality

The homotopy fixed point sets of spheres actions on rational complexes