基灵矢量场

title: 数学定义.
content: 具体地,向量场"X"是一个基灵场,如果度量关于 "X" 李导数为零:  用列维-奇维塔联络表示,即  对所有的向量"Y"与"Z"。在局部坐标系中,这便是基灵方程:  该条件表示成共变形式,从而只要在一个特定的坐标系中成立就在所有坐标系下成立。  一个基灵场由其在一点的向量和其梯度(即这个场在该点的所有共变导数)决定。  两个基灵场的李括号仍然是一个基灵场。从而流形"M"上的基灵场组成了"M"上一个李代数。如果"M"紧或者完备这便是流形的等距同构群的李代数。  对紧流形:  基灵向量场可以推广到共形基灵向量场,定义为: 对某个纯量formula_10,一个单参数共形映射族的导数是共形基灵场。另一种推广是共形基灵张量场,是一个对称张量场"T",使得formula_11的对称化中与迹无关的部分为零。
title: 广义时空几何中的对称性和守恒律.
content: 在广义相对论中,基灵矢量与时空的对称性紧密联系。简单说来,当一个时空流形在特定变换下具有几何不变性时,我们称这种时空流形具有对称性;也就是说度规在这种变换下是保持形式不变的。一个张量场可能会具有多种不同的对称性,例如闵可夫斯基时空的平直度规在平移变换(包含四种基本对称操作)及洛伦兹变换(包含六种基本对称操作)下保持不变,即对于闵可夫斯基度规  所具有的两种对称性表示为  从闵可夫斯基时空的平移对称性表示中我们可以看到,度规的系数formula_15(1或-1)和平移的坐标函数formula_16无关。这个性质可以推广到一般度规formula_17下的平移对称性,即对于某些确定的坐标函数formula_18,如果formula_19对所有的formula_20和formula_21成立,则度规在formula_18方向上具有平移对称性:
title: 平移对称性和动量守恒.
content: 对类时的测地线而言,测地线方程可以写成动量的形式,即对于粒子的四维动量formula_24,测地线方程为  其中formula_26的上标可以降为下标而方程保持形式不变,根据协变导数的定义方程等价于  左边第一项的含义是动量如何沿测地线变化:  而第二项可以化为如下形式:  其中第二步到第三步是用了formula_30的对称性,从而对称的两项可以消去。综合上面的结果我们得到  从这个方程我们可知,对于度规formula_32若在坐标方向formula_20上偏导数为零,则沿坐标方向formula_20的动量formula_35不随时间变化,即动量分量formula_35是一个守恒量,即  这个守恒律虽然是从类时的测地线得到的,它对所有的测地线都成立。
title: 基灵矢量.
content: 我们在上节中看到,当度规与坐标的某一个分量无关时,度规在这个分量上则具有平移对称性。现在从这个事实出发将其写成协变的形式,即当一个一般的度规formula_17与某一坐标分量formula_18无关时,定义矢量formula_40将其标记为formula_41:  推导中一般写成分量的形式:  这里我们称formula_44是度规对称性的生成矢量,即在这个矢量的方向上的无穷小变换操作下坐标保持不变。在这个矢量的作用下,守恒量可以写成协变的形式,例如  从前文的推导我们已知,若formula_35是沿测地线的(标量)守恒量,则它沿测地线的方向导数为零,用生成矢量的形式写出来则得到  将右面的式子作展开得到  从第一步到第二步中第一项消去的原因是测地线方程,而第二步到第三步是由于formula_20和formula_21的对称性。  由此可得到结论:对于任何满足方程formula_51的矢量formula_52,都对应着沿测地线的守恒量formula_53:  左面的方程formula_51叫做基灵方程,而满足这个方程的矢量场formula_52叫做基灵矢量场或直接称作基灵矢量。基灵矢量的形式与度规的坐标选取有关,虽然上文的推导过程中基灵矢量的形式是formula_42,这是由选取坐标系的特殊性决定的,在其他一般化的坐标系选取下它会具有不同的形式;但无论如何却总能找到一个特定的坐标系使对应的基灵矢量满足如formula_42的形式。  从基灵矢量的概念可进一步推广到基灵张量,即满足方程  的formula_60阶张量formula_61对应有守恒量formula_62  度规本身就是一个基灵张量,在膨胀宇宙模型中,弗里德曼-勒梅特-罗伯逊-沃尔克度规也具有类时的基灵张量。
title: 性质.
content: 基灵矢量的协变导数与黎曼张量直接联系,彼此关系为  与里奇张量的关系为  从这两个关系、比安基恒等式以及基灵方程可推出里奇标量在沿基灵矢量场的方向导数为零,这是其度规在这些方向上具有几何不变性的体现:
title: 类时的基灵矢量.
content: 动量守恒是空间平移不变性的体现,而能量守恒则是时间平移不变性的体现。借助于一个类时的基灵矢量我们能够定义一个全部时空的守恒能量:从基灵矢量formula_52和能量-动量张量formula_68能够定义一个流  这个流是一个守恒量:  第一项为零是由于基灵方程,而第二项为零是由于formula_68的守恒。  当formula_52是一个类时的基灵矢量时,可以通过对这个守恒流在整个类空的超平面formula_73内积分从而定义时空中的总能量:  其中formula_75是超平面formula_73的诱导度规,而formula_77是其法向矢量。这实际是广义相对论中柯玛质量的定义,在膨胀宇宙模型中时空中的总能量一般并不是守恒的,这与膨胀宇宙的度规是时间的函数有关。如果存在一个类时的基灵矢量,则度规与时间无关,从而存在一个守恒的能量定义。

Summary: 基灵矢量场,基灵矢量或基灵矢量场(英语:Killing vector 或 Killing vector field),以德国数学家威尔海姆·基灵命名,是定义在黎曼流形或伪黎曼流形上的一组矢量场,流形的度规在这组矢量的方向上能够保持不变。基灵矢量是等距同构的无穷小生成元,即由基灵矢量场生成的流包含有一种对称性,也就是说流形在基灵矢量场的方向上进行平移不会改变其上点与点之间的距离。一个简单的例子是一个圆周上具有相同长度并且指向顺时针方向的矢量场即是一个基灵矢量场,因为将圆周上的点沿这些方向平移等同于顺时针转动这个圆周而不改变彼此间的距离。

Killing vector field: In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point on an object the same distance in the direction of the Killing vector will not distort distances on the object.