Симплектоморфизм

Изоморфизм симплектических многообразий

В математике симплектоморфизм или симплектическое отображение — изоморфизм в категории симплектических многообразий . В классической механике симплектоморфизм представляет собой преобразование фазового пространства , сохраняющее объем и сохраняющее симплектическую структуру фазового пространства, и называется каноническим преобразованием .

Формальное определение

Диффеоморфизм между двумя симплектическими многообразиями называется симплектоморфизмом , если ${\displaystyle f:(M,\omega )\rightarrow (N,\omega ')}$

${\displaystyle f^{*}\omega '=\omega ,}$

где откат . _ _ Симплектические диффеоморфизмы из до представляют собой (псевдо)группу, называемую группой симплектоморфизмов (см. ниже). ${\displaystyle f^{*}}$ ${\displaystyle f}$ ${\displaystyle M}$ ${\displaystyle M}$

Инфинитезимальная версия симплектоморфизмов дает симплектические векторные поля. Векторное поле называется симплектическим, если ${\displaystyle X\in \Gamma ^{\infty }(TM)}$

${\displaystyle {\mathcal {L}}_{X}\omega =0.}$

Кроме того, является симплектическим, если поток является симплектоморфизмом для каждого . Эти векторные поля образуют подалгебру Ли . Здесь – множество гладких векторных полей на , – производная Ли вдоль векторного поля ${\displaystyle X}$ ${\displaystyle \phi _{t}:M\rightarrow M}$ ${\displaystyle X}$ ${\displaystyle t}$ ${\displaystyle \Gamma ^{\infty }(TM)}$ ${\displaystyle \Gamma ^{\infty }(TM)}$ ${\displaystyle M}$ ${\displaystyle {\mathcal {L}}_{X}}$ ${\displaystyle X.}$

Примеры симплектоморфизмов включают канонические преобразования классической механики и теоретической физики , поток, связанный с любой функцией Гамильтона, отображение на кокасательных расслоениях , индуцированных любым диффеоморфизмом многообразий, и коприсоединенное действие элемента группы Ли на коприсоединенной орбите .

Потоки

Любая гладкая функция на симплектическом многообразии по определению порождает гамильтоново векторное поле , а множество всех таких векторных полей образует подалгебру алгебры Ли симплектических векторных полей . Интегрирование потока симплектического векторного поля является симплектоморфизмом. Поскольку симплектоморфизмы сохраняют симплектическую 2-форму и, следовательно , симплектическую форму объема , отсюда следует теорема Лиувилля в гамильтоновой механике . Симплектоморфизмы, возникающие из гамильтоновых векторных полей, известны как гамильтоновы симплектоморфизмы.

Поскольку { H , H } = X _H ( H ) = 0, поток гамильтонова векторного поля также сохраняет H . В физике это трактуется как закон сохранения энергии .

Если первое число Бетти связного симплектического многообразия равно нулю, симплектические и гамильтоновы векторные поля совпадают, поэтому понятия гамильтоновой изотопии и симплектической изотопии симплектоморфизмов совпадают.

Можно показать, что уравнения геодезической можно сформулировать как гамильтонов поток, см. «Геодезические как гамильтоновы потоки» .

Группа (гамильтоновых) симплектоморфизмов

Симплектоморфизмы многообразия обратно на себя образуют бесконечномерную псевдогруппу . Соответствующая алгебра Ли состоит из симплектических векторных полей. Гамильтоновы симплектоморфизмы образуют подгруппу, алгебра Ли которой задается гамильтоновыми векторными полями. Последняя изоморфна алгебре Ли гладких функций на многообразии относительно скобки Пуассона по модулю констант.

Группа гамильтоновых симплектоморфизмов обычно обозначается как . ${\displaystyle (M,\omega )}$ ${\displaystyle \operatorname {Ham} (M,\omega )}$

Группы гамильтоновых диффеоморфизмов просты по теореме Баньяги . Они имеют естественную геометрию, заданную нормой Хофера. Гомотопический тип группы симплектоморфизмов для некоторых простых симплектических четырехмногообразий , таких как произведение сфер , может быть вычислен с помощью теории псевдоголоморфных кривых Громова .

Сравнение с римановой геометрией

В отличие от римановых многообразий , симплектические многообразия не очень жесткие: теорема Дарбу показывает, что все симплектические многообразия одной и той же размерности локально изоморфны. Напротив, изометрии в римановой геометрии должны сохранять тензор кривизны Римана , который, таким образом, является локальным инвариантом риманова многообразия. Более того, каждая функция H на симплектическом многообразии определяет гамильтоново векторное поле X _H , которое возводится в степень до однопараметрической группы гамильтоновых диффеоморфизмов. Отсюда следует, что группа симплектоморфизмов всегда очень велика и, в частности, бесконечномерна. С другой стороны, группа изометрий риманова многообразия всегда является (конечномерной) группой Ли . Более того, римановы многообразия с большими группами симметрии являются весьма специальными, а риманово многообразие общего положения не имеет нетривиальных симметрий.

Квантование

Представления конечномерных подгрупп группы симплектоморфизмов (вообще, после ħ-деформаций) в гильбертовых пространствах называются квантованиями . Когда группа Ли определяется гамильтонианом, это называется «квантованием по энергии». Соответствующий оператор из алгебры Ли в алгебру Ли непрерывных линейных операторов иногда называют также квантованием ; это более распространенный взгляд на это в физике.

Гипотеза Арнольда

Знаменитая гипотеза Владимира Арнольда связывает минимальное число неподвижных точек для гамильтонова симплектоморфизма , в случае компактного симплектического многообразия , с теорией Морса (см. ^[1] ). Точнее, гипотеза утверждает, что число неподвижных точек не менее равно количеству критических точек , которое должна иметь гладкая функция . Доказана некоторая более слабая версия этой гипотезы: в случае «невырожденности» число неподвижных точек ограничено снизу суммой чисел Бетти (см. ^{[2] [3]} ). Наиболее важным достижением в симплектической геометрии, вызванным этой знаменитой гипотезой, является рождение гомологии Флоера (см. ^[4] ), названной в честь Андреаса Флоера . ${\displaystyle \varphi :M\to M}$ ${\displaystyle M}$ ${\displaystyle \varphi }$ ${\displaystyle M}$ ${\displaystyle \varphi }$ ${\displaystyle M}$

В популярной культуре

«Симплектоморфизм» — слово в кроссворде из 1 серии аниме « Семья Шпион» . ^[5]

Смотрите также

• Математический портал

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

1. Арнольд, Владимир (1978). Математические методы классической механики. Тексты для аспирантов по математике. Том. 60. Нью-Йорк: Спрингер-Верлаг. дои : 10.1007/978-1-4757-1693-1. ISBN 978-1-4757-1693-1.
2. Фукая, Кендзи; Оно, Каору (сентябрь 1999 г.). «Гипотеза Арнольда и инварианты Громова-Виттена». Топология . 38 (5): 933–1048. дои : 10.1016/S0040-9383(98)00042-1 .
3. Лю, Банда; Тиан, Банда (1998). «Гомологии Флоера и гипотеза Арнольда». Журнал дифференциальной геометрии . 49 (1): 1–74. дои : 10.4310/jdg/1214460936 .
4. Флоер, Андреас (1989). «Симплектические неподвижные точки и голоморфные сферы». Связь в математической физике . 120 (4): 575–611. дои : 10.1007/BF01260388. S2CID  123345003.
5. Аню удочерили. Коллекция Кранчиролл.

Общий

• Макдафф, Дуса и Саламон, Д. (1998), Введение в симплектическую топологию , Оксфордские математические монографии, ISBN 0-19-850451-9.
• Абрахам, Ральф и Марсден, Джеррольд Э. (1978), Основы механики , Лондон: Бенджамин-Каммингс, ISBN 0-8053-0102-Х. См. раздел 3.2 .

Группы симплектоморфизмов

• Громов, М. (1985), «Псевдоголоморфные кривые в симплектических многообразиях», Inventiones Mathematicae , 82 (2): 307–347, Bibcode : 1985InMat..82..307G, doi : 10.1007/BF01388806, S2CID  4983969.
• Полтерович, Леонид (2001), Геометрия группы симплектического диффеоморфизма , Базель; Бостон: Birkhauser Verlag, ISBN 3-7643-6432-7.