Eine Einbettung einer Mannigfaltigkeit oder eines Teilraums in den euklidischen Raum, die nicht ambient-isotop zu einer glatten oder pl-Einbettung ist und pathologische lokale Topologie wie fraktalartige Umgebungen oder nicht lokal-flache Punkte erzeugt.

Prinzip

Ein Einbettung ist wild, wenn ihre lokale Komplement- oder Umgebungsstruktur nicht durch eine ambient-isotopie geglättet werden kann; Wildheit entsteht durch die Akkumulation nichttrivialer Verknotungen oder Verschlingungen auf beliebig kleinen Skalen.

Demonstration

Die Alexander-Hornkugel in R3 ist ein klassisches Beispiel: sie ist eine topologische 2-Sphäre eingebettet, sodass ihr Komplement nicht einfach zusammenhängend ist und keine ambient-isotopie zur Standardkugel existiert; daher ist sie wild eingebettet.

Fehlanwendung

Zu behaupten, jede topologische Einbettung in Kodimension eins sei äquivalent zu einer glatten Einbettung; oder differenzierbare Invarianten (wie Krümmung) zu verwenden, um Wildheit zu erkennen, was rein topologische Pathologien übersehen kann.

Konsequenz

Die Erkennung einer wilden Einbettung signalisiert, dass lokale geometrische Intuition versagt: Invarianten, die von lokaler Flachheit abhängen (Rohrnachbarschaften, naive Alexander-Dualität), gelten möglicherweise nicht, und spezielle topologische Methoden sind nötig.

Umkehrung

Das Gegenstück ist die tame Einbettung, bei der lokale Umgebungen standard sind und die Einbettung geglättet oder pl-genähert werden kann; die Umkehr der Wildheit stellt lokale Flachheit und ambient-isotopie zu klassischen Modellen wieder her.

Abgrenzung

Betrifft Einbettungen in Kodimensionen, in denen pathologische Phänomene auftreten können (insbesondere Kodimension zwei oder eins in niedrigen Dimensionen); schließt Einbettungen aus, die ambient-isotop zu glatten oder PL-Modellen sind und schließt rein algebraische Immersionen ohne topologische Einbettungsprobleme aus.

Semantische Spannung

Konflikt mit der Idee eines scheinbar pathologischen, aber entwirrbaren Einbettung: Manche Einbettungen erscheinen wild, lassen sich jedoch durch subtile Isotopien lokal entwirren; die Spannung liegt zwischen detektierbaren algebraischen Invarianten und feinen topologischen Hindernissen.

Synthese

Eine wilde Einbettung ist eine topologische Einbettung, deren Nachbarschaft oder Komplement sich einer Glättung durch ambient-isotopie widersetzt und echte lokale pathologische Topologie erzeugt, die sie von glatten oder PL-Einbettungen unterscheidet.