[論文レビュー] Knotted surfaces in 4-manifolds

Thomas E. Mark|ArXiv.org|Jan 28, 2008

Geometric and Algebraic Topology参考文献 10被引用数 4

ひとこと要約

本稿は、FintushelとSternの4次元多様体におけるリム手術構成を、ヘガードフローリングホモロジーとOzsváth-Szabó不変量を用いて拡張し、自己交叉数が $2-2g$ 以上のシンプレクティックな曲面が、滑らかに異なるが位相的に同値な埋め込みを無限に持つことを示している。主な結果は、自己交叉数に対する従来の非負制約を一般化し、Ozsváth-Szabó不変量の Knot Surgery 公式とねじれフローリングホモロジー計算を用いて、手術に用いられる Knot のアレクサンダー多項式を通じて滑らかさの型を区別している。

ABSTRACT

Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent but smoothly distinct embedded surfaces homologous to S. Here we extend this result to include symplectic surfaces whose self-intersection is bounded below by 2-2g, where g is the genus of S. We make use of tools from Heegaard Floer theory, and include several results that may be of independent interest. Specifically we give an analogue for Ozsvath-Szabo invariants of the Fintushel-Stern knot surgery formula for Seiberg-Witten invariants, both for closed 4-manifolds and manifolds with boundary. This is based on a formula for the Ozsvath-Szabo invariants of the result of a logarithmic transformation, analogous to one obtained by Morgan-Mrowka-Szabó for Seiberg-Witten invariants, and the results on Ozsvath-Szabo invariants of fiber sums due to the author and Jabuka. In addition, we give a calculation of the twisted Heegaard Floer homology of circle bundles of "large" degree over Riemann surfaces.

研究の動機と目的

• シンプレクティック4次元多様体におけるねじれ曲面の滑らかに異なる埋め込みの数を、自己交叉数が非負でない場合にも一般化すること。
• Seiberg-Witten 不変量の Knot Surgery 公式を、境界を持つ多様体に対応する Ozsváth-Szabó 4次元多様体不変量、特に相対不変量へと拡張すること。
• リーマン多様体上の大規模な次数の円バンドルのねじれヘガードフローリングホモロジーを計算し、主定理の基盤を提供すること。
• Ozsváth-Szabó 不変量へのアレクサンダー多項式の作用を用いた、ねじれ曲面の滑らかさの型を区別する基準を確立すること。

提案手法

• S^3 内の Knot $K$ を用いて、シンプレクティック4次元多様体 $X$ 内の曲面 $Σ_0$ を変形する Fintushel と Stern のリム手術構成を適応する。
• Ozsváth-Szabó 不変量の対数変換公式を用いて、4次元多様体の補集合における Knot Surgery の影響を分析する。
• Ozsváth-Szabó 不変量のファイバー和公式を適用し、元の多様体と変形後の多様体の不変量を関連付ける。
• 標準的スピン$^c$ 構造と次数の考察を用いて、$Σ_0$ の補集合に対するねじれヘガードフローリングホモロジーにおける相対不変量を構成する。
• Knot Surgery によって、$Σ_0$ の補集合の Ozsváth-Szabó 不変量がアレクサンダー多項式 $\Delta_K(t)$ による乗法的変化を受けることを証明する。
• $HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$ の最高次数部が、$R_{Y_{2g-1}}$ 上のランク1の自由 $R$-加群であることが示され、非自明性を検出するとともに滑らかさの型を区別する。

実験結果

リサーチクエスチョン

• RQ1 自己交叉数が 0 より小さいが $2-2g$ 以上である場合、元の曲面の自己交叉数が $2-2g$ 以上であれば、リム手術構成によりシンプレクティック4次元多様体内で無限に滑らかに異なる曲面を生成できるか？
• RQ2 境界を持つ4次元多様体の文脈において、Fintushel-Stern の Knot Surgery 公式のOzsváth-Szabó 不変量への類似は存在するか？
• RQ3 大規模な次数のリーマン多様体上への円バンドルのねじれヘガードフローリングホモロジーは何か？ そして、4次元多様体不変量とどのように関係するか？
• RQ4 元の曲面の自己交叉数が負であっても、Knot Surgery 後に、Ozsváth-Szabó 不変量がねじれ曲面の滑らかさの型を検出できるか？
• RQ5 Ozsváth-Szabó 不変量へのアレクサンダー多項式の作用が、補集合内の結果として得られる曲面の滑らかさの型を区別できるか？

主な発見

• 本稿は、$g \geq 1$ であるシンプレクティック曲面 $\Sigma_0 \subset X$ が $\pi_1(X \setminus \Sigma_0) = 1$ かつ $\Sigma_0.\Sigma_0 \geq 2-2g$ を満たす場合、$\Sigma_0$ とホモロジーファイルの関係にあるが、位相的に同値だが滑らかに異なる無限に多くの曲面 $\Sigma_n$ が存在することを証明している。
• Knot Surgery によって、曲面の補集合の Ozsváth-Szabó 不変量がアレクサンダー多項式 $\Delta_K(t)$ による乗法的変化を受ける。この性質は、滑らかさの型を区別する不変量を提供する。
• $HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$ の最高次数部は、$R_{Y_{2g-1}}$ 上のランク1の自由 $R$-加群であることが示され、非自明な $\Delta_K(t)$ が非自明な不変量をもたらすことを保証する。
• $g > 1$ の場合、$\Sigma_0$ の補集合の相対 Ozsváth-Szabó 不変量は、標準的スピン$^c$ 構造において非消滅しており、ブローモンおよび Knot Surgery 後にもその性質が保たれる。
• 本構成は、$\Delta_K(t)$ の $\mod 2$ での作用を通じて滑らかさの型を区別する：$\Delta_{K_n}(t) \not\equiv \Delta_{K_m}(t) \mod 2$ ならば、$\widetilde{Z}_n$ と $\widetilde{Z}_m$ は微分同相でない。
• Fintushel と Stern の定理は、自己交叉数が $2-2g$ 以上（負でよい）の曲面に対しても、無限に滑らかに異なる型が存在することを保証するように拡張されている。