[論文レビュー] Fubini Theorem for pseudo-Riemannian metrics

Alexey V. Bolsinov, Volodymyr Kiosak+1 more|arXiv (Cornell University)|Jun 16, 2008

Geometric Analysis and Curvature Flows参考文献 41被引用数 5

ひとこと要約

この論文は、リーマン計量の測地的同値性に関するフビニの古典的定理を擬リーマン計量の設定に一般化し、次を証明する。次元 $ n \geq 3 $ の多様体上に、厳密に比例しないペアと線形独立な三つ組を持つ測地的同値な三つの計量は、すべて一定曲率を持つ必要がある。証明は、測地的同値性方程式の可積分性条件を分析し、半単純リー代数における曲率テンソルと対称作用素の代数的性質を利用する。

ABSTRACT

We generalize the following classical result of Fubini for pseudo-Riemannian metrics: if three essentially different metrics on $M^{n\ge 3}$ share the same unparametrized geodesics, and two of them (say, $g$ and $\bar g$) are strictly nonproportional (i.e., the minimal polynomial of $g^{iα} \bar g_{αj}$ coincides with the characteristic polynomial) at least at one point, then they have constant curvature.

研究の動機と目的

• リーマン計量の測地的同値性に関するフビニの古典的結果を、擬リーマン計量の場合に拡張すること。
• 次元 $ n \geq 3 $ の多様体上に三つの測地的同値計量が存在する場合、それらがすべて一定曲率を持つための条件を確立すること。
• 擬リーマン計量における測地的同値性方程式の可積分性条件を分析すること。
• 曲率テンソルの代数的構造と $ \mathfrak{sl}(n,\mathbb{R}) $ 内の対称作用素との関係を明確にすること。
• 半単純リー代数の技法に基づいた、フビニの定理の代替的代数的証明を提供すること。

提案手法

• 計量 $ g $ が与えられたもとで、計量 $ \bar{g} $ に自然に関連する $(0,2)$-テンソル $ a_{ij} $ に対して、測地的同値性方程式 (5) を導出すること。
• この方程式を $ a $ と $ \lambda = \frac{1}{2} a_{\alpha\beta} g^{\alpha\beta} $ のヘッセ行列を含む線形偏微分方程式系として、可積分性条件を分析すること。
• 可積分性系の係数をリーマン曲率テンソルと計量 $ g $ の形で表現すること。
• 二つの解が存在するならば、曲率テンソルが $ a_i^\alpha Z_{\alpha jkl} + a_j^\alpha Z_{\alpha ikl} = 0 $ を満たすことを示すこと。ここで $ Z_{ijkl} = R_{ijkl} - K(g_{il}g_{jk} - g_{ik}g_{jl}) $ である。
• 線形代数を用いて、$ g $ と $ \bar{g} $ が厳密に比例しないことから、$ R = K \cdot \text{id} $、つまり一定曲率であることを示すこと。
• ベルトラミの定理を適用して、$ \hat{g} $ も一定曲率を持つことを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n \geq 3 $ の多様体上に三つの測地的同値な擬リーマン計量が存在する場合、どのような条件下でそれらがすべて一定曲率を持つ必要があるか。
• RQ2 リーマン計量における古典的フビニの定理を、擬リーマン計量の設定にどのように拡張できるか。
• RQ3 擬リーマン計量の場合の測地的同値性方程式の可積分性条件の背後にある代数的構造は何か。
• RQ4 半単純リー代数に基づく完全に代数的な手法を用いて、フビニの定理を再証明できるか。
• RQ5 厳密な非比例性と線形独立性が、曲率の定数性を保証するために果たす役割は何か。

主な発見

• 連結な次元 $ n \geq 3 $ の多様体上に三つの測地的同値な擬リーマン計量が存在する場合、$ g $ と $ \bar{g} $ が点で厳密に比例せず、かつ $ g, \bar{g}, \hat{g} $ がある点で線形独立であれば、それらはすべて一定曲率を持つ必要がある。
• 測地的同値性方程式の可積分性条件は、$ Z_{ijkl} = R_{ijkl} - K(g_{il}g_{jk} - g_{ik}g_{jl}) $ を含む曲率の恒等式を導き、与えられた仮定の下でこの量が消える。
• もし $ g $ と $ \bar{g} $ が厳密に比例しないならば、曲率テンソル $ R $ は一定でなければならない、すなわち $ R = K \cdot \text{id} $ である。これは $ \mathfrak{sl}(n,\mathbb{R}) $ 内の中心化子の議論によって示される。
• 証明は、測地的同値計量と半単純リー代数の表現理論、特に $ \mathfrak{sl}(n,\mathbb{R}) $ の間の新しい関係を確立する。
• 正則行列の中心化子がそのべきによって生成されることを根拠として、フビニの定理の代替的代数的証明が提供される。
• 結果は次元 2 では成り立たず、計量が厳密に比例しないか、線形従属である場合には、既知の反例によって成り立たない。