[論文レビュー] Holomorphic triangles and invariants for smooth four-manifolds

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Oct 16, 2001

Geometric and Algebraic Topology参考文献 7被引用数 30

ひとこと要約

本稿は、リーマン面の対称積における正則三角形を用いて、$b_2^+ > 1$ を満たす滑らかで向き付けられた4次元多様体に対する新しい不変量を導入する。これはヘーガードフローホモロジーに裏打ちされたものであり、フローホモロジー群間のコボルディズム写像を構成し、ねじれSpin$^c$ 構造に対して絶対的 $
\mathbb{Q}$-次数を確立する。主な貢献は、接続不等式を満たし、特定の位相的条件下で消える閉じた4次元多様体不変量 $
\Phi_{X,\mathfrak{s}}$ の構成であり、滑らかな4次元多様体位相の研究に強力な道具を提供する。

ABSTRACT

The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also endows the corresponding three-dimensional theories with additional structure: an absolute grading of certain of its Floer homology groups. The cornerstone of these constructions is the study of holomorphic disks in the symmetric products of Riemann surfaces.

研究の動機と目的

• 滑らかで向き付けられた4次元多様体に対して、フローホモロジーと正則三角形の数え上げを用いて新しい不変量を定義すること。
• ハンドル分解に依存しない、3次元多様体のヘーガードフローホモロジー群の間のコボルディズム写像を構成すること。
• ねじれSpin$^c$ 構造を備えた3次元多様体のフローホモロジーに絶対的 $
  \mathbb{Q}$-次数を定義すること。
• カットアンドパスタ構成を用いて、滑らかな4次元多様体不変量を導く、洗練された混合コボルディズム不変量を確立すること。
• 閉じた4次元多様体不変量 $\Phi_{X,\mathfrak{s}}$ に対して、接続不等式と消滅定理を証明すること。

提案手法

• 不変量は、3次元多様体のヘーガード図に付随するリーマン面の対称積における正則ディスクを用いて構成される。
• 2つの3次元多様体の間のコボルディズムは、それらのフローホモロジー複体の間のチェイン写像を誘導し、ハンドル分解に依存しないホモロジー上の写像を生じる。
• 絶対的 $
  \mathbb{Q}$-次数は、コボルディズムの第一チャーン類の二乗、オイラー標跡、およびシグニチャを含む相対的次数公式によって定義される。
• 閉じた4次元多様体不変量 $\Phi_{X,\mathfrak{s}}$ は、穴あきコボルディズムと3次元多様体に沿ったカットを用いて、混合コボルディズム写像の像における $\Theta^+$ の係数として定義される。
• この構成は、コボルディズム写像の合成法則とブロー・アップ公式に依存し、4次元多様体とそのブロー・アップの不変量を関係付ける。
• 不変量は双対性、共役不変性、合成性質を満たし、微分同相写像の下での位相的不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、対称積における正則三角形の数え上げを用いて滑らかで向き付けられた4次元多様体不変量を構成できるか？
• RQ2 コボルディズム写像とねじれSpin$^c$ 構造を備えたフローホモロジーの絶対的 $
  \mathbb{Q}$-次数の間にはどのような関係があるか？
• RQ3 閉じた4次元多様体不変量 $\Phi_{X,\mathfrak{s}}$ が消えるのはどのような条件下か？
• RQ4 ブロー・アップ操作における不変量の振る舞いはどのようにか？そして正確なブロー・アップ公式は何か？
• RQ5 滑らかに埋め込まれた曲面に対して、不変量が満たす接続型不等式は何か？

主な発見

• コボルディズム $W$ とそのSpin$^c$ 構造 $\mathfrak{s}$ によって誘導される写像 $F^{
  \bullet}_{W,\mathfrak{s}}$ は、ハンドル分解に依存しないコボルディズムのwell-definedな不変量である。
• ねじれSpin$^c$ 構造 $\mathfrak{t}$ を持つ3次元多様体 $Y$ に対して、$HF^\circ(Y,\mathfrak{t})$ 上に絶対的 $
  \mathbb{Q}$-次数 $\widetilde{\mathrm{gr}}$ が定義され、$\widetilde{\mathrm{gr}}(F^{+}_{W,\mathfrak{s}}(\xi)) - \widetilde{\mathrm{gr}}(\xi) = \frac{c_1(\mathfrak{s})^2 - 2\chi(W) - 3\sigma(W)}{4}$ を満たす。
• 閉じた4次元多様体不変量 $\Phi_{X,\mathfrak{s}}$ は写像 $\mathbb{Z}[U] \otimes \Lambda^*(H_1(X)/\mathrm{Tors}) \to \mathbb{Z}/\pm 1$ であり、入力の次数が正確に $d(X,\mathfrak{s}) = \frac{c_1(\mathfrak{s})^2 - 2\chi(X) - 3\sigma(X)}{4}$ でなければ0に等しい。
• 多様体 $X$ が $X = X_1 \#_Y X_2$ と分解可能で、$b_2^+(X_1), b_2^+(X_2) > 0$ かつ $HF_{\mathrm{red}}(Y,\mathfrak{t}) = 0$ を満たすとき、不変量 $\Phi_{X,\mathfrak{s}}$ は消える。
• 不変量は接続不等式を満たす：任意の埋め込まれた曲面 $\Sigma \subset X$ で $\Sigma \cdot \Sigma = 0$ を満たすものに対して、$|\langle c_1(\mathfrak{s}), [\Sigma] \rangle| \leq 2g - 2$ でなければ $\Phi_{X,\mathfrak{s}} = 0$ である。
• ブロー・アップ公式は、$\Phi_{\widehat{X},\widehat{\mathfrak{s}}}(U^{\ell(\ell+1)/2} \cdot \xi) = \Phi_{X,\mathfrak{s}}(\xi)$ を満たす。ここで $\widehat{X} = X \# \overline{\mathbb{CP}}^2$ であり、$\ell$ は $c_1(\widehat{\mathfrak{s}})$ と例外球面の交点数によって定まる。