[論文レビュー] On Einstein square metrics

Zhongmin Shen, Changtao Yu|arXiv (Cornell University)|Sep 18, 2012

Advanced Differential Geometry Research参考文献 4被引用数 4

ひとこと要約

この論文は、$ F = \frac{(\alpha + \beta)^2}{\alpha} $ の形をしたアインシュタイン平方Finsler計量——つまり、$ \alpha $ と $ \beta $ の特定の変形の下でアインシュタインRiemann計量に同値である——を分類する。主な結果は、このようなFinsler計量がアインシュタインであるための必要十分条件が、変換されたRiemann計量 $ \bar{\alpha} $ がリッチ平坦であり、それに付随する1形式 $ \bar{\beta} $ が等長ベクトル場条件を満たすことである。この条件により、明示的な幾何的分類が可能な局所ワーパード積構造が得られる。

ABSTRACT

In this paper, we study an important class of Finsler metrics--square metrics. We give two expressions of such metrics in terms of a Riemannian metric and a 1-form. We show that Einstein square metrics can be classified up to the classification of Einstein Riemannian metrics.

研究の動機と目的

• 特殊な$(\alpha,\beta)$-計量であるアインシュタイン平方計量を、アインシュタインRiemann計量に関連付けることで分類すること。
• 変換されたRiemann計量と1形式を用いて、平方計量 $ F = \frac{(\alpha + \beta)^2}{\alpha} $ がアインシュタインであるための同値条件を確立すること。
• ワーパード積分解を用いて、アインシュタイン平方計量の局所的幾何的構造を特定すること。
• ランダース計量に用いられるナビゲーション問題の手法を平方計量に一般化し、明示的な分類を可能にすること。

提案手法

• 変換されたRiemann計量 $ \tilde{\alpha} = (1 - b^2)\alpha $ と1形式 $ \tilde{\beta} = \sqrt{1 - b^2}\, \beta $ を導入し、$ F $ がアインシュタインであることと $ \tilde{\alpha} $ がアインシュタインであり、$ \tilde{\beta} $ が等長ベクトル場であることの同値性を示す。
• 条件 $ \bar{b}_{i|j} = c\bar{a}_{ij} $ と $ {}^{\bar{\alpha}}\mathrm{Ric} = 0 $ を用いて、$ \bar{\alpha} $ と $ \bar{\beta} $ の局所的構造をワーパード積の観点から特徴付ける。
• 補題4.1を適用し、$ \mathrm{Hess}_{\bar{\alpha}}f = c\bar{\alpha}^2 $ ならば $ \bar{\alpha} $ が局所的に $ \mathbb{R} \times \breve{M} $ 上のワーパード積であることを示す。
• リッチ平坦および等長条件の下で、明示的な形 $ \bar{\alpha}^2 = dt \otimes dt + (ct + d)^2 \breve{\alpha}^2 $ と $ \bar{\beta } = (ct + d)\, dt $ を導出する。
• $ \bar{\alpha} $ と $ \bar{\beta} $ が $ {}^{\bar{\alpha}}\mathrm{Ric} = 0 $ および $ \bar{b}_{i|j} = c\bar{a}_{ij} $ を満たすとき、元の平方計量 $ F $ がアインシュタインであることを確認する。
• 逆変換を用いて $ \bar{\alpha} $ と $ \bar{\beta} $ から $ \alpha $ と $ \beta $ を回復し、$ F $ のアインシュタイン条件と $ \bar{\alpha} $、$ \bar{\beta} $ のリッチ平坦性および等長条件との同値性を検証する。

実験結果

リサーチクエスチョン

• RQ1 平方計量 $ F = \frac{(\alpha + \beta)^2}{\alpha} $ がアインシュタイン計量であるための条件は何か？
• RQ2 平方計量のアインシュタイン条件を、変換されたRiemann計量と1形式の性質にどのように還元できるか？
• RQ3 ワーパード積多様体の観点から、アインシュタイン平方計量の局所的幾何的構造は何か？
• RQ4 アインシュタイン平方計量の分類を、特定の曲率およびベクトル場条件を満たすアインシュタインRiemann計量の分類に還元できるか？
• RQ5 1形式 $ \beta $ は平方計量のリッチ曲率を決定づける役割を果たすか？

主な発見

• 平方計量 $ F = \frac{(\alpha + \beta)^2}{\alpha} $ がアインシュタインであるための必要十分条件は、変換されたRiemann計量 $ \bar{\alpha} $ がリッチ平坦であり、1形式 $ \bar{\beta} $ が $ \bar{b}_{i|j} = c\bar{a}_{ij} $ を満たすこと（$ c $ は定数）である。
• アインシュタイン平方計量の局所的構造は、ワーパード積 $ \bar{\alpha}^2 = dt \otimes dt + (ct + d)^2 \breve{\alpha}^2 $ であり、ここで $ \breve{\alpha} $ は $ {}^{\breve{\alpha}}\mathrm{Ric} = (n-2)c^2 \breve{\alpha}^2 $ を満たすアインシュタイン計量である。
• 1形式 $ \bar{\beta} $ は $ \bar{\beta} = (ct + d)\, dt $ で与えられ、$ \bar{b} = b $ により、元の計量のノルムと整合性が保たれる。
• 次元 $ n \leq 4 $ の場合、アインシュタイン平方計量は旗曲率 $ K = 0 $ を持ち、局所的にベルワールの計量と等長同型である。
• $ \mathrm{Hess}_{\bar{\alpha}}f = c\bar{\alpha}^2 $ であるならば、$ \bar{\alpha} $ は局所的にワーパード積であることが示され、これが分類において不可欠な役割を果たす。
• アインシュタイン計量の条件が $ F $ において成り立つことと、$ \bar{\alpha} $ と $ \bar{\beta} $ がリッチ平坦性および等長条件を満たすことの同値性により、完全な分類枠組みが得られる。