[論文レビュー] Relative genus bounds in indefinite four-manifolds

Ciprian Manolescu, Marco Marengon+1 more|arXiv (Cornell University)|Dec 22, 2020

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

ひとこと要約

本稿は、不定4次元多様体、特に4次元球の補集合における境界付きの滑らかに埋め込まれた曲面の genus を制限する、新しいゲージ理論的および Heegaard Floer homology に基づく手法を確立する。$ \nu^+$ 指標を用いた相対的接合不等式を証明し、$10/8+4$ 定理を応用して、特定の knot が K3 表面や異種4次元多様体において H-スライスでないことを示し、H-スライス knot が異種滑らか構造を検出できることを示している。

ABSTRACT

Given a closed four-manifold $X$ with an indefinite intersection form, we consider smoothly embedded surfaces in $X \setminus $int$(B^4)$, with boundary a knot $K \subset S^3$. We give several methods to bound the genus of such surfaces in a fixed homology class. Our tools include adjunction inequalities and the $10/8 + 4$ theorem. In particular, we present obstructions to a knot being H-slice (that is, bounding a null-homologous disk) in a four-manifold and show that the set of H-slice knots can detect exotic smooth structures on closed $4$-manifolds.

研究の動機と目的

• 不定4次元多様体における境界付きの滑らかに埋め込まれた曲面の genus を制限するための新しい技法を開発すること。
• $S^3$ における knot と $X \setminus \mathring{B}^4$ 内のホモロジー類を含む相対的設定への接合不等式の拡張すること。
• 閉じた不定4次元多様体において knot が H-スライス（ホモロジー・ゼロのディスクを境界とする）でないための障害を提供すること。
• H-スライス knot の集合が4次元多様体における異種滑らか構造を検出できることを示すこと。
• 10/8+4 定理と Bauer-Furuta 不変量を用いて、スライスディスクのホモロジー類に対する定量的制約を確立すること。

提案手法

• knot Floer の同値不変量 $\nu^+$ と Seiberg-Witten または Ozsváth-Szabó 不変量を用いて相対的接合不等式を導出する。
• $X^\circ = X \setminus \mathring{B}^4$ 内の曲面をコボルディズム $Z$ 内の曲面で閉じ、閉じた曲面を形成し、その後接合不等式を適用する。
• $10/8+4$ 定理を用いて位相的障害を導出する：$W$ が $\partial W = S^3_0(K)$ を満たすスピン4次元多様体であるとき、$b_2(X) + b_2(W) \geq \frac{10}{8}|\sigma(X) - \sigma(W)| + 5$ が成り立つ。
• Mayer-Vietoris および双対性の議論を用いて、$S^3_0(K)$ 上のスピン構造が $V$ に拡張可能であることを示し、$10/8+4$ 定理の適用を可能にする。
• Bauer-Furuta 不変量と $b_2^+ \equiv 3 \pmod{4}$ を満たす $X$ および $X'$ におけるシンプレクティック構造を活用し、H-スライス性を妨げる。
• $10/8+4$ 定理を用いて、特定の交差形式 $4(-E_8) \oplus 5\begin{pmatrix}0&1\\1&0\end{pmatrix}$ を持つ滑らかな閉じた4次元多様体の存在を除外する。

実験結果

リサーチクエスチョン

• RQ1 $\nu^+$ 不変量を用いて、不定4次元多様体における境界付き曲面の有効な genus 界を導出できるか？
• RQ2 不定4次元多様体における H-スライス knot は異種滑らか構造を検出できるか？
• RQ3 トポロジカルにスライスであるにもかかわらず、K3 表面において H-スライスでない knot は存在するか？
• RQ4 $10/8+4$ 定理を用いて、特定のホモロジー類における滑らかなスライスディスクの存在を除外できるか？
• RQ5 滑らかに同相だが、同相でない4次元多様体 $X$ と $X'$ が存在し、$K$ が $X$ において H-スライスだが $X'$ においては H-スライスでないような knot $K$ が存在するか？

主な発見

• 相対的接合不等式（定理1.1）は、$\nu^+$ を含む genus 界を与える：$b_2^+(X) > 1$ のとき、$\langle c_1(\mathfrak{s}),[\Sigma]\rangle + [\Sigma]^2 \leq 2g(\Sigma) - 2 + 2\nu^+(\overline{K})$ が成り立つ。
• 定理1.3 は、$[\Delta]^2 \geq 0$ かつ $[\Delta] \neq 0$ を満たす $X^\circ$ において $K$ が H-スライスならば、$b_2^+(X') \equiv 3 \pmod{4}$ を満たす別のシンプレクティック4次元多様体 $X'$ において $K$ は H-スライスでないことを示す。
• 系1.4 は、滑らかに同相な4次元多様体 $X$ と $X'$ が存在し、$K$ が $X$ において H-スライスだが $X'$ においては H-スライスでないことを確立し、H-スライス knot が異種滑らか構造を検出できることを証明する。
• 系1.6 は、[12, 図3] に示されたトポロジカルにスライスな knot $K_{\text{DV}}$ が K3 表面において H-スライスでないことを証明する。なぜなら $22 + 21 < \frac{10}{8} \cdot 32 + 5$ であるからである。
• $10/8+4$ 定理を用いて、交差形式 $4(-E_8) \oplus 5\begin{pmatrix}0&1\\1&0\end{pmatrix}$ を持つ滑らかな閉じた4次元多様体は存在しないことを示し、これは $K_{\text{DV}}$ の H-スライス性の除外に不可欠である。
• 本稿は、$H^1(V;\mathbb{F}_2) \to H^1(\partial V;\mathbb{F}_2)$ の写像が全射であることを示し、$S^3_0(K)$ 上の2つのスピン構造が $V$ に拡張可能であることを保証する。これは Mayer-Vietoris 議論において極めて重要である。