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.

The second Johnson homomorphism and the second rational cohomology of the Johnson kernel

On the structures of the Johnson cokernels of the basis-conjugating automorphism groups of free groups

A solvable extended logarithm of the Johnson homomorphism

A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics

The cohomological dimension of the terms of the Johnson filtration

Hurewicz Images of Real Bordism Theory and Real Johnson-Wilson Theories

Kohn–Rossi cohomology of spherical CR manifolds

Johnson graphs as slices of a hypercube and an algebra homomorphism from the universal Racah algebra into $U(\mathfrak{sl}_2)$

Kohn-Rossi cohomology of spherical CR manifolds

Kuranishi homology and Kuranishi cohomology: a User's Guide

Top-degree rational cohomology in the symplectic group of a number ring

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Towards topological Hochschild homology of Johnson-Wilson spectra

Some rational homology computations for diffeomorphisms of odd-dimensional manifolds

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Some rational homology computations for diffeomorphisms of odd‐dimensional manifolds

On the cohomology of Torelli groups. II

On kernels of homological representations of mapping class groups

Cohomological relation between Jacobi forms and skew-holomorphic Jacobi forms

Cohomologies of Unipotent Harmonic Bundles over Quasi-Projective Varieties I: the Case of Noncompact Curves

Second cohomology groups and finite covers