[論文レビュー] On irreducible four--manifolds

D. Kotschick|ArXiv.org|Apr 23, 1995

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

ひとこと要約

この論文は、$b_2^+ > 1$ かつ残留有限な基本群をもつ最小のシンプレクティック4次元多様体が、非自明な連結和に分解できない、つまり非可約であることを確立している。さらに、不定型の交差形式をもつ向き付け可能な4次元多様体の例を構成し、それらがどちらの向きに対してもほぼ複素構造を持たないことを示しており、ほぼ複素構造のクラスを超える非可約多様体の存在を示している。

ABSTRACT

We show that minimal symplectic 4--manifolds with $b_2^+ >1$ and with residually finite fundamental groups are irreducible. We also give examples of irreducible orientable four--manifolds with indefinite intersection forms which are not almost complex with respect to either orientation.

研究の動機と目的

• $b_2^+ > 1$ かつ残留有限な基本群をもつ最小のシンプレクティック4次元多様体の位相的構造を調査すること。
• このような多様体が非自明な4次元多様体の連結和に分解可能かどうかを特定すること。
• どちらの向きに対してもほぼ複素構造を持たない非可約4次元多様体の例を構成すること。
• 4次元位相幾何学における交差形式の性質、基本群の性質、およびほぼ複素構造の間の相互作用を調査すること。

提案手法

• 証明はシーベルグ＝ウィッテン不変量とその連結和分解における挙動に依拠している。
• 適切な条件下で、$b_2^+ > 1$ をもつ4次元多様体の連結和については、シーベルグ＝ウィッテン不変量が消えるという事実を利用している。
• 基本群の残留有限性を応用して、普遍アーベル被覆の構造とそのホモロジーを制御している。
• 特定のシンプレクティック4次元多様体におけるシーベルグ＝ウィッテン不変量の非消滅を応用し、連結和分解が不可能であることを示している。
• 非ほぼ複素構造の例の構成には、不定型の交差形式と特定の基本群の性質をもつ多様体を用いている。
• 障害理論と特性類を用いて、両方の向きに対してほぼ複素構造が存在しないことを示している。

実験結果

リサーチクエスチョン

• RQ1 最小のシンプレクティック4次元多様体が $b_2^+ > 1$ であるとき、どのような条件下で非可約となるか？
• RQ2 残留有限な基本群と $b_2^+ > 1$ をもつ4次元多様体は、非自明な連結和分解を許容するか？
• RQ3 不定型の交差形式をもつ向き付け可能な4次元多様体で、どちらの向きに対してもほぼ複素構造を持たないものは存在するか？
• RQ4 基本群は、不定型の交差形式をもつ4次元多様体におけるほぼ複素構造の障害にどのように寄与するか？

主な発見

• $b_2^+ > 1$ かつ残留有限な基本群をもつ最小のシンプレクティック4次元多様体は、連結和の仮定の下でシーベルグ＝ウィッテン不変量が消えないため、非可約である。
• 残留有限な基本群というトポロジー的制約のもとで、このような非可約多様体の存在が保証される。
• 不定型の交差形式をもつ向きつけ可能な4次元多様体で、どちらの向きに対してもほぼ複素構造を持たない例が構成された。
• これらの例は、ほぼ複素構造の欠如が交差形式の符号に起因するものではないことを示しており、より深い位相的不変量に依存していることを示している。
• このような多様体のシーベルグ＝ウィッテン不変量が非ゼロであることが示され、それらが連結和として分解できないことが障害されている。
• 構成により、ほぼ複素構造の性質が交差形式や向きにのみ依存するのではなく、基本群と特性類に依存することが確認された。