[论文解读] Covariant derivative of fermions and all that

Ilya L. Shapiro|arXiv (Cornell University)|Nov 7, 2016

Algebraic and Geometric Analysis被引用 4

一句话总结

本文使用四维标架形式体系，对弯曲时空中的狄拉克费米子的协变导数进行了详尽的教学推导，建立了旋量连接、协变导数的对易子以及能量-动量张量。推导了在弗里德曼-勒梅特-罗伯逊-沃尔克（FRW）宇宙学背景下的无质量狄拉克场的能量-动量张量的迹，表明当场仅依赖于时间时该迹为零，与共形不变性一致。

ABSTRACT

We present detailed pedagogical derivation of covariant derivative of fermions and some related expressions, including commutator of covariant derivatives and energy-momentum tensor of a free Dirac field. On top of that, local conformal transformations for a Dirac fermion in curved spacetime are considered and we obtain the expression for the energy-momentum tensor on the cosmological background.

研究动机与目标

• 为教育目的，提供在弯曲时空中的狄拉克费米子协变导数的全面、分步推导。
• 阐明四维标架形式体系与旋量连接在实现旋量的洛伦兹协变导数中的作用。
• 推导自由狄拉克场的能量-动量张量，并分析其迹与共形对称性的关系。
• 在弗里德曼-罗伯逊-沃尔克（FRW）宇宙学背景上计算能量-动量张量，特别是无质量极限下的结果。
• 强调当费米子仅依赖于时间时场方程的物理诠释，表明对质量非零的场，其状态方程表现为类似尘埃的性质。

提出的方法

• 使用四维标架（vierbein）形式体系，将弯曲时空与局部闵氏空间联系起来，从而定义平直空间中的伽马矩阵。
• 通过局部切空间中度量相容性与洛伦兹不变性的要求，推导旋量连接。
• 利用旋量连接构造狄拉克旋量的协变导数，确保其具有局部洛伦兹协变性。
• 计算协变导数的对易子，并通过旋量连接将其与黎曼曲率张量联系起来。
• 通过狄拉克作用量对度量变分，推导能量-动量张量。
• 将该形式体系应用于FRW度量，假设费米子场仅依赖于时间，计算所得的$T_{\mu\nu}$分量。

实验结果

研究问题

• RQ1 如何使用四维标架形式体系，在弯曲时空构造狄拉克费米子的协变导数？
• RQ2 旋量连接的显式形式是什么？它如何确保洛伦兹协变性？
• RQ3 在旋量场的背景下，协变导数的对易子如何与黎曼张量相关联？
• RQ4 在宇宙学（FRW）背景下的狄拉克场，其能量-动量张量的迹是什么？这对共形不变性有何含义？
• RQ5 为何在FRW时空下，仅依赖于共形时间的无质量狄拉克场的能量-动量张量会消失？

主要发现

• 在FRW背景上，对质量非零的狄拉克场，其能量-动量张量的空间分量为零（$T_{11} = T_{22} = T_{33} = 0$），而时间-时间分量非零（$T_{00} \neq 0$），表明其具有类似尘埃的状态方程。
• 在FRW时空下，若无质量狄拉克场仅依赖于共形时间，则其能量-动量张量在壳上为零（$T_{\mu\nu}|_{\text{on shell}} = 0$），与共形不变性一致。
• 狄拉克场的能量-动量张量的迹与质量及场双线性形式$\bar{\psi}\psi$成正比，在无质量极限下该迹为零。
• 推导结果确认旋量连接是局部洛伦兹群的联络，其曲率通过协变导数对易子产生黎曼张量。
• 该形式体系与共形对称性一致：当质量为零且场为共形耦合时，$T_{\mu\nu}$的迹为零。
• 该方法可推广至更一般的几何结构，包括具有挠率的非黎曼空间，但此类推广需谨慎处理度量性条件。