[论文解读] 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

一句话总结

本文将Fubini关于测地等价黎曼度量的经典定理推广至伪黎曼情形，证明在维度 $ 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.

研究动机与目标

• 将Fubini关于测地等价黎曼度量的经典结果推广至伪黎曼情形。
• 确立在维度 $ n \geq 3 $ 的流形上，三个测地等价度量必具有常曲率的条件。
• 分析伪黎曼度量下测地等价方程的可积性条件。
• 阐明曲率张量的代数结构及其与 $ \mathfrak{sl}(n,\mathbb{R}) $ 中对称算子的关系。
• 基于李代数技巧，提供Fubini定理的另一种代数证明。

提出的方法

• 为与度量 $ \bar{g} $ 相关联的 $(0,2)$-张量 $ a_{ij} $ 推导测地等价方程 (5)，给定度量 $ g $。
• 将该方程作为关于 $ a $ 与 $ \lambda = \frac{1}{2} a_{\alpha\beta} g^{\alpha\beta} $ 的Hessian 的线性偏微分方程组，分析其可积性条件。
• 将可积性系统的系数用黎曼曲率张量与度量 $ 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} $，此结论通过 $ \mathfrak{sl}(n,\mathbb{R}) $ 中的中心化子论证得出。
• 应用Beltrami定理，得出 $ \hat{g} $ 同样具有常曲率。

实验结果

研究问题

• RQ1 在维度 $ n \geq 3 $ 的流形上，三个测地等价伪黎曼度量在何种条件下必具有常曲率？
• RQ2 如何将黎曼度量下经典的Fubini定理推广至伪黎曼情形？
• RQ3 测地等价方程在伪黎曼情形下的可积性条件背后的代数结构为何？
• RQ4 能否基于半单李代数的纯代数方法重证Fubini定理？
• 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}) $）表示理论之间新颖的联系。
• 提供了一种基于正则矩阵的中心化子由其幂生成的性质的Fubini定理的替代代数证明。
• 该结果在二维情形不成立，且当度量不严格非比例或线性相关时，已知反例表明结论不成立。