Перегляд вихідного коду сторінки Теорема Дарбу в симплектичній геометрії

{{значення|Теорема Дарбу}}
'''Теорема Дарбу в симплектичній геометрії'''&nbsp;— твердження, про те, що для будь-якої невиродженої [[Симплектичний многовид|симплектичної структури]], заданої на <math>M^{2n}</math> для будь-якої точки існує відкритий окіл з локальними координатами <math>p_{1},...p_{n}, q_{1},..., q_{n}</math> такими, що форма <math>\omega=\sum_{j} dp_{j} \wedge dq_{j}</math> може бути представлена в канонічному вигляді. Такі координати називаються координатами Дарбу, простір <math>M^{2n}</math> із такою симплектичною структурою - типовим симплектичним простором. 


== Формулювання ==
Нехай <math>\omega_{ij}</math>&nbsp;— симплектична структура на <math>M^{2n}</math>. Тоді для будь-якої точки <math>x \in M</math> завжди існує окіл з локальними регулярними координатами <math>p_{1},...p_{n}, q_{1},..., q_{n}</math> такими, що в них форма <math>\omega</math> записується в найпростішому канонічному вигляді <math>\sum_{i} dp_{i} \wedge dq_{i}</math>, тобто в кожній точці цього околу матриця <math>\left ( \omega_{ij} \right )</math> має вигляд <math>\begin{pmatrix} 0 & E \\ -E & 0 \end{pmatrix}</math>.

Типовий симплектичний простір у координатному просторі <math>\mathbb{R}^{2n}</math> виражається через матрицю <math>\omega_{ij}=\begin{pmatrix}0&-E_{n}\\ E_{n}&0\end{pmatrix},</math> де <math>E_{n}</math> - одинична <math>n\times n</math>-матриця: <math>\omega(v,w)=\langle \omega_{ij} v,w\rangle,</math> де <math>\sum v_{k}w_{k}</math> є евклідовим скалярним добутком у <math>\mathbb{R}^{2n}</math>. Множення на <math>\omega_{ij}</math> задає комплексну структуру у <math>\mathbb{R}^{2n}</math>, оскільки <math>\omega^{2}_{ij}=-E_{2n}.</math>

Пряма сума лінійного простору із спряженим до нього <math>V=X^{*}\oplus X</math> наділена канонічною симплектичною структурою <math>\omega(\xi\oplus x,\eta\oplus y)=\xi(y)-\eta(x).</math> Якщо <math>(q_{1},...,q_{n})</math> є координатами у <math>X,</math> у <math>(p_{1},...,p_{n})</math> - двоїсті координати у <math>X^{*},</math> тоді <math>\omega=\sum {p_{k}}\land q_{k}.</math>

Вектори <math>v,w\in V,</math> для яких <math>\omega(v,w)=0,</math> є косоортогональними. Будь-який підпростір симплектичного простору має косоортогональне доповнення, яке через невиродженість симплектичного простору (тобто кососкалярного добутку), дійсно має додаткову розмірність, однак на відміну від евклідового випадку, може перетинатися із початковим підпростором. Наприклад, кососкалярний квадрат будь-якого вектора дорівнює нулю, тому косоортогональне доповнення прямої - гіперплощина, яка містить цю пряму. І навпаки, косоортогональне доповнення до гіперплощини - пряма, яка співпадає із ядром обмеження симплектичної структури на цю гіперплощину. 

Якщо у підпростору евклідового простору є лише один інваріант - розмірність, то у симплектичній геометрії окрім розмірності, існує ранг обмеження симплектичної структури на підпростір. Цей інваріант є тривіальним лише у випадках із прямою на гіперплощині. У загальному випадку справедливою є відносна теорема Дарбу, яка полягає у тому, що підпростір рангу <math>2r</math> й розмірності <math>2r+k</math> симплектичного простору у відповідних координатах Дарбу задається рівняннями

<math>q_{r+k+1}=...=q_{n}=0,\quad\quad p_{r+1}=...=p_{n}=0.</math>

Косоортогональне доповнення такого простору заається рівняннями <math>q_{1}=...=q_{r}=0,\quad p_{1}=...,p_{r+k}=0</math> й перетинається із ним по <math>k</math>-вимірному ядру обмеження симплектичної форми. 

Підпростори із рангом 0 (тобто які знаходяться у своєму косоортогональному доповненні) є ізотропними. Підпростори, які містять своє косоорогональне доповнення, є коізотропними. Одночасно ізотропні та косоізотропні підпростори є лагранжевими підпросторами, розмірність яких дорівнює половині розмірності симплектичного простору. Множина усіх лагранжевих підпросторів симплектичного простору розмірності <math>2\pi</math> є гладким многовидом й називається грасманіаном Лагранжа <math>\Lambda_{n},</math> який є дифеоморфним многовиду суміжних класів групи <math>G_{n}</math> унітарних <math>n\times n</math>-матриць по групі <math>O_{n}</math> ортогональних матриць (унітарний репер у <math>\mathbb{C}^{n}</math> породжує лагранжевий підпростір у одійсненні <math>\mathbb{C}^{n}</math>), таким чином, <math>\mathrm{dim}\,\Lambda_{n}=\frac{n(n+1)}{2}.</math>. 



== Джерела ==
* {{книга
 | автор           = [[Фоменко Анатолій Тимофійович|Фоменко А.Т.]]
 | заголовок      = Симплектическая геометрия. Методы и приложения.
 | місце          = М.
 | видавництво  = МГУ
 | рік           = 1988
 | сторінок    = 413
 | isbn = 5-211-00083-8
 | ref             = Симплектическая геометрия. Методы и приложения.
 }}

[[Категорія:Симплектична геометрія]]
[[Категорія:Теореми геометрії|Дарбу]]