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

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\).