Гипотеза Смейла - Smale conjecture
В Гипотеза Смейла, названный в честь Стивен Смейл, это утверждение, что группа диффеоморфизмов из 3-сфера имеет гомотопический тип своей группы изометрий, ортогональная группа О (4). Это было доказано в 1983 г. Аллен Хэтчер.
Эквивалентные заявления
Есть несколько эквивалентных утверждений гипотезы Смейла. Во-первых, компонент узла в пространстве гладких вложений окружности в 3-пространство имеет гомотопический тип круглых окружностей, что эквивалентно О (3). Другое эквивалентное утверждение состоит в том, что группа диффеоморфизмов 3 мяча которые ограничиваются тождеством на границе стягиваемы.
Высшие измерения
Иногда также (ложное) утверждение, что включение является слабой эквивалентностью для всех имеется в виду при ссылке на гипотезу Смейла. За , это легко, для Смейл доказал это сам.
В основном по известным работам Kervaire и Милнор на экзотические сферы, давно известно, что это не удается во всех измерениях, по крайней мере, в 5.
В конце 2018 года Тадаюки Ватанабэ выпустил препринт, который доказывает несостоятельность гипотезы Смейла в оставшемся четырехмерном случае.[1]
Рекомендации
- Стивен Смейл, "Диффеоморфизмы двумерной сферы", Труды Американского математического общества 10 (1959), 621–626. Дои:10.2307/2033664 МИСТЕР0112149
- Аллен Хэтчер, "Доказательство гипотезы Смейла, ", Анналы математики (2) 117 (1983), нет. 3, 553–607. Дои:10.2307/2007035 МИСТЕР0701256