[論文レビュー] A symplectic manifold homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

Scott Baldridge, Paul Kirk|ArXiv.org|Feb 8, 2007

Geometric and Algebraic Topology参考文献 12被引用数 7

ひとこと要約

本稿は、T⁴ # 2ℂℙ²̄ および F₂ × T² 内のラグランジュ環面におけるラットリング手技とシンプレクティック和を用いて、ℂℙ² # 3ℂℙ²̄ とホメオモーティックだが微分同相でない最小のシンプレクティック4次元多様体を構成する。主な結果は、ℂℙ² # 3ℂℙ²̄ に対する異種シンプレクティック構造の最初の明示的構成であり、基本群の計算とユーシャーの最小性定理により検証され、シンプレクティック多様体に -1-球が存在しないことから微分同相でないことが示される。

ABSTRACT

In this paper we construct a minimal symplectic 4-manifold and prove it is homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

研究の動機と目的

• ℂℙ² # 3ℂℙ²̄ とホメオモーティックだが微分同相でない最小のシンプレクティック4次元多様体を構成すること。
• ラットリング手技とシンプレクティック和を組み合わせることで、シンプレクティック4次元多様体の構成ツールキットを拡張すること。
• 慎重な基点依存ホモトピー計算を通じて、得られた多様体の基本群が自明であることを証明すること。
• オイラー数6、符号-2をもつ小さなシンプレクティック4次元多様体における異種滑らか構造の新しい例を提供すること。

提案手法

• 構成は、2つの4次元多様体のシンプレクティック和に基づく：T⁴ # 2ℂℙ²̄ 内の2つのラグランジュ環面におけるラットリング手技によって得られるWと、F₂ × T² 内の4つのラグランジュ環面におけるラットリング手技によって得られるP。
• ラットリング手技は、初期多様体の基本群と位相を変更するが、シンプレクティック構造を保存する。
• シンプレクティック和は、P に含まれる genus 2 の曲面 F ⊂ P と W に含まれる曲面 G ⊂ W の間で実行され、その基本群生成子を同一視する微分同相写像が用いられる。
• Seifert–van Kampen 定理を用いて、得られた多様体 X の基本群を計算する。関係式は、手技と接合のデータから導出される。
• 手技則と接合条件から導かれる関係の鎖を通じて、すべての生成子が自明化されることを確認することで、基本群が自明であることが示される。
• Usher の定理を適用して、X が最小のシンプレクティック多様体であることを確認する。P および W に -1-球が存在しないためである。

実験結果

リサーチクエスチョン

• RQ1 ℂℙ² # 3ℂℙ²̄ とホメオモーティックだが微分同相でない最小のシンプレクティック4次元多様体を構成することは可能か？
• RQ2 ラットリング手技とシンプレクティック和の技術を組み合わせることで、オイラー数6、符号-2をもつ単連結なシンプレクティック多様体を構成することは可能か？
• RQ3 有理的ブローダウンに依存せずに、シンプレクティック和とラットリング手技による構成で得られるシンプレクティック4次元多様体の基本群を自明にすることは可能か？
• RQ4 曲面の積におけるラグランジュ環面へのラットリング手技から生じる正確な基本群関係は何か？
• RQ5 4次元多様体のカットアンドパスタ構成において、基点依存の基本群計算を体系的に行うにはどうすればよいか？

主な発見

• 構成されたシンプレクティック4次元多様体 X は、オイラー数 e(X) = 6 および符号 σ(X) = -2 をもち、ℂℙ² # 3ℂℙ²̄ と同一の位相的不変量を持つ。
• 基本群 π₁(X) は自明である。これは、ラットリング手技と接合条件から導かれる関係の鎖を通じて、すべての生成子が自明化されることを確認することで示された。
• X は最小である。これは、Usher の定理により確認され、X に滑らかに埋め込まれた -1-球が存在せず、P および W が最小であることに起因する。
• X は、Freedman の分類定理により、ℂℙ² # 3ℂℙ²̄ とホメオモーティックである。なぜなら、X は単連結であり、同じ交差形式を持つからである。
• X は ℂℙ² # 3ℂℙ²̄ と微分同相でない。後者は滑らかに埋め込まれた -1-球（例外的除算子）を含むが、X は最小であるため、それらを含まない。
• 本構成は、ℂℙ² # 3ℂℙ²̄ とホメオモーティックだが微分同相でないシンプレクティック多様体の最初の明示的例を提供し、小さなシンプレクティック4次元多様体における既知の異種構造のギャップを埋める。