Compact six-dimensional Kähler spin manifolds of positive scalar curvature with the smallest possible first eigenvalue of the Dirac operator (Q1093190): Difference between revisions

We prove the following Theorem: Let \(M^ 6\) be a closed Kähler spin manifold of positive scalar curvature R for which the number \(\sqrt{R_ 0/3}\) \((R_ 0:=\min (R))\) is an eigenvalue of the Dirac operator D. Then \(M^ 6\) is analytically isometric either to the projective space \(P^ 3({\mathbb{C}})\) or to the flag manifold \(F({\mathbb{C}}^ 3)\) with respect to the natural Kähler structures on these spaces. The main step in the proof of this theorem is to prove that each non trivial solution \(\psi\) of the equation \(D\psi =\sqrt{R_ 0/3}\cdot \psi\) determines a foliation of \(M^ 6\) such that any leaf \(F\subset M^ 6\) of this foliation is a 2-dimensional totally geodesic Kähler submanifold isometric to a sphere of radius \(\sqrt{12/R_ 0}\). The corresponding manifold of leaves \(N^ 4\) is a compact self-dual Einstein space of scalar curvature \(R_ 0\). Moreover, an antiholomorphic isometric involution of \(M^ 6\) is constructed which preserves leaves. In this situation the proof is completed using a well-known result of \textit{T. Friedrich}, \textit{H. Kurke} and \textit{N. Hitchin}. In particular it follows that \(M^ 6\) is the twistor space of \(N^ 4\), where \(N^ 4\) is isometric either to \(S^ 4\) or to \(P^ 2({\mathbb{C}})\).