Eigenvalue estimate of the basic Dirac operator on a Kähler foliation (Q2489746)

The aim of this paper is to study the spectrum of the Dirac operator on Kähler spin foliations. On a compact Riemannian spin manifold of positive scalar curvature, \textit{Th. Friedrich} [Math. Nachr. 97, 117--146 (1980; Zbl 0462.53027)] gave an estimate for the first eigenvalue of the Dirac operator. The limiting case is characterized by the existence of a spinor field, called Killing spin or verifying an overdetermined differential equation. In 1984, \textit{O. Hijazi} [Opérateurs de Dirac sur les variétés riemanniennes: Minoration des valeurs propres, Thèse de 3ème cycle, Ecole Polytechnique (1984)] showed that Kähler manifolds cannot carry Killing spinors. Later, K. D. Kirchberg improved Friedrich's inequality on such manifolds by giving new estimates depending on the complex dimension. The limiting case is characterized by the existence of the Kählerian Killing spinor [(*) \textit{K.-D. Kirchberg}, Ann. Global Anal. Geom. 4, 291--325 (1986; Zbl 0629.53058); Math. Ann. 282, No. 1, 157--176 (1988; Zbl 0628.53061); (**) J. Geom. Phys. 7, No. 4, 449--468 (1990; Zbl 0734.53050); Math. Ann. 293, 349--369 (1992; Zbl 0735.53051); \textit{O. Hijazi}, Commun. Math. Phys. 160, No. 3, 563--579 (1994; Zbl 0794.53042)]. In this paper, S. D. Jung gives a Kirchberg type estimate in the case of Kähler foliations. First, he introduces some standard facts about Kähler spin foliations and defines the basic Dirac operator on the foliated spinor bundle. He then establishes a Lichnerowicz type formula with some assumptions on the mean curvature of the foliation. We point out that this equality is true without any condition on the mean curvature [(***) \textit{G. Habib}, J. Geom. Phys. 56, No. 2, 260--270 (2006; Zbl 1092.53038)]. Second, he defines the transversal Kählerian twistor operator as in [(**)] and shows after a very long computation that Kirchberg's estimate (odd dimension) is true. The key point in the proof is the control of a term depending on the mean curvature. He also discusses the limiting case. Finally, we notice that the same result is published in [\textit{S. D. Jung} and \textit{T. H. Kang}, J. Geom. Phys. 45, No. 1--2, 75--90 (2003; Zbl 1027.53051)] using a modified connection, as in [(*)]. Moreover, a natural proof is established in [(***)], adapted from the one in [\textit{J. P. Bourguignon}, \textit{O. Hijazi}, \textit{J. L. Milhorat} and \textit{A. Moroianu}, A spinorial approach to Riemannian and conformal geometry (in preparation)], where the author controls the term in question and shows that Kirchberg estimates are true in any dimension.