[論文レビュー] Extension of symmetries on Einstein manifolds with boundary

Michael T. Anderson|arXiv (Cornell University)|Apr 25, 2007

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

ひとこと要約

この論文は、アインシュタイン多様体の境界におけるキリング場が内部に拡張可能となる条件を確立する。トポロジー的条件 π₁(M, ∂M) = 0 と、キリング場が境界の平均曲率を保存する幾何的制約の下で、このような拡張は常に存在し、一意的であり、等長写像の拡張性質を境界を伴うアインシュタイン多様体へ一般化する。

ABSTRACT

We investigate the validity of the isometry extension property for (Riemannian) Einstein metrics on manifolds with boundary. Given a metric on the boundary, this is the issue of whether any Killing field of the boundary metric extends to a Killing field of any bulk or filling Einstein metric inducing the given data on the boundary. Under a mild condition on the fundamental group, this is proved to be the case at least when the Killing field preserves the mean curvature of the boundary.

研究の動機と目的

• コンパクトなアインシュタイン多様体の境界計量の等長写像が、全多様体の等長写像へ拡張されるかどうかを調査すること。
• 境界付きアインシュタイン計量における等長写像の拡張性質が成り立つための幾何的およびトポロジカルな条件を同定すること。
• 境界が非連結である、または基本群が内部へ全射でない場合に拡張が失敗する理由を解明すること。
• 平均曲率の保存（X(H) = 0）が、境界から内部へのキリング場の拡張を可能にする役割を特定すること。
• 境界が無限遠にある非コンパクトなアインシュタイン計量（漸近的に平坦または漸近的に双曲的）に対しても、等長写像の拡張性質を拡張すること。

提案手法

• アインシュタイン計量のモジュライ空間を用い、各アインシュタイン計量に対してその境界計量を割り当てるディリクレ境界写像 Π_D: E → Met(∂M) を研究する。
• Π_D の線形化を適用し、非退化性条件の下で拡張性質を確立するために、核と像を解析する。
• 境界から内部へのキリング場の存在と一意性を保証するため、条件 X(H) = 0（平均曲率の保存）を課す。
• 境界上の発散がゼロである対称2次テンソルのスライスを、境界上の点に適合した基底を用いて構成し、直交性と非退化性を保証する。
• 十分小さい ε > 0 を用いた摂動論法により、γ に近い計量 σ を構成し、tr_γ(BA’_k) ≠ 0 が成り立つようにする。これにより線形化作用素の逆行列が保証される。
• 外部領域および漸近的に双曲的設定に適応するため、境界条件を変更し、キリング場の下での平均曲率の変動が消えることを確認することで、証明戦略を拡張する。

実験結果

リサーチクエスチョン

• RQ1 アインシュタイン多様体の境界におけるキリング場が、全多様体上のキリング場へ拡張可能となる条件は何か？
• RQ2 一般に等長写像の拡張性質が失敗するのはなぜか。特に境界が非連結である、または π₁(∂M) → π₁(M) が全射でない場合に顕著である。
• RQ3 平均曲率の保存（X(H) = 0）が、境界のキリング場を内部に拡張可能にする仕組みは何か？
• RQ4 漸近的に平坦または双曲的である非コンパクトなアインシュタイン多様体に対しても、等長写像の拡張性質を拡張できるか？
• RQ5 ディリクレ境界写像の線形化が、対称性の拡張を証明するために果たす役割は何か？

主な発見

• π₁(M, ∂M) = 0 であり、g が C^{m,α} アインシュタイン計量（m ≥ 5）である限り、∂M 上の任意のキリング場 X で X(H) = 0 を満たすものは、(M,g) 上に一意に拡張可能である。
• 平均曲率が定数であるとき、境界の等長写像群の単位成分は、任意のアインシュタイン埋め込み計量の等長写像群に埋め込まれる。
• S^n 上の球面計量に対して、π₁(M) = 0 かつ H = const ならば、(M,g) は単連結な空間形式内の標準的な球面と等長である。
• Isom(∂M,γ) の単位成分に属さない等長写像では、等長写像の拡張性質は失敗する。固体トーラス上での反例によりこれを示した。
• 結果は、漸近的に平坦および漸近的に双曲的アインシュタイン計量へも拡張可能であり、定理5.4では双曲的ケースにおいて平均曲率の保存が不要な拡張を確立している。
• 証明は、∂M 上の発散がゼロである対称2次テンソルの非退化スライスを構成し、キリング場の下での平均曲率の変動が消えることを確認することで成り立つ。これにより線形化問題の可解性が保証される。