[論文レビュー] A gauge theoretic approach to Einstein 4-manifolds

Joël Fine, Kirill Krasnov+1 more|arXiv (Cornell University)|Dec 10, 2013

Geometric Analysis and Curvature Flows参考文献 17被引用数 7

ひとこと要約

本稿は、4次元におけるアインシュタイン方程式のゲージ理論的再定式化を提示する。アインシュタイン計量は、SO(3)接続から導かれる体積汎関数の臨界点として扱われる。主な貢献は、反自己双対アインシュタイン計量がインスタントンとして現れる変分的枠組みを提供することであり、これにより存在問題に対する新たな手法が可能になり、ゲージ理論的球面定理の提案を通じてシンプレクティック位相幾何学と結びつく。

ABSTRACT

This article investigates a new gauge theoretic approach to Einstein's equations in dimension 4. Whilst aspects of the formalism are already explained in various places in the mathematics and physics literature, our first goal is to give a single coherent account of the theory in purely mathematical language. We then explain why the new approach may have important mathematical applications: the possibility of using the calculus of variations to find Einstein 4-manifolds, as well as links to symplectic topology. We also carry out some of the technical groundwork to attack these problems.

研究の動機と目的

• 物理学文献に散在していた4次元多様体におけるアインシュタイン方程式のゲージ理論的定式化を、統一的かつ数学的に厳密に体系化すること。
• 誘導計量の体積を作用汎関数とみなすことにより、アインシュタイン計量を求めるための変分的枠組みを確立すること。
• アインシュタイン4次元多様体と、特別な幾何的構造を持つシンプレクティックFanoまたはカラビ–ヤウ6次元多様体との関係を探索すること。
• 変分法と幾何学的フローのための技術的ツールや予想を提示することで、今後の研究の基盤を築くこと。

提案手法

• 代数的公式を用いて、SO(3)接続 $ A $ からリーマン計量 $ g_A $ を定義する。これはゲージ理論におけるポテンシャル-場の関係を一般化する。
• 作用汎関数 $ S(A) $ を、計量 $ g_A $ の体積として定義する。$ S $ の臨界点はアインシュタイン計量に対応する。
• 形式的枠組みでは、反自己双対アインシュタイン計量が1階微分方程式（インスタントン）の解として特定され、これが2階のアインシュタイン方程式を含意する。
• 勾配フローのゲージ固定手続きを適用し、放物型フロー方程式 $ \frac{\partial A}{\partial t} = \frac{Λ}{6\pi^2} \mathrm{d}_A^* \Phi_A $ を得る。この方程式は短時間で解を有することが示された。
• 作用汎関数 $ S $ のヘッセ行列をゲージ不変性の下で解析し、その主要部が非自明なねじれ行列 $ Q $ を持つディラック作用素の平方と等価であることを示し、楕円性が保証された。
• より複雑な作用素構造を導入することで、非反自己双対の場合への理論の拡張がなされたが、完全な一般化は未解決の問題のままである。

実験結果

リサーチクエスチョン

• RQ1 ゲージ理論的作用汎関数 $ S(A) $ を用いて、変分法により新しいアインシュタイン4次元多様体を構成できるか？
• RQ2 不等号 $ \frac{s}{12} + W^+ \succ 0 $ を満たす定義された接続と、特別な幾何的構造を持つシンプレクティックFanoまたはカラビ–ヤウ6次元多様体との正確な関係は何か？
• RQ3 $ \frac{s}{12} + W^+ $ が定義されたコンパクトなアインシュタイン4次元多様体として、標準的 $ S^4 $、$ \mathbb{C}\mathbb{P}^2 $、双曲的、複素双曲的計量以外に他に存在するか？
• RQ4 作用汎関数 $ S $ のヘッセ行列を、アインシュタイン計量の安定性およびモジュライ空間の解析にどの程度応用できるか？
• RQ5 作用汎関数 $ S $ の勾配フローを用いて、任意の定義された接続を反自己双対アインシュタイン計量へと進化させられるか？

主な発見

• SO(3)接続 $ A $ から誘導される計量 $ g_A $ の体積として定義される作用 $ S(A) $ の臨界点は、$ g_A $ がアインシュタイン計量である場合に限り存在する。
• $ \frac{s}{12} + W^+ $ が定義された場合、$ S $ の臨界点は反自己双対アインシュタイン計量に対応し、このゲージ理論的枠組みではインスタントンとして現れる。
• 勾配フロー $ \frac{\partial A}{\partial t} = \frac{Λ}{6\pi^2} \mathrm{d}_A^* \Phi_A $ は、ゲージ不変性の下でのヘッセ行列の楕円性により、短時間で解を有する。
• ゲージ固定されたヘッセ行列の主要部が、非自明なねじれ行列 $ Q $ を持つディラック作用素の平方と等価であることが示され、幾何学的フローに必要な解析的性質が保証された。
• 反自己双対アインシュタインの場合、ヘッセ行列はディラック作用素の平方に簡略化され、ヤン–ミルズの場合と類似する。
• 形式的枠組みは、シンプレクティック位相幾何学への潜在的な接続を示し、特に定理4.8で示唆されるように、特定のシンプレクティックFano 6次元多様体が代数的である可能性がある。