[論文レビュー] The fundamental group of symplectic $4$-manifolds with $b^+=1$

Anar Akhmedov, Weiyi Zhang|arXiv (Cornell University)|Jun 28, 2015

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

ひとこと要約

この論文は、Luttinger Surgery を用いて、$b^+ = 1$ で指定された基本群を持つ最小のシンプレクティック 4 次元多様体を構成し、任意の有限生成で双対的有限ねじれ群が、$c_1^2 = 0$ を満たすこのような多様体の基本群として実現可能であることを示している。主な貢献は、$b^+ = 1$ のシンプレクティック 4 次元多様体において、$c_1^2$ が小さく、$b_1 = 0$ であっても、代数的表面よりも基本群の複雑さが顕著に高いことを示したことにある。

ABSTRACT

In this article we apply the technique of Luttinger surgery to study the complexity of the fundamental group of symplectic $4$-manifolds with holomorphic Euler number $χ_h=1$. We discuss the topology of symplectic $4$-manifolds with $b^+=1$ and provide various constructions of symplectic $4$-manifolds with $b^+=1$ and prescribed $c_1^2$.

研究の動機と目的

• シンプレクティック 4 次元多様体の基本群の複雑さを $b^+ = 1$ の場合に、代数的表面と比較して検討すること。
• 与えられた有限生成基本群を実現するためのシンプレクティック 4 次元多様体に必要な最小の $b^+$ を特定すること。
• $b^+ = 1$、$c_1^2 = 0$、非自明な基本群を持つ最小のシンプレクティック 4 次元多様体の明示的構成を行うこと。
• このような多様体の基本群が、双対的有限ねじれ条件を満たす任意の有限生成群として実現可能であることを検証すること。
• 一般型のシンプレクティック 4 次元多様体に対して、$c_1^2$ が小さく、基本群がアーベルである場合に、構成を拡張すること。

提案手法

• シンプレクティック 4 次元多様体の基本群構造を制御するために、Luttinger Surgery を活用すること。
• 複数の $I_n$ ファイバー、フィッシュテイル、$-2$ サーフェスを含む $E(2)$ 上の楕円ファイブレーション構造を、構築の基本要素として用いること。
• braided なトーラスに沿った $\mathbb{T}^2 \times \mathbb{S}^2$ とのファイバー和を実行し、制御された基本群の拡張を導入すること。
• $-4$ および $-6$ サーフェスに対する有理的ブロー・ダウンを適用し、$c_1^2$ を増加させつつ、基本群と最小性を保持すること。
• 消えるサイクルとマッチング・サーフェスを用いて、メリジアンの関係を分析し、$\pi_1$ 内でのメリジアンの自明性を示すこと。
• トーラスのホモトピー類とシンプレクティック・サーフェスとの交差パターンを用いて、基本群を検証すること。

実験結果

リサーチクエスチョン

• RQ1 与えられた有限生成基本群を実現するためのシンプレクティック 4 次元多様体に必要な最小の $b^+$ は何か？
• RQ2 任意の有限生成で双対的有限ねじれ群が、$b^+ = 1$ の最小のシンプレクティック 4 次元多様体の基本群として実現可能か？
• RQ3 $b^+ = 1$ のシンプレクティック 4 次元多様体の基本群は、$p_g = 0$ の代数的表面のそれと比べてどう異なるか？
• RQ4 最小のシンプレクティック 4 次元多様体において、$c_1^2$、$b^+$、基本群の可能な組み合わせは何か？
• RQ5 有理的ブロー・ダウンは、$b^+ = 1$ のシンプレクティック 4 次元多様体において、基本群を保持しつつ $c_1^2$ を増加させることができるか？

主な発見

• 任意の有限生成で双対的有限ねじれ群 $G$ に対して、$b^+ = b_1(G) + 1$、$c_1^2 = 0$、$\pi_1(X(G)) = G'$ となる最小のシンプレクティック 4 次元多様体 $X(G)$ が存在する。ここで $G'$ は $G$ に全射であり、$b_1(G') = b_1(G)$ を満たす。
• すべての有限生成で $\mathbb{Q}$-完全群 $G$（つまり $b_1(G) = 0$）は、$b^+ = 1$、$c_1^2 = 0$、$\pi_1 = G'$ となる最小のシンプレクティック 4 次元多様体の基本群として実現可能である。ここで $G'$ は $b_1(G') = 0$ を満たす。
• $c_1^2 = 0$ の多様体に含まれる 3 つの互いに素な $-4$ サーフェスを有理的ブロー・ダウンすることで、$b^+ = 3$、$c_1^2 = 3$、$\pi_1 = \mathbb{Z}_2$ となる最小のシンプレクティック 4 次元多様体が構成された。
• $c_1^2 = 0$ の多様体に含まれる $C_4$ システムのサーフェスを有理的ブロー・ダウンすることで、$b^+ = 3$、$c_1^2 = 3$、$\pi_1 = \mathbb{Z}_3$ となる最小のシンプレクティック 4 次元多様体が得られた。
• $c_1^2 = 0$ の多様体に含まれる 4 つの互いに素な $-4$ サーフェスを有理的ブロー・ダウンすることで、$b^+ = 3$、$c_1^2 = 4$、$\pi_1 = \mathbb{Z}_2$ となる最小のシンプレクティック 4 次元多様体が構成され、基本群が保持された。