9
$\begingroup$

I asked this question some time ago in MSE, but obtained no answer. Maybe this is the right place to post it.

Let $f : M^n \to \overline{M}^{n+k}$ be an immersion between smooth manifolds. Is it true that there exists a smooth map $F : M \times [0,1] \to \overline{M}$ such that the following conditions hold?

  1. $F_0 = f$;
  2. $F_t : M \to \overline{M}$ is an immersion for every $t \in [0,1]$;
  3. $F_1(M)$ has only transverse self-intersections.

(Here, $F_t(p) = F(p,t)$ for every $(p,t) \in M \times [0,1]$.)

If this does not hold in this full generality, is it true for hypersurfaces ($k=1$)? For $\overline{M} = \mathbb{R}^{n+k}$?

$\endgroup$
1

1 Answer 1

1
$\begingroup$

The statement follows easily from Sard's lemma.

Suppose $k=\dim N-\dim N$. Cover $M$ by a countable collection of charts $s_i\:U_i\to M$ such that $f\circ s_i$ extends to embeddings $U_i\times \mathbb{R}^k\to N$. Applying Srad's lemma you can remove bad self-intersection from each chart. Combining these perturbations you get the result. One has to be bit careful not to make new bad self-intersection, but is can be easily achieved by making smaller-and-smaller perturbations in each chart.

The proof is very similar to Thom transversality theorem, and I am sure it is well known to someone.

$\endgroup$
2
  • $\begingroup$ Is it following by the same argument that these intersections can be taken to be double points? $\endgroup$
    – warzasch
    Jan 18 at 12:31
  • $\begingroup$ @warzasch sure $ $ $ $ $ $ $ $ $ $ $\endgroup$ Jan 19 at 3:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.