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

**シンプレクティック幾何学**（シンプレクティックきかがく、）とは、シンプレクティック多様体上で展開される幾何学をいう。シンプレクティック幾何学は解析力学を起源とするが、現在では大域解析学の一分野でもあり、可積分系・非可換幾何学・代数幾何学などとも深い繋がりを持つ。また、弦理論や超対称性との関わりも盛んに研究されている。

## 解析力学とシンプレクティック幾何
シンプレクティック幾何学の歴史は、ハミルトンに始まる。ニュートンから始まる力学は、オイラー、ラグランジュによって変分法をもとにした解析力学へと洗練されていった。すなわち、ニュートンの運動方程式

からオイラー＝ラグランジュ方程式
 \right) - \frac{\partial L}{\partial q_i} =0}}
への移行である。

オイラー・ラグランジュ方程式は、数学的には位置座標を変数とする配位空間の接バンドル上の方程式である。それに対して、ハミルトンによる力学の定式化、すなわち、**ハミルトン形式**は、運動方程式を配位空間の余接バンドル上の方程式

と見ることであった。この余接バンドルは位置座標と運動量を変数とする空間である。余接バンドルを物理学では、相空間と呼ぶこともある。速度は位置座標を微分して得られるものであるから、位置座標と速度を用いるラグランジュ方程式は二階の常微分方程式となっている。それに対して、ハミルトン形式では運動量自体を変数として用いるため、方程式は一階の常微分方程式となっている。ここで、速度と運動量は区別されなくてはならないことに注意する。なぜなら、一般化座標を取り替えたときに、一般化速度と一般化運動量の変換則はそれぞれ異なるからである。一般化速度の変換則は接ベクトルの変換則と同じであり、一般化運動量の変換則は余接ベクトルの変換則と同じである。

さて、ハミルトンの変分原理によれば、運動は作用積分の停留点、すなわち

を満たす相空間上の曲線として与えられ、それは上のハミルトンの正準方程式を満たすというものであった。しかし、**シンプレクティック形式**を用いれば変分原理を通ることなく、方程式を書き下すことが出来る。

をシンプレクティック形式 （正準2形式） とするとハミルトンの正準方程式は

と表される。ここで X_H はハミルトニアン H から定まるハミルトンベクトル場である。

解析力学の相空間上のシンプレクティック形式 \omega_0 による定式化は、さらに一般のシンプレクティック多様体上へと拡張される。 (M,\omega) をシンプレクティック多様体とし、H を M 上の滑らかな関数とする。このとき、ハミルトンの正準方程式がやはり上と同じ形式で、

と定義される。ただし、シンプレクティック多様体まで拡張してしまうと、ハミルトン形式に対応するラグランジュ形式は一般には見付けられない。

## 対称性と可積分系
運動方程式は、ラグランジュ形式においては一般化座標と一般化速度とを用いて、2階の常微分方程式系（オイラー・ラグランジュ方程式）として記述された。それに対して、ハミルトン形式においては、一般化座標と一般化運動量とを用い、1階の常微分方程式系（ハミルトンの正準方程式）により運動が記述された。しかし、ハミルトン形式において最も特徴的なことは、方程式が対称的であり、かつ、一般化座標と一般化運動量の2つが独立に扱われることである。この事実は、系の対称性や可積分性を調べるにはハミルトン系のほうが都合がよいことを意味する。なぜなら、ラグランジュ形式は配位空間上の対称性しか扱わないのに対して、ハミルトン形式は相空間（=配位空間の余接バンドル）上の対称性をも扱うからである。つまり、ハミルトン形式の方がより多くの変換が許容される。

運動方程式を求積するには第一積分（保存量）が必要である。（ハミルトニアンとは独立な）第一積分の数だけ方程式の自由度を落とすことができるからである。第一積分を使って、方程式の自由度を削減する方法を一般に簡約化という。

第一積分を見つけることは系における対称性を見つけることに等しい。系が対称性をもてば、その対称性に対応する保存量を見付けられるからである。例えば、並進対称性があれば運動量が保存し、回転対称性をもてば角運動量が保存する。このように、系の対称性と第一積分の存在との関係を一般的な状況下で研究したのは、ネーターが最初であるとされる。彼女は現在ネーターの定理と呼ばれる次の定理を示した。

### 定理（ラグランジュ形式）
\{\phi_t\} を配位空間 N 上の1パラメータ変換群とし、L を系のラグランジアンであるとする。もし \{\phi_t\} の状態空間 TN への持ち上げに対してラグランジアン L が不変ならば、系は

という第一積分をもつ。ここで

は 1パラメータ変換群 \{\phi_t\} の無限小変換である。

ネーターの定理はハミルトン形式に対しても同様に成り立つ。

### 定理（ハミルトン形式）
T^*N を正準2形式を持つシンプレクティック多様体とし、\{\bar{\phi}_t\} を T^*N 上の完全シンプレクティック変換の 1パラメータ族とする。もし、ハミルトニアン H が \{\bar{\phi}_t\} の作用で不変ならば、\{\bar{\phi}_t\} の無限小変換は T^*N 上のある関数 G のハミルトンベクトル場であり、関数 G はハミルトン系の第一積分である。

関数 G がハミルトン系の第一積分であることと、G がハミルトニアン H とポアソン可換、つまり \{H,G\}=0 であることとは同値である。

逆に、ハミルトニアン H とポアソン可換な関数 G が存在して、G が H と関数的に独立であるとすると、G が定めるハミルトンベクトル場のフローは、ハミルトニアン H を不変にする。つまり、第一積分（保存量）からハミルトン系の対称性が得られたことになる。この意味で、系の対称性と第一積分の存在は等価である。しかし、ある保存量に対する対称性が目に見える形で現れるとは限らない。自明ではない対称性を**[[隠れた対称性]]**という。

さて、ハミルトン系が十分多くの第一積分を持てば、それらにより方程式は求積できる。n を系の自由度とする。ハミルトン系が完全可積分であるとは、H=G_1 とポアソン可換な関数 G_1,\cdots,G_n が存在して、それら n 個の関数が関数的に独立であることをいう。完全可積分であることを、単に可積分であるともいう。

代表的な可積分系には次のようなものが挙げられる。
* ケプラー問題
* 二体問題
* 調和振動子
* 戸田格子
* ラグランジュのコマ
* コワレフスカヤのコマ
* 対称ゴマ
また、可積分系における重要な結果として、アーノルド・ヨストの定理（**リウヴィル・アーノルドの定理**）やKAM理論が挙げられる。ここで、KAM理論の**KAM**とは、Kolmogorov-Arnold-Moser （コルモゴロフ・アーノルド・モーザー）の頭文字である。

## 量子力学との関わり
20世紀初頭になると、シンプレクティック幾何学は更なる転機を迎える。量子力学の誕生である。ハイゼンベルクやシュレディンガーらによって、量子力学は始まるが、そこにおいてもシンプレクティック幾何は重要であった。ハイゼンベルクの行列力学はポアソン括弧から出発し、シュレディンガーの波動力学はハミルトン・ヤコビ方程式から出発するからである。その後、量子化の方法はいくつも提案されている。いくつか挙げるとすれば、

* 正準量子化
* ファインマンの経路積分法による量子化
* ネルソンによる確率力学
である。

n 次元ユークリッド空間  \mathbb{R}^n においては、十分に正当性の高い量子化の方法が得られている。それは、上に挙げた正準量子化である。 \mathbb{R}^n 上の絶対二乗可積分な関数全体のなすヒルベルト空間

:L^2(\mathbb{R}^n) = 
\left\{ f : \mathbb{R}^n \to \mathbb{C} 
  \,\left|\, 
    \int_{\mathbb{R}^n} |f(x)|^2 d^n x 

を考え、位置\, x_j\,と運動量\, p_j\ (j=1,\cdots,n) \,に対応する物理量をそのヒルベルト空間L^2 ( \mathbb{R}^n )上の自己共役作用素

:\begin{aligned}
( \hat{x}_j f)(x)&= x_j f(x),\\
( \hat{p}_j f)(x)&=-i \hbar \frac{\partial f}{\partial x_j} (x)
\end{aligned}\quad(j=1,\cdots n)

と置き換える。ここで、 \hbar はプランク定数である。これらの作用素に対して、正準交換関係(ハイゼンベルクの交換関係、ボルン・ハイゼンベルク・ヨルダンの交換関係ともいう)

:[ \hat{x}_j , \hat{x}_k ]=[ \hat{p}_j, \hat{p}_k ]=0, \,\, 
[ \hat{x}_j , \hat{p}_k ]=i \hbar \delta_{jk}

が成り立つ。一般にヒルベルト空間 \mathcal{H}とその上の正準交換関係を満たす自己共役作用素の組 ( \mathcal{H}, \hat{x}_1, \cdots, \hat{x}_n, \hat{p}_1, \cdots, \hat{p}_n ) を**自由度nの正準交換関係表現**という。正準量子化とは、ヒルベルト空間  L^2(\mathbb{R}^n) 上の正準交換関係表現を定義することに他ならない。このような正準量子化の定義をはっきりと打ち出したのは、フォン・ノイマンである。フォン・ノイマンはさらに、ヴァイルの関係式を満たす正準交換関係表現がユニタリー同値なものを除いて一意に定まることを示した。これはハイゼンベルクによる行列力学とシュレディンガーによる波動力学の同値性を説明する。

しかし、正準量子化はユークリッド空間ではうまくいくが、一般の多様体上では簡単にそれを行うことはできない。なぜなら、多様体において座標は局所的なものであり、それを大域的に用いることはできないからである。また、正準量子化の方法をシンプレクティック多様体の上に一般化することも困難である。なぜなら、ユークリッド空間上での正準量子化は T^* \mathbb{R}^n \cong \mathbb{R}^n \times \mathbb{R}^n上の量子化であると考えられ、位置と運動量の区別が自然と付く。しかし、一般のシンプレクティック多様体の場合(例えばコンパクト多様体を考えよ) 、位置と運動量の区別は付かない。そのため、運動量を微分演算子で置き換えるという、正準量子化の方法が幾何学的にどのような意味を持つかはこの時点でははっきりしないのである。この疑問に対して、ディラックは幾何学的量子化の問題を提起した。

(M,\omega) をシンプレクティック多様体とし、\{\bullet,\bullet\} をシンプレクティック形式から定まるポアソン構造とする。ディラックの提起した幾何学的量子化の問題とは次のように述べられる。

;幾何学的量子化：
:シンプレクティック多様体 (M,\omega) からあるヒルベルト空間 \mathfrak{H}を作り、M 上の滑らかな関数のなす関数環 C^{\infty} (M)から \mathfrak{H} 上の線型作用素への対応Q で次の性質を満たすものを構成せよ：
::[ Q(f), Q(g) ]=i \hbar Q( \{ f,g \}), \,\,\,\, f, g \in C^{\infty} (M),
:ここで、[X,Y]=XY-YX である。

幾何学的量子化がT^* \mathbb{R}^nの場合にうまくいくことは既に見た。問題は一般のシンプレクティック多様体に対して、上のような量子化ができるかである。

## 幾何学的量子化と非可換幾何学
幾何学的量子化の問題は多様体上の量子力学の構成という問題から始まったのであるが、空間の量子化を考える非可換幾何学とも深い関わりを持つ。非可換幾何の原点は次の事実であった：

**定理：** M,Nを滑らかな多様体であるとする。M と N が微分同相であるための必要十分条件は、それらの上の**可換な**関数環 C^{\infty} (M) と C^{\infty} (N) が同型であることである。

この定理は、「多様体とはその上の**可換な**関数環のみで決まる。」と言い換えることができるであろう。だとするならば、多様体 M の上に**非可換な**関数環  (C^\infty(M), * )  を構成でれば、それは非可換な多様体を構成したことと同じになるのではないか。これが非可換幾何学の精神である。非可換な関数環の構成の1つが、**変形量子化**である。(M,\omega) をシンプレクティック多様体とし、\{\bullet,\bullet\} でそのポアソン構造を表す。ポアソン構造 \{\bullet,\bullet\} によって、C^{\infty} (M) はポアソン環になる。そのポアソン環 C^{\infty} (M)の形式的べき級数環を

:\mathcal{A} \nu= \left\{ \left. \sum_{n=0}^{\infty} f_n \nu^n \,\right|\, f_n \in C^{\infty} (M) \right\}

と書くことにする。\nu は形式的なパラメータである。変形量子化とは、形式的べき級数環 \mathcal{A} \nu に以下の性質を満たす積 * を導入することである。

* \nu *f =f* \nu, \,\,\,\, f \in \mathcal{A}\nu.
* f*g=fg+ \nu \{ f,g \} +O( \nu^2 ), \,\,\,\, f,g \in \mathcal{A} \nu.

このような非可換な関数環を構成できれば、それに対応する｢非可換な多様体｣が構成できたことになるであろう。

幾何学的量子化は非可換幾何学と関係があるといったが、それは次のような意味においてである。(M,\omega) をシンプレクティック多様体とし、\, (\mathfrak{H},Q) \,をその幾何学的量子化とする。今、C^{\infty} (M) 上に積 * を

:Q(f*g):=Q(f) \circ Q(g), \,\,\,\,\, f,g \in C^{\infty} (M)

で定める(この段階ではf*g の存在は保証されていないが、ここでは気にせず議論を進めることにする)。するとこの積 * は C^{\infty} (M) に非可換な積を定めているはずであり、これにより多様体 M の｢非可換化」がなされるであろう。つまり、幾何学的量子化は空間の量子化を行っている、とも思える。

## シンプレクティックトポロジーへ
シンプレクティック幾何の歴史は物理とともに始まり進展していったが、そしてシンプレクティック幾何は大域的幾何としての発展を期待されていた。例えば、ダルブーの定理によれば、局所的にはシンプレクティック空間 \left( \mathbb{R}^{2n},\ \omega_0 = \sum_i d p_i \wedge d q_i \right) で話が全て尽きてしまう。したがって、シンプレクティック幾何が扱うべきは大域的な対象であると長く言われてきた。しかし、物理と密着な関わりを持ちすぎたが故に、シンプレクティック幾何学は20世紀前半から始まる大域的解析学とは一線を画している面がある。しかし、特にグロモフ以降のシンプレクティック幾何学は、大域解析学の大きな柱へと成長を遂げることになる。グロモフは論文 のなかで**概正則曲線**の概念を定義し、その論文がエポックメイキングとなりそれ以降シンプレクティック幾何学は大域的トポロジーの一分野(**シンプレクティックトポロジー**)に躍り出ることとなる。これを深谷賢治は、『普通の大域シンプレクティック幾何学』 になった、と述べている。

グロモフは次の定理を示した。

**定理 (non-squeezing) ：**　 r,R>0 とする。 また、
::\begin{align}
B^{2n} (r)&= \left\{ (q,p) \in \mathbb{R}^{2n}\mid \sum_i (q_i^2 + p_i^2 ) \leq r \right\},\\
Z^{2n} (R)&= \{ (q,p) \in \mathbb{R}^{2n} \,|\, p_1^2 + p_1^2 \leq R \}
\end{align} 
::とし、それぞれに\, \mathbb{R}^{2n} \,の標準的なシンプレクティック構造 \omega_0 = \sum_{i=1}^n d p_i \wedge d q_i から誘導されるシンプレクティック構造を入れる。もし、\, ( B^{2n} (r),\omega_0 ) \,から\, ( Z^{2n} (R), \omega_0) \,へのシンプレクティック埋め込みが存在するならば、r\leq R である。

この定理は n=1 のときは自明である。n=1のとき、\, Z^2 (R) \,は2次元円盤\, B^2 (R) \,であり、シンプレクティック埋め込みは面積を保つから、\, B^2 (r) \,が\, Z^2 (R) = B^{2} (R) \,に埋め込めるためには、\, B^2 (r) \,の面積が\, Z^2 (R)= B^2 (R) \,の面積よりも小さくないといけない。つまり、r\leq R でなくてはならない。この説明を見れば分かるように、n=1 のとき (空間の次元は2次元) はシンプレクティック埋め込みが面積を保つということがポイントであり、シンプレクティック構造を保つということは直接は使われない。しかし、n\geq 2 のときは状況が違う。このとき、\, B^2 (r) \,から\, Z^2 (R) \,への体積を保つ埋め込みは、r,R の大小関係に関わらずいくらでも存在する。それにもかかわらず、シンプレクティック構造を保つという条件を加えるだけで、その埋め込みが存在するかは r,R の大小関係に依る。この意味で、グロモフが示したこの非圧縮定理 (non-squeezing theorem) は非自明である。グロモフによるこの定理の証明には、概正則曲線が用いられている。ここで、概正則曲線の定義を述べる。\Sigma をリーマン面、(M,\omega) をシンプレクティック多様体とし、それぞれの概複素構造を i 及び J としよう。このとき、滑らかな写像\, u : \Sigma \to M \,が概正則曲線(概正則写像、J －正則曲線)であるとは、\, J \circ du=du \circ i \,を満足することをいう。

エケランド(Ekeland)とホファー(Hofer)はシンプレクティック容量 (symplectic capacity) の概念を提唱した。2n 次元シンプレクティック多様体に対するシンプレクティック容量とは、2n 次元シンプレクティック多様体 (M,\omega) に対して正数を割り当てる関数 c で次の性質を満たすものである。(M,\omega),(M',\omega') をシンプレクティック多様体とする。
* もしシンプレクティック埋め込み\, \phi : (M,\omega) \to (M',\omega') \,が存在すれば、\, c(M,\omega) \leq c(M',\omega'). \,
* \, c(M, \lambda \omega )=| \lambda| c(M, \omega ), \,\,\, \lambda\in\mathbb{R}\setminus\{0\}. \,
* \, 0
特に n=1 のとき、

:\, c(M,\omega) = \left| \int_M \omega \right| \,

とすれば、これは2次元シンプレクティック多様体に対するシンプレクティック容量であることが確かめられる。しかし、 n\geq 2 のとき、
:c(M, \omega) = \left| \int_M \frac{(-1)^n}{n!}\omega^n \right|^{1/n}
としても、これはシンプレクティック容量にはならない。

## アーノルド予想とフレアーホモロジー
(M,\omega) をシンプレクティック多様体とする。H 上の滑らかな関数の族 H=\{ H_t \} で H_{t+1} = H_t をとる。このとき、H に随伴するハミルトン力学系

:\dot{x} = X_{H_t}

が考えられる。1960年代、アーノルドはこのハミルトン力学系の1周期解の個数評価に関して次の予想を提出した。

**Conjecture (Arnold)** : 次の不等式が成立する：
::\# \{ x : \mathbb{R}/\mathbb{Z} \to M \,|\, \dot{x} = X_{H_t} \} \geq \min \{ \#Cr(F) \,|\, F \in C^{\infty} (M) \}
:ここで、Cr(F) は F の臨界点集合を表す。もし、全ての周期解が非退化であるのならば、
::\, \# \{ x : \mathbb{R}/\mathbb{Z} \to M \,|\, \dot{x} = X_H \} \geq \sum_k b_k (M) \,
:である。ここで、b_k (M)は k 次のベッチ数である。

この予想はハミルトン系の周期解に関する予想であるが、シンプレクティック多様体上の不動点定理としても捉えることができる。すなわち、\{ \phi_t \}_{t \in\mathbb{R}}をハミルトンベクトル場 X_{H_t}のフローとし、 \gamma : \mathbb{R}/\mathbb{Z} \to M をハミルトン系の周期解としよう。簡単のため、 \gamma の周期は1であるとする。すると、 \gamma(0)\in M は \phi_1 ( \gamma (0))= \gamma(0) を満たす。つまり、 \gamma(0) はハミルトン微分同相写像の不動点である。この観点からみれば、アーノルド予想とは

**Conjecture(Arnold)**
:\, \phi \,を(M, ω)上のハミルトン微分同相写像とする。このとき、
::\, 
\# \{ p\in M \,|\, \phi(p)=p \} \geq \min \{ \#Cr(F) \,|\, F \in C^{\infty}(M) \}
\,
:が成り立つ。

また、ハミルトン微分同相写像の固定点の個数に関する、ベッチ数評価やcup length評価版もある。この予想が提出されて以降、いくつかの部分解が証明されたが、本質的に進展したのはフレアーによってである。フレアーは、シンプレクティック多様体が単調 (monotone) であるときにアーノルド予想を解決した。ここで、シンプレクティック多様体 (M,\omega) が単調であるとは、正数 \tau >0 が存在して、\, c_1 (M)|_{\pi_2 (M)} = \tau[\omega]|_{\pi_2 (M)} \,が成り立つことをいう。ここで、\, c_{1}(M) \,は第一チャーン類、[\omega] はシンプレクティック形式が定める2次のコホモロジー類である。フレアーは現在フレアーホモロジーと呼ばれるホモロジーを構成した。その後、ホーファー-サラモンや小野により、シンプレクティック多様体が半正（弱単調ともいう）という条件下で、アーノルド予想のベッチ数評価版が証明された。さらに、Liu-Tian及び深谷・小野により、一般のコンパクトなシンプレクティック多様体において、アーノルド予想ベッチ数評価版が証明された。

さらには、フレアーホモロジーの概念はハミルトン系の周期解に対するものだけでなく、低次元多様体上のSU(2)ゲージ理論やシンプレクティック多様体のラグランジュ部分多様体の交叉理論にも応用される。しかし、これらに共通しているのは、無限次元多様体上でのモース理論の適用である。

以下、ハミルトン系の周期軌道に対するフレアー理論を解説する。シンプレクティック多様体 M の上の閉曲線全体 \mathcal{L} M を M 上の自由ループ空間という。さらにその内で、1点に連続変形可能(可縮という)なものの全体を、X= \mathcal{L}_0 Mと書くことにする。また、S^1と書いたときは、\mathbb{R}/\mathbb{Z}とパラメトライズされていると仮定する。このとき、時間に依存するハミルトン関数 H \in C^{\infty} ( S^1 \times M) に対して、X 上の汎関数が次のように定まる：

:\, 
\mathcal{A}_H(\gamma) =  
\int_{D^2} u^* \omega - \int_{\gamma} Hdt, 
\,\,\,\, \gamma \in X.
\,

ここで、u: D^2 \to M は2次元円盤 D^2から M への写像で、\gamma を境界として持つものである。ただし、u は唯1つには定まらず、\mathcal{A}_H は  X 上の多価な汎関数となる。もし \pi_2 (M)=0 と仮定すると、汎関数の値は u の取り方に依らず、\gamma のみに依存する。そこで、以下では\pi_2 (M)=0であるとして議論を進める。

汎関数 \mathcal{A}_H に対する変分原理は、\gamma \in X がハミルトン方程式の周期1の周期解であるのは、\gamma が汎関数 \mathcal{A} の臨界点であるときであり、かつそのときに限る、ことを主張する。この観察から、アーノルド予想は

:\# \mathrm{Cr}(\mathcal{A}_H) \geq \sum_{k=0}^{\dim M} b_k (M)　　　　　　　…………(*)

と読みかえられる。この不等式は、有限次元多様体上のモースの不等式のアナロジーである：N を有限次元閉多様体とし、f:N \to\mathbb{R}をその上のモース関数とすると、モースの不等式

: \# \mathrm{Cr}(f) \geq \sum_{k=0}^{\dim N} b_k (N).

が成り立つ。

不等式(*)を示すために、フレアーは次のような鎖複体を考えた；

: \mathrm{CF}_* (H)= \bigoplus_{x \in \mathrm{Cr}(\mathcal{A}_H)} \mathbb{Z}_{2} \langle x \rangle .

鎖複体の次数付けはコンリー・ツェンダー指数 (Conley-Zehnder index) \mu_H : \mathrm{Cr}(\mathcal{A}_{H}) \to \mathbb{Z} と呼ばれているもので与えられているとする。境界作用素は、

:\delta \langle x \rangle  = 
\sum_{\mu_H (x)- \mu_H (y)=1} \# \mathcal{M} (x,y) \langle y \rangle \mod 2

で定義される。ここで、\mathcal{M} (x,y)は臨界点 x から y へと向かう(負の)勾配曲線のモジュライ空間を表す。

このモジュライ空間についてもう少し詳しく述べよう。M 上の概複素構造 J で、シンプレクティック形式 \omega と両立するものが存在する。つまり、(M,J,\omega) は概ケーラー多様体となる。このとき、リーマン計量g_J = \omega(\bullet, J\bullet)から可縮なループからなる「多様体」X 上のL^2-計量を定めることが出来るから、汎関数 \mathcal{A}_H の（形式的な）勾配ベクトル場が X 上定義される。いま X 上の曲線  u : \mathbb{R} \to X を考えると、それはシリンダー \mathbb{R} \times S^1 から M への写像と同一視できる。この同一視を使って、\mathcal{A}_H の勾配方程式を書き下すと、フレアー方程式（摂動されたコーシー・リーマン方程式ともいう）

: \frac{\partial u}{\partial s} + J(u)\left( \frac{\partial u}{\partial t} - X_{H_t}(u) \right) =0　　　　　　　…………(**)

となる。ここで、s,t はそれぞれ \mathbb{R} \times S^1の第一、第二成分の座標である。(**)の解 u で、s\to-\inftyの極限でu(s,\bullet): S^1 \to Mがハミルトン方程式の1周期解xに、s\to\inftyの極限で周期解 y に収束するもののモジュライ空間を\mathcal{M} (x,y)と書く。\mu_H (x)- \mu_H (y)=1ならば、このモジュライ空間は有限集合であることが証明できる。したがって、上で定義した境界作用素 \delta はwell-definedである。さらに次の定理が成立すれば、鎖複体(CF_{\ast}(H), \delta)がようやく構成できたことになる(正確には、概複素構造 J にも依存した鎖複体を構成した）。

**定理**(フレアー)：(M,\omega) が単調ならば、\delta \circ \delta =0が成り立つ。

この定理の証明には上のモジュライ空間のコンパクト性が必要になるが、一般にはフレアー方程式の解の無限列の極限でバブルと呼ばれる現象が生じ、コンパクト性が成り立たない。ただしシンプレクティック多様体の単調性であるとバブルが起きないので、モジュライ空間はコンパクトであるといえる。（正確には上のモジュライ空間のうまいコンパクト化を取ることが出来る。）このとき、張り合わせなどの議論を経て、上の定理が成立する。Hofer-Salamon, 小野はさらに半正でもバブルが起きず、上の定理が成立することを示した。

**定義：** 鎖複体 (\mathrm{CF}_{\ast}(H,J), \delta)のホモロジーをハミルトン系の（可縮な）周期軌道に対する**[[フレアーホモロジー]]**と呼び、\mathrm{HF}_{\ast} (H,J)と表す。

シンプレクティック多様体が単調である場合のアーノルド予想は、フレアーによる次の定理から直接従う。

**定理**(フレアー)：　フレアーホモロジー \mathrm{HF}_{\ast} (H, J)はハミルトン関数 H 、及び、概複素構造 J に依らず、M のホモロジーに同型である。

## シンプレクティック幾何学に関わる数学者
* ウラジーミル・アーノルド (V. I. Arnold)
* ミハイル・グロモフ (Mikhael L. Gromov)
* ウィリアム・ローワン・ハミルトン (William R. Hamilton) 
* 深谷賢治
* アンドレアス・フレアー (Andreas Floer)
* 小野薫

## 脚注