[論文レビュー] Hessian Tensor and Standard Static Space-times

Fernando Dobarro, Bülent Ünal|arXiv (Cornell University)|Jul 5, 2006

Geometric Analysis and Curvature Flows参考文献 28被引用数 4

ひとこと要約

この論文は、一般相対性理論で用いられるローレンツ多様体の一つである標準的静的時空におけるヘッシアン・テンソルの役割を調査する。ヘッシアン・テンソルと曲率テンソルの相乗的相互作用を分析することで、これらの時空が共形的双曲的であるか、あるいは自明なローレンツ的擬距離を示す条件を導出し、幾何的構造とエネルギー条件および因果的性質を結びつける。

ABSTRACT

In this brief survey, we will remark the interaction among the Hessian tensor on a semi-Riemannian manifold and some of the several questions in Lorentzian (and also in semi-Riemannian) geometry where this 2-covariant tensor is involved. In particular, we deal with the characterization of Killing vector fields and the study of a set of consequences of energy conditions in the framework of standard static space-times.

研究の動機と目的

• 半リーマン多様体およびローレンツ多様体におけるヘッシアン・テンソルの幾何的・物理的意義を明確化すること。
• ヘッシアンとリッチ曲率を用いて、標準的静的時空におけるキリングベクトル場を特徴付けること。
• エネルギー条件と曲率作用素（ヘッシアンを介して）が因果的構造および測地線の完全性に与える影響を調査すること。
• 標準的静的時空が共形的双曲的であるか、自明なローレンツ的擬距離を持つ条件を確立すること。
• ヘッシアン・テンソルを、共円形スカラー場やヘッシアン多様体といったより広範な幾何的構造と結びつけること。

提案手法

• リーマン多様体 $ (F, g_F) $ 上のリーマン接続を用いて定義されるヘッシアン・テンソル $ H_F^\rho $ を用いる。ここで $ \rho = f $ はワーピング関数である。
• 標準的静的時空 $ M = I_f \times F $ のリッチ曲率を、$ \text{Ric}_F $、$ \nabla_F^2 f $、および $ \frac{1}{f} \Delta_F f $ を含むワーピング積の公式を用いて分析する。
• テンソル $ Q_F^f = \Delta_F f \cdot g_F - H_F^f $ を導入し、$ f $ のラプラシアンとヘッシアンを統合的に扱い、リッチ曲率およびエネルギー条件の表現に用いる。
• 特に共役点およびローレンツ多様体における擬距離に関する定理を活用して、共形幾何学および測地線の完全性の結果を適用する。
• リー微分を用いて、ワーピング積上でのキリングおよび共形キリングベクトル場を特徴付ける。
• 曲率の有界性および $ \mathcal{Q}_F^f $ と $ \mathcal{Ric}_F $ の正定性を用いて、共形的双曲性および共役点の条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 ワーピング関数 $ f $ のヘッシアンおよびラプラシアンにどのような条件下で、標準的静的時空が共形的双曲的になるか？
• RQ2 標準的静的時空におけるローレンツ的擬距離が恒等的にゼロになるのはいつか？
• RQ3 $ \mathcal{Ric}_F $ と $ \mathcal{Q}_F^f $ の二次形式が、因果的測地線に沿う共役点の存在にどのように影響するか？
• RQ4 ヘッシアン・テンソルは、ワーピング積時空におけるキリングベクトル場を特徴付ける際に果たす役割は何か？
• RQ5 エネルギー条件と曲率作用素が、$ f $ のヘッシアンを介して、標準的静的時空でどのように相互作用するか？

主な発見

• $ \mathcal{Ric}_F $ と $ \mathcal{Q}_F^f $ が負半定値であり、かつ $ (F, g_F) $ がコンパクトであるならば、ローレンツ的擬距離 $ d_M \equiv 0 $ となり、すべての点が因果的に分離されていることを意味する。
• $ \mathcal{Ric}_F $ と $ \mathcal{Q}_F^f $ が負半定値であり、$ (F, g_F) $ が完備で $ \inf f > 0 $ であるならば、再び $ d_M \equiv 0 $ となり、自明な因果的構造を示す。
• $ \mathcal{Ric}_F $ が正半定値であり、$ \mathcal{Q}_F^f $ が正定値であるならば、時空は共形的双曲的である。
• 時間的測地線に関して、$ \frac{1}{f} \Delta_F f \geq c > 0 $ ならば、長さ $ \geq \pi \sqrt{\frac{n-1}{c}} $ の任意の測地線には共役点が存在する。
• $ I = \mathbb{R} $、$ (F, g_F) $ が完備であり、$ \sup f < \infty $ ならば、時間的直径は $ \text{diam}_{\mathbf{L}}(M,g) \leq \pi \sqrt{\frac{n-1}{c}} $ を満たす。
• 共形的双曲性に加え、$ \mathcal{Q}_F^f $ が正であるならば、すべての完全な因果的測地線には共役点のペアが存在する。