[論文レビュー] Symplectic Divisorial Capping in Dimension 4

Tianjun Li, Cheuk Yu Mak|arXiv (Cornell University)|Jul 2, 2014

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

ひとこと要約

本稿は、4次元多様体内のシンプレクティック除法の周囲に凹型または凸型の近傍が存在するための必要十分条件を確立し、シンプレクティック形式が境界上で正確である場合、その形式を変形することでそのような近傍が存在することを示している。主な貢献は、有限な境界基本群をもつシンプレクティックコンパクト化除法の分類と、この条件下での充填の有限性に関する結果である。

ABSTRACT

We investigate the notion of symplectic divisorial compactification for symplectic 4-manifolds with either convex or concave type boundary. This is motivated by the notion of compactifying divisors for open algebraic surfaces. We give a sufficient and necessary criterion, which is simple and also works in higher dimensions, to determine whether an arbitrarily small concave/convex neighborhood exist for an $ω$-orthogonal symplectic divisor (a symplectic plumbing). If deformation of symplectic form is allowed, we show that a symplectic divisor has either a concave or convex neighborhood whenever the symplectic form is exact on the boundary of its plumbing. As an application, we classify symplectic compactifying divisors having finite boundary fundamental group. We also obtain a finiteness result of fillings when the boundary can be capped by a symplectic divisor with finite boundary fundamental group.

研究の動機と目的

• 4次元シンプレクティック多様体内のシンプレクティック除法の周囲に凹型または凸型の近傍が存在するための基準を構築すること。
• シンプレクティック除法が、境界を持つシンプレクティック4次元多様体のコンパクト化除法として機能する条件を調査すること。
• 有限な境界基本群をもつシンプレクティックコンパクト化除法を分類すること。
• 境界が有限な境界基本群をもつシンプレクティック除法によってキャッピング可能な場合、シンプレクティック充填の有限性を確立すること。
• シンプレクティックキャッピング理論を、シンプレクティック形式の変形を含むものに拡張し、エネルギーの下界とラップ数を用いて障害を扱うこと。

提案手法

• シンプレクティックなプルーニングを用いてシンプレクティック除法の近傍を定義し、$b_2^\pm(D)$ や境界基本群などの位相的不変量を用いる。
• GS構成法とラップ数を応用し、除法の境界上に接触構造が存在することを確立する。
• エネルギーの下界と単調性補題を用いて、凹型充填の障害を導出する。
• シンプレクティック形式 $\omega_0$ を $W$ 上で $\omega_1$ に変形しながら、$D$ 上のシンプレクティック構造を保つ。このとき $\omega_0$ が $\partial D$ 上で正確であるという条件を満たす。
• $J$-擬補間曲線とリウヴィルベクトル場を用い、凹型充填が存在すると仮定した場合に、ストークスの定理に反する矛盾を導く（非負のラップ数を仮定した場合）。
• ブロー・アップおよびブロー・ダウンの技法を用い、特異点付近での擬補間写像の解析と、リウヴィルフローの特異点付近での振る舞いの制御を行う。

実験結果

リサーチクエスチョン

• RQ1 4次元多様体内のシンプレクティック除法が、何の条件下で凹型または凸型の近傍をもつか？
• RQ2 シンプレクティック除法は、どのような条件下で閉じたシンプレクティック4次元多様体に埋め込まれ、コンパクト化除法として機能するか？
• RQ3 有限な境界基本群をもつシンプレクティックコンパクト化除法はどのように分類されるか？
• RQ4 境界が有限な境界基本群をもつシンプレクティック除法によってキャッピング可能な場合、シンプレクティック充填にどのような有限性条件が生じるか？
• RQ5 ラップ数とエネルギーの下界は、シンプレクティック除法に対して凹型充填の存在をどのように妨げるか？

主な発見

• シンプレクティック除法 $D$ が凹型または凸型の近傍をもつための必要十分条件は、形式の変形後にそのプルーニングの境界上でシンプレクティック形式 $\omega_0$ が正確であることである。
• $\omega_0$ が $\partial D$ 上で正確である場合、形式を変形することで $D$ が凹型除法となることが保証され、これが必要十分条件となる。
• $D$ が埋め込み可能な除法であり、かつ $\omega_0|_{\partial D}$ が正確であるならば、シンプレクティック変形の後、$D$ はコンパクト化除法となる。
• 本稿では、境界が有限な境界基本群をもつシンプレクティック除法によってキャッピング可能な4次元多様体のシンプレクティック充填は、有限個に限ることを証明している。
• 凹型充填の障害は非負のラップ数に起因する。具体的には、ラップ数が非負であれば、凹型近傍は存在しない。
• 証明における矛盾は、境界付近ではリウヴィルベクトル場が内向きに、特異点付近では外向きに指向するという事実に起因し、非負のエネルギーのためストークスの定理に反する。