[论文解读] Finsler Metrics with K=0 and S=0

Zhongmin Shen|ArXiv.org|Sep 10, 2001

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

一句话总结

本论文通过Randers型度量 F = α + β（其中 α 为黎曼度量，β 为满足 ‖β‖_α < 1 的1-形式）在所有维度 ≥2 下构造了非投影平坦的芬斯勒度量，其旗曲率（K=0）与 S-曲率（S=0）均为零。其关键贡献在于构造出一族非局部闵可夫斯基型的此类度量，从而反驳了先前认为所有 K=0 的Randers度量必为局部闵可夫斯基型的论断，并表明正完备性对于该结果至关重要。

ABSTRACT

In Finsler geometry, there are infinitely many models of constant curvature. The Funk metrics, the Hilbert-Klein metrics and the Bryant metrics are projectively flat with non-zero constant curvature. A recent example constructed by the author is projectively flat with zero curvature. In this paper, we introduce a technique to construct non-projectively flat Finsler metrics with zero curvature in each dimension. The technique can be used to construct many non-projectively flat Finsler metrics of constant curvature.

研究动机与目标

• 构造具有零旗曲率（K=0）但非局部闵可夫斯基型或非投影平坦的芬斯勒度量的显式例子。
• 解决先前主张中关于所有K=0的Randers度量必为局部闵可夫斯基型的矛盾。
• 证明正完备性假设对于将K=0的Randers度量分类为局部闵可夫斯基型是必不可少的。
• 提供源自旋转介质中最短时间问题的几何构造动机。
• 表明即使对于Randers度量，当K=0时，有界Cartan扭量也不意味着局部闵可夫斯基结构。

提出的方法

• 论文在 ℝⁿ 的子集 Ω 上构造了Randers度量 F = α + β，其表达式为 F(y) = [√((-yu + xv)² + |y|²(1 - x² - y²)) - (-yu + xv)] / (1 - x² - y²)，其中 y = (u, v, y̅) ∈ TₚΩ。
• 利用喷射系数导出的测地线系数 Gⁱ，通过公式 Gⁱ = G̃ⁱ + Hⁱ 显式计算这些系数，其中 G̃ⁱ 为黎曼度量 α 的系数，Hⁱ 依赖于1-形式 β 及其相关张量 sᵢⱼ。
• 通过喷射系数的Hessian矩阵的迹计算 S-曲率，并利用恒等式 ∂Gⁱ/∂yⁱ = 0 证明其恒为零。
• 通过验证黎曼曲率张量 Rⁱₖ 对所有 i, k 满足 Rⁱₖ = 0 来计算旗曲率，使用条件 ∂Gⁱ/∂x + ∂Gⁱ/∂y + ∂Gⁱ/∂yⁱ ∂Gʲ/∂yʲ - ∂Gⁱ/∂yʲ ∂Gʲ/∂yⁱ = 0。
• 通过在度量 α 和 β 中增加额外坐标，将构造推广至高维，同时保持曲率与 S-曲率条件不变。
• 几何动机来源于旋转流体中的最短时间问题，其中 β 表示旋转速度场，α 为欧氏度量。

实验结果

研究问题

• RQ1 能否在所有维度 ≥2 下构造出非投影平坦的芬斯勒度量，使其具有 K=0 与 S=0？
• RQ2 是否存在一个 K=0 的Randers度量，其非局部闵可夫斯基型，从而与先前主张相矛盾？
• RQ3 正完备性在 K=0 的Randers度量分类中起什么作用？
• RQ4 在非闵可夫斯基型芬斯勒度量中，有界Cartan扭量能否与 K=0 共存？
• RQ5 在 K=0 条件下，S-曲率条件 S=0 是否意味着Berwald结构或局部闵可夫斯基结构？

主要发现

• 本文在 Ω ⊂ ℝⁿ 上构造了一族芬斯勒度量 F = α + β，其具有 K=0 与 S=0，且非局部闵可夫斯基型，从而为先前认为所有 K=0 的Randers度量必为局部闵可夫斯基型的论断提供了反例。
• 所构造的度量非投影平坦，其证据为喷射系数 Gⁱ 不满足投影平坦性条件。
• S-曲率恒为零，由条件 ∂Gⁱ/∂yⁱ = 0 及体积形式与欧氏度量一致所证明。
• 旗曲率为零，通过验证黎曼曲率张量 Rⁱₖ 的所有分量为零（包括 R¹₁ = R¹₂ = R²₁ = R²₂ = 0）得以确认。
• 该度量非正完备，因为定义域 Ω 有界，测地线无法延拓至无穷远，这与分类定理中正完备性的必要性一致。
• 通过增加满足 G³ = 0 的坐标，该构造可推广至高维，同时保持曲率与 S-曲率条件不变。