[論文レビュー] Non-local Curvature and Topology of Locally Conformally Flat Manifolds

Ruobing Zhang|arXiv (Cornell University)|Oct 4, 2015

Geometric Analysis and Curvature Flows参考文献 8被引用数 5

ひとこと要約

本稿は、正のスカラー曲率をもつコンpactで局所的に共形平坦な多様体に関連するクライン群の極限集合のハウスドルフ次元に対して、$ 1 < \theta < 2 $ において分数階 $ Q_{2\theta} $ 曲率が非負であるという条件下で、鋭い上界を確立する。この上界 $ \frac{n - 2\theta}{2} $ が最適であることが示され、シュレン＝ヤウの古典的結果を拡張し、特に3次元および5次元多様体において新たな剛性および分類定理を導く。

ABSTRACT

In this paper, we focus on the geometry of compact conformally flat manifolds $(M^n,g)$ with positive scalar curvature. Schoen-Yau proved that its universal cover $(\widetilde{M^n}, ilde{g})$ is conformally embedded in $\mathbb{S}^n$ such that $M^n$ is a Kleinian manifold. Moreover, the limit set of the Kleinian group has Hausdorff dimension $0$, then the above inequality is strict. Moreover, the above upper bound is sharp. As applications, we obtain some topological rigidity and classification theorems in lower dimensions.

研究の動機と目的

• クライン群の極限集合に関するシュレン＝ヤウのハウスドルフ次元推定値を分数曲率設定に一般化すること。
• 正のスカラー曲率をもつコンパクトで局所的に共形平坦な多様体において、非局所的曲率 $ Q_{2\theta} \geq 0 $（$ 1 < \theta < 2 $）がもつ幾何学的・位相的意味を調査すること。
• 分数階数 $ \theta $ を用いた極限集合のハウスドルフ次元に対する鋭い上界を確立し、古典的な $ \frac{n-2}{2} $ の境界を精緻化すること。
• 3次元および5次元多様体において $ Q_3 \geq 0 $ の下で剛性および分類結果を導出し、分数階ヤマベ問題の解の存在定理を含むこと。
• 境界の鋭さを示す明示的な例を構成し、$ Q_3 > 0 $ かつ正のスカラー曲率をもつが、球面と共形同値でない多様体の存在を示すこと。

提案手法

• 局所的に共形平坦な多様体における分数階GJMS作用素 $ P_{2\theta} $ 及びその関連曲率 $ Q_{2\theta} $ の共形共変性を用いる。これは、超空間 $ (\mathbb{H}^{n+1}/\Gamma, g_+) $ における双曲的埋め込みを伴う。
• 境界挙動および非局所作用素を解析するため、ユークリッド空間上での分数階ラプラシアンの調和拡張および等価定義を適用する。
• 分数階ラプラシアンのための比較原理および滑らかな近似補題を用いて、共形無限遠における解の成長および減衰を制御する。
• 普遍被覆空間の $ \mathbb{S}^n $ への共形埋め込みに依拠し、$ \widetilde{M} \cong \Omega(\Gamma) $ を特定し、極限集合 $ \Lambda(\Gamma) $ を適切に不連続性の定義域の補集合として研究する。
• 正規化された体積およびフェッファーマン＝グラハムの漸近展開を用いて、具体的な例（例えば $ \mathbb{H}^6 $ 上のワーブド積度量やAdS＝シュバルツシルト空間）において $ Q_{2\theta} $ 曲率を計算する。
• チン＝ハン＝ヤンおよびチン＝ラックの結果を応用し、$ Q_{2\theta} > 0 $ の下で分数階ヤマベ問題の解の存在を導く。

実験結果

リサーチクエスチョン

• RQ1 正のスカラー曲率および $ Q_{2\theta} \geq 0 $（$ 1 < \theta < 2 $）をもつコンパクトで局所的に共形平坦な多様体に関連するクライン群 $ \Gamma $ の極限集合 $ \Lambda(\Gamma) $ のハウスドルフ次元に対する鋭い上界は何か？
• RQ2 非局所的曲率 $ Q_{2\theta} $ は、古典的シュレン＝ヤウ推定値 $ \dim_{\mathcal{H}}(\Lambda) < \frac{n-2}{2} $ をどのように精緻化するか？
• RQ3 $ \dim_{\mathcal{H}}(\Lambda) \leq \frac{n - 2\theta}{2} $ の境界は達成可能か？ そして等号が成立する場合の幾何学的意味は何か？
• RQ4 3次元のコンパクトで局所的に共形平坦な多様体において、正のスカラー曲率をもつ $ Q_3 \geq 0 $ の位相的および幾何学的結果は何か？
• RQ5 正のスカラー曲率 $ R > 0 $ および $ Q_3 > 0 $ をもつコンパクトで局所的に共形平坦な3次元多様体が、$ \mathbb{S}^3 $ と共形同値でないもの是否存在するか？

主な発見

• 任意のコンパクトで局所的に共形平坦な多様体 $ (M^n, g) $ に対して、$ R_g > 0 $ および $ Q_{2\theta} \geq 0 $ を満たすとき、極限集合 $ \Lambda(\Gamma) $ のハウスドルフ次元は $ \dim_{\mathcal{H}}(\Lambda) \leq \frac{n - 2\theta}{2} $ を満たす。ここで $ 1 < \theta < \max\{2, n/2\} $ であり、この境界は鋭い。
• もし $ Q_{2\theta} > 0 $ であれば、境界は厳密に成立する：$ \dim_{\mathcal{H}}(\Lambda) < \frac{n - 2\theta}{2} $ であり、これは古典的な $ \frac{n-2}{2} $ の推定値を改善する。
• $ n = 3 $ の場合、ある点で $ Q_3 > 0 $ であれば、$ (M^3, g) $ は回転球面 $ \mathbb{S}^3 $ と共形同値である。$ Q_3 \equiv 0 $ であれば、$ (M^3, g) $ は $ \mathbb{S}^1 \times \mathbb{S}^2 $ 上の回転球面度量と等長である。
• 6次元の双曲空間にワーブド積度量を備えたものの共形無限遠として、5次元多様体 $ M^5 $ の明示的例を構成した。この例では $ 0 < \theta < 3/2 $ に対して $ Q_{2\theta} > 0 $ であり、$ Q_3 = 0 $ であるため、境界の鋭さが示された。
• AdS＝シュバルツシルト度量を用いて、$ R > 0 $ および $ Q_3 > 0 $ をもつ $ \mathbb{S}^1(\lambda) \times \mathbb{S}^2 $ の例を構成した。この例は、このような多様体が球面と共形同値でないものとして存在可能であることを示し、一般の共形コンパクトアインシュタイン設定における普遍的剛性の否定を示した。
• 分数階ヤマベ問題は解をもつ：任意の $ \gamma' \in (0, \gamma] $ に対して、$ Q_{2\gamma} > 0 $ をみたすある $ \gamma \in (1, \max\{2, n/2\}) $ が存在するとき、$ \widehat{Q}_{2\gamma'} \equiv 1 $ をみたす共形度量 $ \hat{g} $ が存在する。