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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compact six-dimensional Kähler spin manifolds of positive scalar curvature with the smallest possible first eigenvalue of the Dirac operator
scientific article

    Statements

    Compact six-dimensional Kähler spin manifolds of positive scalar curvature with the smallest possible first eigenvalue of the Dirac operator (English)
    0 references
    1988
    0 references
    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}})\).
    0 references
    Kähler spin manifold
    0 references
    positive scalar curvature
    0 references
    Dirac operator
    0 references
    projective space
    0 references
    flag manifold
    0 references
    foliation
    0 references
    twistor space
    0 references

    Identifiers