[論文レビュー] Locally conformally flat and self-dual structures on simple 4-manifolds

Mustafa Kalafat|arXiv (Cornell University)|Jan 28, 2013

Geometric Analysis and Curvature Flows参考文献 11被引用数 3

ひとこと要約

本調査は、たとえば積や単連結多様体のような単純な4次元多様体上での局所的に共形平坦（LCF）および自己双対（SD）リーマン計量の存在を検討する。曲率分解、ガウス・ボンネの定理およびシグニチャ定理、カーラー幾何学を用いて、$g,h \geq 2$ である $Σ_g \times \Sigma_h$ のような特定の積多様体は、位相的障害のため LCF または SD 計量を有し得ないことが示され、一方 $g \geq 2$ である $S^2 \times \Sigma_g$ のような他の多様体は、このような構造を支持することが示される。

ABSTRACT

This is a survey article on the existence of locally conformally flat(LCF) and self-dual(SD) metrics on various basic 4-manifolds like simply-connected ones or product types

研究の動機と目的

• 基本的な4次元多様体、特に積型および単連結型の局所的に共形平坦（LCF）および自己双対（SD）計量の存在を体系的かつ分析すること。
• 4次元リーマン幾何学における LCF および SD 構造に関する散在する結果を統合・要約すること、特にカーラー多様体およびアインシュタイン多様体について。
• LCF および SD 計量の存在に対する位相的障害、特にシグニチャおよびオイラー特徴標数を用いて確立すること。
• 2つの曲面 $g, h \geq 2$ の積としての多様体上でのこれらの構造の存在に関する未解決問題を解消すること。
• 微分幾何学および位相幾何学からの道具と結果を統合することで、研究者向けの包括的参考文献を提供すること。

提案手法

• Kulkarni-Nomizu 積およびビアンキ恒等式を用いて、曲率をウェイル、リッチ、スカラー曲率成分に分解する。
• 一般化されたガウス・ボンネの定理およびヒルツェブルーフのシグニチャ公式を適用し、曲率不変量を位相的不変量 $\chi(M)$ および $\tau(M)$ に結びつける。
• 曲率テンソルを $R = U \oplus Z \oplus W$ に分解し、$W$ をウェイルテンソルとする。その自己双対および反自己双対部分 $W_\pm$ を分析する。
• 4次元多様体が LCF であるための必要十分条件が $W \equiv 0$ であること、SD であるための必要十分条件が $W_- \equiv 0$ であること、2形式上のホッジスター分解を用いて示す。
• スカラー曲率がゼロであるカーラー（SFK）表面は反自己双対であるという事実を用い、それを積多様体に適用して SD または LCF 構造を導出する。
• カーラー・アインシュタイン条件および恒等式 $|W_+|^2 = s^2/24$ を適用し、ガウス・ボンネの公式を経由して位相的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 単連結型または積型の4次元多様体のうち、どの多様体が局所的に共形平坦（LCF）計量を有するか？
• RQ2 カーラー4次元多様体が自己双対（SD）計量を有するための条件は何か？また、これはスカラー曲率がゼロであることとどのように関係するか？
• RQ3 LCF または SD 計量の存在を妨げる位相的障害は何か？
• RQ4 2つの双曲的曲面 $\Sigma_g \times \Sigma_h$（$g,h \geq 2$）は、LCF または SD 計量を有し得るか？
• RQ5 $g \geq 2$, $h \geq 1$ の場合に $\Sigma_g \times \Sigma_h$ 上に LCF 計量が存在するかどうかは？

主な発見

• $g \geq 2$ のとき、多様体 $S^2 \times \Sigma_g$ は局所的に共形平坦計量を有する。これは、曲率が Kulkarni-Nomizu 写像の像上にあるため、ウェイルテンソルが消えることによる。
• $g,h \geq 2$ のとき、多様体 $\Sigma_g \times \Sigma_h$ の積計量は LCF または SD にはなり得ない。これは $\chi = 0$ を要請するが、$\chi = (2-2g)(2-2h) \neq 0$ であるためである。
• 多様体 $\Sigma_g \times \Sigma_h$ のシグニチャ $\tau(\Sigma_g \times \Sigma_h) = 0$ である。これは、方向反転微分同相写像が存在するためであるが、これだけでは計量が SD または LCF であるとは限らない。
• LCF 計量を有するカーラー・アインシュタイン4次元多様体は、ガウス・ボンネの公式および恒等式 $|W_+|^2 = s^2/24$ を用いて、オイラー特徴標数 $\chi = 0$ を持つ必要があることが示される。
• $g,h \geq 2$ のとき、多様体 $\Sigma_g \times \Sigma_h$ はカーラー・アインシュタイン計量を有するが、オイラー特徴標数が非ゼロであるため LCF 計量を有し得ない。
• $g \geq 2$, $h \geq 1$ の場合に $\Sigma_g \times \Sigma_h$ 上に LCF 計量が存在するかどうかは、一部のケースでは位相的障害がないにもかかわらず、未解決の問題のままである。