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.

An example concerning Hamiltonian groups of self product, I

An example concerning Hamiltonian groups of self product, II

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

Special Hamiltonian $S^1$-actions on symplectic 4-manifolds

Sum of Hamiltonian manifolds

Complexity one Hamiltonian SU(2) and SO(3) actions

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

Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

Essential loops in completions of Hamiltonian groups

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

The fundamental groups of presymplectic Hamiltonian G-manifolds

A symplectic Hilbert-Smith conjecture

A proof of the Hamiltonian Thom Isotopy Lemma

Symplectic slice for subgroup actions

A quasi-isometric embedding into the group of Hamiltonian diffeomorphisms with Hofer's metric

Simple examples of distinct Liouville-type symplectic structures

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

Lie-Hamilton systems associated with the symplectic Lie algebra $\mathfrak{sp}(6, \mathbb{R})$

On a symplectic generalization of a Hirzebruch problem

On semifree symplectic circle actions with isolated fixed points