Contact toric manifolds (Q2386901): Difference between revisions

A contact toric manifold is a triple \((M,\xi,\tau)\), where \(M\) is a \((2n- 1)\)-dimensional manifold, \(\xi\) a contact structure of \(M\) and \(\tau: \mathbb T^n\times M\to M\) an effective action of a torus \(\mathbb T^n\) preserving \(\xi\). This notion was introduced in the proof of the Toth-Zelditch conjecture of the author and \textit{N. Shirokova} [Math. Res. Lett. 9, No. 1, 105--115 (2002; Zbl 1001.37046)]. In this paper, the following classification of compact connected toric \(G\)-manifolds \((M,\alpha, \Psi_\alpha: M\to{\mathfrak g}^*)\) is given: 1. If \(\dim M=3\) and the action of \(G= \mathbb T^2\) is free, then \(M\) is diffeomorphic to \(\mathbb T^3= S^1\times \mathbb T^2\). 2. If \(\dim M=3\) and the action of \(G= \mathbb T^2\) is not free, then \(M\) is diffeomorphic to a lens space. 3. If \(\dim M> 3\) and the action of \(G\) is free, then \(M\) is a principal \(G\)-bundle over a sphere \(S^d\), \(d= \dim G- 1\). 4. If \(\dim M> 3\) and the action of \(G\) is not free, then the moment cone of \((M,\alpha,\Psi_\alpha)\) is a good cone. Here, a rational polyhedral cone \(C= \bigcap^N_{i=1} \{\eta\in{\mathfrak g}^*\mid\langle\eta, v_i\rangle\geq 0\}\), \(v_i\in \mathbb Z_G\) is said to be good if the annihilator of a linear span of a codimension \(k\) space, \(0< k< \dim G\), is the Lie algebra of a subtorus \(H\) of \(G\) and the normals to the faces form a basis of the integral lattice \(\mathbb Z_H\) of \(H\) (theorem 2.18 and definition 2.17). More detailed descriptions of contact structures are also given in each case. It is also noted that in case 3, since principal \(n\)-torus bundles over a manifold is classified by the second cohomology group with coefficients in \(\mathbb Z^n\), the only interesting case occurs when \(\dim G= 3\). In this case, corresponding contact manifolds were first constructed by \textit{R. Lutz} [Ann. Inst. Fourier 29, 283--306 (1979; Zbl 0379.53011)]. To prove the classification, pre-isotropic embeddings of contact manifolds are defined (definition 3.1). Its uniqueness (theorem 3.5) is a consequence of the equivariant relative Darboux theorem (theorem 3.6). Then symplectic slice and symplectic slice representation are defined (definition 3.8) and an equivariant version of the tubular neighborhood for pre-isotropic embeddings are given. The local normal form theorem for a contact moment map in a neighborhood of a pre-isotropic orbit is also given (theorem 3.15). In \S4, convexity of images and connectedness of the fibres of contact moment maps are proved (theorem 4.2). These results are applied to contact toric \(G\)-manifolds and a condition for two contact toric \(G\)-manifolds to be locally isomorphic is obtained (definition 4.8, lemma 4.9). The author remarks that most of the results in \S3 and \S4 are obtained in [\textit{A. Banyaga} and \textit{P. Molino}, Géométrie des formes de contact complèment intégrables de type torique, Sémin. Gaston Darboux, Montpellier 1991--1992, 1--25 (1993; Zbl 0783.58021)] and [Complete integrability in contact geometry, Penn preprint PM (1996)]. In \S5, compact connected contact toric \(G\)-manifolds are shown to be classified by \(H^1(M/G,{\mathcal S})\), where \({\mathcal S}\) is a sheaf of groups on \(M/G\), and shown that there is an isomorphism \[ \begin{aligned} H^1(M/G,{\mathcal S}) &\cong H^2(M/G,\underline{\mathbb Z}_G),\\ \mathbb Z_G &= \ker\{\exp:{\mathfrak g}\to G\},\quad \underline{\mathbb Z}_G= C^\infty(\pi^{-1}(U), \mathbb Z_G)^G.\end{aligned} \] Here \(\pi: M\to M/G\) is the projection (proposition 5.2, corollary 5.4). Then the classification theorem is proved in \S6. As applications of the classification theorem, uniqueness of the effective contact action of the \(n\)-torus \(\mathbb T^2\) on the cosphere bundle \({\mathcal S}(\mathbb T^*\mathbb T^n)\) and effective contact action of \(\mathbb T^2\) on \({\mathcal S}(\mathbb T^*S^2)\) (theorem 1.3. theorem 1.5) are proved in \S7. In the introduction, the history of the proof of the Toth-Zelditch conjecture (theorem of Lerman-Shirokova) is described which asserts that a toric integrable metric \(g\) on a torus \(\mathbb T^n\) is flat (theorem 1.1). It explains why the notion contact toric manifold is introduced. The author remarks that the classification of toric integrable metrics is open even for the 2-sphere. A classification theorem is described in \S2 together with explanations of necessary definitions.