Гипотеза Смейла - Smale conjecture

В Гипотеза Смейла, названный в честь Стивен Смейл, это утверждение, что группа диффеоморфизмов из 3-сфера имеет гомотопический тип своей группы изометрий, ортогональная группа О (4). Это было доказано в 1983 г. Аллен Хэтчер.

Эквивалентные заявления

Есть несколько эквивалентных утверждений гипотезы Смейла. Во-первых, компонент узла в пространстве гладких вложений окружности в 3-пространство имеет гомотопический тип круглых окружностей, что эквивалентно О (3). Другое эквивалентное утверждение состоит в том, что группа диффеоморфизмов 3 мяча которые ограничиваются тождеством на границе стягиваемы.

Высшие измерения

Иногда также (ложное) утверждение, что включение является слабой эквивалентностью для всех имеется в виду при ссылке на гипотезу Смейла. За , это легко, для Смейл доказал это сам.

В основном по известным работам Kervaire и Милнор на экзотические сферы, давно известно, что это не удается во всех измерениях, по крайней мере, в 5.

В конце 2018 года Тадаюки Ватанабэ выпустил препринт, который доказывает несостоятельность гипотезы Смейла в оставшемся четырехмерном случае.[1]

Рекомендации

  1. ^ «Доказательство Ватанабэ несостоятельности 4-мерной гипотезы Смейла» (PDF).