[论文解读] Representation-independent manipulations with Dirac matrices and spinors

Palash B. Pal|arXiv (Cornell University)|Mar 23, 2007

Algebraic and Geometric Analysis参考文献 3被引用 7

一句话总结

本文提出了一种表示无关的狄拉克矩阵与旋量操作形式体系，仅基于其基本代数性质——特别是克利福德代数关系与厄米性条件——而无需依赖任何显式的矩阵表示。核心贡献在于系统推导出关于伽马矩阵、旋量与双线性型的恒等式，这些恒等式在幺正变换下显式不变，确保在所有表示中均成立，避免了表示特异性计算带来的陷阱。

ABSTRACT

Dirac matrices, also known as gamma matrices, are defined only up to a similarity transformation. Usually, some explicit representation of these matrices is assumed in order to deal with them. In this article, we show how it is possible to proceed without any such assumption. Various important identities involving Dirac matrices and spinors have been derived without assuming any representation at any stage.

研究动机与目标

• 消除在量子场论计算中对狄拉克矩阵与旋量特定矩阵表示的依赖。
• 推导出在幺正变换下不变的狄拉克矩阵与旋量恒等式，从而在所有表示中均有效。
• 为旋量的归一化与双线性组合提供严谨的、表示无关的框架。
• 阐明狄拉克矩阵实表示或虚表示的约束条件，特别是与马约拉纳场的关系。

提出的方法

• 仅利用定义性对易关系 $\{\gamma_\mu, \gamma_\nu\}_+ = 2g_{\mu\nu}$ 与厄米性条件 $\gamma_\mu^\dagger = \gamma_0\gamma_\mu\gamma_0$ 推导恒等式。
• 通过 $\tilde{\gamma}_\mu = U\gamma_\mu U^\dagger$ 的幺正等价性，确保推导出的恒等式具有不变性。
• 引入基于双线性不变量的表示无关旋量解与归一化条件定义。
• 应用反对称化列维-奇维塔张量恒等式，推导出 epsilon 张量与伽马矩阵迹之间的关系。
• 分析克利福德代数中基矩阵的结构，根据其实性/虚性对称性对分量进行分类。
• 以马约拉纳表示为案例研究，表明所有 $\gamma_\mu$ 可全为纯虚数，但不可能全为实数，这是由于对称/反对称矩阵的维数约束所致。

实验结果

研究问题

• RQ1 能否在不假设特定矩阵表示的前提下推导出涉及狄拉克矩阵与旋量的恒等式？
• RQ2 在何种条件下，狄拉克矩阵的表示中所有矩阵可为实数或纯虚数？
• RQ3 如何以表示无关的方式定义旋量归一化与双线性不变量？
• RQ4 4×4 矩阵的对称性性质对 $\gamma_\mu$ 可能的实表示或虚表示施加了何种约束？
• RQ5 为何在任何表示中均不可能使所有 $\gamma\_\mu$ 矩阵为实数，而全为虚数却是可能的？

主要发现

• 所有推导出的狄拉克矩阵与旋量恒等式在幺正变换下保持不变，确保在所有表示中均有效。
• 在任何表示中，4×4 反对称矩阵的数量受 $\gamma_0$ 与 $\gamma_i$ 实性/虚性性质的约束，其数量为 $N_A = 10$ 或 $6$，视情况而定。
• 不可能使所有 $\gamma_\mu$ 矩阵为实数，因为这将需要 10 个反对称基矩阵，但最大可能数量仅为 6。
• 马约拉纳表示存在，此时所有 $\gamma_\mu$ 均为纯虚数，且在此情况下狄拉克方程允许实解。
• 在任何表示中，旋量场都不可能为纯实数，因为狄拉克方程中乘以旋量的矩阵不可能为实矩阵。
• 电荷共轭矩阵 $C$ 的反对称性是克利福德代数中 16 个基矩阵对称性约束的直接结果。