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

技術的要約：$(\alpha, \beta)$-計量におけるファインスラー時空条件とその等長変換

問題提起
ファインスラー幾何学は、運動論的ガスモデル、変形された特殊相対論、およびローレンツ不変性の破れ（SME、VSRなど）を含む、擬リーマン幾何学の一般化として、様々な重力物理学への応用において適している。しかし、正定値ファインスラー計量に関する文献は広範である一方で、ローレンツ型のファインスラー時空の分類は十分に発展していない。具体的には、広く用いられている $(\alpha, \beta)$-計量（擬リーマン計量 $a$ と 1-形式 $b$ から構成される）について、以下の2つの基本的な問いが完全には解決されていなかった：

1. $(\alpha, \beta)$-計量が有効なファインスラー時空構造（すなわち、未来向きのタイムライクなベクトルからなる円錐部分束上でローレンツ・シグネチャを持つこと）を定義するための必要十分条件は何か？
2. $(\alpha, \beta)$-計量の等長変換（isometries）と、基礎となる擬リーマン計量 $a$ の等長変換との間の正確な関係は何か？

手法
著者らは、先行研究 [15] で確立されたファインスラー時空の定義を採用している。これは、基本テンソル $g$ がローレンツ・シグネチャ $(+, -, -, -)$ を持ち、計量関数 $L$ が正、滑らかであり、境界で連続的に消失するような、接束 $T$ の連結な円錐部分束の存在を要求するものである。

本研究は、$(\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$ の完全上昇（complete lift）に対するキリング方程式 $\xi_C(L) = 0$ を解析する。著者らは、「自明な対称性」（$\xi$ が $a$ と $b$ の両方のキリングベクトルである場合）と「非自明な対称性」（$\xi$ は $L$ を保存するが、必ずしも $a$ や $b$ を個別に保存するわけではない場合）を区別する。

主要な貢献と結果

1. 一般的な時空条件 (Theorem 6):
   本論文は、$(\alpha, \beta)$-計量がファインスラー時空を定義するための必要十分条件を確立した。これらの条件は以下の通りである：

   • 円錐 $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. 特定の計量の分類 (Section 4):
   一般的な定理を適用することで、著者らはいくつかの重要なサブクラスに対して明示的な制約を提示している：

   • ローレンツ計量 ($L = \kappa A$): 常に時空を定義する。
   • ランダース計量 ($L = \epsilon(\sqrt{A} + B)^2$): $0 \leq \langle b, b \rangle < 1$ である場合に限り、時空を定義する。この場合、1-形式 $b$ は $a$ に関して非空間的（non-spacelike）でなければならない。
   • ボゴスロフスキー・クロピナ計量 ($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$ の交わりとなる）。
   • クント計量 ($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)$-計量の等長変換 (Theorem 11):
   著者らは、$L$ の等長変換と $a$ の等長変換の関係を完全に決定した。非リーマン的な $(\alpha, \beta)$-計量が非自明なキリングベクトル場（$a$ の等長変換ではない $L$ の等長変換）を持つための必要十分条件は、$\Psi(s)$ が定数と $s$ の冪乗（または指数形式）を含む特定の関数形式をとることであることを証明した。

   • 具体的には、$\Psi(s)$ が式 (44) の形式に一致する場合、$\xi_C(B) = \kappa \lambda_2 B$ および $\xi_C(A) = \kappa(\mu_1 A + \mu_2 B^2)$ を満たすベクトル場 $\xi$ が存在し、これらは $L$ のキリングベクトルであるが $a$ のキリングベクトルではない。
   • 具体的な例として、ライトライクな1-形式を持つ共形ミンコフスキー背景上のボゴスロフスキー・クロピナ計量を用いて、基礎となる計量 $a$ の対称性ではない時間並進対称性が示されている。

意義
本論文は、ローレンツ型の $(\alpha, \beta)$-ファインスラー構造に関する初の全般的な扱いを提供すると主張している。厳密な必要十分条件を確立することで、本研究は、膨大な $(\alpha, \beta)$-計量のクラスの中から、重力物理学への応用において実行可能な候補を特定することを可能にする。さらに、非自明な等長変換の発見と特徴付けは、ファインスラー時空の対称性は、その基礎となる擬リーマン計量から厳密に継承されるという仮定に疑問を投げかけるものである。これは、基礎となる計量 $a$ が持たない対称性（例えば球対称性）を持つファインスラー時空を構築できる可能性を示唆しており、重力物理学における物理系のモデリングに新たな道を切り開くものである。