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.
We prove an analogue of the Atiyah-Bott-Berline-Vergne localization formula in the setting of equivariant basic cohomology of K-contact manifolds. As a consequence, we deduce analogues of Witten's nonabelian localization and the Jeffrey-Kirwan residue formula, which relate equivariant basic integrals on a contact manifold M to basic integrals on the contact quotient M 0 := µ −1 (0)/G, where µ denotes the contact moment map for the action of a torus G. In the special case that M → N is an equivariant Boothby-Wang fibration, our formulae reduce to the usual ones for the symplectic manifold N . ContentsRemark 1.5. In §5.1 we explain in detail how Theorems 1.1 and 1.4 may be used to deduce the analogous theorems for symplectic manifolds that occur as M/F in the case that R induces a free S 1 -action. In this sense, these theorems provide a strict generalization of their symplectic analogues, at least in the case of an integral symplectic form and a Hamiltonian group action that lifts to the S 1 -bundle in the Boothby-Wang fibration [BW58].Remark 1.6. The first named author has obtained a surjectivity result for the basic contact Kirwan map [Cas17]. Since basic cohomology satisfies Poincaré duality (see Lemma 2.3), Theorem 1.4 in principle provides a method to compute the kernel of theProposition 4.3. The distribution Q η (y) may be represented by a piecewise polynomial function.As in the proof of Lemma 4.2, the previous equation becomesRecall that the local normal form of the moment map is given by µ(p, z) = z. Then, for sufficiently small y, δ(−µ − y) is supported away from S h and it follows that ∆ = 0. This means that, for sufficiently small y, Q η (y) = 1 (2π) s/2 g µ −1 (0)×B h α ∧ π * q * η 0 ∧ e idα+i −µ−y,φ dφ = (2π) s/2 µ −1 (0)×B h α ∧ π * q * η 0 ∧ e idα δ(−µ − y)
No abstract
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.