Основная гипотеза комбинаторной топологии

Основная гипотеза комбинаторной топологии (Шаблон:Lang-de) — гипотеза, утверждающая, что любые две триангуляции одного пространства допускают изоморфные подразбиения. Сформулирована в 1908 году Эрнстом Штайницем и Генрихом Титце. Впоследствии опровергнута в общем виде; более того, она оказалась неверной для некоторых многообразий размерности 4 и выше.

Контрпример к общему случаю был построен Джоном Милнором в 1961 году с помощью Шаблон:Нп1.

Для многообразий гипотеза верна в размерностях 2 и 3. Эти случаи были доказаны Шаблон:Нп1 и Шаблон:Нп1 в 1920-х и 1950-х годах, соответственно.

Препятствие к выполнению гипотезы для многообразий было найдено Шаблон:Нп1 и Деннисом Салливаном в 1967—1969 годах с использованием Шаблон:Нп1.

Гомеоморфизм $f:N\to M$ между $m$-мерными Шаблон:Iw имеет инвариант $\kappa (f)\in H^3(M;\mathbb{Z}/2\mathbb{Z})$ такой, что для $m⩾5$ $f$ изотопeн кусочно-линейному гомеоморфизму тогда и только тогда, когда $\kappa (f)=0$.

Препятствие к выполнению гипотезы является относительным вариантом класса Кёрби — Зибенманна и определяется для любого компактного $m$-мерного топологического многообразия:

$\kappa (M)\in H^4(M;\mathbb{Z}/2\mathbb{Z})$

с использованием инварианта Рохлина. Для $m⩾5$ $M$ имеет кусочно-линейную структуру (то есть допускает триангуляцию кусочно-линейным многообразием) тогда и только тогда, когда $\kappa (M)=0$, и в этом случае кусочно-линейные структуры определяются элементом $H^3(M;\mathbb{Z}/2\mathbb{Z})$. В частности, существует только конечное число различных кусочно-линейных структур на $M$.

Для компактных односвязных многообразий размерности 4 Саймон Дональдсон нашёл примеры с бесконечным числом неэквивалентных кусочно-линейных структур, и Михаил Фридман нашёл E8-многообразие, которое также не допускает триангуляции.

В 2013 году Шаблон:Нп1 доказал существование компактных многообразий размерности 5 (и, следовательно, любой размерности больше 5), которые не допускают триангуляции.