[論文レビュー] Einstein Metrics from Symmetry and Bundle Constructions: A Sequel

McKenzie Y.K. Wang|arXiv (Cornell University)|Aug 23, 2012

Geometric Analysis and Curvature Flows参考文献 78被引用数 22

ひとこと要約

本稿は、2000年から2024年までの間に、対称性とバンドル構成を用いた完全なアインシュタイン計量の構成に関する最近の進展を概説する。特に、共型次元1計量とファイバー・バンドルの仮定に焦点を当て、特にヒチンのフローとパレーヴェ分析を通じて、不変幾何的構造を用いたスピン(7)およびG2ホロノミー計量の構成に進展を示す。特に、SU(3)/T² および SU(3)/U(1,1) 上のラインバンドル上でのALC漸近的計量の明示的2パラメータ族が得られている。

ABSTRACT

This is a sequel to the survey given by the author in Surveys in Differential Geometry Vol. 6 in 1999. The present survey covers selected developments since 1999 to 2011 dealing with the construction of Einstein metrics on bundles and Einstein metrics with symmetries.

研究の動機と目的

• 1999年のアインシュタイン計量に関する概説を更新・拡張し、2000年から2024年までの発展に焦点を当てる。
• 共型次元1作用とファイバー・バンドル幾何学を用いた、一般ホロノミーを有する完全なアインシュタイン計量の構成を調査する。
• 不変G2構造とヒチンのフローが、共型次元1多様体上でのスピン(7)ホロノミー計量の生成に果たす役割を分析する。
• 非アーベル構造群を含む文脈において、共型次元1幾何学とファイバー・バンドル構成の相乗的関係を調査する。
• アインシュタインODE系におけるペルレーヴェ＝コワレフスキー解析と保存量を用いて、完全計量の存在と漸近的挙動を検討する。

提案手法

• 同次的状況におけるアインシュタイン条件を解くために変分的アプローチを用い、正定性制約を伴う代数方程式に還元する。
• 共型次元1フレームワークを適用して、滑らかさと完全性を保証する境界条件を伴う非線形ODE系にアインシュタイン方程式を還元する。
• コカラブレーテッドG2構造上でのヒチンのフロー方程式を用いて、I×(G/K) 上の1階ODEとしてスピン(7)ホロノミー計量を構成する。
• ペルレーヴェ＝コワレフスキー解析を用いて、特にALCおよびAC挙動のための解の可積分性と漸近的挙動を研究する。
• アーベル構造群に対して、カルラ・クラインの仮定を適応してファイバー・バンドル構成を適用し、ホッジ理論を用いてヤン・ミルズ条件を満たす。
• 特にアロフ＝ウォラッハ空間およびSU(3)同次空間に対して、固定化表現と群論的分類を用いて特異軌道型を分析する。

実験結果

リサーチクエスチョン

• RQ1 主軌道G/KがG不変G2構造を有するのはどのような場合か。また、それがコカラブレーテッドである条件は何か。これによりスピン(7)ホロノミー計量の構成が可能となる。
• RQ2 主軌道がSU(3)/U(1,1) またはアロフ＝ウォラッハ空間である共型次元1スピン(7)ホロノミー計量において、可能な特異軌道は何か。
• RQ3 ペルレーヴェ＝コワレフスキー解析と保存量は、共型次元1アインシュタイン計量の漸近的挙動と大域的存在性を理解するのにどのように寄与するか。
• RQ4 非アーベルファイバー・バンドル上に一般ホロノミーを有する完全なアインシュタイン計量を構成できるか。その障害は何か。
• RQ5 アーベル構造群のバンドルベースのアインシュタイン計量構成において、ホッジ理論がヤン＝ミルズ条件を満たす役割を果たすのはどのような場合か。

主な発見

• SU(3)/T² 上の複素ラインバンドル上に、3-サッカスキー構造を用いて、ALC漸近的性質を有する完全なスピン(7)ホロノミー計量の2パラメータ族が構成された。
• 主軌道がSU(3)/U(1,1) で特異軌道がℂP² であるスピン(7)計量の第二の2パラメータ族が発見され、パラメータが一致する場合にAC漸近的性質を示した。
• 一般アロフ＝ウォラッハ空間を主軌道とする場合、スピン(7)計量において唯一の特異軌道はℂP² であり、局所解の最大2パラメータ族が存在する。
• ペルレーヴェ解析により、形式的解の4パラメータ族（うち2つは自明）が得られ、これはALC漸近的性質を有するスピン(7)計量を表すが、大域的存在性は未解決のままである。
• SU(2)³およびSU(3)×SU(2)の対称性の場合、各群に対して唯一の可能な主軌道が存在し、その結果得られるホロノミーはスピン(7)ではなくSU(4)である。
• 主軌道がSU(3)/U(1,1) で特異軌道がSU(3)/T² である場合の、一意性定理が確立され、その構成において一意の大域的解が確認された。