シンプレクティック同相写像
数学では、シンプレクティック同相(symplectomorphism)（あるいは、シンプレクティック写像(symplectic map)とも言う）は、シンプレクティック多様体のカテゴリでの同型のことを言う。古典力学では、シンプレクティック同相は、体積保存する写像で、相空間のシンプレクティック構造を保存する相空間の間の写像変換である。古典力学では正準変換と呼ばれる。
formula_1を
シンプレクティック多様体であるとする。
formula_2とformula_3とが
シンプレクティック同相であるとは、formula_4 から formula_5への
微分同相写像 formula_6 が存在して、
formula_7
を満たすことをいう。
ここで、formula_8はformula_9のformula_10による引き戻しを表す。
このとき、formula_10をformula_4からformula_5への
シンプレクティック同相写像、もしくは、正準変換という。
formula_14をシンプレクティック多様体とし、
formula_15をその上の滑らかな関数であるとする。
formula_15が定めるハミルトンベクトル場formula_17の
フローをformula_18とする。
つまり、formula_19に対して、formula_20は formula_21 上の微分方程式
formula_22
の解である。このとき、各formula_23に対して、
formula_24は formula_21 上のシンプレクティック同相写像となる。
このように、シンプレクティック同相写像formula_26に対して、関数formula_15が存在して、
formula_15が定めるハミルトンベクトル場formula_29のフロー
formula_30を用いて、formula_31と書けるとき、
formula_26を完全シンプレクティック同相写像、または
ハミルトニアン同相写像という。
2つのシンプレクティック多様体の間の微分同相 formula_33 が、
を満たすとき、シンプレクティック同相という。ここに formula_35 は、formula_36 の(pullback)である。formula_37 から formula_37 へのシンプレクティック同相は、擬群であり、シンプレクティック群を呼ばれる。（以下を参照）
シンプレクティック同相の無限小バージョンは、シンプレクティックベクトル場を与える。ベクトル場 formula_39 がシンプレクティックとは、
のときを言う。また、formula_41 がシンプレクティックと、formula_41 のすべての formula_43 についてフロー formula_44 がシンプレクティックとは同値である。
これらのベクトル場は、 formula_45 リー部分代数を形成する。
シンプレクティック同相の例としては、古典力学や理論物理学の正準変換があり、任意のハミルトニアンに付随したフローと多様体の微分同相写像から引き起こされた余接バンドルがあり、の上のリー群の元である余随伴作用を持っている。
シンプレクティック多様体の任意の滑らかな函数は、定義より、ハミルトンベクトル場とのすべての（シンプレクティックな）部分代数の集合を与える。シンプレクティックベクトル場のフローを構成することが、シンプレクティック同相である。シンプレクティック同相は、シンプレクティック 2-形式を保存するので、従って、シンプレクティック体積形式も保存し、ハミルトン力学のリウヴィルの定理が成り立つ。ハミルトンベクトル場から導出されたシンプレクティック同相は、はハミルトニアンシンプレクティック同相として知られている。
formula_46 であるので、ハミルトンベクトル場のフローも H を保存する。物理学では、これをエネルギーの保存則と解釈する。
連結なシンプレクティック多様体の第一ベッチ数がゼロであれば、シンプレクティックとハミルトンベクトル場は一致するので、シンプレクティック同相の(Hamiltonian isotopy)と(symplectic isotopy)の考え方は一致する。
は測地線の方程式がハミルトンフローを定式化していると見ることができる。
多様体から自分自身の上へのシンプレクティック同相は無限次元の擬群(pseudogroup)を形成する。対応するリー代数はシンプレクティックベクトル場からなる。
ハミルトンシンプレクティック同相は、この部分群を形成し、リー群はハミルトンベクトル場からなる。後者は定数を除外して、ポアソン括弧に関して多様体上の滑らかな函数のリー代数に同型である。
formula_47 のハミルトンシンプレクティック同相の群は、formula_48 と書かれることもある。
ハミルトンシンプレクティック同相群は、(Augustin Banyaga)の定理により、単純(simple)である。それらはにより、自然な幾何学を持っている。ある単純なシンプレクティック 4次元多様体のシンプレクティック同相群のホモトピータイプは、(pseudoholomorphic curve)のミハイル・グロモフ(Mikhail Gromov)の理論を使い計算することができる。
リーマン多様体とは異なり、シンプレクティック多様体は非常にリジッド(rigid)というわけではない。ダルブーの定理は、同じ次元のすべてのシンプレクティック多様体は局所的に等長(isometric)であることを言っている。これに対して、リーマン幾何学の等長は、リーマン多様体の局所不変量であるリーマン曲率テンソルを保存せねばならない。さらに、シンプレクティック多様体上の任意の函数 H はハミルトンベクトル場 X を定義し、ハミルトン微分同相のをべきとして持っている。このことからシンプレクティック同相群は常に非常に大きく、無限次元である。他方、リーマン多様体の等長(isometric)群は、常に（有限次元の）リー群である。さらに、大きな対称群を持つリーマン多様体は非常に特別であり、生成するリーマン多様体の対称性は非自明である。
ヒルベルト空間上の（一般には formula_49-変換した後の）シンプレクティック同相群の有限次元部分群の表現は、量子化と呼ばれる。リー群がハミルトニアンによって定義されているとき、「エネルギーによる量子化」と呼ばれる。リー代数から連続した線型作用素への対応する作用素のことも、ときには量子化と呼ぶこともある。このことは、さらに一般的に共通な物理学的な見方である。(Weyl quantization)や(geometric quantization)や非可換幾何学を参照。
ウラジーミル・アーノルドの優れた予想であるアーノルド予想は、（M が閉多様体の場合に）M 上のハミルトンシンプレクティック同相写像 ƒ の固定点の極値の個数をモース理論に関連付ける予想である。さらに詳しくは、アーノルド予想は、ƒ は少なくとも M 上の滑らかな函数が持つべき臨界点(critical point)個数と同じ個数の極値を持つであろうという予想である。（少なくとも 2 という限られた有限個数の場合には、モース函数として、一般的に知られている。）
アーノルドと(Alexander Givental)の名前にちなんだ
は、これから従うことが知られている。この予想は、ラグラジアン部分多様体に関する予想であり、多くの場合に、シンプレクティックなフレアーホモロジーを構成することで、証明されている。