[论文解读] Projective relations for m-th root metric spaces

Nicoleta Brinzei|ArXiv.org|Nov 29, 2007

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

一句话总结

本文通过引入一个多项式旗度量 $ h_{ij} = a_{ij0\dots0} $，建立了 m 次根 Finsler 度量空间成为射影平坦或与黎曼、Berwald 或 Landsberg 空间射影相关的必要且充分条件，从而简化了几何对象的计算。关键贡献在于通过多项式系数匹配表征射影平坦性和黎曼射影性，实现了对这类 Finsler 空间的显式分类。

ABSTRACT

For Finsler spaces (M,F) endowed with m-th root metrics, we provide necessary and sufficient conditions in which they are projectively flat, or projectively related to Berwald/Riemann spaces. We also give a specific characterization for m-th root metrics spaces of Landsberg and of Berwald type.

研究动机与目标

• 确定 m 次根 Finsler 空间成为射影平坦或与黎曼、Berwald 或 Landsberg 空间射影相关的必要且充分条件。
• 通过引入多项式旗度量 $ h_{ij} $，简化 m 次根度量空间中几何对象（测地线、联络、曲率）的分析，避免显式出现 m 次根。
• 为识别与黎曼或 Berwald 空间射影等价的 m 次根度量类群提供系统方法。
• 利用多项式齐次性与协变导数恒等式，推导出关于系数 $ a_{i_1\dots i_m}(x) $ 的显式代数条件，以表征射影关系与平坦性。

提出的方法

• 本文使用多项式旗度量 $ h_{ij} = a_{ij0\dots0} $（关于 $ y^i $ 的非退化齐次多项式）作为基本张量，替代标准 Finsler 度量或 Shimada 的 $ a_{ij} $，以简化几何计算。
• 测地线方程及非线性/线性联络（如 Berwald 联络）均以 $ h_{ij} $ 重新表述，从而通过多项式恒等式推导曲率与射影不变量。
• 应用 Rapcsák 定理及黎曼射影性的条件：$ mT(T_{;i} - T_{;r\cdot i}y^r) = (1-m)T_{;r}T_i y^r $，其中 $ T = F^m $，并将其约化为关于系数 $ a_{i_1\dots i_m}(x) $ 的多项式方程组。
• 对于形如 $ \bar{T} = \alpha(x,y)T $ 的射影变换，本文推导出条件 $ \alpha_{;i} - \alpha_{;r\cdot i}y^r = \frac{1}{m}\frac{T_i}{T}\alpha_{;0} + \frac{1-m}{m}\frac{\alpha_i}{\alpha}\alpha_{;0} $，该条件控制此类变换何时产生射影平坦或黎曼射影空间。
• 该方法依赖于识别关于 $ y^i $ 的 $ 2m $ 次齐次多项式中的系数，从而导出连接系数 $ \Gamma_{jk}^i $ 的线性系统，这些系统必须满足线性联络的标准变换规则。
• 通过公式 $ h^{ij} = \frac{1}{F^{m-2}}\{(m-1)g^{ij} - (m-2)l^i l^j\} $ 计算 $ h_{ij} $ 的逆，将多项式度量与标准 Finsler 度量联系起来，确保非退化性。

实验结果

研究问题

• RQ1 在何种条件下，m 次根度量空间是射影平坦的，即具有直线测地线？
• RQ2 m 次根度量空间的测地线何时与黎曼空间的测地线射影等价？
• RQ3 m 次根度量空间为 Landsberg 或 Berwald 型的必要且充分条件是什么？如何用多项式旗度量 $ h_{ij} $ 表达这些条件？
• RQ4 如何表征形如 $ \bar{T} = \alpha(x,y)T $ 的射影变换，使得所得空间为射影平坦或黎曼射影？
• RQ5 关于系数 $ a_{i_1\dots i_m}(x) $ 的何种代数条件可确保 m 次根度量空间与 Berwald 或黎曼空间射影相关？

主要发现

• 当且仅当系数 $ a_{i_1\dots i_m}(x) $ 满足由条件 $ mT(T_{;i} - T_{;r\cdot i}y^r) = (1-m)T_{;r}T_i y^r $ 导出的多项式方程组时，m 次根度量空间是射影平坦的，该条件可约化为齐次多项式中的系数匹配。
• 当且仅当存在满足系统 $ a_{j_1\dots j_m}\gamma_{i~{}i_1\dots i_m} - \frac{1}{m}a_{ij_2\dots j_m}\cdot a_{i_1\dots i_m~{},~{}j_1} = \Gamma_{i_1 j_1}^j\{ -a_{ii_2\dots i_m}a_{jj_2\dots j_m} + a_{iji_3\dots i_m}a_{i_1 i_2 j_3\dots j_m} \} $ 的函数 $ \Gamma_{jk}^i(x) $ 时，空间为黎曼射影的，且在坐标变换下需满足适当的变换规则。
• 对于变换 $ \bar{T} = \alpha(x,y)T $，若 $ \alpha_{;i} = 0 $ 关于黎曼度量 $ \gamma $ 的典范联络成立，且 $ \bar{T} = \alpha \gamma $，则当 $ \gamma $ 射影平坦时，所得空间为射影平坦的 m 次根度量。
• 当且仅当关于 $ h_{ij} $ 的典范度量联络满足 $ h_{ijk|l} = 0 $ 时，空间为 Berwald 型；当 Berwald 联络是 $ h $-度量时，空间为 Landsberg 型。
• 若标准 Finsler 度量非退化且正定，则多项式旗度量 $ h_{ij} $ 也非退化且正定，其逆由公式 $ h^{ij} = \frac{1}{F^{m-2}}\{(m-1)g^{ij} - (m-2)l^i l^j\} $ 显式给出，从而支持一致的几何计算。
• 本文通过将问题约化为求解系数 $ a_{i_1\dots i_m}(x) $ 的线性系统，完整表征了射影平坦或黎曼射影的 m 次根度量，显式条件通过多项式齐次性与协变导数恒等式推导得出。