[論文レビュー] Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

Tatyana Khodorovskiy|arXiv (Cornell University)|Jul 16, 2013

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

ひとこと要約

本稿は、有理ホモロジー球体 $B_n$ のシンプレクティック埋め込みをシンプレクティック 4 次元多様体へと調べており、$n$ が大きい場合には、被埋込多様体が十分に大きな $c_1^2$ を持つ必要があることを確立している。シンプレクティック有理的ブロー・アップ技法とセイバーグリーン＝ウォータン理論を用いて、$n \geq c_1^2(X,\omega) + 2$ のとき、タウブスの定理を介して矛盾が生じることを証明し、一般型のシンプレクティック 4 次元多様体に対しては一般に障害が存在することを示している。

ABSTRACT

The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational homology balls $B_n$, for high n, a symplectic 4-manifold must at least have a high enough $c_1^2$ as well.

研究の動機と目的

• 有理ホモロジー球体 $B_n$ をシンプレクティック 4 次元多様体へシンプレクティックに埋め込むことの障害を特定すること。
• 埋込先多様体の canonical class $c_1^2(X,\omega)$ が、このような埋め込みの存在を制限するかどうかを調査すること。
• 一般型の表面に類似したシンプレクティック 4 次元多様体（$[c_1] = -[\omega]$）に対して、$B_n$ が $n \geq N$ のとき埋め込めないような上限 $N$ が存在するという予想を検証すること。
• シンプレクティック有理的ブロー・アップとほぼトーリックファイブレーションを用いて、交差パターンを分析し、コhomology的制約を導出すること。

提案手法

• 有理的ブロー・アップ構成を用い、$B_n$ をラグランジュアン 2-セル複体の標準的シンプレクティック近傍としてモデル化する。
• トーリックおよびほぼトーリックファイブレーションを用いて、$B_n$ と $C_n$ を共通のコベクトルを持つ可視的表面として表現し、シンプレクティック交差解析を可能にする。
• セイバーグリーン＝ウォータン理論とタウブスの定理を用いて、$b_2^+ > 1$ である多様体において、自己交差数 $-1$ のシンプレクティック 2-球面の存在を除外する。
• 仮想のシンプレクティック 2-球面 $\Sigma_{-1}$ と、$C_n$ 内の球面 $S_j$ 間の交差数 $I_j = [\Sigma_{-1}] \cdot [S_j]$ を分析し、その和が 1 以下であることを示す。
• コhomology 内の類 $\gamma = nD + e^2$ を用いて、シンプレクティック面積と $c_1^2$ を関連付け、重要な仮定の下で $\omega \cdot \gamma > 0$ であることを示す。
• $n \geq c_1^2(X,\omega) + 2$ の条件を適用し、タウブスの基本類に関する結果を介して矛盾を導き出し、このような埋め込みが存在できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有理ホモロジー球体 $B_n$ をシンプレクティック 4 次元多様体に埋め込む際のコhomology的およびシンプレクティック的障害は何か？
• RQ2 $c_1^2(X,\omega)$ という canonical 不変量が、$X$ に $B_n$ がシンプレクティックに埋め込める最大の $n$ を制限するのに使えるか？
• RQ3 シンプレクティック 4 次元多様体 $X$ において $[c_1] = -[\omega]$ である条件は、$n$ が大きい場合に $B_n$ のシンプレクティック埋め込みに対する有限な障害を示唆するか？
• RQ4 シンプレクティック 2-球面とプラインビング構成 $C_n$ 間の交差パターンは、$B_n$ の可能な埋め込みをどのように制約するか？
• RQ5 シンプレクティック有理的ブロー・アップ操作が、$c_1^2 \leq -1$ となる多様体を生成する条件は何か？ これはタウブスの基本類に関する定理に反する。

主な発見

• $n \geq c_1^2(X,\omega) + 2$ のとき、シンプレクティック 4 次元多様体 $(X,\omega)$ への $B_n$ のシンプレクティック埋め込みはタウブスの定理を介して矛盾を生じさせ、このような埋め込みは不可能であることを示唆する。
• 交差数の和 $I_2 + \cdots + I_{n-1} = [\Sigma_{-1}] \cdot [S_2^{n-1}] \leq 1$ であり、$S_2^{n-1}$ は $2 \leq j \leq n-1$ の球面 $S_j$ の和集合である。
• $\gamma = nD + e^2$ に対して $c_1(X,\omega) \cdot \gamma > 0$ ならば、ちょうど一つの $I_j = 1$ であり、他のすべての $I_j$ は 0 である。これは一意の横断的交点を示唆する。
• $nD$ を閉じる 2-セル $e^2$ に対してシンプレクティック形式 $\omega$ が正であるため、埋め込み条件が成立するとき $\omega \cdot \gamma > 0$ である。
• $[c_1] = -[\omega]$ かつ $b_2^+ > 1$ であると仮定すると $c_1^2 \geq 1$ であり、$n \geq c_1^2 + 2$ のとき、ブロー・アップ後の多様体は $c_1^2 \leq -1$ となる。これはタウブスの結果に反する。
• $[\Sigma_{-1}]^2 = -1$ を満たすシンプレクティック 2-球面 $\Sigma_{-1}$ の存在は、$b_2^+ > 1$ の場合に無限個の Seiberg-Witten 基本類を意味するが、これは不可能であるため、このような 2-球面の存在は除外される。