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.

Pushing down the Rumin complex to conformally symplectic quotients

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Sobolev mappings and the Rumin complex

The bigraded Rumin complex via differential forms

A simple construction of the Rumin algebra

On Rumin's Complex and Adiabatic Limits

Some notes on analytic torsion of the Rumin complex on contact manifolds

The microlocal Riemann-Hilbert correspondence for complex contact manifolds

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Deformation theory of five-dimensional CR structures and the Rumin complex

The sphere complex of a locally finite graph

Locally conformally symplectic deformation of Gromov non-squeezing

Existence of conformal symplectic foliations on closed manifolds

The Rumin complex on nilpotent Lie groups

Parabolic quasi-contact cone structures with an infinitesimal symmetry

Stability of the symplectomorphism group of rational surfaces

Subcomplexes on filtered Riemannian manifolds

Veering triangulations and transverse foliations

Harmonic forms and the Rumin complex on Sasakian manifolds

Non-isomorphic smooth compactifications of the moduli space of cubic surfaces

Compactifying String Topology