シンプレクティック多様体

数学におけるシンプレクティック多様体（シンプレクティックたようたい、symplectic manifold）は、シンプレクティック形式と呼ばれる非退化な閉形式である 2-形式を持つ滑らかな多様体である。シンプレクティック多様体の研究分野はシンプレクティック幾何学やシンプレクティックトポロジーと呼ばれる。シンプレクティック多様体は、古典力学の抽象的定式化であるハミルトン力学などにおいて多様体の余接バンドルとして自然に表れるもので、この分野に対して大きな動機付けを与えた。実際、系の取り得るすべての配位が成す集合を多様体としてモデル化すると、この多様体は系の相空間を記述する。
シンプレクティック多様体上の微分可能な実数値関数 H は(energy function)を与えることができ、これをハミルトニアンと呼ぶ。どのようなハミルトニアンに対してもハミルトンベクトル場が対応付けられる。ハミルトンベクトル場の積分曲線はハミルトン方程式の解曲線になる。ハミルトンベクトル場は、シンプレクティック多様体上のフロー（ハミルトンフロー、あるいは、シンプレクティック同相写像と呼ばれる）を定め、リウヴィルの定理によれば、ハミルトンフローは相空間上の体積要素を保存する。
動機.
シンプレクティック多様体は古典力学から発生していて、特に閉じた系の相空間の一般化である。ハミルトン方程式が一組の微分方程式から系の時間発展を引き出せることと同じように、シンプレクティック形式からはハミルトン函数 H の微分である dH により系のフローを記述するベクトル場を得ることができる。ニュートンの運動方程式は線型微分方程式であるので、その写像も必然的に線型となる。従って、線型写像 T* M → TM、(同じことであるが、 T* M ⊗ T* M の元)が必要となる。ω により T* M ⊗ T* M の切断を表すこととすると、ω が 非退化 であるということは、全ての微分 dH に対して一意にベクトル場 VH が存在し、dH = ω(VH,· ) を満たす。ハミルトニアンが積分曲線に沿って定数であることを要求するので、必然的に dH(VH) = ω(VH, VH) = 0 を得る。このことは ω が 交代的 であり、従って 2-形式であることを意味する。結局、必然的に ω は積分曲線のもとで不変であることとなり、つまり、 ω の VH に沿ったリー微分はゼロとなる。(Cartan's formula)を適用して、次の式を得る。
この式は、ω が 閉形式 であることを指している。
定義.
まず、多様体 M 上のシンプレクティック形式とは、非退化な閉 2-微分形式 ω のことをいう。ここで ω が非退化であるというのは、任意の において、全ての に対して、を満たすような零でない接ベクトル場 が存在しないことである。また ω の歪対称性（微分 2-形式の条件の一つ）とは、全ての において、任意の に対して を満たすことでする。奇数次の反対称行列が決して正則にならないという事実を思い起こすと、シンプレクティック形式 ω が微分 2-形式であるということは、その交代性により M の次元が偶数でなければならないことが従う。また ω が閉形式であるということは、ω の外微分 dω が恒等的に零になるという意味である。
シンプレクティック多様体とは、多様体 M とその上のシンプレクティック形式 ω との対 (M,ω) のことを言い、多様体 M の上にシンプレクティック形式 ω を指定することを「多様体 M にシンプレクティック構造を与える」と言い表す。
線型シンプレクティック多様体.
シンプレクティック多様体には、シンプレクティック線型空間 R2n という標準モデルが存在する。 R2n の基底が {v1, …,v2n} であるとすると、その上のシンプレクティック形式 ω が、任意の に対して およびそれ以外のとき ω = 0 と置くことで与えられる（この場合、シンプレクティック形式は単なる二次形式に帰着される）。In で 単位行列 を表すと、いま与えた二次形式は
なる () 区分行列 Ω で表される。
ラグランジアン部分多様体、あるいはその他の部分多様体.
シンプレクティック多様体の部分多様体には、幾何学的に自然なものがいくつか存在する。
イソトロピックな部分多様体のうちでもっとも重要なものはラグランジアン部分多様体である。定義により、ラグランジアン部分多様体は、最も次元が大きな（つまり、もとのシンプレクティック多様体の次元の半分であるような）イソトロピック部分多様体である。顕著な例の一つが、積シンプレクティック多様体 上に描かれるシンプレクティック同相写像のグラフが、ラグランジアン部分多様体になる。これらの交わりは滑らかな多様体による剛体性を示さない。これは、アーノルド予想によれば、部分多様体のベッチ数の和は、滑らかな場合のオイラー標数というよりも、滑らかなラグランジュ部分多様体の自己交叉の数の下限として与えられることからわかる。
特殊ラグランジアン部分多様体.
ケーラー多様体（あるいは、カラビ・ヤウ多様体の場合には、formula_8 をその実部、formula_9 をその虚部とする formula_10 上の正則 n-形式 formula_11 が選択できる。ラグランジアン部分多様体が特殊とは、上のラグランジアン条件に加え、formula_12 への制限のformula_9 が 0 となる場合である。言い替えると、実部 formula_8 の formula_12 への制限が formula_12 上の体積形式を導くことである。次の例は、特殊ラグランジアン部分多様体としてしられている。
SYZ予想は特殊ラグランジアン部分多様体の場合に証明されたが、一般には未解決で、ミラー対称性の研究に多くのインパクトをもたらしている。 を参照。
ラグランジュファイバー構造.
シンプレクティック多様体 M の ラグランジュファイバー構造 (Lagrangian fibration) とは、ファイバー構造 (fibration) の各ファイバーがラグランジュ部分多様体となるものを持つことを言う。シンプレクティック多様体 M は偶数次元であったから、局所座標 が取れて、ダルブーの定理からシンプレクティック形式 ω を（少なくとも局所的には） の形に書くことができる（d は外微分で、∧ は外積）。この構成に従えば、シンプレクティック多様体 M を局所的に余接束 T*Rn と見て、先ほどのラグランジュファイバー構造を自明なファイバー構造 に帰着できるが、これは本質的な描像である。
ラグランジュ写像.
シンプレクティック多様体 (K, ω) のラグランジュ部分多様体 L がはめ込み(immersion) （この i を ラグランジュはめ込み という）によって与えられるものとし、 が K のラグランジュファイバー構造とすると、合成写像 は ラグランジュ写像 と呼ばれる。このとき、 π ∘ i の境界値集合が焦線である。
二つのラグランジュ写像 および が互いに ラグランジュ同値 であるとは、微分同相写像 σ: L1 → L2, τ: K1 → K2, ν: B1 → B2 が存在して、二つのラグランジュ写像と可換、かつ τ がシンプレクティック形式を保つことを言う。式で書けば
が満たされるということである。ただし、τ*ω2 は ω2 の τ による(pullback)とする。