Теорема Рохлина о сигнатуре — теорема четырёхмерной топологии. Доказана Владимиром Абрамовичем Рохлиным в 1952 году.
Формулировка
Предположим гладкое замкнутое односвязное 4-мерное многообразие удовлетворяет одному из следующих эквивалентных условий: имеет . ; то есть, второй класс Штифеля — Уитни равен нулю. Форма пересечений чётна. Тогда сигнатура его формы пересечения делится на 16.
Замечания
По теореме Джахита Арфа, любая чётная унимодулярная решетка имеет сигнатуру, кратную 8, поэтому теорема Рохлина влечёт всего лишь одну дополнительную двойку, делящую сигнатуру. По этой причине теорема иногда называется «Рохлинской двойкой»
Поверхность K3 компактна, четырехмерна и , а её сигнатура равна 16. В частности, делимость в теореме Рохлина невозможно улучшить.
Комплексная поверхность в степени имеет сигнатуру , что видно из теоремы Фридриха Хирцебруха о роде многообразия. При получаем K3-поверхность.
Многообразие E8 Майкла Фридмана является односвязным компактным топологическим многообразием с и форма пересечения signature 8. Из теоремы Рохлина следует, что это многообразие не имеет гладкой структуры. В частности теорема Рохлина неверна для топологических (не гладких) многообразий.
Если многообразие односвязно (или, в более общем случае, если первая группа гомологий не имеет 2-кручения), то эквивалентно чётности формы пересечения. Для неодносвязных многообразий это не так: представляет собой компактное гладкое 4-многообразие и имеет чётную форму пересечения, но .
О доказательствах Теорема Рохлина может быть выведена из того факта, что третья устойчивая гомотопическая группа сфер является циклической порядка 24; это оригинальный подход Рохлина.
Её можно вывести из теоремы Атьи — Зингера об индексе.
Робион Кёрби дал другое доказательство.
Ссылки Александр Александрович Гайфуллин, Рохлинская двойка, .
Категория:Теоремы топологии Категория:Четырёхмерные многообразия Категория:Википедия:Страницы с непроверенными переводами