A spinorial characterization of hyperspheres

DOI10.1007/S00526-012-0560-XMaRDI QIDQ376613zbMATH OpenOpenAlexWikidataFDO

Authors Oussama Hijazi, Sebastián Montiel

Publication date 5 November 2013

Published in Calculus of Variations and Partial Differential Equations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00526-012-0560-x

Bär inequality Dirac operator first eigenvalue spin geometry spinor field

Spin and Spin({}^c) geometry (53C27) Global submanifolds (53C40) Applications of global differential geometry to the sciences (53C80) Specialized structures on manifolds (spin manifolds, framed manifolds, etc.) (57R15) Spectral problems; spectral geometry; scattering theory on manifolds (58J50)

Review text

Let \(M\) be a compact orientable \(n\)-dimensional hypersurface, with nowhere vanishing mean curvature \(H\), immersed in a Riemannian spin manifold \(\overline M\) admitting a non-trivial parallel spinor field. It is well known that \(M\) inherits an induced spin structure and so we shall have also on \(M\) the spinor bundle and the Dirac operator \(D_M\). The restriction \({\mathbb{S}\llap{/\kern1pt}M}\) of the spinor bundle of the spin manifold \(\overline M\) to \(M\) and its Dirac-type operator \({D\llap{/\kern2pt}}\) can be compared with the intrinsic spinor bundle of the induced spin structure of \(M\) and its Dirac operator \(D_M\). A well-known result about eigenspinors of \({D\llap{/\kern2pt}}\) states that if \(\psi\) is a parallel spinor field on \(\overline M\), then its restriction \(\psi\in\Gamma({\mathbb{S}\llap{/\kern1pt}M})\) satisfies \({D\llap{/\kern2pt}}\psi=\frac n2H\psi\). If \(H\) is constant, then \(\frac n2H\) belongs to the spectrum of \({D\llap{/\kern2pt}}\), hence \(\lambda_1({D\llap{/\kern2pt}})\leq\frac n2|H|\). Let \(\mathbb{S}\llap{/\kern1pt}^HM\equiv {\mathbb{S}\llap{/\kern1pt}M}\) be the spin bundle corresponding to the conformal metric \(\left<\,,\right>^H=H^2\left<\,,\right>\) and the same spin structure, and let \({D\llap{/\kern2pt}}^H\) denote its associated Dirac operator. The authors show that if \(H>0\) (after a suitable choice of the unit normal) and if \(\psi^H\) is the spinor field \(H^{-\frac{n-1}2}\psi\in\Gamma({\mathbb{S}\llap{/\kern1pt}M})\), then \({D\llap{/\kern2pt}}^H\psi^H=\frac n2\psi^H\). As a consequence, \(\lambda_1({D\llap{/\kern2pt}}^H)\leq\frac n2\). In the fifth section the authors study hypersurfaces \(M\subset\overline M\) having \(\frac n2\) as a critical eigenvalue of \({D\llap{/\kern2pt}}^H\) and show the following result. Suppose that the scalar curvature \(\overline R\) of \(\overline M\) is non-negative and that \(H\) is positive (with respect to a suitable choice of the normal). If \(\frac n2=\lambda_k({D\llap{/\kern2pt}}^H)\) belongs to the spectrum of \({D\llap{/\kern2pt}}^H\) and is critical for all variations of the hypersurface \(M\), then \(\overline R\equiv 0\) on \(M\) and \(\nabla\psi=0\) for any spinor field \(\psi\) on \(M\) satisfying \({D\llap{/\kern2pt}}\psi=\frac n2H\psi\). The paper ends with two main results: Let \(M\subset{\mathbb R}^{n+1}\) be a compact Euclidean hypersurface with constant mean curvature \(H\), so that \(\pm\frac n2H\) are eigenvalues of \(D_M\). If the multiplicity of any of them satisfies \(\text{mult}_{D_M}(\pm\frac n2H)<2^{[\frac n2]+1}\), then one has exactly \(\text{mult}_{D_M}(\pm\frac n2H)=2^{[\frac n2]}\) for both of them and \(M\) must be a round hypersphere (Theorem 3). As a consequence, the authors prove in Theorem 4 that round hyperspheres are the only hypersurfaces of the Euclidean space satisfying the equality in the Bär inequality \[ \lambda_1(D_M)^2\leq\frac{n^2}{4\text{vol}(M)}\int_MH^2 dV. \] That is, the only compact constant mean curvature hypersurfaces of the Euclidean space immersed by first eigenspinors are hyperspheres.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: A spinorial characterization of hyperspheres

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q376613)