数学の作り方 How to make Mathematics

シンプレクティック幾何学

ニュートン力学の裏に隠れていた幾何

惑星の運動も振り子も、位置と運動量の組で状態が決まります。この「位置×運動量」の空間 (相空間)には、実は特別な幾何構造が備わっている——それがシンプレクティック形式です。 リーマン幾何が「長さ」を測る計量を持つのに対し、シンプレクティック幾何が測るのは 面積のような、向きのついた量。距離ではなく“ねじれ”の幾何です。

面白いのは、この幾何には局所的な曲がりが一切ないこと(ダルブーの定理:どこも同じ標準形に 見える)。だから主役は大域的な形と、その上の運動になります。エネルギー関数(ハミルトニアン) 一つから運動が完全に決まり(ハミルトンベクトル場)、保存量は「モーメント写像」として 対称性から自動的に生まれる。そして現代では、擬正則曲線という解析の道具が、体積保存を超えた シンプレクティック剛性(グロモフの非圧縮定理)を暴きます。物理の最小作用・保存則を、 純粋に幾何の言葉で語り直す分野です。

相空間の幾何。距離ではなく“向きのついた面積”を測り、そこに古典力学が丸ごと乗る。

この分野の地図

「相空間の幾何を立てる」→「その上に力学を乗せる」→「対称性で簡約し、大域的な剛性へ」の順に進みます。

シンプレクティック多様体の基礎

  1. 相空間とシンプレクティック形式ω=dpdq\omega=\sum dp\wedge dq・閉じて非退化
  2. 線形シンプレクティック代数 — シンプレクティックベクトル空間・Sp(2n)\mathrm{Sp}(2n)
  3. ダルブーの定理 — 局所的に曲がりなし・リーマンとの決定的違い
  4. ラグランジュ部分多様体 — 半分次元の等方部分・母関数

ハミルトン力学

  1. ハミルトンベクトル場と流れXHX_H・エネルギー保存・リウヴィルの定理
  2. ポアソン括弧{f,g}\{f,g\}・保存量・リー環構造・正準変換
  3. モーメント写像 — 群作用・μ\mu・対称性 → 保存則(ネーターの幾何版)
  4. シンプレクティック簡約 — マースデン–ワインスタイン・対称性で次元を落とす

大域シンプレクティック幾何

  1. 概複素構造と両立計量ω(,J)=g\omega(\cdot,J\cdot)=g・複素幾何との接点
  2. グロモフの非圧縮定理 — シンプレクティック剛性・体積を超える
  3. 擬正則曲線とフレアー理論JJ-正則曲線・アーノルド予想
  4. 総括と展望 — ミラー対称性・接触幾何・シンプレクティック位相

前提

多様体論(微分形式・外微分・流れ)、微分幾何学(計量との対比)、 変分法(ハミルトン力学・ルジャンドル変換・相空間)が土台。第9・12章は 複素幾何学(概複素構造・ケーラー・ミラー対称性)、第11章は 微分位相幾何学(モース・フレアー)と深く結びつきます。

準備ができたら 第1章:相空間とシンプレクティック形式 へ。