Los resultados conocidos de unicidad dicen que una subvariedad embebida tiene una estructura suave única que la convierte en una subvariedad embebida con la topología del subespacio, y las subvariedades inmersas tienen una estructura suave única que las hace inmersas si tenemos una topología fija previa.
Esto parece implicar que hay una instancia de alguna subvariedad inmersa $S\subseteq M$ con una topología y estructura suave dada, donde es posible hacer que $S$ sea una subvariedad inmersa con una estructura suave diferente si también se nos permite dotarla de una topología diferente.
¿Existe un ejemplo conocido de tal subvariedad? Mi definición es la más estricta, que una variedad suave es la imagen de una inmersión inyectiva. Si no existe ningún ejemplo, no me importaría relajar la definición a ser solo la imagen de una inmersión.
0 votos
Hace mucho tiempo que he olvidado algunos de los términos aquí, pero mi suposición salvaje sería que solo necesitas considerar exótico $\mathbb{R}^4$. Existe un continuo de estructuras homeomórficas, no difeomórficas. O esferas exóticas.
0 votos
Sería útil si aclararas qué significa un "submáxnifol sumergido". Podría ser: 1) La imagen de una inmersión, 2) un submáxnifol topológico que es la imagen de una inmersión, 3) un submáxnifol suave que es la imagen de una inmersión (y tal vez algo completamente diferente). Además: ¿Qué quieres decir con "topología diferente"? ¿No es la topología de subespacio inducida por $M$?