[論文レビュー] 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）宇宙論的背景におけるエネルギー運動量テンソルを計算すること。
• フェルミオンが時間にのみ依存する場合の場の運動方程式の物理的解釈を強調し、質量のある場ではダストに類似た状態方程式が得られることを示すこと。

提案手法

• 曲がった時空を局所ミンコフスキー空間に結びつけるためにテトラッド（ビアイン）形式を用い、平坦空間のガンマ行列の定義を可能にする。
• 局所接空間における計量適合性とローレンツ不変性の要請からスピン接続を導出する。
• スピン接続を用いてディラックスピンオブジェクトの共変微分を構成し、局所ローレンツ共変性を保証する。
• 共変微分の交換子を計算し、スピン接続を通じてリーマン曲率テンソルと関係づける。
• 計量に対するディラック作用の変分からエネルギー運動量テンソルを導出する。
• 形式主義を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}$のトレースはゼロになる。
• この方法は、トーショニクスを伴う非リーマン的空間を含むより一般的な幾何学にも適用可能であるが、計量性の取り扱いに注意を要する。