WikiDer > Полус-кобордизм
В математика, а кобордизм (W, M, M−) из (п + 1) -мерный многообразие (с границей) W между его граничными компонентами два п-многообразия M и M−, называется полу-s-кобордизм если (и только если) включение это простая гомотопическая эквивалентность (как в s-кобордизм) но включение не гомотоп
Другие обозначения
Первоначальный создатель этой темы Жан-Клод Османн использовал обозначение M− для правой границы кобордизма.
Характеристики
Следствие (W, M, M−) будучи полу-s-кобордизм в том, что ядро производных гомоморфизм на фундаментальные группы является идеально. Следствием этого является то, что решает проблема расширения группы . Решения проблемы расширения группы для запрещенных факторгруппа и группа ядра K классифицируются с точностью до конгруэнтности (см. Гомология Маклейна, например), поэтому существуют ограничения на то, какие n-многообразия могут быть правой границей полу-s-кобордизм с запрещенной левой границей M и суперсовершенной группой ядра K.
Связь с плюсовыми кобордизмами
Обратите внимание, что если (W, M, M−) является полу-s-кобордизм, то (W, M−, M) это Плюс кобордизм. (Это оправдывает использование M− для правой границы полуфабрикатаs-кобордизм, игра на традиционном использовании M+ для правой границы плюсового кобордизма.) Таким образом, полу-s-кобордизм можно рассматривать как обратный к конструкции Плюса Квиллена в категории многообразий. Обратите внимание, что (M−)+ должно быть диффеоморфный (соответственно, кусочно-линейно (PL) гомеоморфные) к M но может быть множество вариантов для (M+)− для данного закрытого гладкий (соответственно, PL) многообразие M.
Рекомендации
- Маклейн (1963), Гомология, стр. 124–129, ISBN 0-387-58662-8
- Хаусманн, Жан-Клод (1976), «Гомологическая хирургия», Анналы математики, Вторая серия, 104 (3): 573–584, Дои:10.2307/1970967, JSTOR 1970967.
- Хаусманн, Жан-Клод; Фогель, Пьер (1978), «Строительные и подъемные карты Plus с коллектора», Труды симпозиумов по чистой математике, 32: 67–76.
- Хаусманн, Жан-Клод (1978), «Многообразия с заданными гомологиями и фундаментальной группой», Комментарии Mathematici Helvetici, 53 (1): 113–134, Дои:10.1007 / BF02566068.