[論文レビュー] Kodaira dimension and symplectic sums

Michael Usher|Jan 22, 2007

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

ひとこと要約

この論文は、正の genus を持つ曲面上での 4 次元多様体のシンプレクティック和が、自明な例外を除き、有理型またはルール型のシンプレクティック 4 次元多様体を生成しないことを確立している。また、このような和が kodaira 次元 0 を持つ多様体を生成する場合の完全な分類を行い、それらが K3 表面、エンリケス表面、または b₁=2 を持つ特定の T²-バンドルであることを示している。

ABSTRACT

Modulo trivial exceptions, we show that smoothly nontrivial symplectic sums of symplectic 4-manifolds along surfaces of positive genus are never rational or ruled, and we enumerate each case in which they have Kodaira dimension zero (i.e., are blowups of symplectic 4-manifolds with torsion canonical class). In particular, a symplectic four-manifold of Kodaira dimension zero arises by such a surgery only if it is diffeomorphic to a blowup either of the K3 surface, the Enriques surface, or a member of a particular family of T^2-bundles over T^2 each having b_1=2.

研究の動機と目的

• 正の genus を持つ曲面上でのシンプレクティック和として得られる可能性のあるシンプレクティック 4 次元多様体を特定すること。
• このようなシンプレクティック和が kodaira 次元 0 を持つ多様体を生成する場合の分類を行うこと。
• kodaira 次元 0 を持つシンプレクティック 4 次元多様体がシンプレクティック和によって得られるときの微分同相型を同定すること。
• シンプレクティック和の構成が得られる 4 次元多様体に課す位相的制約を明確にすること。

提案手法

• 等しい genus と逆の自己自己交叉を持つ埋め込まれたシンプレクティック曲面に沿って、2 つのシンプレクティック 4 次元多様体にシンプレクティック和の構成を適用する。
• 最小モデルの正則類とシンプレクティック形式に基づくシンプレクティック kodaira 次元の定義を適用する。
• Seifert–van Kampen 定理を用いて、得られる 4 次元多様体の基本群とモノドロミーを分析する。
• 得られる 4 次元多様体を、特定のモノドロミー行列とホロノミー情報を持つ T²-バンドルとして同定することで分類する。
• ホモロジーにおける基底変換と T²-バンドルの同値関係を用いて、分類を標準形にまで簡略化する。
• 得られる基本群とホモロジーを、K3、エンリケス、および b₁=2 を持つ T²-バンドルなどの既知の微分同相型 4 次元多様体と比較する。

実験結果

リサーチクエスチョン

• RQ1 正の genus を持つ曲面上での 2 つの 4 次元多様体のシンプレクティック和として得られるシンプレクティック 4 次元多様体はどれか？
• RQ2 このようなシンプレクティック和が kodaira 次元 0 を持つ多様体を生成する条件は何か？
• RQ3 kodaira 次元 0 を持つシンプレクティック 4 次元多様体がシンプレクティック和によって得られる場合の完全な微分同相型は何か？
• RQ4 シンプレクティック和は有理型またはルール型の 4 次元多様体を生成できるか？その場合、どのような条件下か？
• RQ5 基本群とモノドロミーのデータは、得られる 4 次元多様体の微分同相型をどのように決定するか？

主な発見

• 正の genus を持つ曲面上でのシンプレクティック和は、自明な例外を除き、有理型またはルール型ではない。
• シンプレクティック和によって得られる kodaira 次元 0 を持つ唯一のシンプレクティック 4 次元多様体は、K3 表面、エンリケス表面、または b₁=2 を持つ特定の T²-バンドルのブロー・アップである。
• シンプレクティック和の構成が kodaira 次元 0 を持つ多様体を生成するには、和がブロー・アップ型であるか、または torsion 正則類を持つ最小モデルを含む必要がある。
• 得られる 4 次元多様体の基本群は、特定のモノドロミー行列を持つ T²-バンドルとしての微分同相型を決定する。
• b₁=2 で、シンプレクティック和の構成と一致する基本群を持つすべての T²-バンドルは、S²-バンドル構造を持つ 2 つの 4 次元多様体のシンプレクティック和として実現可能である。
• 微分同相型の分類は完全であり、すべての可能なこのようなシンプレクティック和を含み、整数 y, z, δ による明示的なパrameter化が与えられる。