Isotropic \(C^1\)-immersions in a pseudo-Riemannian manifold (Q2489747)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Isotropic \(C^1\)-immersions in a pseudo-Riemannian manifold
scientific article

    Statements

    Isotropic \(C^1\)-immersions in a pseudo-Riemannian manifold (English)
    0 references
    0 references
    0 references
    28 April 2006
    0 references
    Let \(V\) be a manifold and \((W,h)\) a pseudo-Riemannian manifold. A \(C^1\)-immersion \(f:V\to (W, h)\) is said to be isotropic if \(f^*(h)=0\). \textit{J. Nash} [Ann. Math. (3) 60, 383--396 (1954; Zbl 0058.37703)] dealt with the case of \(\dim V < \dim W\), showing that if there exists a strictly short \(C^\infty\)*-immersion \(f:V\to W\); then \(f_0\) can be homotoped to an isotropic \(C^1\)-immersion \(f:(V,g)\to (W,h)\). In this paper it is tried to extend this statement to sections of a bundle \(E\) over \(V\), where the total space \(E\) is endowed with a pseudo-Riemannian metric \(h\) of signature \((r_+,r_-)\), for \(r_+\geq\dim V\) and \(r_-\geq \dim V+1\). Considering a section \(f_0: V\to E\) that induces a Riemannian metric \(g=f^*_0 h\) on \(V\), the author investigates the conditions of homotoping \(f_0\) to an isotropic immersion. He proceeds as in the case of the so-called convex integration of Gromov. First, he defines a surjection map \(p\:(E,h)\to V\) to be negative if \(h|_{p^{-1}(v)}\), \(v\in V\) is negative. Let \(\eta\) be the subbundle of TE defined by \(\eta_e=T_e\) \((p^{-1}(x))\) where \(x=p(e)\), \(e\in E\). A section \(f\: V\to E\) is said to be coinjective if \(p_2\circ df\: TV\to TE\) is a bundle monomorphism over \(f\) where \(p_2\) denotes the orthogonal projection of TE onto \(\eta\). Then he proves as main theorem the following: Let \(h\) be a pseudo-Riemannian metric on \(E\) with signature \((r_+,r_-)\) with \(r_+=\dim V\) and \(r_->\dim V\). Suppose that \(p\: E\to V\) is negative and let \(f_0:V\to (E,h)\) be a positive coinjective section. Then there is a \(C^0\)-homotopy of coinjective section \(f_t\), \(0\leq t\leq i\) connecting \(f_0\) to an isotropic section \(f_1\).
    0 references
    pseudo-Riemannian manifold
    0 references
    isotropic immersion
    0 references
    global differential geometry
    0 references
    global topological methods à la Gromov
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers