|
シンプレクティック幾何学（シンプレクティックきかがく、）とは、シンプレクティック多様体上で展開される幾何学をいう。シンプレクティック幾何学は解析力学を起源とするが、現在では大域解析学の一分野でもあり、可積分系・非可換幾何学・代数幾何学などとも深い繋がりを持つ。また、弦理論や超対称性との関わりも盛んに研究がなされている。 == 解析力学とシンプレクティック幾何 == シンプレクティック幾何学の歴史は、ハミルトンに始まる。ニュートンから始まる力学は、オイラー、ラグランジュによって変分法をもとにした解析力学へと洗練されていった。すなわち、ニュートンの運動方程式 からオイラー＝ラグランジュ方程式 への移行である。 オイラー・ラグランジュ方程式は、数学的には位置座標を変数とする配位空間の接バンドル上の方程式である。それに対して、ハミルトンによる力学の定式化、すなわち、ハミルトン形式は、運動方程式を配位空間の余接バンドル上の方程式 と見ることであった。この余接バンドルは位置座標と運動量を変数とする空間である。余接バンドルを物理学では、相空間と呼ぶこともある。速度は位置座標を微分して得られるものであるから、位置座標と速度を用いるラグランジュ方程式は二階の常微分方程式となっている。それに対して、ハミルトン形式では運動量自体を変数として用いるため、方程式は一階の常微分方程式となっている。ここで、速度と運動量は区別されなくてはならないことに注意する。なぜなら、一般化座標を取り替えたときに、一般化速度と一般化運動量の変換則はそれぞれ異なるからである。一般化速度の変換則は接ベクトルの変換則と同じであり、一般化運動量の変換則は余接ベクトルの変換則と同じである。 さて、ハミルトンの変分原理によれば、運動は作用積分の停留点、すなわち を満たす相空間上の曲線として与えられ、それは上のハミルトンの正準方程式を満たすというものであった。しかし、シンプレクティック形式を用いれば変分原理を通ることなく、方程式を書き下すことが出来る。 をシンプレクティック形式 （正準2形式） とするとハミルトンの正準方程式は と表される。ここで ''X''''H'' はハミルトニアンHから定まるハミルトンベクトル場である。 解析力学の相空間上のシンプレクティック形式 ω0 による定式化は、さらに一般のシンプレクティック多様体上へと拡張される。 (''M''，''ω'') をシンプレクティック多様体とし、''H'' を ''M'' 上の滑らかな関数とする。このとき、ハミルトンの正準方程式がやはり上と同じ形式で、 と定義される。ただし、シンプレクティック多様体まで拡張してしまうと、ハミルトン形式に対応するラグランジュ形式は一般には見付けられない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「シンプレクティック幾何学」の詳細全文を読む スポンサード リンク
|