Теория иммерсий и теорема Рохлина

Теорема Рохлина утверждает, что сигнатура четырехмерного spin-многообразия делится на 16. Она имеет много важных применений, например, существование нетриангулируемых топологических 4-многообразий. В начале доклада я быстро напомню основные сведения про spin-многообразия и форму пересечения на четырехмерных многообразиях. Затем мы перейдем непосредственно к доказательству, которое основано на леммах Хирша и Уэллса, пришедших из теории иммерсий. Само доказательство, принадлежащее А. Сючу (с небольшим исправлением), примечательно своей простотой и геометричностью по сравнению с большинством других известных доказательств.