Localization for \(K\)-contact manifolds (Q2336018)

If \(M\) is a smooth connected \((2n+1)\)-dimensional manifold, then a 1-form \(\alpha\) such that \(\alpha\wedge d\alpha\ne 0\) is called a contact form on \(M\) and a pair \((M,\alpha)\) is a contact manifold. On any such manifold, there is a distinguished vector field \(R\), called the Reeb vector field, which is uniquely determined by the two conditions \(\imath_R\alpha=0\) and \(\imath_Rd\alpha=0\). A Riemannian metric \(g\) on \(M\) is called a contact metric if \(g=g'\oplus(\alpha\otimes\alpha)\) under the decomposition \(TM\cong\ker\alpha\oplus\langle R\rangle\), where \(g'\) is a \(d\alpha\)-compatible metric on \(\ker\alpha\). \((M,\alpha,g)\) is called \(K\)-contact if \(g\) is a contact metric for which the Reeb vector field \(R\) is Killing, i.e., such that \(L_Rg=0\). The set \(\Omega^k(M,\mathcal{F})=\{\eta\in\Omega^k(M)\}\) such that \(L_X\eta=0=\imath_X\eta\) for all vector fields \(X\) which are tangent to the foliation is called the \(\mathcal{F}\)-basic forms on \(M\). The basic cohomology of \((M,\mathcal{F})\), denoted by \(H^*(M,\mathcal{F})\), is the cohomology of the complex \(\Omega(M,\mathcal{F})\) which is a subcomplex of the de Rham complex of \(M\). A compact connected contact manifold \((M,\alpha)\) of dimension \(2n+1\) has a natural foliation \(\mathcal{F}\) whose leaves are the orbits of the Reeb vector field \(R\). If \(R\) integrates to a free \(S^1\)-action, then the space of leaves \(M/\mathcal{F}\) is naturally a symplectic manifold of dimension \(2n\) and via the pull-back of the projection, differential forms on \(M/\mathcal{F}\) are identified with basic differential forms \(\Omega(M,\mathcal{F})\subset\Omega(M)\). If \(G\) is a torus acting on \(M\) and preserving \(\alpha\), then the action of \(G\) commutes with the flow of the Reeb vector field. If \(\mathfrak{g}\) is the Lie algebra of \(G\) and \(S(\mathfrak{g}^*)\) is the symmetric algebra of \(\mathfrak{g}^*\), then the complex \(\Omega_G(M,\mathcal{F})=(S(\mathfrak{g}^*)\otimes\Omega(M,\mathcal{F}))^G\) of equivariant basic forms is the subcomplex of \(\Omega_G(M)\) consisting of basic equivariant differential forms. The equivariant basic cohomology \(H_G(M,\mathcal{F})\) of \(M\) is the cohomology of this subcomplex. The contact moment map \(\mu:M\to\mathfrak{g}^*\) is defined by \(\langle\mu,\xi\rangle=\alpha(\xi_M)\), \(\{\varphi_t\}\) is the flow of \(R\) and \(T\) is its closure. The first result of this paper is an analogue of the Atiyah-Bott-Berline-Vergne localization formula. The authors prove that if a torus \(G\) acts on a \(K\)-contact manifold \(( M,\alpha)\) such that \(G\) preserves \(\alpha\), and the \(G\)-fixed points have closed Reeb orbits, then \[\int_M\alpha\wedge\eta=\sum\limits_{C_j\subseteq C}\int_{C_j}\frac{i^*_j(\alpha\wedge\eta)}{e_G(\nu C_j,\mathcal{F})}\] for all \(\eta\in H_G(M,\mathcal{F})\), where \(C=\text sf{Crit}\mu\), \(i_j:C_j\hookrightarrow M\) is the inclusion of the connected components \(C_j\subseteq C\), and \(e_G(\nu C_j,\mathcal{F})\) denotes the equivariant basic Euler class of the normal bundle to \(C_j\). The second main result is an application of the first one in the case when \(0\) is a regular value of the contact moment map \(\mu\) to obtain an integration formula relating integration of equivariant basic forms on \(M\) to integration of basic forms on \(M_0=\mu^{-1}(0)/G\). Finally, in the special case when \(M \to N\) is an equivariant Boothby-Wang fibration, the authors' formulas reduce to the usual ones for the symplectic manifold \(N\).