Un incrustamiento de una variedad o subespacio en el espacio euclidiano que no es ambientemente isotópico a ningún incrustamiento suave o PL, produciendo topología local patológica como vecindarios de tipo fractal o puntos no localmente planos.

Principio

Se llama embebido salvaje cuando la estructura del complemento o del vecindario local no puede enderezarse por una isotopía ambiente; la salvajidad surge de la acumulación de anudamientos o enlazamientos no triviales en escalas arbitrariamente pequeñas.

Demostración

La esfera con cuernos de Alexander en R3 es un ejemplo clásico: es una 2-esfera topológica incrustada de modo que su complemento no es simplemente conexo y no existe isotopía ambiente hacia la esfera estándar, por lo que es embebida salvajemente.

Aplicación incorrecta

Asumir que todo incrustamiento topológico en codimensión uno es equivalente a un incrustamiento suave; o usar invariantes diferenciables (como la curvatura) para detectar salvajidad, lo cual puede pasar por alto patologías puramente topológicas.

Consecuencia

Reconocer un embebido salvaje indica que la intuición geométrica local falla: invariantes que dependen de la planitud local (vecindarios tubulares, dualidad de Alexander en forma ingenua) pueden no aplicarse y se requieren técnicas topológicas especiales.

Inversión

El concepto inverso es el embebido tame (localmente plano), donde los vecindarios locales son estándar y el incrustamiento puede suavizarse o aproximarse por PL; invertir la salvajidad restaura la planitud local y la isotopía ambiente hacia modelos clásicos.

Límite

Se refiere a incrustamientos en codimensiones donde pueden ocurrir fenómenos patológicos (notablemente codimensión dos o uno en bajas dimensiones); excluye incrustamientos que admiten isotopías ambiente hacia modelos suaves o PL y excluye inmersiones puramente algebraicas sin problemas topológicos de incrustamiento.

Tensión semántica

Compite con la noción de un incrustamiento aparentemente patológico pero desenredable: algunos incrustamientos parecen salvajes pero admiten un desrame local por isotopías sutiles; la tensión está entre invariantes algebraicos detectables y obstrucciones topológicas finas.

Síntesis

Un embebido salvaje es un incrustamiento topológico cuyo vecindario o complemento resiste ser enderezado por isotopía ambiente, produciendo topología local patológica que lo distingue de los incrustamientos suaves o PL.