Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Фазовый портрет в Ване - дере - Полях , в одномерной системе. Фазовое пространство было первоначальным объектом изучения симплектической геометрии.

Симплектическая геометрия - это раздел дифференциальной геометрии и дифференциальной топологии , изучающий симплектические многообразия ; то есть, дифференцируемые многообразия , оснащенные замкнутой , невырожденной 2-форма . Симплектическая геометрия имеет свои истоки в гамильтоновой формулировке из классической механики , где фазовое пространство некоторых классических систем берет на структуру симплектического многообразия. [1]

Введение [ править ]

Симплектическая геометрия определяется на гладком четномерном пространстве, которое является дифференцируемым многообразием . На этом пространстве определяется геометрический объект симплектической формы , который позволяет измерять размеры двумерных объектов в пространстве . Симплектическая форма в симплектической геометрии играет роль, аналогичную роли метрического тензора в римановой геометрии . Если метрический тензор измеряет длину и углы, симплектическая форма измеряет ориентированные области. [2]

Симплектическая геометрия возникла в результате изучения классической механики, и примером симплектической структуры является движение объекта в одном измерении. Чтобы указать траекторию объекта, требуются как позиция q, так и импульс p , которые образуют точку ( p , q ) в евклидовой плоскости ℝ 2 . В этом случае симплектическая форма имеет вид

и представляет собой форму площади, которая измеряет площадь A области S на плоскости посредством интегрирования:

Эта область важна, потому что, поскольку консервативные динамические системы развиваются во времени, эта область остается неизменной. [2]

Аналогично определяются многомерные симплектические геометрии. 2 n -мерная симплектическая геометрия состоит из пар направлений

в 2 n -мерном многообразии вместе с симплектической формой

Эта симплектическая форма дает размер 2 n -мерной области V в пространстве как сумму площадей проекций V на каждую из плоскостей, образованных парами направлений [2]

Сравнение с римановой геометрией [ править ]

Симплектическая геометрия имеет ряд сходств и отличий от римановой геометрии , которая представляет собой изучение дифференцируемых многообразий, снабженных невырожденными симметричными 2-тензорами (называемыми метрическими тензорами ). В отличие от риманова случая симплектические многообразия не имеют локальных инвариантов, таких как кривизна . Это следствие теоремы Дарбу, которая утверждает, что окрестность любой точки 2 n -мерного симплектического многообразия изоморфна стандартной симплектической структуре на открытом множестве ℝ 2 n. Еще одно отличие от римановой геометрии состоит в том, что не каждое дифференцируемое многообразие должно допускать симплектическую форму; есть определенные топологические ограничения. Например, всякое симплектическое многообразие четномерно и ориентируемо . Кроме того, если M - замкнутое симплектическое многообразие, то 2-я группа когомологий де Рама H 2 ( M ) нетривиальна; это означает, например, что единственная n- сфера , допускающая симплектическую форму, - это 2-сфера . Параллель, которую можно провести между двумя предметами, - это аналогия между геодезическими в римановой геометрии и псевдоголоморфными кривыми. в симплектической геометрии: геодезические - это кривые наименьшей длины (локально), а псевдоголоморфные кривые - это поверхности минимальной площади. Обе концепции играют фундаментальную роль в своих дисциплинах.

Примеры и структуры [ править ]

Каждое кэлерово многообразие также является симплектическим многообразием. Еще в 1970-х годах эксперты по симплектике не были уверены, существуют ли какие-либо компактные некелеровы симплектические многообразия, но с тех пор было построено множество примеров (первый был принадлежит Уильяму Терстону ); в частности, Роберт Гомпф показал, что каждая конечно представленная группа является фундаментальной группой некоторого симплектического 4-многообразия, что резко контрастирует с кэлеровым случаем.

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

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

Имя [ редактировать ]

Название «сложная группа», которое я раньше пропагандировал как намек на линейные комплексы, поскольку они определяются исчезновением антисимметричных билинейных форм, становится все более и более затруднительным из-за столкновения со словом «комплекс» в значении комплексного числа. Поэтому я предлагаю заменить его соответствующим греческим прилагательным «симплектический». Диксон назвал группу «абелевой линейной группой» в честь Абеля, который первым ее изучил.

Вейль (1939 , с. 165)

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

Термин «симплектический», введенный Вейлем (1939 , сноска, стр. 165), является исчислением «комплекса»; раньше «симплектическая группа» называлась «комплексной группой прямых». «Комплекс» происходит от латинского com-plexus , означающего «сплетенный вместе» (co- + plexus), а симплектический происходит от соответствующего греческого sym-plektikos (συμπλεκτικός); в обоих случаях стебель происходит от индоевропейского корня * плек-. [3] Название отражает глубокую связь между сложными и симплектическими структурами.

См. Также [ править ]

  • Контактная геометрия
  • Гамильтонова механика
  • Геометрическая механика
  • Карта моментов
  • Геометрия Пуассона
  • Симплектическое расслоение кадров
  • Симплектическая интеграция
  • Симплектическое многообразие

Примечания [ править ]

  1. Рианна Хартнетт, Кевин (9 февраля 2017 г.). «Борьба за исправление основ геометрии» . Журнал Quanta .
  2. ^ a b c Макдафф, Дуса (2010), "Что такое симплектическая геометрия?" (PDF) , у Хоббса, Кэтрин; Пайча, Сильви (ред.), Европейские женщины в математике - Труды 13-го Общего собрания , World Scientific, стр. 33–51, ISBN  9789814277686, дата обращения 5 октября 2014
  3. ^ Симплектизация науки , Марк Дж. Готей и Джеймс А. Изенберг, стр. 13.

Ссылки [ править ]

  • Авраам, Ральф ; Марсден, Джерролд Э. (1978). Основы механики . Лондон: Бенджамин-Каммингс. ISBN 978-0-8053-0102-1.
  • Арнольд В.И. (1986). "Первые шаги симплектической топологии" [Первые шаги симплектической топологии]. Успехи математических наук . 41 (6 (252)): 3–18. DOI : 10.1070 / RM1986v041n06ABEH004221 . ISSN  0036-0279 - с помощью России Успехи математических наук , 1986, 41: 6, 1-21.
  • Макдафф, Дуса ; Саламон, Д. (1998). Введение в симплектическую топологию . Издательство Оксфордского университета. ISBN 978-0-19-850451-1.
  • Фоменко, АТ (1995). Симплектическая геометрия (2-е изд.). Гордон и Брич. ISBN 978-2-88124-901-3. (Введение на уровне бакалавриата.)
  • де Госсон, Морис А. (2006). Симплектическая геометрия и квантовая механика . Базель: Birkhäuser Verlag. ISBN 978-3-7643-7574-4.
  • Вайнштейн, Алан (1981). «Симплектическая геометрия» (PDF) . Бюллетень Американского математического общества . 5 (1): 1–13. DOI : 10,1090 / s0273-0979-1981-14911-9 .
  • Вейль, Герман (1939). Классические группы. Их инварианты и представления .Перепечатано Princeton University Press (1997). ISBN 0-691-05756-7 . MR 0000255 . 

Внешние ссылки [ править ]

  • СМИ, связанные с симплектической геометрией на Викискладе?
  • "Симплектическая структура" , Математическая энциклопедия , EMS Press , 2001 [1994]