[论文解读] General (anti-)commutators of gamma matrices

Wolfgang Mueck|ArXiv.org|Nov 9, 2007

Matrix Theory and Algorithms参考文献 3被引用 4

一句话总结

本文推导出任意时空维度下对称化伽马矩阵乘积的所有对易子与反对易子的显式闭式公式。通过广义对易子括号与广义克罗内克δ符号，提供了非递归、有限和的表达式，统一并修正了先前的表格，使高能物理及高维理论（如超引力与M理论）中的高效计算成为可能。

ABSTRACT

Commutators and anticommutators of gamma matrices with arbitrary numbers of (antisymmetrized) indices are derived.

研究动机与目标

• 推导出具有任意对称化指标数的伽马矩阵对易子与反对易子的一般显式公式。
• 解决现有参考表格中的不准确与遗漏问题，例如文献[2]附录中的表格，其中包含打字错误与缺失项。
• 为高维场论（包括超引力与M理论）提供统一的、与维度无关的伽马矩阵代数框架。
• 通过使用广义克罗内克δ符号与二项式系数，提供闭式表达式，消除对递归关系或计算机代数系统的依赖。

提出的方法

• 引入广义对易子括号 $[A,B]_x = AB + xBA$，其中 $x = \pm 1$，以统一处理对易子与反对易子的结构。
• 采用广义克罗内克δ符号 $\delta^{i_1\cdots i_k}_{j_1\cdots j_k}$ 表示对称化指标的缩并。
• 利用克莱夫福德代数关系 $\gamma^i\gamma^j + \gamma^j\gamma^i = 2g^{ij}$ 及对称化乘积恒等式推导基础情形。
• 对伽马矩阵 $\gamma^{i_1\cdots i_k}$ 与 $\gamma_{j_1\cdots j_l}$ 中的指标数 $k$ 和 $l$ 进行数学归纳法。
• 利用关键恒等式(11)将两个对称化乘积的对易子分解为嵌套对易子，从而实现归纳证明。
• 构建最终公式为包含二项式系数与广义克罗内克δ符号的有限和，其自然终止于大 $m$ 时二项式系数为零。

实验结果

研究问题

• RQ1 两个具有任意指标数的对称化伽马矩阵乘积之间的（反）对易子的一般形式是什么？
• RQ2 如何在不使用递归的情况下系统推导这些（反）对易子，特别是在高维时空中？
• RQ3 对于已知的伽马矩阵（反）对易子参考表格（如文献[2]附录），需要进行哪些修正？
• RQ4 是否可以使用标准张量对象，以闭式、与维度无关的方式表达（反）对易子结构？

主要发现

• 本文推导出两个主公式：(9)用于 $(-1)^{kl}$-括号对易子，(10)用于 $(-1)^{kl+1}$-括号反对易子，两者均表示为有限和。
• 这些公式是非递归的，且仅显式依赖于广义克罗内克δ符号、二项式系数与对称化伽马矩阵。
• 结果可正确还原为已知基础情形：当 $l=1$ 时，公式(9)重现标准对易子 $[\gamma_j, \gamma^{i_1\cdots i_k}]_{(-1)^{k+1}} = 2k\delta_j^{[i_1}\gamma^{i_2\cdots i_k]}$。
• 推导证实（反）对易子结构与时空维度 $d$ 无关，仅受对称化导致的指标数上限影响。
• 本文在文献[2]的参考表格中识别出三个打字错误与一个缺失项（一个含八个指标的伽马矩阵），验证了所推导公式的正确性。