[論文レビュー] Conformal Geometry on Four Manifolds

Sun‐Yung A. Chang|arXiv (Cornell University)|Sep 17, 2018

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

ひとこと要約

本稿は、4次元多様体上の共形幾何について包括的なサーベイを提示し、$\sigma_2$ 曲率不変量の役割と、ガウス・ボンネ・シューエルの公式、パネイツ作用素、$Q$-曲率との関連を焦点とする。$C^1$ ノルムの有界性と境界の制御された挙動が、微分同相写像までに $C^{k+2,\alpha}$ のコンパクト性を示すという、積分的および曲率に基づく条件の下で、共形的にコンパクトなアインシュタイン4次元多様体のコンパクト性結果を確立する。$\int \sigma_2$ を用いた $S^4$ および $\mathbb{CP}^2$ の特徴付けへの重要な応用を含む。

ABSTRACT

In the lecture notes, the author will survey the development of conformal geometry on four dimensional manifolds. The topic she chooses is one on which she has been involved in the past twenty or more years: the study of the integral conformal invariants on 4-manifolds and geometric applications. The development was heavily influenced by many earlier pioneer works; recent progress in conformal geometry has also been made in many different directions, here we will only present some slices of the development.

研究の動機と目的

• 4次元多様体上の共形幾何の発展をサーベイすること、特に積分的共形不変量とその幾何的応用に焦点を当てる。
• $(S^4, g_c)$ および $(\mathbb{CP}^2, g_{FS})$ の微分同相型を、多様体上での $\sigma_2$ の積分を用いて特徴付けること。
• 曲率および境界曲率の制約の下で、共形的コンパクトなアインシュタイン4次元多様体の系列に対するコンパクト性結果を確立すること。
• CCE多様体の再生化体積を $\int \sigma_2$ と関連づけ、存在性およびコンパクト性のための条件を探索すること。

提案手法

• 4次元多様体上でのガウス・ボンネ・シューエルの公式を用い、オイラー特性を $\sigma_2$、ウェイルテンソル、スカラー・リッチ曲率の項で表現する。
• $Q$-曲率およびパネイツ作用素 $P_4$ に変分法を適用し、それらを $\sigma_2$ および4次元の共形不変量と関連付ける。
• 境界に沿った3次元の境界作用素 $P_3$ および曲率 $T$ を導入し、コンパクトな4次元多様体の境界における共形構造を拡張する。
• 再生化体積を $\int \sigma_2$ と関連づけ、スケーリングによる極限の挙動を解析することで、共形的コンパクトアインシュタイン（CCE）4次元多様体を分析する。
• グロモフ＝ハウスドルフのコンパクト性およびブロー・アップ解析を用いて、曲率の均一な $C^1$ 界を証明し、境界条件の下で $C^{k+2,\alpha}$ のコンパクト性を導く。
• $g_\infty$ におけるリウヴィル型の偏微分方程式の議論を適用し、極限計量 $g_\infty$ が必ずポincare計量 $g_\mathbb{H}$ に等長であることを示し、曲率ノルムが無限大に発散する場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 境界を有する4次元多様体上の計量の族 $\{g_i^*\}$ が、微分同相写像までに $C^{k+2,\alpha}$ ノルムでコンパクトであるための条件は何か？
• RQ2 $\int_X \sigma_2(A_g)\,dv_g$ の正の性質は、CCE多様体の再生化体積およびコンパクト性とどのように関係するか？
• RQ3 境界曲率 $T$ は、CCE計量の系列のコンパクト性を保証するために果たす役割は何か？
• RQ4 定理5.1における摂動条件を $\int_{B^4} \sigma_2 \geq 0$ から $\int_{B^4} \sigma_2 > 0$ に弱めることができるか？
• RQ5 $S$-テンソルの $L^1$-集中と、$T$-曲率条件の下での $\{g_i^*\}$ のコンパクト性との間に直接的な関係は存在するか？

主な発見

• $\int_{B^4} \sigma_2 \geq 0$ および境界 $T$-曲率が $\liminf_{r\to 0} \inf_i \inf_{S^3} \oint_{\partial B(x,r)} T_i \geq 0$ を満たすという仮定の下で、$\{g_i^*\}$ の曲率の $C^1$ ノルムは一様に有界である。
• 境界曲率条件 (5.6) が成り立つ限り、任意の $\alpha \in (0,1)$ および $k \geq 5$ に対して、族 $\{g_i^*\}$ は $C^{k+2,\alpha}$ ノルムでコンパクトである。
• $k \geq 2$ に対して $C^{k+2,\alpha}$ のコンパクト性が達成されるのは、$S$-テンソルが $\lim_{r\to 0} \sup_i \sup_x \oint_{\partial B(x,r)} |S_i| = 0$ を満たす場合であり、これは $L^1$-集中がないことを示している。
• ブロー・アップ解析における極限計量 $g_\infty$ は、Poincaré計量 $g_\mathbb{H}$ に等長であり、$\bar{w}_\infty = \log y$ である。曲率ノルムが無限大に発散する場合、これは矛盾を引き起こす。
• CCE多様体の再生化体積は、多様体上での $\sigma_2$ の積分に等しい。幾何的不変量と解析的量を結びつける。
• コンパクト性の結果は、境界および曲率の制御された条件下でのCCE多様体の存在理論への重要な一歩である。