[論文レビュー] Topics in conformally compact Einstein metrics

Michael T. Anderson|ArXiv.org|Mar 13, 2005

Geometric Analysis and Curvature Flows参考文献 26被引用数 23

ひとこと要約

本稿は、4次元における共形的コンpact化されたエインシュタイン（ポincare-エインシュタイン）計量のグローバル存在およびモジュライ空間構造を調査し、所定の共形的無限大を有する計量に対するディリクレ問題に焦点を当てる。幾何解析および変形理論を用いて、尖錐およびオーロラ型の退化がエインシュタイン計量の極限として生じうることを示し、特定の近似エインシュタイン計量が正確な解に摂動可能でない強力な証拠を提示する。これは、境界写像が共形的無限大の空間へ全射でないことを挑戦するものである。

ABSTRACT

We discuss a number of topics in the area of conformally compact Einstein metrics, mostly centered around the global existence question of finding such metrics with an arbitrarily prescribed conformal infinity. The paper is partly a survey of this area but also presents new results and a number of open problems.

研究の動機と目的

• 与えられた境界付き4次元多様体上における共形的コンパクト化エインシュタイン計量のモジュライ空間のグローバル構造を理解すること。
• 境界上での共形類が与えられたとき、内部にポincare-エインシュタイン計量が存在するかというディリクレ問題のグローバル存在問題を調査すること。
• 特に偶数次元において、共形的無限大近辺でのこのような計量の漸近的挙動を分析すること。
• 尖錐またはオーロラ型の退化が、ポincare-エインシュタイン計量の列の極限として生じうるかどうかを特定すること。
• エインシュタイン計量のモジュライ空間から共形的無限大の空間への境界写像の全射性を評価すること。

提案手法

• 重み付き Hölder 範囲および定義関数 $\rho$ を用いた共形的コンパクト化を用いて、エインシュタイン計量の正則性および漸近的挙動を研究する。
• 変形理論およびフレドホルム理論を適用し、境界写像 $\Pi: \mathcal{E}^{m,\alpha} \to \mathcal{C}^{m,\alpha}$ をフレドホルム写像として扱い、指数 $6g - 3$ を持つものとする。
• 極限AdSブラックホール解の近傍で近似エインシュタイン計量を構成し、線形化されたエインシュタイン作用素 $L$ を用いてその摂動を研究する。
• 線形化された境界写像の核および像を分析し、尖錐計量の近傍でディリクレ問題の解が存在するかどうかを評価する。
• 曲率の減衰および $L^2$-形式上のラプラシアンのスペクトル的性質に基づくヒューリスティックおよび解析的議論を用いて、特定の摂動を除外する。
• 近似および正確なモジュライ空間における境界写像のフレドホルム指数を比較し、写像が尖錐極限の近傍で全射であれば矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 ポincare-エインシュタイン計量のモジュライ空間から共形的無限大の空間への境界写像 $\Pi$ は一般に全射であるか？
• RQ2 与えられたモジュライ空間の成分内で、尖錐またはオーロラ型の退化がポincare-エインシュタイン計量の列の極限として生じるか？
• RQ3 極限ブラックホール解の近傍での近似エインシュタイン計量を、正確なポincare-エインシュタイン計量に摂動可能か？
• RQ4 線形化されたエインシュタイン作用素の核が、ディリクレ問題の解の存在を妨げる役割を果たすのはどのような場合か？
• RQ5 近似計量ではフレドホルム指数が $6g - 3$ であるのに対し、正確な計量では 0 に低下する理由は何か？これは存在性にどのような意味を持つのか？

主な発見

• フレドホルム指数の矛盾により、境界写像 $\Pi$ が共形的無限大の空間へ一般に全射でないことが示された。
• 極限AdSブラックホール解の摂動として生じる尖錐計量は剛体的であり、有界な無限小エインシュタイン変形を一切持たないため、モジュライ空間内で孤立していると考えられる。
• 近似エインシュタイン計量の空間 $\widetilde{\mathcal{E}}$ の境界 $\partial\widetilde{\mathcal{E}}$ は正確な尖錐エインシュタイン計量から成り、境界写像 $\widetilde{\Pi}$ はフレドホルム写像として指数 $6g - 3$ を持つ。
• 線形化作用素の核が $\|\widetilde{\kappa}\|_{L^\infty} = 1$ かつ無限遠で急速に減衰すると仮定すると、フレドホルム指数の議論における必要な下界と矛盾する。
• 補題2.5は、正確なモジュライ空間 $\mathcal{E}$ が近似計量の近傍に存在するならば、$S^1$-不変境界計量の無限次元空間を欠いていることになり、これはありえないと考えられる。
• 本稿は、尖錐退化がモジュライ空間の連結成分内で正確なポincare-エインシュタイン計量の極限として生じない可能性が高いと結論づけ、グローバル存在に対する根本的な障害を示唆している。