数学の作り方 How to make Mathematics

第12章 総括と展望

擬正則曲線が開いた地平は広大です。この最終章では、ミラー対称性・接触幾何・シンプレクティック位相という現代 シンプレクティック幾何の展開を展望し、この分野を貫く一本の糸——「距離を持たない、向きのついた面積の幾何」 ——を振り返ります。そしてシンプレクティック幾何が、これまで辿ってきた多くの分野とどう手を結ぶかを見て、 数学全体を貫く物語を締めくくります。

ミラー対称性:シンプレクティックと複素の双対

現代数学で最も驚くべき予想の一つが、ミラー対称性です。複素幾何の最終章でも触れた、 物理(弦理論)が生んだこの双対性は、シンプレクティック幾何と複素幾何を鏡のように対応させます。

注意 ミラー対称性とフカヤ圏

カラビ–ヤウ多様体 XX と、その「ミラー」Xˇ\check X の間で、

  • XXシンプレクティック幾何(擬正則曲線・グロモフ–ウィッテン不変量・ラグランジュ部分多様体)と、
  • Xˇ\check X複素幾何(正則な対象・連接層・ホッジ理論)が入れ替わる。

ホモロジー的ミラー対称性(コンツェビッチ)は、XX のラグランジュ部分多様体(第4章)のなす フカヤ圏(擬正則曲線で射を数える圏)が、Xˇ\check X の連接層の圏(複素幾何代数幾何)と同値だと主張する。第4章の「すべてはラグランジュ」が、圏論の言葉で 複素幾何と結ばれる。

シンプレクティック側の「数えにくい曲線の情報」が、複素側の「計算しやすいホッジ理論」に翻訳される——ミラー 対称性は、その驚異的な辞書です。複素幾何のホッジ・ダイヤモンドが 90°90° 回転して相手の ダイヤモンドになる、という現象は、シンプレクティックと複素という二つの幾何が深く双対であることの現れでした。

接触幾何:奇数次元の兄弟

シンプレクティック幾何が偶数次元 2n2n の幾何なら、その奇数次元 2n+12n+1 の兄弟が接触幾何です。

注意 接触幾何

奇数次元多様体上の、最大限に「ねじれた」超平面場(接触構造 kerα\ker\alphaα(dα)n0\alpha\wedge(d\alpha)^n\neq0)を 扱うのが接触幾何。シンプレクティック多様体の「境界」や「一定エネルギー面」({H=const}\{H=\text{const}\})に 自然に現れる。ワインスタイン予想(接触多様体上の周期軌道の存在)はアーノルド予想(第11章)の兄弟で、 擬正則曲線の道具(シンプレクティック場の理論)で攻められる。偶数次元のシンプレクティックと奇数次元の接触が、 対になって力学系と幾何を記述する。

エネルギー保存面は奇数次元(2n2n 次元相空間の中の 2n12n-1 次元等位面)——だからハミルトン力学を突き詰めると、 自然に接触幾何が顔を出します。シンプレクティックと接触は、力学の幾何の表と裏なのです。

シンプレクティック幾何を貫く糸

シンプレクティック幾何の全 12 章を振り返ると、一つの主題が全体を貫いていました。

注意 シンプレクティック幾何の見取り図

  1. 面積の幾何を立てる(第1–4章):反対称・非退化・閉な ω\omega、ダルブー(局所は自由)、ラグランジュ 部分多様体(半分次元の主役)。
  2. 力学を乗せる(第5–8章):HH から XHX_H(非退化)、エネルギーと体積の保存(リウヴィル)、ポアソン 括弧(リー環)、モーメント写像(対称性→保存量)、簡約(対称性で次元を落とす)。
  3. 大域の剛性へ(第9–12章):両立する JJ(可積分でなくてよい)、グロモフの非圧縮(体積を超える剛性)、 擬正則曲線とフレアー(無限次元モース)、ミラー対称性。

貫く糸は「距離を測らず、向きのついた面積を測る」ことです。リーマン幾何が長さと 曲率で局所を語るのに対し、シンプレクティックは面積 ω\omega を測り、局所には情報を持たない(ダルブー)。 だから情報はすべて大域にある——多様体全体の形、その上の運動(ハミルトン力学)、部分多様体の交わり (ラグランジュ・フレアー)、埋め込みの剛性(グロモフ)。物理の最小作用と保存則が純粋に幾何になり、 変分法のハミルトン力学・微分位相幾何のモース理論・ 複素幾何のケーラーが、この面積の幾何の上で一つに合流する。距離という最も基本的な量を 手放すことで、かえって力学・トポロジー・複素幾何を横断する広い視野が開ける——それがシンプレクティック幾何の 逆説的な豊かさです。

結び:三十分野を貫く数学の物語

シンプレクティック幾何をもって、この教材が辿ってきた三十の分野——微積分から始まり、代数・幾何・ 解析・基礎論を経て、いまここに至る道——が一巡しました。振り返れば、どの分野も孤立してはいませんでした。 集合と位相の完備性が関数解析を支え、群論の対称性が ガロア理論リー群に流れ込み、測度論確率論フーリエ解析を生み、複素解析の硬さが 複素幾何へ、変分法のハミルトン力学がこのシンプレクティック 幾何へと繋がった。

数学は、一つ一つ独立した定理の山ではなく、深いところで互いに響き合う一つの織物です。ある分野で 「つまずき」を越えるために作った道具が、遠く離れた分野で思わぬ形で再会する。ラプラシアンは PDEフーリエ複素幾何のホッジ理論で顔を出し、 リー環は表現論複素幾何のレフシェッツ・このシンプレクティックの ポアソン括弧で再登場した。モース理論は微分位相幾何からフレアー理論へと無限次元へ 飛躍した。一つの発想が分野を越えて生き続ける——その様を見てきたことが、この旅の何よりの収穫です。

注意 ここから先へ

シンプレクティック場の理論(SFT)、埋め込みの定量的研究(ECH=埋め込み接触ホモロジー)、 ミラー対称性の数学的定式化、シンプレクティック・トポロジーの柔性 vs 剛性(hh-原理とグロモフ剛性の せめぎ合い)、可積分系とトーリック幾何、幾何学的量子化。どれも本分野の「面積の幾何・擬正則曲線・ ラグランジュ」を土台に、力学・トポロジー・複素幾何・数理物理が交わる最前線へと続く。そして数学全体は、 これからも新しい「つまずき」と、それを越えるための新しい道具とともに、織物を広げ続けます。