[論文レビュー] Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4-manifolds

Michael T. Anderson|ArXiv.org|Apr 17, 2001

Geometric Analysis and Curvature Flows参考文献 20被引用数 10

ひとこと要約

本稿は、4次元多様体上の漸近的に双曲的（AH）アインシュタイン計量について、境界正則性と一意性に関する結果を確立する。もし4次元多様体上のAHアインシュタイン計量が、$L^{2,p}$（$p>4$）の共形コンパクト化をもち、境界計量が$C^{m,\alpha}$（$m \geq 3$, $\alpha > 0$）であるならば、同じ境界データを持つ$C^{m,\alpha}$の共形コンパクト化が存在することを証明する。さらに、一般には一意性が成り立たないことが示され、非等長なAHアインシュタイン計量が同じ共形無限大を共有することがあるが、自然な幾何的制約のもとでは有限性が保証される。

ABSTRACT

This paper studies several aspects of asymptotically hyperbolic Einstein metrics, mostly on 4-manifolds. We prove boundary regularity (at infinity) for such metrics and establish uniqueness under natural conditions on the boundary data. By examination of explicit black hole metrics, it is shown that neither uniqueness nor finiteness holds in general for AH Einstein metrics with a prescribed conformal infinity. We then describe natural conditions which are sufficient to ensure finiteness.

研究の動機と目的

• 次元4における漸近的に双曲的（AH）アインシュタイン計量の境界正則性に関する未解決問題を解消すること。具体的には、$C^{m,\alpha}$境界正則性が$L^{2,p}$共形コンパクト化のもとで保存されるか否かを明らかにすること。
• AHアインシュタイン計量が共形無限大によってどの程度一意に定まるかを調査すること。特に、非一意性と位相的曖昧性の文脈を考慮すること。
• 与えられた共形無限大を持つAHアインシュタイン計量の有限性を保証する自然な幾何的条件を同定すること。
• アドス・シュバルツシルト計量や双曲的カスプ計量といった明示的な例を分析し、非一意性を示し、曲率の矛盾による議論によって非自明な変形が排除されることを示すこと。

提案手法

• 4次元多様体上のAHアインシュタイン計量が、$L^{2,p}$（$p>4$）の共形コンパクト化（$p>4$）をもち、境界計量が$C^{m,\alpha}$（$m \geq 3$, $\alpha > 0$）であるならば、共形コンパクトアインシュタイン計量の正則性理論を用いて、同じ境界計量を持つ$C^{m,\alpha}$の共形コンパクト化が存在することを証明する。
• 計量の変動におけるスカラー曲率およびリッチ曲率方程式の線形化を適用し、微小変形を分析する。特に、変形テンソルのトレースおよび2階微分の振る舞いに注目する。
• 無限遠近傍における計量の漸近的展開と、偶数次元には存在しないが4次元では存在する対数項（log terms）の有無を分析し、曲率の減衰と正則性を評価する。4次元では$C^{m,\alpha}$レベルで対数項が現れないことを示す。
• スケーリングによる背理法を用いる：平坦計量の非自明な$T^3$-不変なバッチ平坦な変形が存在すると仮定すると、スケーリング下でも曲率が0に収束しないことが示され、弱い双曲的性質に反する。
• 測地的コンパクト化の文脈で線形化されたアインシュタイン方程式を分析し、方程式$\partial_t \partial_t \text{tr} h = 3t^{-1} \partial_t \text{tr} h$を導出する。この方程式は、$\text{tr} h$の4次多項式解をもたらす。
• スケール変換された計量$\bar{g}_y = t(y)^{-2} \bar{g}$の曲率が、大きな距離で0から離れていることから、平坦空間への収束に反する。これにより、平坦計量の非自明な$T^3$-不変な変形が排除される。

実験結果

リサーチクエスチョン

• RQ1 4次元多様体上のAHアインシュタイン計量が$C^{m,\alpha}$境界計量を持つならば、$C^{m,\alpha}$の共形コンパクト化が存在するか？
• RQ2 4次元多様体上のAHアインシュタイン計量は、どの程度まで共形無限大によって一意に定まるか？
• RQ3 非等長なAHアインシュタイン計量が同じ共形無限大を持つことはあり得るか？もしあるならば、どのような条件下か？
• RQ4 双曲的カスプ計量の非自明な$T^3$-不変な変形が、アインシュタイン計量の中で存在するか？
• RQ5 どのような幾何的または解析的条件が、与えられた共形無限大を持つAHアインシュタイン計量の有限性を保証するか？

主な発見

• 定理0.1は、4次元多様体上のAHアインシュタイン計量が、$L^{2,p}$（$p>4$）の共形コンパクト化（$p>4$）をもち、境界計量が$C^{m,\alpha}$（$m \geq 3$, $\alpha > 0$）であるならば、同じ境界計量を持つ$C^{m,\alpha}$の共形コンパクト化が存在することを確立する。
• 本稿は、共形無限大によるAHアインシュタイン計量の一意性が一般には成り立たないことを証明している。具体的には、$S^2 \times \mathbb{R}^2$上に存在する非等長なアドス・シュバルツシルト計量が、$S^2 \times S^1$上で同じ共形無限大を持つことによって示されている。
• 非一意性は、次元3においてドーンの手術やカスプ開通の構成によっても生じる。これにより、共形無限大が位相的型を決定しないことが示された。
• スケール変換された計量$\bar{g}_y = t(y)^{-2} \bar{g}$の曲率は、大きな距離で0から離れている。これは平坦空間への収束に反するため、平坦計量の非自明な$T^3$-不変な変形が存在しないことを示す。
• 線形化されたスカラー曲率方程式から$\partial_t \partial_t \text{tr} h = 3t^{-1} \partial_t \text{tr} h$が得られ、これにより$\text{tr} h = \frac{c_0}{4} t^4 + c_1$が導かれる。これは変形テンソル$h$の4階微分方程式を意味する。
• 4次元において、$m=3$の段階で$\bar{g}$の漸近的展開に対数項が存在しないことは、$L^{2,p}$制御のもとで$C^{\infty}$境界正則性が達成可能であることを確認し、長年の未解決問題を解決した。