[論文レビュー] Einstein Metrics and Smooth Structures on Non-Simply Connected 4-Manifolds

Ioana Şuvaina|arXiv (Cornell University)|Apr 30, 2008

Geometry and complex manifolds参考文献 29被引用数 7

ひとこと要約

この論文は、Seiberg-Witten理論、巡回分岐被覆、シンプレクティックな手術を用いて、単連結でない4次元多様体上のアインシュタイン計量を調査する。整数格子の広い領域における許容可能な対 (n, m) に対して、接続和 nCP² # mCP̄² は無限に多くの同値でない有限巡回群の自由作用を許容するが、これらの多様体には群不変なアインシュタイン計量が存在しないことが示され、単連結でない4次元多様体に複雑な微分位相的構造がある場合、このような幾何的構造に対する強い障害を確立する。

ABSTRACT

We analyze the existence or non-existence of Einstein metrics on 4-manifolds with non-trivial fundamental group and the relation with the differential structure considered. We conclude that for admissible pairs (n, m) in a large region of the integer lattice, the manifold nCP 2 #mCP2 admits infinitely many non-equivalent free actions of finite cyclic groups and there are no Einstein metrics which are group invariant. The main tools are Seiberg-Witten Theory, cyclic branched coverings of complex surfaces and symplectic surgeries.

研究の動機と目的

• 非自明な基本群をもつ4次元多様体にアインシュタイン計量が存在するか、存在しないかを特定すること。
• 滑らか構造と4次元多様体上の群作用との関係を調査すること。
• 巡回群作用が、複素射影平面の接続和におけるアインシュタイン計量の存在を妨げる役割を分析すること。
• 単連結でない状況において、位相的・微分的道具を用いて幾何的障害を確立すること。

提案手法

• 非自明な基本群をもつ4次元多様体の微分位相的性質を分析するためのSeiberg-Witten理論の応用。
• 複素表面の巡回分岐被覆の構成により、新たな滑らか構造を生成すること。
• 幾何的および位相的性質を保存または変更するように、多様体を変形するシンプレクティック手術の使用。
• 許容可能な (n, m) 対に対して、nCP² # mCP̄² における有限巡回群の自由作用を研究し、同値でない滑らか構造を検出すること。
• Seiberg-Witten理論からの位相的不変量と群作用のデータを組み合わせ、群不変なアインシュタイン計量の存在を除外すること。
• 単連結でない4次元多様体において、滑らか構造とアインシュタイン計量の存在との相互作用を分析すること。

実験結果

リサーチクエスチョン

• RQ1 整数格子の広い領域における許容可能な対 (n, m) に対して、多様体 nCP² # mCP̄² は無限に多くの同値でない有限巡回群の自由作用を許容するか？
• RQ2 このような群作用が施された nCP² # mCP̄² に対して、特に群作用に関して不変であることが要求される場合、アインシュタイン計量が存在可能か？
• RQ3 複素表面の巡回分岐被覆は、その結果得られる4次元多様体の滑らか構造にどのように影響するか？
• RQ4 群不変なアインシュタイン計量の存在を妨げるトップロジカルな障害は何か？
• RQ5 Seiberg-Witten不変量とシンプレクティック手術技術は、これらの状況においてアインシュタイン計量の非存在をどの程度検出できるか？

主な発見

• 整数格子の広い領域における許容可能な対 (n, m) に対して、多様体 nCP² # mCP̄² は無限に多くの同値でない有限巡回群の自由作用を許容する。
• このような群作用が存在するにもかかわらず、多様体 nCP² # mCP̄² にはそれらの作用に関して不変なアインシュタイン計量は存在しない。
• 群不変なアインシュタイン計量の非存在は、Seiberg-Witten理論と巡回分岐被覆の位相的性質の相乗効果によって確立される。
• 結果として、複雑な滑らか構造をもつ単連結でない4次元多様体にアインシュタイン計量が存在するのを妨げる強い位相的障害が示された。
• シンプレクティック手術の使用により、必要な滑らか構造を保存または生成しつつ、幾何的制約を維持できる。
• 研究結果は、次元4において、特定の滑らか構造と群不変なアインシュタイン計量の存在との間には根本的な不適合性があることを強調している。