[论文解读] General theory of Lie derivatives for Lorentz tensors

L. Fatibene, M. Francaviglia|ArXiv.org|Apr 1, 2009

Noncommutative and Quantum Gravity Theories参考文献 22被引用 9

一句话总结

本文建立了一套通用的几何框架，用于在弯曲时空中的洛伦兹张量上计算李导数，方法是利用主丛上的科斯曼提升（Kosmann lift），并表明早期工作中（例如 [1]）的临时规定可由此更基础的构造推导得出。关键贡献在于：通过将时空向量场提升至主丛，并利用相关丛的联络诱导导数，为洛伦兹张量提供了一种一致且几何动机充分的李导数定义——该定义适用于任意向量场，而不仅限于基灵向量场。

ABSTRACT

We show how the ad hoc prescriptions appeared in 2001 by Ortin for the Lie derivative of Lorentz tensors are a direct consequence of the Kosmann lift defined earlier in 1996 in a much more general setting encompassing older results of Y. Kosmann in 1971.

研究动机与目标

• 为广义相对论中任意弯曲时空下的洛伦兹张量提供一种几何且一致的李导数定义，突破仅限于基灵向量场的限制。
• 表明早期对洛伦兹张量李导数的临时规定（例如 [1] 中的）可从更一般的科斯曼提升构造中推导得出。
• 阐明为何自旋场与洛伦兹张量场的李导数在标准意义上无法自然定义，并通过规范自然形式化解决此问题。
• 通过将主丛与联络作为共同几何框架，统一处理不同张量与旋量场的李导数。

提出的方法

• 利用科斯曼提升这一几何构造，将任意时空向量场 ξ 提升为在主丛 L(M) 上的向量场，利用结构群 SO(r,s)。
• 通过科斯曼提升将伴随丛上的李导数的反向拉回定义为洛伦兹张量的李导数，使用主丛上诱导的联络。
• 采用黎曼联络与旋量联络来计算科斯曼提升中的协变导数，确保与度量及洛伦兹结构相容。
• 将该形式化应用于四维标架与洛伦兹向量，表明洛伦兹向量 v^a 的李导数为 ℒ_ξ v^a = ξ^μ ∇_μ v^a − (∇^{[b}ξ^{a]}) v_b，该式结合了时空与标架的变化。
• 证明四维标架的李导数为 ℒ_ξ e^a_μ = −∇_μ ξ^λ e^a_λ + ∇^{[b}ξ^{a]} e_{bμ}，当 ξ 为基灵向量场时，该式退化为标准表达式。
• 利用标架在切丛截面与洛伦兹向量丛截面之间的同构，关联不同表示下的李导数。

实验结果

研究问题

• RQ1 如何在一般弯曲时空中，为洛伦兹张量的李导数建立一种一致且具有几何动机的定义？
• RQ2 为何先前对洛伦兹张量李导数的临时规定（例如 [1] 中的）无法自然定义？能否从更一般的原理中推导出？
• RQ3 科斯曼提升在非基灵向量场的李导数定义中起什么作用？它如何解决非自然性问题？
• RQ4 规范自然形式化如何实现广义相对论中不同张量与旋量场的李导数的统一处理？
• RQ5 洛伦兹向量的李导数能否同时用时空与标架变换表示？这与诱导度量有何关联？

主要发现

• 洛伦兹张量的李导数完全由时空向量场 ξ 在主丛上的科斯曼提升决定，该方法提供了几何且一致的规范。
• 四维标架的李导数表达式为 ℒ_ξ e^a_μ = −∇_μ ξ^λ e^a_λ + ∇^{[b}ξ^{a]} e_{bμ}，当 ξ 为基灵向量场时，该式退化为标准结果。
• 洛伦兹向量 v^a 的李导数为 ℒ_ξ v^a = ξ^μ ∇_μ v^a − ∇^{[b}ξ^{a]} v_b，清晰展示了时空与标架演化共同作用的效果。
• 该形式化解释了为何自旋场与洛伦兹张量不存在自然李导数：非自然性并非缺陷，而是几何上的必然。
• 该框架通过将不同场（四维标架、自旋场、洛伦兹张量）嵌入同一规范自然丛理论设定中，统一了李导数的处理方式。
• 在闵可夫斯基时空下，科斯曼提升退化为坐标变换下向量的标准洛伦兹变换，与平坦时空的预期一致。