WikiDer > Спектральные инварианты
Эта статья не цитировать любой источники. (Декабрь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
В симплектическая геометрия, то спектральные инварианты инварианты, определенные для группы гамильтонианов диффеоморфизмы из симплектическое многообразие, который закрыт по отношению к Теория Флора и геометрия Хофера.
Гипотеза Арнольда и гамильтоновы гомологии Флоера
Если (M, ω) - симплектическое многообразие, то гладкое векторное поле Y на M является гамильтоновым векторным полем, если сжатие ω(Y, ·) Является точной 1-формой (т.е. дифференциалом гамильтоновой функции ЧАС). Гамильтонов диффеоморфизм симплектического многообразия (M, ω) является диффеоморфизмом Φ M который является интегралом гладкого пути гамильтоновых векторных полей Yт. Владимир Арнольд предположил, что число неподвижных точек типичного гамильтонова диффеоморфизма компактного симплектического многообразия (M, ω) должна быть ограничена снизу некоторой топологической постоянной M, аналогичное неравенству Морса. Эта так называемая гипотеза Арнольда послужила толчком к изобретению гамильтоновых гомологий Флоера. Андреас Флоер в 1980-е гг.
Определение Флоера принято ВиттенТочка зрения на теорию Морса. Он рассматривал пространства стягиваемых петель M и определил функционал действия АЧАС связанных с семейством гамильтоновых функций, так что неподвижные точки гамильтонова диффеоморфизма соответствуют критическим точкам функционала действия. Построив цепной комплекс, подобный комплексу Морса – Смейла – Виттена в теории Морса, Флоер сумел определить группу гомологий, которая, как он также показал, изоморфна обычной группы гомологии коллектораM.
Изоморфизм между группой гомологий Флоера HF (M) и обычные группы гомологий ЧАС(M) каноничен. Следовательно, для любого «хорошего» гамильтонова пути ЧАСт, класс гомологии α из M может быть представлен циклом в цепном комплексе Флора, формально линейной комбинацией
куда ая - коэффициенты в некотором кольце и Икся - неподвижные точки соответствующего гамильтонова диффеоморфизма. Формально спектральные инварианты могут быть определены значением min-max
Здесь максимум берется по всем значениям функционала действия AЧАС на неподвижных точках оказались в линейной комбинации αЧАС, а минимум берется по всем циклам Флоера, представляющим класс α.