[論文レビュー] On the geography and botany of irreducible nonspin 4-manifolds with abelian fundamental group

Rafael Torres|arXiv (Cornell University)|Mar 31, 2009

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

ひとこと要約

本稿は、アーベル基本群をもつ非スピン4次元多様体、特にℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤを含む、可縮でない非スピン4次元多様体に対するシンプレクティック幾何学とボタニカル研究を拡張する。一般化されたファイバー和とLuttinger手術を用いたシンプレクティックブロックの組み合わせにより、χₕ ≥ 1 において 0 ≤ c₁² ≤ 8χₕ − 1 の領域に属するすべてのペア (c₁², χₕ) を実現する非可縮なシンプレクティック4次元多様体を構成し、特定のホメオモルフィズム型に無限個の微分同相型が存在することを証明する。

ABSTRACT

The geography and botany of smooth/symplectic nonspin 4-manifolds with abelian fundamental group are addressed.

研究の動機と目的

• 単連結4次元多様体に限らないシンプレクティック幾何学とボタニカル研究のプログラムを、ランクの小さいアーベル基本群をもつ多様体へと拡張すること。
• 基本群が ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q、ℤ⊕ℤ であるような非可縮非スピンシンプレクティック4次元多様体のどのホメオモルフィズム型が実現可能かを特定すること。
• これらの基本群に対して、各ホメオモルフィズム型内に存在する微分同相型の数（ボタニカル問題）を調査すること。
• シンプレクティック幾何学領域内で特定のペア (c₁², χₕ) を実現する明示的な例を構成すること。これは、符号が負でも非負でもよい。

提案手法

• ラグランジュ的トーラスに沿ったシンプレクティック4次元多様体の一般化ファイバー和を用い、基本群を制御可能な新しいシンプレクティック4次元多様体を構成する。
• 基本群の変更と望ましい位相的不変量の達成のため、Luttinger手術を主要な道具として用いる。
• シンプレクティック和の基本群を計算するためにSeifert–van Kampen定理を用い、自明またはアーベルな基本群を保証する。
• ラグランジュ的トーラスをシンプレクティックに保つようにシンプレクティック形式の摂動を施し、シンプレクティックな貼り合わせ操作を可能にする。
• 既知の単連結シンプレクティック4次元多様体（例えばAkhmedov–Parkの結果）を、高 genus の構成のためのブロックとして用いる。
• Hambleton–Kreck および Hambleton–Teichner の分類結果を用いて、構成された多様体のホメオモルフィズム型を同定する。

実験結果

リサーチクエスチョン

• RQ1 基本群が ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q、ℤ⊕ℤ である非可縮非スピンシンプレクティック4次元多様体によって実現されるペア (c₁², χₕ) はどれか？
• RQ2 これらの基本群に対して、与えられたホメオモルフィズム型内に存在する微分同相型の数はいくつか？
• RQ3 現在の構成手法を用いて、これらの単連結でない場合のシンプレクティック幾何学領域を完全に埋め尽くすことができるか？
• RQ4 一般化ファイバー和とLuttinger手術は、基本群の制御とシンプレクティック構造の保存にどのように寄与するか？
• RQ5 構成された多様体は、ホメオモルフィズム型において ∞²性質（無限個の滑らか構造）を示すか？

主な発見

• すべての考察対象の基本群（ℤₚ、ℤₚ⊕ℤ_q、ℤ、ℤ⊕ℤ_q、ℤ⊕ℤ）に対して、一般化ファイバー和によるシンプレクティックブロックの組み合わせにより、領域 0 ≤ c₁² ≤ 8χₕ − 1 が完全に埋め尽くされる。
• χₕ = 1 および χₕ = 2 の場合、幾何学とボタニカル問題が完全に解決され、それぞれ無限個の微分同相型が実現される。
• χₕ ≥ 3 の場合、8χₕ − 16 ≤ c₁² ≤ 8χₕ − 1 の領域は、n 個のシンプレクティック多様体 Z を用いた反復一般化ファイバー和により、自明な基本群を保ちながら埋め尽くされる。
• χₕ ≥ 3 で 0 ≤ c₁² < 8χₕ − 16 の領域は、テレスコープ的三重対と一般化ファイバー和を用い、再び自明な基本群を保ちながら埋め尽くされる。
• 非負の符号に対しては、特定のペア (c₁², χₕ) = (4m+4, (m+1)/2) （m が奇数で m ≥ 49）を実現する4次元多様体が構成され、r, s, t ≥ 47, 53, 51 に対し類似の形が得られる。基本群 G は {1, ℤₚ, ℤₚ⊕ℤ_q, ℤ, ℤ⊕ℤ_q, ℤ⊕ℤ} のいずれかであり、G が自明、ℤ、または p が奇数の ℤₚ の場合、これらが ∞²性質を有することを証明する。
• 構成された多様体は非可縮かつシンプレクティックで、非スピンであり、指定された基本群をもつ普遍被覆を備え、これらの族に異種の滑らか構造が存在することを確認する。