キリングベクトル場

キリングベクトル場

キリングベクトル場（Killing vector field、別名：キリング場）は、ドイツの数学者ヴィルヘルム・キリングの名に由来する概念で、リーマン多様体や擬リーマン多様体上に定義される特定のベクトル場です。これは特に、対象の距離を保ちながら変換する役割を果たします。

キリングベクトル場の定義

キリングベクトル場は、あるベクトル場 X に対して、そのリー微分が計量 g に対してゼロであること、すなわち

$$
\mathcal{L}_{X}g = 0
$$

が成り立つときに定義されます。これは、任意のベクトル場 Y との間に、特定の条件が満たされることを意味します。この条件を局所座標系で表すと、

$$

abla_{\mu}X_{
u} +
abla_{
u}X_{\mu} = 0
$$

となります。これは、多様体の性質を反映したものであり、座標系を選ばずに成り立つことが特徴です。

例

例えば、円の周上の各点を時計回りに移動させるようなベクトル場は、キリングベクトル場の例として挙げられます。各点が同じ距離だけ移動するため、円の形状がそのまま保たれます。また、特定の座標系で計量の係数が座標に依存しない場合、対応するベクトル場はキリングベクトル場になります。

性質

キリングベクトル場は、リーマン多様体の対称性を示す重要な役割を果たします。2つのキリングベクトル場のリー括弧もまたキリングベクトル場であり、これは多様体上のベクトル場のリー代数を構成します。特に、完備な多様体においてこの代数は等長群のリー代数として機能します。

多様体のリッチ曲率に関連する特性も注目されます。負のリッチ曲率を持つ多様体には非自明なキリングベクトルが存在せず、逆に非負のリッチ曲率では全てのキリング場が平行となります。また、測地線に沿って保存される量に対応し、特定の保存量がキリングベクトル場に基づいているといえます。

測地線との関係

キリングベクトル場は、測地線に沿って保存される量を定義します。この保存量は、キリングベクトルと測地線の接ベクトルとの間の計量積によって示され、時間の対称性に関連して運動を解析的に理解する的重要なツールとなります。

一般化

キリングベクトル場は、さまざまな数学的構造へと一般化可能です。共形キリングベクトル場は、特定のスカラーに基づいた定義を持ち、共形写像の微分によって表現できます。さらに、キリングテンソル場や他の関連するベクトル場の概念も存在し、これらは物理的現象や幾何学的性質をより深く探究するための基盤を提供します。

結論

キリングベクトル場は、リーマン多様体における距離の保存と対称性を理解するための重要なツールです。物理的な概念においても、特に一般相対性理論や黒洞の研究においてその意義が明らかです。キリング場の理論を通じて、多様体の構造や性質を洞察し、さらなる数学的探求の基礎を築くことができます。

もう一度検索