¿Es posible construir una incrustación $D^4\hookrightarrow S^2\times \mathbb R^2$ tal que la proyección $D^4\to S^2$ ¿es un mapa abierto?
Aquí $D^n$ denota que está cerrado $n$ - de la pelota.
Un mapa abierto D S². Es fácil construir una incrustación $D^3\hookrightarrow S^3$ tal que su composición con la fibra de Hopf $f_3:D^3\to S^2$ está abierto.
Componiendo $f_3$ con cualquier mapa abierto $D^4\to D^3$ , se obtiene un mapa abierto $f_4:D^4\to S^2$ .
El mapa $f_3$ no es una proyección de incrustación $D^3\hookrightarrow S^2\times\mathbb R$ . (Tenemos $f_3^{-1}(p)=S^1$ para algunos $p\in S^2$ y $S^1$ no se puede incrustar en $\mathbb R$ .)
Todavía no entiendo si se puede presentar $f_4$ como una proyección de una incrustación $D^4\hookrightarrow S^2\times\mathbb R^2$ .
0 votos
Relacionado: mathoverflow.net/questions/24748/
0 votos
@Ryan: El mapa inducido $S^3\to S^2$ es contráctil; en particular, no puede ser una fibra de Hopf.
11 votos
¿Conoces algún mapa abierto de $D^4$ a $S^2$ ?
0 votos
¿Cómo se construye esta incrustación de $D^3$ en $S^3$ ? El límite de la 2-esfera de $D^3$ no puede ser transversal a las fibras en todas partes, por lo que en algún punto debe ser tangente, y me parece que la composición no está abierta allí.
2 votos
@Bruno: simplemente toma una hemiesfera como tu $D^3$ . La composición de la inclusión $D^3 \to S^3$ con la fibración de Hopf $S^3 \to S^2$ es un mapa abierto en este caso.
0 votos
@Ryan: No estoy de acuerdo. Si "sólo tomas una hemiesfera como tu $D^3$ ", no es un mapa abierto (véase el argumento de Bruno).
3 votos
He aquí un inciso que puede ser instructivo: No hay ningún mapa abierto de $D^2$ a $S^1$ . La razón es que cada mapa $D^2\to S^1$ ascensores a $\mathbb R$ . Tome el punto en $D^2$ que realiza el máximo. El mapa no está abierto alrededor de ese punto. Moraleja: el argumento de la no existencia utiliza la teoría de Morse.
4 votos
@André: te equivocas, es un mapa abierto para cualquier disco de radio $\ge\pi/2$ en $S^3$ . el mapa de proyección $D^3\to S^2$ no puede ser abierta si la órbita es tangente al límite desde fuera, pero está bien que sea tangente desde dentro.
3 votos
Me corrijo.
1 votos
¡Es una gran pregunta! La reduzco a "si un mapa $S^3\to S^2$ es nulo-homotópico (es decir, se extiende a D^4), entonces ¿puede ser abierto?" Quizá habría que precisar la regularidad que se pide: ¿"mapa" significa continuo? o suave ( $C^\infty$ )? Digamos que "suave". ¿Admite ciertas hipótesis de generecidad? Un problema subyacente es que "abierto" es menos que "rango 2". He llegado a la siguiente pregunta preliminar. Tomemos un subconjunto abierto conectado $U\subset\R^n$ y un mapa abierto suave $f:U\to\R^n$ . ¿Puede el jacobiano de $f$ sea $>0$ en algún momento y $<0$ ¿en algún otro punto? (Sólo puedo responder para $n=1$ !)