[論文レビュー] Kropina spaces of constant curvature II (long version)

Ryozo Yoshikawa, Katsumi Okubo|arXiv (Cornell University)|Oct 24, 2011

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

ひとこと要約

この論文は、Kropina空間が一定曲率を持つための必要十分条件を修正・再導出する。Riemann計量 $ h $ と単位ベクトル場 $ W $ を用いて問題を再定式化することで、Kropina空間 $ (M, \alpha^2/\beta) $ が曲率 $ K $ で一定であるための条件は、関連するRiemann空間 $ (M,h) $ が曲率 $ K $ で一定であり、かつベクトル場 $ W $ がキリング場である、ことに等しいことを示している。これは先行研究における誤りを是正した、洗練された再定式化である。

ABSTRACT

In this paper conditions for a Kropina structure to be of constant flag curvature are obtained.

研究の動機と目的

• 文献[7]における以前の定理の誤りを是正し、Kropina空間が一定曲率であるための必要十分条件を再導出すること。
• Kropina空間の曲率条件を、Riemann計量 $ h $ と長さが1の一定の単位ベクトル場 $ W $ を用いて再表現すること。
• Riemann計量 $ h $ とベクトル場 $ W $ を用いた幾何的特徴付けを提示し、各接空間において計量球面が原点を通ることを示すこと。
• Kropina空間が曲率 $ K $ で一定であるための必要十分条件として、$ W $ がキリングベクトル場であり、かつ $ (M,h) $ が曲率 $ K $ で一定であることであることを証明すること。

提案手法

• 共形変換 $ h_{ij} = e^{\kappa} a_{ij} $ および $ 2W_i = e^{\kappa} b_i $ を用いて、Kropina空間 $ F = \alpha^2 / \beta $ をRiemann計量 $ h $ と長さ1の単位ベクトル場 $ W $ で特徴付ける。
• 共形変換の公式を用いて、$ h $ と $ \alpha $ のLevi-Civita接続および曲率テンソルの関係を導出し、スプライ係数および曲率条件の再表現を可能にする。
• $ h $-共変微分を単位ベクトル場 $ W $ に適用し、キリング場に対しては $ W_{i||j} + W_{j||i} = 0 $ などの恒等式を導出するとともに、$ W_{r||i} W^r = 0 $ を得る。
• $ h $-Christoffel記号とテンソル $ \texttt{S}^i_0 $ を用いて、測地線スプライ係数 $ G^i $ を表現し、キリング条件のもとで簡略化された形を示す。
• 曲率 $ K $ をもつ $ h $ に対して、曲率恒等式 $ {}^hR_{k}^{r}{}_{ij} = K(h_{kj}\delta^r_i - h_{ki}\delta^r_j) $ を用い、スプライおよび曲率方程式に代入する。
• 条件のもとで曲率部 $ P_{(5)}^i{}_l = 0 $ が成り立つことを検証し、Kropina空間の一定曲率が確認される。

実験結果

リサーチクエスチョン

• RQ1 文献[7]の定理2における誤りを是正し、Kropina空間が一定曲率であるための正しい必要十分条件は何か？
• RQ2 Kropina空間の曲率条件は、Riemann計量 $ h $ と長さ1の単位ベクトル場 $ W $ を用いてどのように同値に表現できるか？
• RQ3 ベクトル場 $ W $ のキリング性が、Kropina空間の一定曲率を保証するために果たす役割は何か？
• RQ4 ベクトル場 $ W $ がキリングベクトル場であり、かつ $ h $ が一定曲率をもつとき、Kropina空間の測地線スプライ係数は簡略化可能か？
• RQ5 条件 $ w_{ij} = b_i w_j + b_j w_i + (R - 2M^2 b^2) b_i b_j - b^2 U_i U_j - 4K a_{ij} + M b^2 (U_i b_j + U_j b_i) $ は、修正済みの曲率条件と同値か？

主な発見

• Kropina空間 $ (M, \alpha^2/\beta) $ が曲率 $ K $ で一定であるための修正済み必要十分条件は、関連するRiemann空間 $ (M,h) $ が曲率 $ K $ で一定であり、かつ単位ベクトル場 $ W $ がキリング場であることである。
• 本論文は、文献[3]の定理Mの条件(3)における誤りを特定・是正し、$ w_{ij} $ の式に追加の項 $ M b^2 (U_i b_j + U_j b_i) $ が含まれることを示した。
• ベクトル場 $ W $ がキリング場であるとき、Kropina空間の測地線スプライ係数は $ 2G^i = {}^h\gamma^i_{00} - 2F \texttt{S}^i_0 $ に簡略化され、$ h $-接続に基づく明確な表現が得られる。
• 関連するRiemann空間 $ h $ の曲率テンソルは、$ {}^hR_{k}^{r}{}_{ij} = K(h_{kj}\delta^r_i - h_{ki}\delta^r_j) $ を満たすことが示され、曲率 $ K $ が一定であることが確認された。
• 条件 $ W_{i||j} + W_{j||i} = 0 $ は、$ (M,h) $ が曲率 $ K $ で一定である限り、Kropina空間が一定曲率 $ K $ をもつための必要十分条件である。
• 修正済みの条件下で、曲率部 $ P_{(5)}^i{}_l $ が消えることが確認され、Kropina空間の完全な曲率構造が正当化された。