[論文レビュー] Symplectic Rational Blow-up

Tatyana Khodorovskiy|arXiv (Cornell University)|Mar 11, 2013

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

ひとこと要約

本稿は、シンプレクティック4次元多様体にラグランジュ2セル複体 $\mathcal{L}_{n,1}$ が含まれる場合、その多様体を有理的 blown-up で拡大できることを示すことにより、シンプレクティック有理的 blown-up をシンプレクティック有理的 blown-down の逆操作として確立する。主な貢献は、このようなラグランジュコア構造が $B_n$ のシンプレクティック埋め込みを可能にし、シンプレクティック圏における逆操作を可能にすることを証明することにある。

ABSTRACT

Fintushel and Stern defined the rational blow-down construction [FS] for smooth 4-manifolds, where a linear plumbing configuration of spheres $C_n$ is replaced with a rational homology ball $B_n$, $n \geq 2$. Subsequently, Symington [Sy] defined this procedure in the symplectic category, where a symplectic $C_n$ (given by symplectic spheres) is replaced by a symplectic copy of $B_n$ to yield a new symplectic manifold. As a result, a symplectic rational blow-down can be performed on a manifold whenever such a configuration of symplectic spheres can be found. In this paper, we define the inverse procedure, the rational blow-up in the symplectic category, where we present the symplectic structure of $B_n$ as an entirely standard symplectic neighborhood of a certain Lagrangian 2-cell complex. Consequently, a symplectic rational blow-up can be performed on a manifold whenever such a Lagrangian 2-cell complex is found.

研究の動機と目的

• シンプレクティック圏におけるシンプレクティック有理的 blown-down の逆操作を定義すること。
• シンプレクティック4次元多様体が有理的 blown-up できる条件を確立すること。
• シンプレクティック4次元多様体内に存在するラグランジュ2セル複体 $\mathcal{L}_{n,1}$ が、有理的ホモロジー球 $B_n$ の標準的シンプレクティック近傍を提供することを示すこと。
• $\mathcal{L}_{n,1}$ の標準的近傍としての $B_n$ のシンプレクティックモデルを提供し、blown-up 操作が適切に定義されることを保証すること。

提案手法

• $B_n$ にラグランジュ2セル複体 $\mathcal{L}_{n,1}$ の標準的シンプレクティック近傍としての構造を割り当て、シンプレクティック構造を定義する。
• ウェインシュタインのラグランジュ埋め込み定理を用いて、$\mathcal{L}_{n,1}$ のシンプレクティック近傍が一意的かつ標準的であることを示す。
• シンプレクティック $B_n$ が $\mathcal{L}_{n,1}$ の標準的近傍として得られる場合、$B_n$ をプラミング $C_n$ に置き換える操作としてシンプレクティック有理的 blown-up を定義する。
• $B_n$ の境界が、$C_n$ と一致するレンズ空間 $L(n^2, n-1)$ であることを確認し、blown-up 操作における滑らかな貼り合わせを保証する。
• キーバー計算を用いて、$B_n$ の異なるキーバー図の同値性を示し、構成の位相的整合性を確認する。
• $B_n$ のシンプレクティック構造がラグランジュコアと整合することを示し、シンプレクティック有理的 blown-down に対する逆操作が可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック圏において、有理的 blown-up 操作はシンプレクティック有理的 blown-down の逆操作として定義可能か？
• RQ2 シンプレクティック4次元多様体内に、$B_n$ のシンプレクティック埋め込みの存在を保証する幾何的構造は何か？
• RQ3 $B_n$ のシンプレクティック構造は、ラグランジュ2セル複体 $\mathcal{L}_{n,1}$ によって一意に決定されるか？
• RQ4 シンプレクティック有理的 blown-up 操作は、元の滑らかな有理的 blown-up と、位相的およびシンプレクティック的不変量の観点からどのように関係するか？
• RQ5 キーバー移動を用いて、$\partial B_n$ と $\partial C_n$ のスピン構造を一致させ、シンプレクティック貼り合わせの整合性を保証できるか？

主な発見

• シンプレクティック4次元多様体 $(X,\omega)$ にラグランジュ2セル複体 $\mathcal{L}_{n,1}$ が含まれる場合、その多様体は有理的 blown-up を行える。ここで $\mathcal{L}_{n,1}$ は $B_n$ のシンプレクティック近傍のコアをなす。
• $n \geq 3$ の場合、$\mathcal{L}_{n,1}$ は、$S^1$ に埋め込まれたものと、その周囲を $n$ 回巻き付ける $D^2$-セルから構成され、$D^2$ の内部はラグランジュ円板として埋め込まれる。
• $\mathcal{L}_{n,1}$ のシンプレクティック近傍は標準的であり、これはラグランジュ構造によって一意に決定されることを意味し、$B_n$ のシンプレクティックモデルが適切に定義されることを保証する。
• $B_n$ の境界はレンズ空間 $L(n^2, n-1)$ であり、これは $C_n$ の境界と一致するため、blown-up 操作における滑らかな貼り合わせが可能である。
• キーバー移動により、$B_n$ の異なるキーバー図が同値であることが示され、構成の位相的整合性が確認される。
• キーバー計算を用いて、$\partial B_n$ と $\partial C_n$ のスピン構造が一致することが示され、シンプレクティック貼り合わせプロセスにおける整合性が保証される。