[论文解读] Finsler Metrics of Constant Positive Curvature on the Lie Group $s^3$

David Bao, Zhongmin Shen|ArXiv.org|Nov 12, 2000

Advanced Differential Geometry Research参考文献 3被引用 9

一句话总结

该论文针对每个 $ K > 1 $，通过从 Hopf 纤维丛导出的右不变黎曼度量和右不变的 Killing 向量场，在李群 $ S^3 $ 上显式构造了一类非黎曼的 Randers 度量。通过 Berwald 的喷射曲率公式直接证明，这些度量具有常正旗曲率 $ K $，表明它们是并非射影平坦的 Finsler 空间形式。

ABSTRACT

Guided by the Hopf fibration, we single out a family (indexed by a positive constant K) of right invariant Riemannian metrics on the Lie group $S^3$. Using the Yasuda-Shimada theorem as an inspiration, we determine for each K>1 a privileged right invariant Killing field of constant length. Each such Riemannian metric pairs with the corresponding Killing field to produce a y-global and {\it explicit} Randers metric on $S^3$. Using the machinery of spray curvature and Berwald's formula for it, we prove directly that the said Randers metric has constant positive flag curvature K, as predicted by the Yasuda-Shimada theorem. We also explain why this family of Finslerian space forms is NOT projectively flat.

研究动机与目标

• 在 $ S^3 $ 上显式构造具有常正旗曲率 $ K > 1 $ 的 $ y $-全局 Randers 度量，避免依赖 Yasuda–Shimada 定理的复杂证明。
• 证明此类度量并非射影平坦，从而将其与许多已知的 Finsler 空间形式区分开来。
• 通过 Berwald 的喷射曲率公式，以自包含的几何方式直接证明常旗曲率，而非依赖于已发表的、难以理解的论证。
• 利用 Maple 中的符号计算对构造进行数值验证，通过实验数据支持分析结果。
• 通过在 $ S^3 $ 上显式求解，证明 Yasuda–Shimada 定理中常旗曲率的四个条件并非空洞。

提出的方法

• 利用 Hopf 纤维丛在 $ S^3 $ 上定义一族参数为 $ K > 1 $ 的右不变黎曼度量。
• 对每个 $ K > 1 $，识别出一个具有恒定长度的特殊右不变 Killing 场，该场作为 Randers 构造中的 1-形式。
• 构造 Randers 度量 $ F = \alpha + \beta $，其中 $ \alpha $ 为黎曼度量，$ \beta $ 为由 Killing 场导出的 1-形式。
• 应用 Berwald 的喷射曲率公式计算旗曲率，利用其在 Randers 设置下的几何优势。
• 在 Maple 中执行符号与数值计算，验证喷射曲率张量满足 $ K^i_k = K F^2 (\delta^i_k - \frac{y^i}{F} F_{y^k}) $，即常旗曲率 $ K $ 的判据。
• 通过数值计算比值 $ K^i_k / (K \tau^i_k) $ 确认旗曲率为常数，结果始终接近 1。

实验结果

研究问题

• RQ1 能否在 $ S^3 $ 上显式构造出具有常正旗曲率 $ K > 1 $ 的非黎曼、$ y $-全局 Randers 度量？
• RQ2 此类度量是否不满足射影平坦性，从而与 Bryant 的已知例子区分开来？
• RQ3 能否直接利用 Berwald 的喷射曲率公式，以自包含的方式证明常旗曲率，从而绕过原始的 Yasuda–Shimada 证明？
• RQ4 当应用于 $ S^3 $ 时，Yasuda–Shimada 定理中常旗曲率的四个条件是否非空？
• RQ5 能否通过 Maple 中的数值计算为常旗曲率的分析结论提供强有力的支持？

主要发现

• 对每个 $ K > 1 $，在 $ S^3 $ 上构造出唯一的右不变 Randers 度量，其具有常正旗曲率 $ K $。
• 所构造的度量并非射影平坦，这通过其测地线在任何坐标系下均非直线得到验证。
• 喷射曲率张量 $ K^i_k $ 满足 $ K^i_k = K F^2 (\delta^i_k - \frac{y^i}{F} F_{y^k}) $，从而确认了常旗曲率 $ K $。
• 在多个测试点对比值 $ K^i_k / (K \tau^i_k) $ 的数值评估结果与 1 极其接近，误差低于 $ 10^{-3} $，支持分析结果。
• 尽管计算量巨大（超过 1 GB 内存），Maple 中的符号计算确认了在多种参数组合下曲率条件的一致性。
• 本文通过在 $ S^3 $ 上显式求解，证明了 Yasuda–Shimada 条件并非空洞，提供了首个在紧致李群上实现的此类构造。