[論文レビュー] Ricci flow unstable cell centered at an Einstein metric on the twistor space of positive quaternion Kähler manifolds of dimension $\geq 8$

Ryoichi Kobayashi|ArXiv.org|Jan 17, 2008

Geometric Analysis and Curvature Flows参考文献 8被引用数 3

ひとこと要約

本稿では、次元 ≥8 の正のクaternionケーラー多様体のツイスター空間上に2パラメータ族のリーマン計量を構成し、この族に属する初期値から出発するリッチフローが、アインシュタイン計量に収束する古代解を形成することを示した。この解は、そのアインシュタイン計量を中心とする「不安定な胞」を形成する。リッチフロー下での曲率推定を用いて、LeBrun-Salamon予想を証明した。任意の局所的に既約な正のクaternionケーラー多様体は、ワルフ空間に等長である。

ABSTRACT

We show that a 1-parameter family Ricci flow ancient solutions arises from the natural collapsings of the twistor space of positive quaternion Kähler manifolds. We use these ancient solutions to show that a positive quaternion Kähler manifold is isometric to one of the Wolf spaces.

研究の動機と目的

• 次元 ≥8 の正のクaternionケーラー多様体のツイスター空間上に2パラメータ族の計量を構成すること。
• この族内でのリッチフローの挙動を解析し、アインシュタイン計量に収束する古代解を形成することを示すこと。
• この族がリッチフロー下で中心がアインシュタイン計量である「不安定な胞」を形成することを確立すること。
• リッチフロー下での曲率推定を応用し、正のクaternionケーラー多様体の分類に関するLeBrun-Salamon予想を解決すること。
• 任意の局所的に既約な正のクaternionケーラー多様体がワルフ空間に等長であることの証明。

提案手法

• ツイスター空間 $\mathcal{Z}$ 上にアインシュタイン計量 $g^\text{Z}$ 及びそのスケーリングを含む2パラメータ族 $\mathcal{F}^\text{Z}$ のリーマン計量を構成する。
• $\mathcal{F}^\text{Z}$ が凸結合に関して閉じており、リッチフローに対して不変であり、各フローソリューションが古代的であることを示す。
• グローバルな状況での放物型最大値原理を用いて、$\mathcal{F}^\text{Z}$ 上のリッチフローの漸近的挙動を解析する。
• 接続形式 $\Gamma^{\text{Z}}_{\lambda}$ 及び曲率形式 $\Omega^{\text{Z}}_{\lambda}$ の構造方程式を用いて、曲率テンソル $\nabla\text{Rm}^{\text{Z}}_{\lambda}$ の共変微分を計算する。
• $|\nabla\text{Rm}^{\text{Z}}_{\lambda}|^2$ を $\lambda$ のべき級数として展開し、$A_0 + \lambda A_1 + \lambda^2 A_2$ の形をとることを示す。
• 定理5.1の極限公式を適用し、$A_1 \equiv A_2 \equiv 0$ を得る。これより $A_0 = |\nabla^g \text{Rm}(g)|_g^2 \equiv 0$ となり、$g$ が対称であることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元 ≥8 の正のクaternionケーラー多様体のツイスター空間におけるリッチフローは、アインシュタイン計量を中心とする不安定な胞構造を示すか？
• RQ2 リッチフロー下での曲率推定を用いて、曲率テンソルの共変微分が消えることを示し、それが対称性を意味するか？
• RQ3 任意の局所的に既約な正のクaternionケーラー多様体はワルフ空間に等長か？
• RQ4 2パラメータ族上のリッチフローの漸近的挙動は、曲率微分の消えることとどのように関係するか？
• RQ5 放物型最大値原理は、この族上でのリッチフローのグローバル解析においてどのような役割を果たすか？

主な発見

• 2パラメータ族 $\mathcal{F}^\text{Z}$ に属する任意の計量から出発するリッチフローは、$\mathcal{F}^\text{Z}$ 内に留まり、アインシュタイン計量 $g^\text{Z}$ を漸近的ソリトンとして持つ古代解を形成する。
• $\mathcal{F}^\text{Z}$ は凸結合に関して閉じており、リッチフロー下で中心がアインシュタイン計量である2次元の「不安定な胞」を定義する。
• ツイスター空間上の曲率テンソルの共変微分は、$|\nabla\text{Rm}^{\text{Z}}_{\lambda}|^2 = A_0 + \lambda A_1 + \lambda^2 A_2$ を満たし、極限において $A_1 \equiv A_2 \equiv 0$ である。
• $A_0$ 項は基本計量 $g$ の曲率微分に対応し、その消えることから $|\nabla^g \text{Rm}(g)|_g \equiv 0$ が得られる。
• $\nabla^g \text{Rm}(g)$ の消えることは、基本多様体がリーマン対称空間であることを示唆する。
• LeBrun-Salamon予想が確認された：任意の局所的に既約な正のクaternionケーラー多様体はワルフ空間に等長である。