Integral curvature and topological obstructions for submanifolds (Q376281)

From MaRDI portal
Revision as of 13:01, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
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
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references