Me gustaría resolver el siguiente problema (viene de Morris W. Hirsh, Differential Topology, es el ejercicio 6 de la sección 4 del capítulo 1):
Demuestra que hay un mapa $C^\infty$ $f:D^3\to D^2$ con $0\in D^2$ como un valor regular tal que $f^{-1}(\lbrace0\rbrace)$ es una curva enredada (como en la imagen a continuación).
He estado pensando en este problema por un tiempo pero aún no tengo respuesta. Hasta ahora esto es lo que se me ha ocurrido: si no hubiera un nudo en la figura y quisiéramos que $f^{-1}(\lbrace0\rbrace)$ fuera una línea recta del polo norte al polo sur, entonces $f$ existe, podemos tomar $f$ como la proyección ortogonal en $(z=0)$. Si lo hacemos así, podríamos precomponer $f$ con un difeomorfismo de $D^3$ llevando la línea recta al nudo en la figura, lo que daría la respuesta. Pero estoy bastante seguro de que un difeomorfismo de ese tipo no existe (el grupo fundamental del complemento de ambos caminos no es isomorfo), y es lo que hace que este ejercicio sea difícil.
He estado pensando en mover el camino para obtener un mejor punto de vista, pero no tuve éxito.
Realmente me intriga esta pregunta, me gusta mucho porque no parece correcta. No estoy buscando una respuesta completa (todavía), solo me gustaría una pista para sentir cómo alguien debería abordar este problema. Gracias de antemano por tu ayuda.
Edición: Según lo sugerido por Laz en los comentarios, podría haber una respuesta a este problema que involucre técnicas como en este post. La idea sería construir $f$ con coeficientes polinomiales. Volví a leer la introducción del libro y esto es lo que M.W.Hirsh dice: "Los ejercicios más desafiantes están marcados con estrellas, al igual que aquellos que requieren topología algebraica u otros temas avanzados." (Este es un ejercicio de una estrella).
Entonces tal vez M.W.Hirsh pensó en una solución que involucra ecuaciones polinomiales, etc., pero debo admitir que estaría un poco decepcionado en ese caso, esperaba que hubiera una solución que involucrara topología diferencial. Por ejemplo, tenía la siguiente idea: tomar un vecindario tubular de la curva $K$, que se ve como $I\times D^2$, y definir $f$ en este vecindario como la proyección del segundo factor. Podríamos intentar extender $f$ a $D^3$ (pero no veo cómo).
De todos modos, en este punto cualquier tipo de respuesta (involucrando topología diferencial o no) sería muy apreciada.
Edición 2: Muchas gracias a HerrWarum por la recompensa.