Продолжение карты - Continuation map

В дифференциальная топология, учитывая семью Функции Морса-Смейла на гладкое многообразие Икс параметризованный закрытый интервал я, можно построить Морс-Смейл векторное поле на Икс × я чей критические точки происходят только на граница. Дифференциал Морса определяет карта цепи от Комплексы Морзе на границах семьи карта продолжения. Можно показать, что это спускается к изоморфизм на Гомологии Морса, доказывая его инвариантность морсовских гомологий гладкого многообразия.

Карты продолжения были определены Андреас Флоер доказать инвариантность Гомология Флоера в бесконечномерных аналогах описанной выше ситуации; в случае конечномерной теории Морса инвариантность может быть доказана путем доказательства того, что гомологии Морса изоморфны особые гомологии, который, как известно, инвариантен. Однако гомологии Флоера не всегда изоморфны известному инварианту, поэтому отображения продолжения дают априорное доказательство инвариантности.

В конечномерной теории Морса различные варианты построения векторного поля на Икс × я дать отчетливый, но цепной гомотопный отображается и, таким образом, спускается к тому же изоморфизму на гомологиях. Однако в некоторых случаях бесконечной размерности это не выполняется, и эти методы могут использоваться для создания инвариантов однопараметрических семейств объектов (таких как контактные структуры или Легендарные узлы ).

Рекомендации