Integral curvature and topological obstructions for submanifolds (Q376281)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Integral curvature and topological obstructions for submanifolds |
scientific article |
Statements
Integral curvature and topological obstructions for submanifolds (English)
0 references
4 November 2013
0 references
The author provides integral curvature bounds for compact Riemannian manifolds that allow isometric immersions into an Euclidean space with low codimension in terms of the Betti numbers. In [J. Geom. Anal. 7, No. 3, 377--386 (1997; Zbl 0960.53022)], \textit{K. Shiohama} and \textit{H. Xu} proposed the following problem: If \((M^n, g)\) is a compact \(n\)-dimensional Riemannian manifold which can be isometrically immersed into \({\mathbb R}^{2n-1}\) such that the \(L^{n/2}\)-norm of \(R - \frac{S}{n(n-1)}R_1\) is sufficiently small, then \(M\) is homeomorphic to the sphere \(S^n\). Here \(R\) and \(S\) denote respectively the curvature tensor and the scalar curvature, and \(R_1 = -\frac{1}{2} g\bullet g\), where \(\bullet\) is the Kulkarni-Nomizu product. The author affirmatively answers this problem in low codimension \(\geq 2\). He proves that, given \(n \geq 4\), \(k \in\mathbb R\) and \(\lambda>0\), there exists \(\epsilon = \epsilon(n, k, \lambda) >0\) such that if \((M^n, g)\) is a compact Riemannian \(n\)-manifold that admits an isometric immersion in \(\mathbb R^{n+p}\), \(2 \leq p \leq n/2\), so that the scalar curvature and the second fundamental form \(A\) satisfy \(| S|\geq\lambda\| A\|^2\), then \[ \int_M \| R-kR_1\|^{n/2} \, dv_g \geq \epsilon I, \] where \(I = \sum_{i=p}^{n-p} \beta_i\) if \(k >0\) and \(I=\sum_{i=0}^p \beta_i\) if \(k \leq 0\), and \(\beta_i\) is the \(i\)th Betti number of \(M^n\). Furthermore, the author shows that if \(k >0\) and \[ \int_M \| R - k R_1\|^{n/2} \, dv_g<\epsilon, \] then \(M^n\) has the homotopy type of a CW-complex with no cells of dimension \(i\) for \(p\leq i\leq n-p\), and if \(k \leq 0\) and \[ \int_M \| R - k R_1\|^{n/2} \, dv_g < 3\epsilon, \] then \(M^n\) is homeomorphic to the sphere \(S^n\). The author also shows that the same property holds when replacing \(k R_1\) by \(R - \frac{S}{n(n-1)}R_1\) if the scalar curvature \(S\) is non-positive.
0 references
Betti numbers
0 references
flat bilinear forms
0 references
isometric immersion
0 references
scalar curvature
0 references
second fundamental form
0 references
\(L^{n/2}\)-norm of curvature
0 references
0 references