Изоморфизм Тома
Изоморфи́зм То́ма, изоморфизм между (обобщёнными) (ко)гомологиями базы векторного (сферического) расслоения и (ко)гомологиями его пространства Тома .
Пусть -мерное векторное расслоение над конечным клеточным пространством ориентируемо в некоторой мультипликативной обобщённой теории когомологий , т. е. существует класс Тома . Объект является -модулем, а гомоморфизм умножения на класс Тома является изоморфизмом, который и называется изоморфизмом Тома (или изоморфизмом Тома – Дольда).
Двойственным образом определяется изоморфизм .
В случае когда есть классическая теория когомологий , эти изоморфизмы указаны Р. Томом (Thom. 1958), а для произвольной теории они установлены А. Дольдом (Дольд. 1965). Кроме того, если не является ориентируемым в целочисленной теории когомологий , то имеет место изоморфизм , где справа стоит группа когомологий с коэффициентами в локальной системе групп . Более общо: если неориентируемо в теории когомологий , то имеется изоморфизм, обобщающий как вышеописанный изоморфизм Тома, так и изоморфизм Тома – Дольда для -ориентированных расслоений (Рудяк. 1980).