Basic Kirwan surjectivity for K-contact manifolds

DOI10.1007/S10455-017-9552-6MaRDI QIDQ2407993zbMATH OpenOpenAlexFDO

Publication date 9 October 2017

Published in Annals of Global Analysis and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.04374

basic Kirwan surjectivity equivariant basic cohomology K-contact manifolds moment map

Foliations (differential geometric aspects) (53C12) Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25) Contact manifolds (general theory) (53D10) Momentum maps; symplectic reduction (53D20) Global theory of symplectic and contact manifolds (53D35) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: We prove an analogue of Kirwan surjectivity in the setting of equivariant basic cohomology of K-contact manifolds. If the Reeb vector field induces a free

S^{1}

-action, the

S^{1}

-quotient is a symplectic manifold and our result reproduces Kirwan's surjectivity for these symplectic manifolds. We further prove a Tolman-Weitsman type description of the kernel of the basic Kirwan map for

S^{1}

-actions and show that torus actions on a K-contact manifold that preserve the contact form and admit 0 as a regular value of the contact moment map are equivariantly formal in the basic setting.

Review text

Kirwan surjectivity asserts that if \(\Psi\) is a moment map for a Hamiltonian action of a compact group \(G\) on a compact symplectic manifold \(N\) and \(0\) a regular value, then the Kirwan map \(H^*_G(N)\longrightarrow H^*_G(\Psi^{-1}(0))\) induced by inclusion is an epimorphism [\textit{F. C. Kirwan}, Cohomology of quotients in symplectic and algebraic geometry. Princeton, NJ: Princeton University Press (1984; Zbl 0553.14020)]. The purpose of the present paper is to give a modification of the Kirwan map for contact manifolds such that surjectivity holds. Let \(M\) be a contact manifold with contact form \(\alpha\) and Reeb vector field \(\xi\). Let \(\mathcal F\) denote the one-dimensional foliation induced by \(\xi\). A Riemannian metric \(g\) is said to be a \textit{contact metric} if (i) \(\text{ker}\, \alpha \perp_g \text{ker}\, d\alpha\), (ii) \(g|_{\text{ker}\, d\alpha}=\alpha\otimes\alpha\) and (iii) \(g|_{\text{ker}\,\alpha}\) is compatible with the symplectic form \(d\alpha\) on \(\text{ker}\, \alpha\). The contact metric structure is said to be \textit{K-contact} if the Reeb vector field is a Killing vector field. The main result of the paper is the following. Let \((M,\alpha)\) be a K-contact manifold and \(\xi\) its Reeb vector field. Let \(G\) be a torus that acts on \(M\) preserving \(\alpha\). Denote by \(\Psi:M\longrightarrow {\mathfrak g}^*\) the contact moment map and suppose that \(0\) is a regular value of \(\Psi\). Then the inclusion \(\Psi^{-1}(0)\subset M\) induces an epimorphism in equivariant basic cohomology \(H^*_G(M,{\mathcal F})\longrightarrow H^*_G(\Psi^{-1}(0), {\mathcal F})\). The paper gives extensive discussions of contact moment maps and equivariant basic cohomology leading up to the proof. The paper closes with examples, discussion of the kernel of the Kirwan map and equivariant formality.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Basic Kirwan surjectivity for K-contact manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407993)