h-кобордизм — бордизм , где — компактное дифференцируемое многообразие, край которого — объединение непересекающихся замкнутых многообразий и , являющихся деформационными ретрактами . Простейший пример — тривиальный -кобордизм
Многообразия и называются -кобордантными, если существует -кобордизм соединяющий их.
Теорема об -кобордизме даёт условия на то, когда -кобордизм является тривиальным. Теорему первым доказал Стивен Смейл, который получил премию Филдса за результаты связанные с этой теоремой. С помощью теоремы он доказал обобщенную гипотезу Пуанкаре для размерностей .
Свойства
править- (Теорема об -кобордизме) Если — -кобордизм, а и — односвязные гладкие (или кусочно линейные) многообразия и , то диффеоморфно (кусочно линейно изоморфно) тривиальному -кобордизму.
- В частности, диффеоморфно .
Вариации и обобщения
править- Если убрать условие односвязности кобордантных многообразий и , то препятствием к тривиальности кобордизма между ними является кручение Уайтхеда[1]. Теорема об -кобордизме гласит, что кобордизм между двумя многообразиями является тривиальным тогда и только тогда, когда кручение Уайтхеда обнуляется.
Примечания
править- ↑ Whitehead torsion (англ.) // Wikipedia. — 2020-04-28.
Литература
править- Милнор, Дж., Теорема об -кобордизме, М., 1969;
- Smale S., Generalized Poincare's Conjecture in Dimensions Greater Than Four , The Ann. of Math., 2nd Ser., Vol 74, No. 2. (Sep ., 1961), pp. 391-406.
Для улучшения этой статьи по математике желательно:
|