Cohomogeneity one Einstein-Sasaki 5-manifolds (Q2472475): Difference between revisions

The author studies 5-dimensional Riemannian manifolds \((M,g)\) admitting an Einstein-Sasakian \(SU(2)\) structure with a cohomogeneity one action of a group \(Iso(M)\) of isometries of \(M\). He proves that a simply connected Einstein-Sasaki 5-manifold of cohomogeneity one admits a group \(G=SU(2)\times U(1)\subset Iso(M)\) of isometries acting with cohomogeneity one and preserving the Einstein-Sasakian \(U(2)\) structure. The principal stabilizer \(K\) of the action of \(G\) is a finite subgroup of the maximal torus \(T^2\subset G\). The principal orbit of \(G\) is a \(4\)-dimensional hypersurface in \(M\). The orbit space \(M\slash G\) is a closed interval \(I=[t_-,t_+]\). The author proves that each principal orbit is tangent to the characteristic vector field \(\xi\) of the Sasakian manifold \(M\). Let \(p:M\rightarrow M\slash G\) be a natural projection, then \(U=p^{-1}(t_-,t_+)\) is an open and dense subset of \(M\). The vector field \(X\) normal to every principal orbit and compatible with the orientation is well defined in \(U\) and satisfies the condition \(\nabla_XX=0\) and \(\alpha(X)=0\) where \(\alpha\) is a contact form. The map \(\iota_{t}(x)=\exp_x(tX)\) maps a principal orbit \(N\) onto the principal orbit \(\iota_t(N)\) and we have \(\alpha(X)\circ \iota_t=\alpha(X)\circ \iota_0\). The author proves that a hypersurface \(N\) in a 5-contact manifold satisfying \(\alpha(X)_{|N}=0\) admits a one parameter family of \(\{Id\}\)-structures \((\eta^0(t),\dots,\eta^3(t))\) such that \(M\) is locally \(N\times(t_-,t_+)\) with an \(SU(2)\) structure determined by the \(\{Id\}\)-structure and gives the condition on it implied by the Einstein-Sasakian condition. On the other hand, given a 4-dimensional manifold \(N\) with an \(\{Id\}\)-structure, using an evolution equation, the author gives necessary and sufficient conditions for the induced \(SU(2)\) structure on \(N\times(t_-,t_+)\) to be Einstein-Sasakian. Then the author constructs the appropriate invariant \(\{Id\}\)-structure on the Lie group \(G=SU(2)\times U(1)\) and solves the evolution equation on \(G\). The non-compact cohomogeneity one Einstein-Sasakian manifold corresponding to \(U\) is obtained as \(G\times(t_-,t_+)\). Next, the author extends the obtained Einstein-Sasakian metric and \(SU(2)\) structure to the special orbits corresponding to the ends \(\{t_-,t_+\}\) of the interval \(I\) imposing on the functions involved special conditions at \(t=t_-\) and \(t=t_+\). Finally the author proves that the only simply connected, compact Einstein-Sasaki 5 manifolds on which the group of isometries acts with cohomogeneity one are the recently discovered spaces \(Y^{p,q}\) diffeomorphic to \(S^2\times S^3\) which are given by his construction.