[論文レビュー] Monopole classes and Perelman's invariant of four-manifolds

D. Kotschick|ArXiv.org|Aug 20, 2006

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

ひとこと要約

この論文は、コンパクト複素曲面および関連する4次元多様体に対するペレルマン不変量を計算し、特定の条件下でヤマベ不変量と一致することを示している。シーベルグ＝ワトソンモノポール理論を用いて、ペレルマン不変量が滑らかさ構造に敏感であることを証明し、ホメオモルフィズム不変量ではないことを示し、同じ位相的4次元多様体上に無限個の異なる滑らかさ構造を区別できることを示している。特にK3型と楕円的曲面の例においてその効果が顕著である。

ABSTRACT

We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.

研究の動機と目的

• コンパクト複素曲面および関連する4次元多様体に対するペレルマン不変量の計算を行う。
• 4次元多様体の滑らかさ構造にたいするペレルマン不変量の依存性を調査する。
• モノポールクラス理論を用いて、ペレルマン不変量がホメオモルフィズム不変量でないことを確立する。
• 4次元トポロジーにおけるペレルマン不変量、最小体積、およびエインシュタイン計量の存在との関係を分析する。
• 同じ位相的4次元多様体上に、同一のペレルマン不変量を持つ無限個の異なる滑らかさ構造の存在を示す。

提案手法

• すべての計量について解の存在を調べるため、シーベルグ＝ワトソンモノポール方程式を適用し、モノポールクラスと関連付ける。
• ファング＝チャンの結果を用いて、ペレルマン不変量がモノポールクラス不変量の平方根によって上から有界であることを示す。
• ヤマベ問題の解法を適用し、スケール不変量を介してペレルマン不変量とヤマベ不変量を関連付ける。
• ヒッチン＝トローバー不等式を用いて、特定の多様体がエインシュタイン計量をもてないことを示し、ペレルマン不変量における上界が達成されないことを示す。
• 対数的変換と連結和を用いて、位相を保ちながら滑らかさ構造を変化させる4次元多様体の族を構成する。
• $S^2 \times S^2$ による安定化が特定の多様体を「溶かす」ことを利用して、滑らかさ構造依存性の分析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $b_1$ が偶数で $b_2^+ > 1$ である最小複素曲面について、ペレルマン不変量はどのように振る舞うか？
• RQ2 ペレルマン不変量はどの程度微分同相不変量であり、4次元多様体における滑らかさ構造の検出にどのように寄与するか？
• RQ3 ペレルマン不変量は、同じ位相的4次元多様体上に無限個の異なる滑らかさ構造を区別できるか？
• RQ4 ペレルマン不変量、最小体積、およびエインシュタイン計量の存在との関係は何か？
• RQ5 $S^2 \times S^2$ による安定化によってペレルマン不変量の振る舞いはどのように変化するか？

主な発見

• $b_1(Z)$ が偶数で $b_2^+(Z) > 1$ である最小複素曲面 $Z$ に対して、$X = Z \# k\overline{\mathbb{C}P^2} \# l(S^1 \times S^3)$ のペレルマン不変量は $\overline{\lambda}_X = -4\pi\sqrt{2c_1^2(Z)}$ に等しい。
• ペレルマン不変量を定義する上界が達成されるのは、$k = l = 0$ かつ $Z$ が非正スカラー曲率のケーラー＝エインシュタイン計量をもつときのみである。
• 単連結4次元多様体のホメオモルフィズム型において、同じペレルマン不変量を持つ無限個の異なる滑らかさ構造が存在する。K3表面の例で示された。
• 多様体 $Y_k = Z_k \# (1+k)(S^1 \times S^3)$ に対して $\overline{\lambda}_{Y_k} \leq -8\pi\sqrt{2(1+k)}$ が成り立ち、エインシュタイン計量の不在によりこの上界は達成されない。
• 最小体積が非ゼロである多様体の連結和において最小体積が消えることがある。これは最小体積が連結和に関して良好に振る舞わないことを示している。
• 単一の $S^2 \times S^2$ による安定化の後、ペレルマン不変量は無限大に近づき、非トロイドモノポールクラスは消える。これはリッチフローが安定化予想を解消するのを助ける可能性を示唆している。