Теорема о симплектическом верблюде

Доказана в 1985 году Михаилом Громовым[2]. Ян Стюарт (англ. Ian Stewart) назвал эту теорему теоремой о симплектическом верблюде, ссылаясь на библейскую притчу «удобнее верблюду пройти сквозь игольные уши, нежели богатому войти в Царствие Божие»[3].

До появления этой теоремы было очень мало известно о геометрии симплектических преобразований. Одно простое свойство симплектоморфизма заключается в том, что он сохраняет объем[4]. Легко видеть, что шар любого радиуса допускает вложение в цилиндр любого радиуса с сохранением объёма. Таким образом, теорема о верблюде говорит, что класс симплектических преобразований существенно меньше класса диффеоморфизмов, сохраняющих объём.

В пространстве

${\displaystyle \mathbb {R} ^{2n}=\{z=(x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n})\}}$

с симплектической формой

${\displaystyle \omega =dx_{1}\wedge dy_{1}+\ldots +dx_{n}\wedge dy_{n}}$

рассмотрим шар радиуса R

${\displaystyle B(R)=\{z\in \mathbb {R} ^{2n}\mid \|z\|<R\}}$

и цилиндр радиуса r

${\displaystyle Z(r)=\{z\in \mathbb {R} ^{2n}\mid x_{1}^{2}+y_{1}^{2}<r^{2}\}.}$

Теорема о симплектическом верблюде говорит, что если мы можем найти симплектическое вложение

${\displaystyle \phi \colon B(R)\to Z(r),}$

то ${\displaystyle R\leqslant r}$.

• Maurice A. de Gosson: The symplectic egg, arXiv:1208.5969v1, submitted on 29 August 2012 — includes a proof of a variant of the theorem for case of linear canonical transformations
• Dusa McDuff: What is symplectic geometry? Архивная копия от 10 января 2014 на Wayback Machine, 2009