[論文レビュー] A gauge theoretic approach to the anti-self-dual Einstein equations

Joël Fine|arXiv (Cornell University)|Nov 21, 2011

Geometry and complex manifolds参考文献 29被引用数 12

ひとこと要約

本稿は、4次元多様体上のSO(3)-バンドルにおける定値接続として、非ゼロのスカラー曲率を伴う自己双対でないアインシュタイン方程式を、楕円型方程式に再定式化することにより、ゲージ理論的枠組みを導入する。この方程式は、定値接続のための楕円型方程式として再定式化され、その静止点が解である放物型フローを確立し、短時間存在性およびフローの局所安定性を証明した。さらに、モーメント写像の解釈を提供し、方程式をシンプレクティック幾何学と結びつけ、ドナルドソンの超ケーラー計量に関する予想を一般化した。

ABSTRACT

In [29], Plebanski reformulated the anti-self-dual Einstein equations with non-zero scalar curvature as a first order PDE for a connection in an SO(3)-bundle over the four-manifold. The aim of this article is to place this differential equation in a new framework, in which it is both elliptic and a stationary point of a parabolic flow. To do this, we exploit a link with definite connections (introduced in [12]) to draw an analogy with instantons and the Yang-Mills flow. This picture leads to a natural conjecture, analogous to one made by Donaldson concerning hyperkähler 4-manifolds [9]. It also provides a moment-map description of the anti-self-dual Einstein equations with non-zero scalar curvature.

研究の動機と目的

• 非ゼロのスカラー曲率を伴う反自己双対アインシュタイン方程式を、SO(3)-接続の定値接続を用いて楕円型ゲージ理論的方程式に再定式化すること。
• その臨界点が楕円型方程式の解であるような定値接続のための放物型フローを導入すること。
• 反自己双対アインシュタイン方程式のモーメント写像解釈を提供し、シンプレクティック幾何学およびインスタントン理論と類似性を明らかにすること。
• 線形化作用素のインデックスおよびフローの局所安定性を含む、基礎的な解析的結果を確立すること。
• ドナルドソンの超ケーラー多様体に関する予想に類似する予想を提示し、定値三重対および幾何学的フローへの枠組みの拡張を行うこと。

提案手法

• プレバニスキの定式化を用いて、SO(3)-バンドル上の接続に関する1階偏微分方程式として、反自己双対アインシュタイン方程式を再定式化する。
• 任意の2次元平面で曲率が非ゼロとなる計量接続として定値接続を定義し、シンプレクティック形式の定値三重対を一般化する。
• 曲率条件の線形化から得られるゲージ固定楕円型作用素を定義し、これがディラック型作用素であることを示す。
• 定値接続のための放物型勾配フローを構成し、短時間存在性および解の近傍での局所安定性を証明する。
• twistor空間上のハミルトニアンベクトル場を無限小バンドル自己同型に引き上げることで、定値接続の空間上のモーメント写像を構成する。
• twistor理論およびファイブリック積分を用いて、曲率形式の引き戻しが水平であるときに限り完全接続が成立することを特徴づけ、モーメント写像の消滅条件が反自己双対アインシュタイン条件と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 非ゼロのスカラー曲率を伴う反自己双対アインシュタイン方程式は、定値SO(3)-接続を用いて楕円型ゲージ理論的方程式に再定式化可能か？
• RQ2 定値接続のための放物型フローは存在するか？その静止点が反自己双対アインシュタイン計量に対応するか？
• RQ3 曲率方程式の線形化の幾何学的・解析的構造は何か？関連するディラック作用素のインデックスは何か？
• RQ4 反自己双対アインシュタイン方程式はシンプレクティック幾何学におけるモーメント写像としてどのように解釈可能か？twistor空間はこの解釈において果たす役割は何か？
• RQ5 ドナルドソンの予想に類似する幾何学的フローは、定値三重対をハイパーケーラー構造へと変形するものとして存在するか？

主な発見

• 反自己双対アインシュタイン方程式のゲージ固定線形化がディラック型作用素であることが示され、twistor理論を用いてそのインデックスが計算された。
• 定値接続のための放物型フローの短時間存在性および一意性が確立され、局所安定性が示された：初期値が解の近傍にある場合、フローはすべての時間にわたって定義され、ゲージ変換の下で解に収束する。
• 定値接続の空間上にモーメント写像が構成され、そのモーメント写像が消えることと接続が完全（すなわち反自己双対アインシュタイン方程式を満たす）であることとは同値である。
• 完全接続の曲率形式は、h(F_A)^2 = π^*α を満たすある底面の体積形式αに対して成り立つ。これは、曲率のファイブリック平均が底面多様体から引き戻されたものであることを示唆する。
• 定値三重対のためのフローは、ハイパーケーラー三重対を唯一の固定点として持つことが示され、ドナルドソンの予想に類似した変形プログラムの支援となる。
• 本稿は、モーメント写像によるシンプレクティック減少として、反自己双対アインシュタイン方程式の幾何的解釈を提供し、ゲージ理論、twistor理論、リーマン幾何学を結びつけた。