Симплектическая геометрия

Цели урока

• Понять симплектическую форму и теорему Дарбу - отсутствие локальных инвариантов
• Освоить гамильтонову динамику и скобки Пуассона
• Знать теорему Громова о несжимаемости и жёсткость симплектических вложений
• Увидеть связь с квантованием через принцип соответствия

Предварительные знания

• Дифференциальные формы
• Гиперболическая геометрия
• Симплектическая геометрия (основы)

• Дифференциальные формы
• Гиперболическая геометрия
• Симплектическая геометрия (основы)

Почему для точного моделирования физических систем нужны симплектические интеграторы, а обычный Рунге-Кутта 4-го порядка накапливает ошибку?

• Hamiltonian Monte Carlo: симплектические интеграторы leapfrog используются в NumPyro и Stan для байесовского вывода в нейронных сетях
• Молекулярная динамика: GROMACS и NAMD применяют симплектические интеграторы для симуляции белков - от структуры COVID-spike до дизайна лекарств
• Астродинамика: расчёт орбиты астероида 2023 BU (3600 км от Земли) с точностью 1 км через симплектический Verlet-интегратор
• Зеркальная симметрия: симплектическая сторона HMS Концевича - прямое применение теории

От Гамильтона до Концевича

Уильям Гамильтон в 1833 году переформулировал механику Ньютона через канонически сопряжённые переменные (q, p). Эли Картан в 1920-х сформулировал геометрию форм. Арнольд в 1960-70-х выстроил симплектическую топологию. Громов в 1985 году доказал теорему о несжимаемости через псевдоголоморфные кривые - новый инструмент, создавший целую дисциплину. Концевич в 1994-97 годах связал симплектическую геометрию с зеркальной симметрией и квантовой теорией поля - работа, принёсшая ему Филдсовскую медаль в 1998 году.

Симплектическая форма и теорема Дарбу

Классическая механика - это геометрия. Фазовое пространство маятника, планетарных орбит, молекулярной динамики - всё это симплектические многообразия. Wolfram Research применяет симплектические интеграторы в Mathematica для орбиты астероида 2023 BU (пролёт в 3600 км от Земли) - точность 1 км, именно благодаря сохранению симплектической структуры.

Теорема Дарбу говорит: в симплектической геометрии нет кривизны. Все симплектические многообразия локально неотличимы. Разительный контраст с риманновой геометрией, где кривизна - главный инвариант. Мир Гамильтона - геометрически плоский локально, глобально богатый.

Гамильтонова динамика и сохраняющиеся величины

Теорема Нётер - одна из самых мощных теорем физики: каждой непрерывной симметрии соответствует сохраняющаяся величина. Импульс - из трансляционной симметрии. Угловой момент - из вращательной. Энергия - из временной. Симплектическая геометрия - математический язык этой теоремы.

Теорема Лиувилля: поток гамильтоновой системы сохраняет симплектическую форму и фазовый объём. Именно это делает обратимыми молекулярно-динамические симуляции и гарантирует корректность HMC-семплирования.

Теорема Громова о несжимаемости

1985 год. Михаил Громов публикует теорему, которая меняет всю симплектическую геометрию. До него считали, что симплектические диффеоморфизмы почти столь же гибки, как объёмо-сохраняющие. Оказалось - нет. Есть жёсткое ограничение, которое объём не видит.

Теорема Громова - основа симплектической топологии. Псевдоголоморфные кривые, которые Громов ввёл в доказательстве, стали главным инструментом всей области. Именно они связывают симплектическую геометрию с комплексной и алгебраической.

Квантование: от скобок Пуассона к коммутаторам

Переход от классической к квантовой механике - это деформация алгебры наблюдаемых. Скобки Пуассона {f, g} заменяются коммутаторами [F, G]/(ih). Коммутативная алгебра C^inf(M) деформируется в некоммутативную алгебру операторов. Деформационное квантование - математически корректный способ это сделать.

Максим Концевич в 1997 году доказал, что деформационное квантование возможно для любого пуассонова многообразия. За это в 1998 году он получил Филдсовскую медаль. Его формула выражает квантование через суммирование по диаграммам - структурам, похожим на фейнмановские диаграммы.

В автоматическом дифференцировании (PyTorch autograd, JAX) прямой и обратный проход образуют пару, аналогичную канонически сопряжённым переменным (q, p). Это не просто аналогия - dual-number arithmetic формально изоморфен скобкам Пуассона.

Связи с другими темами

Симплектическая геометрия объединяет классическую механику, квантовую физику и зеркальную симметрию.

• Геометрия и физика — Симплектическая геометрия формализует фазовое пространство гамильтоновой механики
• Векторная геометрия — Симплектическая форма - кососимметричная билинейная форма на векторном пространстве
• Зеркальная симметрия — Зеркальная симметрия связывает симплектическую и комплексную геометрии многообразий Калаби-Яу

Итоги

• Симплектическое многообразие (M, w): w - замкнутая невырожденная 2-форма, dim M чётна
• Теорема Дарбу: локально w = sum dq_i ^ dp_i - нет локальных симплектических инвариантов
• Гамильтоново поле X_H: iota_{X_H}w = -dH; df/dt = {f, H}
• {F,H}=0 - условие сохранения F вдоль гамильтоновых траекторий
• Теорема Громова: B^{2n}(r) не вкладывается симплектически в B^2(R) x R^{2n-2} при r > R
• Квантование: {f,g} -> [F,G]/(i*hbar), [q_i, p_j] = i*hbar*delta_{ij}

Вопросы для размышления

• Почему теорема Дарбу (нет локальных инвариантов) так принципиально отличает симплектическую геометрию от риманновой?
• Как HMC использует симплектическую структуру для корректного байесовского семплирования, и почему leapfrog лучше Рунге-Кутта?
• В чём глубокий смысл соответствия {q,p}=1 -> [q,p]=i*hbar между классической и квантовой механикой?

Связанные уроки

• dg-16 — Симплектическая геометрия в дифференциальной геометрии
• dg-08 — Дифференциальные формы - язык симплектической геометрии
• geom-22 — Гиперболическая геометрия - предыдущий урок серии
• dg-15 — Группы Ли действуют на симплектических многообразиях
• geo-24 — Алгебраические кривые и симплектические структуры на них