Hladké struktury ve čtyřrozměrném euklidovském prostoru

Hladké struktury na čtyřrozměrném euklidovském prostoru jsou příklady hladkých variet , které jsou homeomorfní k , ale ne nutně diffeomorfní k, čtyřrozměrnému euklidovskému prostoru .

Čtyřrozměrný euklidovský prostor umožňuje exotické hladké struktury, to znamená, že nejsou difeomorfní na čtyřrozměrný euklidovský prostor. V jiných rozměrech než 4 nejsou v euklidovském prostoru žádné exotické hladké struktury.

Historie

Existence takových příkladů byla prokázána v roce 1982 Michaelem Friedmanem a dalšími. Důkaz používal Friedmanův teorém o topologických 4-varietách a Simon Donaldsonův teorém o hladkých 4-varietách.

Existenci kontinua zřetelných hladkých struktur poprvé dokázal Clifford Taubes .

Předtím byla existence exotických hladkých struktur na koulích známa, i když otázka existence takových struktur na 4-rozměrné kouli zůstává otevřená (od roku 2016).

Typy

O exotické hladké struktuře se říká , že je malá , pokud je difeomorfní k otevřené standardní podmnožině . Jinak se nazývá velký .

Odkazy