Extremal Sasakian metrics on \(S^3\)-bundles over \(S^2\) (Q2428850)

In the paper under review the author proves the existence of extremal Sasakian metrics on \(S^{3}\)-bundles over \(S^{2}\). These occur in a collection of open sets that the author calls a bouquet. More specifically, the paper contains two main results which will be stated below as Theorem \(1\) and Theorem \(2\). Consider the toric symplectic manifold \(S^{2} \times S^{2}\) with symplectic form \(\omega_{k_{1},k_{2}} = k_{1} \omega_{1} + k_{2} \omega_{2}\) on \(S^{2} \times S^{2}\) where \((k_{1},k_{2})\) are relatively prime integers satisfying \(k_{1} \geq k_{2}\), and \(\omega_{1} (\omega_{2})\) is the standard symplectic form on the first (second) factor, respectively. Let \(\pi : M \rightarrow S^{2} \times S^{2}\) be the circle bundle corresponding to the cohomology class \([\omega_{k_{1},k_{2}}] \in H^{2} (M, \mathbb{Z})\). \(M\) is diffeomorphic to \(S^{2} \times S^{3}\) for each such pair \((k_{1},k_{2})\). By the Boothby-Wang construction one obtains a contact structure \(\mathcal{D}_{k_{1},k_{2}}\) on \(M\) by choosing a connection \(1\)-form \(\eta_{k_{1},k_{2}}\) such that \(\pi^{*}\omega_{k_{1},k_{2}} = d \eta_{k_{1},k_{2}}\). Theorem 1. Let \(M = S^{2} \times S^{3}\) be endowed with the contact structure \(\mathcal{D}_{k_{1},k_{2}}\) described above. Let \(N = \left[ \frac{k_{1}}{k_{2}}\right]\) denote the smallest integer greater than or equal to \(\frac{k_{1}}{k_{2}}\). Then, for each pair \((k_{1},k_{2})\) of relatively prime integers satisfying \(k_{1} \geq k_{2}\), there is an extremal \(N\)-bouquet \(\mathfrak{E}\mathfrak{B}_{N} (\mathcal{D}_{k_{1},k_{2}})\) of toric Sasakian structures associated to the contact structure \(\mathcal{D}_{k_{1},k_{2}}\) on \(S^{2} \times S^{3}\), and all cones of the bouquet have dimension three. Furthermore, the extremal Sasakian structure corresponding to the contact \(1\)-form \(\eta_{k_{1},k_{2}}\) has constant scalar curvature if and only if the transverse complex structure is that induced by the product complex structure on the base \(S^{2} \times S^{2}\). Theorem 2. Let \(M\) be the circle bundle over \(\widetilde{\mathbb{C}\mathbb{P}}^{2}\) with contact structure \(\widetilde{\mathcal{D}}_{l,e}\) and let \(N = \left[ \frac{e}{l-e} \right]\). Then for each pair \((l,e)\) of relatively prime integers satisfying \(l > e \geq 1\), there is an extremal \(N\)-bouquet \(\mathfrak{E}\mathfrak{B}_{N} (\widetilde{\mathcal{D}}_{l,e})\) of toric Sasakian structures associated to the contact structure \(\widetilde{\mathcal{D}}_{l,e}\), and the cones of the bouquet all have dimension three. Furthermore, if \(l\) is even then \(M = S^{2} \times S^{3}\), whereas, if \(l\) is odd then \(M = X_{\infty}\) and in either case the extremal Sasakian structure corresponding to the contact \(1\)-form \(\eta_{l,e}\) does not have contact scalar curvature.