[論文レビュー] On Einstein Manifolds of Positive Sectional Curvature

Matthew J. Gursky, Claude LeBrun|ArXiv.org|Jul 11, 1998

Geometry and complex manifolds参考文献 19被引用数 13

ひとこと要約

本論文は、正の交差形式と非負の断面曲率を備えた、コンpactで向き付け可能なエインシュタイン4次元多様体が、スケーリングを除いて複素射影平面（CP²）に等長であることを証明している。この結果は、微分幾何学的および解析的技法を用いて、曲率と位相的制約の下で鋭い分類を確立する。

ABSTRACT

Let (M,g) be a compact oriented Einstein 4-manifold. If M has positive intersection form and g has non-negative sectional curvature, we show that, up to rescaling and isometry, (M,g) is CP2, equipped with its standard Fubini-Study metric.

研究の動機と目的

• 曲率と位相的制約の下でのコンpactで向き付け可能なエインシュタイン4次元多様体の分類を目的とする。
• 非負の断面曲率と正の交差形式が4次元多様体を複素射影平面に強制するかどうかを特定すること。
• エインシュタイン幾何学における既知の剛性結果を、断面曲率条件を含む形に拡張すること。
• 特定の位相的および曲率的性質を備えた4次元多様体におけるエインシュタイン計量の一意性を確立すること。
• 4次元において、曲率、位相、およびエインシュタイン構造の間の相互作用を探索すること。

提案手法

• リッチ曲率が計量に比例することを要請するエインシュタイン条件を用いる。
• 非負の断面曲率の仮定を、多様体の幾何を制約するために適用する。
• 正の交差形式（つまり、正定値の第二ベッチ数と交差形式）を、非自明性の位相的障害として用いる。
• チェーン＝ガウス＝ボンネの公式や曲率推定値を含む、解析的および微分幾何学的道具を適用する。
• 正の交差形式とb2+=1を備える唯一のコンpactな4次元多様体は、微分同相型でCP²に限られることを用いる。
• 曲率の境界と位相的不変量を組み合わせて、代替のエインシュタイン構造を除外する。

実験結果

リサーチクエスチョン

• RQ1 非負の断面曲率と正の交差形式を備えたコンpactで向き付け可能なエインシュタイン4次元多様体が、Fubini-Study計量を備えたCP²でない可能性は存在するか？
• RQ2 どのような位相的および曲率的条件が4次元エインシュタイン多様体を対称的にするか？
• RQ3 非負の断面曲率と正の交差形式が、エインシュタイン計量をどのように制約するか？
• RQ4 これらの曲率的および位相的制約を満たし、エインシュタイン計量を許容する4次元多様体の中で、CP²以外に存在するか？
• RQ5 曲率と位相が、エインシュタイン4次元多様体の計量構造をどの程度決定づけるか？

主な発見

• 非負の断面曲率と正の交差形式を備えた任意のコンpactで向き付け可能なエインシュタイン4次元多様体は、スケーリングおよび等長を除いて、標準的Fubini-Study計量を備えたCP²に等長である。
• 正の交差形式は第二ベッチ数b2+が1であることを示し、これに加えて曲率条件が成立すると、多様体はCP²に微分同相であることが強制される。
• 非負の断面曲率条件とエインシュタイン条件の両方が、CP²のものと同一のホロノミーと曲率対称性に制限を加える。
• 代替計量を除外するために、チェーン＝ガウス＝ボンネの公式と曲率積分恒等式に依存する。
• 正の交差形式と非負の断面曲率を備える他の4次元多様体は、CP²上のFubini-Study計量以外にエインシュタイン計量を許容できない。
• この結果は鋭い分類を確立する：これらの制約のもとで、CP²の標準計量が唯一の解である。