キリングベクトル場

ファイル:Killing-vector-s2.png

球面上に積分曲線（青色）をもつキリングベクトル場（赤色）

キリングベクトル場(Killing vector field)（時々、キリング場(Killing fieldとも呼ばれる）は、ヴィルヘルム・キリング(Wilhelm Killing)の名前に因んだ名称で、計量を保存するリーマン多様体や擬リーマン多様体上のベクトル場であり、計量テンソルを保存する。キリング場は、等長(isometry)なリー群に付随するリー代数の無限小生成子である。すなわち、キリング場により生成されるフロー (幾何学)(flow)であり、多様体の連続な等長(continuous isometries)写像である。さらに単純化すると、フローは、各々の点をキリングベクトル場の方法へ同じ距離にある対象上の各々の点を動かすことが、距離を曲げないという意味の対称性を生成する。

定義

特に、X の計量 g に関してリー微分が 0 となる、つまり、

[math]\mathcal{L}_{X} g = 0[/math]

であるとき、ベクトル場 X をキリングベクトル場という。

レヴィ・チヴィタ接続のことばでは、これは、すべてのベクトル X と Y について、

[math]g(\nabla_{Y} X, Z) + g(Y, \nabla_{Z} X) = 0 \,[/math]

である。局所座標では、この考え方はキリング方程式

[math]\nabla_{\mu} X_{\nu} + \nabla_{\nu} X_{\mu} = 0[/math]

である。

この条件は共変形式で表されるので、すべての座標系で保たれることを示すためには、元々の座標系で確立するだけで充分である。

例

• 点の周りを時計周りで、各々の点で同じ長さを持つ円上のベクトル場は、キリングベクトル場である。このベクトル場に沿って円の上で点を動かすことは、単純に円を回ることとなるからである。

• ある基底座標 [math]dx^{a}[/math] での計量の係数 [math]g_{\mu \nu}[/math] が [math]x^{\kappa}[/math] と独立であれば、[math]K^{\mu} = \delta^{\mu}_{\kappa}[/math]は自動的にキリングベクトル場となる。ここに、[math]\delta^{\mu}_{\kappa}[/math] はクロネッカーのデルタである。このことを証明するために、

[math] g_{\mu \nu},_0=0 \,[/math]

を仮定すると、

[math] K^\mu=\delta^{\mu}_{0}[/math] であり、[math] K_{\mu}=g_{\mu \nu} K^{\nu}= g_{\mu \nu} \delta^{\nu}_{0}= g_{\mu 0}[/math]

である。ここで、[math] g_{\rho 0}g^{\rho \sigma} = \delta_{0}^{\sigma}[/math] より、キリングの条件

[math] K_{\mu;\nu}+K_{\nu;\mu}=K_{\mu,\nu}+K_{\nu,\mu}-2\Gamma^{\rho}_{\mu\nu}K_{\rho} = g_{\mu 0,\nu}+g_{\nu 0,\mu}-g^{\rho\sigma}(g_{\sigma\mu,\nu}+g_{\sigma\nu,\mu}-g_{\mu\nu,\sigma})g_{\rho 0}[/math]

を得る。このキリング条件は

[math] g_{\mu 0,\nu}+g_{\nu 0,\mu} - ( g_{0\mu,\nu}+g_{0\nu,\mu}-g_{\mu\nu,0} ) = 0[/math]

このことは、[math]g_{\mu\nu,0}= 0 [/math] であることから、成り立っていることが分かる。

• 物理的な意味は、たとえば、計量の係数が時間の函数でない場合、多様体は自動的にタイムライクなキリングベクトルを持つ。
• ライマン項の中に、対象が時間発展（時間経過したとき）や変換をしないならば、時間の経過は対象を計測を変化させない。このように定式化すると、結果はトートロジーのように聞こえるが、しかし例は非常に考慮の行き届いていることを理解すべきである。キリング場はより複雑でより興味深い例に対しても適用される。

性質

キリング場は、ある点でのベクトルとその勾配（つまり、点における場のすべての共変微分により決定される。

2つのキリング場のリーブラケットもまたキリング場であるので、多様体 M 上のキリング場は、M 上のベクトル場のリー代数を形成する。M が完備であれば、この代数は多様体の等長群(isometry group)のリー代数となる。

コンパクトな多様体に対し、

• 負のリッチ曲率は、非自明な（0 でない）キリングベクトルが存在しないことを意味する。
• 非負のリッチ曲率は、すべてのキリング場が平行である、つまり、すべてのベクトル場にそった共変微分が恒等的に 0 となることを意味する。
• 断面曲率は正で、M の次元は偶数であれば、キリング場は零点を持つ。

すべてのキリングベクトル場の発散は 0 となる。

[math]X[/math] がキリングベクトル場で [math]Y[/math] が調和ベクトル場であれば、[math]g(X,Y)[/math] は調和函数である。

[math]X[/math] がキリングベクトル場で [math]\omega[/math] が調和 p-形式であれば、[math]\mathcal{L}_{X} \omega = 0[/math] である。

測地線

各々のキリングベクトルは、測地線(geodesics)に沿って保存される量に対応する。この保存量はキリングベクトルと測地線の接ベクトルとの間の計量積である。すなわち、同じアフィンパラメータ [math]\lambda[/math] の測地線に沿って、方程式 [math]\frac d {d\lambda} ( K_\mu \frac{dx^\mu}{d\lambda} ) = 0[/math] が成立する。これは、対称性をもつ時空の運動を解析的に研究する目的を持っている。

一般化

• キリングベクトル場は、あるスカラー [math]\lambda[/math] に対して [math]\mathcal{L}_{X} g = \lambda g \,[/math] で定義さる共形キリングベクトル場へ一般化される。共形写像の一径数族の微分は、共形キリング場である。
• キリングテンソル場は、[math]\nabla T[/math] の対称化のトレースのない部分が 0 となるような対称テンソル場 T である。キリングテンソルを持つ多様体の例としては、回転ブラックホール(rotating black hole)やFRW宇宙がある。
• キリングベクトル場は、等長な群に代えて多様体上の作用するリー群 G をとると、任意の（計量を持たない多様体でもよい）多様体 M 上に定義することができる。この広い意味でのキリングベクトル場は、群の作用により G 上の右不変ベクトル場のプッシュフォワードである。群作用が有効であれば、キリングベクトル場の空間は G のリー代数 [math]\mathfrak{g}[/math] と同型である。

関連項目

• アフィンベクトル場(Affine vector field)
• Curvature collineation
• Homothetic vector field
• キリング形式
• キリングの地平線(Killing horizon)
• キリングスピノル(Killing spinor)
• キリングテンソル(Killing tensor)
• Matter collineation
• 時空の対称性(Spacetime symmetries)

参考文献

• Jost, Jurgen (2002). Riemannian Geometry and Geometric Analysis. Berlin: Springer-Verlag. ISBN 3-540-42627-2. .
• Adler, Ronald; Bazin, Maurice & Schiffer, Menahem (1975). Introduction to General Relativity (Second Edition). New York: McGraw-Hill. ISBN 0-07-000423-4. . See chapters 3,9