Екзотична -структура — це диференційований многовид, який є гомеоморфним (має таку ж форму), але не дифеоморфним (тобто не гладко еквівалентним) до евклідового простору Перші приклади таких структур були знайдені в 1982 році Майклом Фрідманом та іншими, на основі контрасту між теоремами Фрідмана про топологічні 4-многовиди та теоремами Саймона Дональдсона про гладкі 4-многовиди. Kirby (1989), p. 95 Freedman and Quinn (1990), p. 122 Існує континуум різних недифеоморфних як було показано вперше Кліффордом Таубсом. Taubes (1987), Theorem 1.1

До введення цієї конструкції вже було відомо про існування недифеоморфних гладких структур на сферах (див. екзотичні сфери), хоча питання про існування таких структур для конкретного випадку 4-сфери залишалося відкритим (і залишається відкритим станом на 2024 рік).

При цьому відомо, що для будь-якого натурального числа n, відмінного від 4, не існує екзотичних гладких структур іншими словами, якщо n ≠ 4, то будь-який гладкий многовид, гомеоморфний є дифеоморфним Stallings (1962), in particular Corollary 5.2

Маленькі екзотичні структури ℝ4 Екзотична -структура називається малою, якщо її можна гладко вкласти як відкриту підмножину стандартної гладкої структури

Маленьку екзотичну структуру можна побудувати починаючи з нетривіального гладкого 5-вимірного h-кобордизму (який існує завдяки доведенню Дональдсона, що теорема h-кобордизму не виконується в розмірності 5) і використовуючи теорему Фрідмана про те, що топологічна теорема h-кобордизму виконується в цій розмірності.

Великі екзотичні структури ℝ4 Екзотична -структура називається великою, якщо її не можна гладко вкласти як відкриту підмножину стандартної гладкої структури

Приклади великої екзотичної структури можна побудувати користуючись фактом, що компактні 4-многовиди часто можна розкласти як топологічну суму (за роботою Фрідмана), але не можна розкласти як гладку суму (за роботою Дональдсона).

Фрідман та Тейлор Freedman and Taylor (1986), Theorem 1 показали, що існує максимальна екзотична структура в яку всі інші можуть бути вкладені як відкриті підмножини.

Пов'язані екзотичні структури є гомеоморфними за теоремою Фрідмана ( це замкнутий одиничний диск), але з теореми Дональдсона випливає, що не всі вони є дифеоморфними Іншими словами, деякі ручки Кассона — це екзотичні структури на

Невідомо (станом на 2022 рік), чи існують екзотичні 4-сфери; така екзотична 4-сфера була б контрприкладом гладкої у розмірності 4. Деякі вірогідні кандидати надаються поворотами Глюка.

Див. також

- інструмент для конструювання екзотичної структури на з класів в Атлас (топологія) Екзотична сфера

Примітки

Список літератури

.