The Finsler spacetime condition for (\alpha,\beta)-metrics and their isometries

技术摘要：$(\alpha, \beta)$-度量的 Finsler 时空条件及其等距变换

问题陈述
Finsler 几何提供了一种广义的伪黎曼几何，适用于动力学气体模型、变形特殊相对论以及具有洛伦兹对称性破缺（例如 SME、VSR）的理论等各种引力物理应用。然而，尽管关于正定 Finsler 度量的文献非常丰富，但关于洛伦兹 Finsler 时空的分类研究仍不够成熟。具体而言，对于广泛使用的 $(\alpha, \beta)$-度量类（由伪黎曼度量 $a$ 和 1-形式 $b$ 构造而成），有两个基本问题尚未在一般情形下得到完全解决：

1. 一个 $(\alpha, \beta)$-度量定义一个有效的 Finsler 时空结构（即在未来向时间类向量的连通锥子丛上具有洛伦兹签名）的充分必要条件是什么？
2. $(\alpha, \beta)$-度量的等距变换与底层伪黎曼度量 $a$ 的等距变换之间的精确关系是什么？

方法论
作者采用了先前研究 [15] 中建立的 Finsler 时空定义，该定义要求存在一个切丛的连通锥子丛 $T$，使得基本张量 $g$ 具有洛伦兹签名 $(+, -, -, -)$，且度量函数 $L$ 为正、光滑并在边界处连续消失。

本研究通过分析 $(\alpha, \beta)$-度量的通用形式进行：
$$L = A \Psi(s), \quad s = \frac{B^2}{A}$$
其中 $A = a_{ij}\dot{x}^i\dot{x}^j$ 且 $B = b_i\dot{x}^i$。作者推导了基本张量 $g_{ij}$ 及其行列式的分量。通过施加定义 1 的条件（$L$ 的正定性、$g$ 的洛伦兹签名以及边界行为），作者推导出了涉及函数 $\Psi(s)$ 和标量积 $\langle b, b \rangle$ 的代数和微分不等式。

对于等距变换问题，作者分析了矢量场 $\xi$ 到切丛的完全提升的 Killing 方程，即 $\xi_C(L) = 0$。他们区分了“平凡对称性”（$\xi$ 是 $a$ 和 $b$ 的 Killing 矢量）和“非平凡对称性”（$\xi$ 保持 $L$ 不变，但不一定保持 $a$ 或 $b$ 单独不变）。

核心贡献与结果

1. 通用时空条件（定理 6）：
   本文确立了 $(\alpha, \beta)$-度量定义为 Finsler 时空的充分必要条件。这些条件是：

   • 在锥体 $T$ 上，$A > 0$ 且 $\Psi > 0$，且在边界处 $L \to 0$。
   • $\Psi - s\Psi' > 0$。
   • $(s - \langle b, b \rangle) \frac{d}{ds} \ln \sigma > -1$，其中 $\sigma = (\Psi - s\Psi')^2 / \Psi$。
     这些条件确保了基本张量在未来向凸锥上的正确洛伦兹签名。

2. 特定度量的分类（第 4 节）：
   通过应用上述通用定理，作者为几种重要的子类提供了显式约束：

   • 洛伦兹度量 ($L = \kappa A$)： 始终定义时空。
   • Randers 度量 ($L = \epsilon(\sqrt{A} + B)^2$)： 当且仅当 $0 \leq \langle b, b \rangle < 1$ 时定义时空。在这种情况下，1-形式 $b$ 相对于 $a$ 必须是非类空（non-spacelike）的。
   • Bogoslovsky-Kropina 度量 ($L = A^{1-q}B^q$)： 在以下条件下定义时空：
     • $\langle b, b \rangle \geq 0$ 且 $q \in [-1, 1)$（锥体与 $A$ 的锥体一致）。
     • $\langle b, b \rangle < 0$ 且 $q \in (0, 1)$（锥体是 $A$ 的锥体与 $B > 0$ 的交集）。
   • Kundt 度量 ($L = A s^{-p}(k + ms)^{p+1}$)： 当 $k > 0, m < 0$，且满足特定的 $p$ 和 $\langle b, b \rangle$ 约束时定义时空（例如，对于非类空 $b$，有 $p \in (-1, 1]$）。
   • 指数度量 ($L = A e^{P(s)}$)： 当涉及 $P(s)$ 的特定渐近和微分不等式得到满足时定义时空。

3. $(\alpha, \beta)$-度量的等距变换（定理 11）：
   作者完全确定了 $L$ 的等距变换与 $a$ 之间的关系。他们证明，非黎曼 $(\alpha, \beta)$-度量拥有非平凡 Killing 矢量场（即 $L$ 的等距变换，但不是 $a$ 的等距变换）的充要条件是 $\Psi(s)$ 具有涉及常数和 $s$ 的幂次（或指数形式）的特定函数形式。

   • 具体而言，如果 $\Psi(s)$ 符合方程 (44) 中的形式，则存在矢量场 $\xi$ 满足 $\xi_C(B) = \kappa \lambda_2 B$ 且 $\xi_C(A) = \kappa(\mu_1 A + \mu_2 B^2)$，它们是 $L$ 的 Killing 矢量，但不是 $a$ 的 Killing 矢量。
   • 文中提供了一个使用共形闵可夫斯基背景及类光 1-形式的 Bogoslovsky-Kropina 度量的具体实例，展示了一种并非底层度量 $a$ 的对称性的时间平移对称性。

意义
本文声称提供了对洛伦兹 $(\alpha, \beta)$-Finsler 结构的首次全概括性处理。通过建立严格的充分必要条件，这项工作使得在庞大的 $(\alpha, \beta)$-度量类中识别出适用于引力物理应用的候选方案成为可能。此外，对非平凡等距变换的发现与表征，挑战了“Finsler 时空的对称性严格继承自其底层伪黎曼度量”这一假设。这表明，有可能构建具有其底层度量 $a$ 所不具备的对称性（例如球对称性）的 Finsler 时空，从而为建模引力物理中的物理系统开辟了新途径。