[論文レビュー] 4-Manifolds without Einstein Metrics

Claude LeBrun|ArXiv.org|Nov 27, 1995

Geometric Analysis and Curvature Flows参考文献 19被引用数 9

ひとこと要約

この論文は、一般型の無限に多くのコン pact かつ向き付け可能な滑らかな 4 次元多様体が、2χ > 3|τ| を満たしているにもかかわらず、Einstein 計量をもたないことを示している。Seiberg-Witten 理論を非最小な複素代数的表面に適用することで、4 次元において、Hitchin-Thorpe 不等式が単独で Einstein 計量の存在を保証するという予想に対する反例が構成された。

ABSTRACT

It is shown that there are infinitely many compact orientable smooth 4-manifolds which do not admit Einstein metrics, but nevertheless satisfy the strict Hitchin-Thorpe inequality 2 chi > 3 |tau|. The examples in question arise as non-minimal complex algebraic surfaces of general type, and the method of proof stems from Seiberg-Witten theory.

研究の動機と目的

• コン pact 4 次元多様体において、厳密な Hitchin-Thorpe 不等式 2χ > 3|τ| が Einstein 計量の存在を示唆するという予想を反証すること。
• Hitchin-Thorpe 不等式を満たすが、いかなる Einstein 計量とも持ち得ない滑らかな 4 次元多様体の明示的例を構成すること。
• 4 次元幾何学において、Hitchin-Thorpe 不等式が Einstein 計量の存在の十分条件として果たす限界を探索すること。
• Seiberg-Witten 理論を複素代数的表面に適用し、Einstein 計量の非存在を検出すること。
• 一般型の非最小な複素表面が、Einstein 計量の存在予想に対する自然な反例を提供することを示すこと。

提案手法

• 研究は、正のシグネチャをもち、厳密な Hitchin-Thorpe 不等式を満たすことが知られている、一般型の非最小な複素代数的表面に焦点を当てる。
• これらの 4 次元多様体に Seiberg-Witten 理論を適用し、自己双対な調和 2 形式の存在と Seiberg-Witten 不変量の構造を分析する。
• 特定の Seiberg-Witten 不変量の非消滅を用いて、Einstein 計量の存在を妨げる。Einstein 計量がこれらの不変量に特定の制約を課す必要があるからである。
• Einstein 計量は 4 次元多様体に強くトポロジカルで解析的制約を課すが、構成された例の Seiberg-Witten データはその制約を破るため、証明に依拠している。
• Einstein 計量ではスカラー曲率が定数で、リッチ曲率が計量に比例する必要があるが、Seiberg-Witten 理論から導かれるトポロジカル不変量とは矛盾する。
• 非最小な表面は例外的球面を含むため、Seiberg-Witten モジュライ空間に影響を与え、Einstein 幾何学と整合する解の存在を妨げる。

実験結果

リサーチクエスチョン

• RQ1 厳密な Hitchin-Thorpe 不等式 2χ > 3|τ| は、コン pact 4 次元多様体における Einstein 計量の存在を十分条件として満たすか？
• RQ2 一般型の非最小な複素代数的表面は、2χ > 3|τ| を満たしているにもかかわらず、Einstein 計量をもつか？
• RQ3 Seiberg-Witten 理論は、4 次元多様体における Einstein 計量の非存在を遮断するために用いられるか？
• RQ4 Hitchin-Thorpe 不等式が満たされているにもかかわらず、特定の 4 次元多様体に Einstein 計量が存在しない主なトポロジカル的または幾何的障害は何か？
• RQ5 Hitchin-Thorpe 不等式を満たすが、Einstein 計量をもたない滑らかな 4 次元多様体が無限に存在するか？

主な発見

• 厳密な Hitchin-Thorpe 不等式 2χ > 3|τ| を満たすが、いかなる Einstein 計量とも持ち得ない、無限に多くのコン pact かつ向き付け可能な滑らかな 4 次元多様体が存在する。
• 反例は、非最小な一般型複素代数的表面として構成され、非自明な Seiberg-Witten 不変量を持つことが知られている。
• Seiberg-Witten 理論を用いて、Einstein 計量の存在が課すトポロジカル制約が、これらの表面の Seiberg-Witten 不変量と整合しないことを示した。
• これらの例における特定の Seiberg-Witten 不変量の非消滅は、Hitchin-Thorpe 不等式の満たされているにもかかわらず、Einstein 計量の非存在を排除する。
• この結果は、4 次元において、Hitchin-Thorpe 不等式が Einstein 計量の存在の十分条件でないことを示している。
• 本論文は、4 次元多様体幾何学の文脈において、トポロジカル障害（Hitchin-Thorpe 不等式）と微分幾何的障害（Seiberg-Witten 理論）の明確な違いを確立した。