The Bochner technique and modification of the Ricci tensor (Q735013)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Bochner technique and modification of the Ricci tensor
scientific article

    Statements

    The Bochner technique and modification of the Ricci tensor (English)
    0 references
    0 references
    14 October 2009
    0 references
    Let \((M,g)\) be a closed oriented connected Riemannian manifold of dimension \(n\). The author generalizes the vanishing theorems of Bochner by using a modified Ricci tensor. He shows the following Theorem. Suppose \(M\) admits a positive smooth function \(u\) with \[ \text{Ric}-\kappa \operatorname{Hess}(u)/u+(k-1)(\Delta u)g/(2u)\geq 0.\tag{\(*\)} \] {\parindent=6,5mm \begin{itemize}\item[(1)] Every harmonic vector is parallel. \item[(2)] If \((*)\) is strictly positive at the point of \(M\) giving the minimum value of \(u\) and if \(0\leq\kappa\leq 1\), then there is no nontrivial harmonic vector field. \item[(3)] If \(u\) is non-constant and if \(\kappa=0\), there is a negative constant \(\gamma\) such that \(\text{Ric}\geq\gamma\). \end{itemize}} Theorem. Suppose \(M\) admits a smooth positive smooth function \(u\) with \[ \text{Ric}-\kappa \operatorname{Hess}(u)/u-(k-1)(\Delta u)g/(2u)\leq 0.\tag{\(**\)} \] {\parindent=6,5mm \begin{itemize}\item[(1)] Every Killing vector field is parallel. \item[(2)] If \((**)\) is strictly negative at the point of \(M\) giving the minimum value of \(u\) and if \(\kappa\leq0\), then there is no nontrivial Killing vector field. \item[(3)] If \((**)\) is strictly negative at the point of \(M\) giving the maximum value of \(u\) and if \(\kappa\geq1\), then there is no nontrivial Killing vector field. \item[(4)] If \(u\) is non-constant and if \(\kappa=0\), there is a positive constant \(\beta\) such that \(\text{Ric}\leq\beta\). \end{itemize}} There is also a result concerning the first non-zero eigenvalue of the Laplace operator \(\Delta\) on \(M\) which generalizes an estimate of Lichnerowicz: Theorem. Let \((M,g)\) be a closed, oriented, connected Riemannian manifold of dimension \(n\geq2\) and let \(f\in C^\infty(M)\) be an eigenfunction corresponding to the first nonzero eigenvalue \(\lambda\) of \(\Delta\). Suppose \(M\) admits a smooth positive smooth function \(u\) with \[ \text{Ric}-\kappa \operatorname{Hess}(u)/u+(k-1)(\Delta u)g/(2u)\geq H>0.\tag{\(***\)} \] (1) If \(\kappa\geq-1/n\), then \(\lambda\geq H/(1+\kappa)\). (2) If \(g(\nabla u,\nabla f)=0\), then \(\lambda\geq nH/(n-1)\).
    0 references
    0 references
    Bochner technique
    0 references
    modification of the Ricci tensor
    0 references
    vanishing theorems
    0 references
    eigenvalue estimate
    0 references
    Laplace operator
    0 references
    Bakry-Emery tensor
    0 references
    Lichnerowicz estimate
    0 references
    0 references