第11章擬正則曲線とフレアー理論

前章のグロモフの非圧縮定理は、まったく新しい道具で証明されました——擬正則曲線です。第9章で見たように、シンプレクティック多様体の $J$ は可積分でなくてよい（本物の複素多様体でなくてよい）。だから面や領域を「正則」にはできない。ところが曲線——一次元の正則対象——なら、可積分でない $J$ に対しても定義できる。この曲線を数え上げることが、グロモフ–ウィッテン不変量とフレアーホモロジーという現代シンプレクティック幾何の心臓を生みました。微分位相幾何のモース理論が、ここで無限次元へと飛躍します。

擬正則曲線：可積分でなくても正則な曲線

$J$ -正則曲線は、リーマン面から多様体への「 $J$ と両立する」写像です。

定義擬正則曲線（J-正則曲線）

概複素構造 $J$ を持つ多様体 $M$ への、リーマン面 $(\Sigma,j)$ からの写像 $u\colon\Sigma\to M$ が擬正則曲線（ $J$ -正則曲線）とは、微分が複素構造と両立すること： $J\circ du=du\circ j\qquad(\text{コーシー–リーマン方程式 }\bar\partial_J u=0).$

これは複素幾何の $\bar\partial u=0$ （正則）の一般化です。決定的なのは、 $M$ の $J$ が 可積分でなくても、この方程式は意味を持つこと。定義域 $\Sigma$ は一次元（リーマン面）なので、そこでの複素構造 $j$ はいつでも可積分。だから「一次元の正則対象を、可積分でない標的に写す」ことができる。可積分性を諦める代わりに次元を一つに落とす——これがグロモフの発想の核心です。 $\bar\partial_J u=0$ は楕円型の偏微分方程式（PDE）で、その解の空間（モジュライ空間）が有限次元の良い構造を持ちます。

なぜ曲線が剛性を生むのか

擬正則曲線が、なぜ前章の非圧縮定理のような剛性を生むのか。鍵は「面積とエネルギーの結びつき」です。

注意非圧縮の証明の心

球 $B(r)$ が $Z(R)$ に埋め込めたと仮定する。シリンダーの円板方向を通る擬正則曲線 $u$ を、うまい $J$ に対して構成すると、そのシンプレクティック面積 $\int_\Sigma u^*\omega$ が一方で埋め込まれた球の幾何から下から $\pi r^2$ 以上、他方でシリンダーの断面から上から $\pi R^2$ 以下に抑えられる。 $\pi r^2\le\pi R^2$ 、すなわち $r\le R$ 。擬正則曲線の面積が、埋め込みの障害を定量化する——これがグロモフの証明。曲線の存在（楕円型 PDE の可解性）と面積評価が、大域的な剛性に翻訳される。

擬正則曲線の面積は $\int u^*\omega$ で、そのエネルギー（ $\int|du|^2$ ）と一致します（ $J$ -正則性ゆえ）。だから「曲線が存在すれば、そのシンプレクティック面積のぶんの“太さ”が必要」という下界が出る。第1章で $\omega$ が測った面積が、ここで埋め込みの障害として物理的な意味を持つのです。曲線の数え上げは、さらに深い不変量を生みます。

グロモフ–ウィッテン不変量

擬正則曲線を「数える」と、シンプレクティック多様体の不変量が得られます。

定義グロモフ–ウィッテン不変量

与えられたホモロジー類・種数・点条件を満たす擬正則曲線のモジュライ空間の“個数”（適切に定義した交叉数）をグロモフ–ウィッテン不変量という。 $J$ の選び方によらない（第9章の $\mathcal J(\omega)$ の可縮性）シンプレクティック不変量で、「多様体の中に正則曲線が何本あるか」を数える。

グロモフ–ウィッテン不変量は、代数幾何の数え上げ幾何（「平面上の $5$ 点を通る円錐曲線は何本か」といった古典的問い）を、シンプレクティックの枠組みで一般化・厳密化したものです。そしてこれが物理の弦理論・複素幾何のミラー対称性（第12章）で中心的な役を果たします。 $J$ の可縮性（第9章）が「数が $J$ によらない」ことを保証し、補助的な $J$ の選択が最終的な数え上げに影響しない ——だから well-defined な不変量になる。

フレアーホモロジーとアーノルド予想

擬正則曲線を「モース理論の流れ線」とみなすと、無限次元のモース理論——フレアーホモロジー——が生まれます。これが有名なアーノルド予想を解きます。

定理アーノルド予想（フレアーの定理）

コンパクトシンプレクティック多様体上のハミルトン微分同相 $\phi$ （ハミルトン流の時刻 $1$ ）の固定点の個数は、多様体のホモロジーの総ランク（ベッチ数の和 $\sum b_k$ ）以上： $\#\{\text{固定点}\}\ge\sum_k b_k.$

アイデアは、微分位相幾何のモース理論の壮大な一般化です。モース理論では、関数の臨界点の個数がベッチ数以上でした（モース不等式）。フレアーは、これを無限次元の空間（ループ空間）上の作用汎関数に適用します。その臨界点がハミルトン系の周期軌道（＝ $\phi$ の固定点）、臨界点をつなぐ勾配流れ線が 擬正則曲線（円柱上の $J$ -正則曲線）。有限次元のモースホモロジー（微分位相幾何）の構成——臨界点を基底に、流れ線で境界写像を作り $\partial^2=0$ ——を、擬正則曲線の数え上げで無限次元に持ち上げたのがフレアーホモロジーです。それが多様体のホモロジーと一致することから、固定点の個数の下界（アーノルド予想）が出ます。変分法の最小作用（周期軌道）、微分位相幾何のモース理論、そしてシンプレクティックの擬正則曲線——三つの分野が、フレアー理論で一点に合流します。

注意つまずきポイント

曲線だから可積分性が要らない。定義域（リーマン面）は一次元で複素構造は可積分。標的の $J$ が可積分でなくても $\bar\partial_J u=0$ は意味を持つ。次元を一つに落とすのがグロモフの鍵。
面積＝エネルギーが障害を生む。 $J$ -正則曲線の $\int u^*\omega$ が下界を与え、非圧縮の剛性を定量化。第1章の「 $\omega$ が測る面積」が大域の障害に。
フレアー＝無限次元モース理論。臨界点＝周期軌道（固定点）、流れ線＝擬正則曲線。モースホモロジーの $\partial^2=0$ を無限次元へ。アーノルド予想の下界を生む。

この章のまとめ

擬正則曲線 $\bar\partial_J u=0$ ：リーマン面から $M$ への $J$ -両立写像。 $J$ が可積分でなくても定義でき、楕円型 PDE として良いモジュライ空間を持つ。可積分性を諦め次元を一つに落とすグロモフの発想。
曲線のシンプレクティック面積 $\int u^*\omega$ （＝エネルギー）が下界を与え、グロモフの非圧縮定理 （前章）を証明。第1章の面積が大域の障害に。
グロモフ–ウィッテン不変量＝擬正則曲線の数え上げ（ $J$ によらない、第9章の可縮性）。数え上げ幾何・ミラー対称性の主役。
フレアーホモロジー＝無限次元モース理論（臨界点＝周期軌道、流れ線＝擬正則曲線）。アーノルド予想 $\#\text{固定点}\ge\sum b_k$ を証明。変分法・モース理論・シンプレクティックの合流点。

最終章は、この擬正則曲線が開いた地平——ミラー対称性・接触幾何・シンプレクティック位相——を展望し、シンプレクティック幾何の旅と、全 30 分野の物語を締めくくります。

第11章 擬正則曲線とフレアー理論