An elementary approach to gap theorems (Q841199)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An elementary approach to gap theorems |
scientific article |
Statements
An elementary approach to gap theorems (English)
0 references
14 September 2009
0 references
The author states two rigidity theorems, applying a simple technique based on relative volume comparison for distance spheres. More precisely, let \((M, g)\) be a complete, simply connected Riemannian manifold, with \(\dim M =n\geq 3\). Assume the existence of a smooth real function \(s\) such that the sectional curvatures satisfy \(-1 -s(r)\leq K\leq -1\), \(r\) denoting the distance to a fixed point in \(M\). If \(\lim_{r\to\infty} e^{2r}s(r)= 0\), then \((M, g)\) is isometric to the hyperbolic space \(\mathbb{H}^n\). This result complements a recent theorem of Tian and Shi, which implies rigidity for \(K\geq -1\). In fact, the just mentioned authors consider a complete, simply connected Riemannian manifold \((M, g)\) with \(\dim M= n\geq 3\), non-positive sectional curvatures and \(\text{Ricci}\geq-(n- 1)\). Then, the existence of a constant \(a> 2\) such that \(|k+ 1|= O(e^{-ar})\), as \(r\to\infty\), implies that \((M, g)\) is isometric to \(\mathbb{H}^n\). The second theorem stated in this paper is a local one. Let \((M, g)\) be a Riemannian manifold of dimension \(n\geq 3\). Given \(p\in M\), denote by \(B_p(R)\) the geodesic ball of radius \(R\) centered at \(p\). Assume the existence of a real number \(a\) such that the sectional curvatures satisfy \(K\leq a\) on \(B_p(R)\) and \(K= a\) on \(\partial B_p(R)\). Furthermore, if \(a> 0\), assume that \(R\leq\min\{{\pi\over 2\sqrt{a}},\text{inj}(p)\}\). Then, the equality \(K= a\) holds on \(B_p(R)\). This result fails if one assumes that \(K\geq a\) instead of \(K\leq a\). In fact, the author constructs a metric \(g\) on the ball \(B_0({\pi\over 2})\) in \(\mathbb{R}^n\) which has nonnegative sectional curvatures everywhere and determines \(c\), \(\varepsilon\in(0,{\pi\over 2})\) such that \(K= 0\) on \(\partial B_0(c+\varepsilon)\) and \(K= 1\) on \(B_0(c-\varepsilon)\).
0 references
Riemannian manifold
0 references
sectional curvature
0 references
volume comparison
0 references
hyperbolic space
0 references