[论文解读] Notions of determinant, spectrum, and Hermitian conjugation of Clifford algebra elements

Н. Г. Марчук, S. E. Martynova|ArXiv.org|Jul 21, 2003

Algebraic and Geometric Analysis参考文献 1被引用 4

一句话总结

本文通过矩阵表示和内在代数运算，为克利福德代数元素的行列式、谱和厄米共轭建立了内在定义。证明了行列式和厄米共轭可由克利福德代数运算（如对偶、共轭和阶投影）表达，并表明厄米元素具有实谱，将矩阵代数概念推广至克利福德代数及平行化流形上的微分形式。

ABSTRACT

We show how the matrix algebra notions of determinant, spectrum, and Hermitian conjugation transfer to the Clifford algebra and to differential forms on parallelisable manifolds.

研究动机与目标

• 将矩阵代数中的概念——行列式、谱和厄米共轭——扩展到克利福德代数的框架中。
• 在克利福德代数 ${\cal C}\!\ell_{p,q}^{{\cal K}}$ 内部，不依赖于矩阵表示，内在地定义这些概念。
• 建立厄米克利福德代数元素具有实谱的结论，推广了厄米矩阵的一个关键性质。
• 通过克利福德代数 ${\cal C}\!\ell_{1,3}$ 展示这些概念在平行化流形上的微分形式中的适用性。

提出的方法

• 通过泡利矩阵和 $n=1$ 到 $4$ 的广义矩阵，将克利福德代数元素表示为矩阵，将生成元 $e^k$ 映射为矩阵 $\underline{e}^k$。
• 将克利福德元素 $U$ 的行列式定义为其矩阵表示的行列式：${\rm Det}(U) = {\rm det}(\underline{U})$。
• 推导 ${\rm Det}(U)$ 的显式公式，以内在运算表示：当 $n=1,2$ 时为 $\Omega_U = U^\wedge U^\sim$，当 $n=3$ 时为 $\Omega_U^{\sim}\Omega_U$，当 $n=4$ 时使用基于迹的公式。
• 通过矩阵伴随定义厄米共轭 $U^\dagger$：$\underline{U}^\dagger = \underline{U^\dagger}$，并根据不同符号差 $(p,q)$，用 $U^*$、$U^{\wedge}$ 和基元素表达 $U^\dagger$。
• 利用相似变换下的迹不变性：${\rm Tr}(W^{-1}UW) = {\rm Tr}(U)$，以支持迹和行列式定义的一致性。
• 通过证明特征方程 ${\rm Det}(U - \lambda) = 0$ 导出的特征方程为实系数，建立厄米元素的谱为实数。

实验结果

研究问题

• RQ1 如何在不依赖矩阵表示的前提下，内在地定义克利福德代数元素的行列式？
• RQ2 克利福德代数元素的谱与其矩阵表示的谱之间有何关系？
• RQ3 克利福德代数中的厄米共轭运算如何推广矩阵伴随运算？
• RQ4 在何种条件下克利福德代数元素具有实谱，这与厄米性质有何关联？
• RQ5 能否通过克利福德代数结构，将行列式、谱和厄米共轭的概念推广至平行化流形上的微分形式？

主要发现

• 克利福德代数元素 $U$ 的行列式定义为 ${\rm Det}(U) = {\rm det}(\underline{U})$，当 $n=1,2$ 时，其值等于标量 $\Omega_U = U^\wedge U^\sim$。
• 当 $n=3$ 时，行列式由 $\Omega_U^{\sim}\Omega_U$ 给出，为一标量；当 $n=4$ 时，其表达式为 ${\rm Tr}(\Omega_U^{\sim}\Omega_U) - 2{\rm det}(\eta)({\rm Tr}(\ell\Omega_U))^2$，其中 $\ell = e^{1234}$。
• 行列式满足乘法性质：${\rm Det}(UV) = {\rm Det}(U){\rm Det}(V)$，且 $U$ 可逆当且仅当 ${\rm Det}(U) \neq 0$。
• 克利福德代数元素的谱在 $n=1,2$ 时包含两个特征值，在 $n=3,4$ 时包含四个特征值（计入重数），定义为 ${\rm Det}(U - \lambda) = 0$ 的根。
• 厄米共轭 $U^\dagger$ 通过矩阵伴随定义，并用内在运算表达：当 $(p,q) = (n,0)$ 时，$U^\dagger = U^*$；当 $(1,n-1)$ 时，$U^\dagger = e^1 U^* e^1$，依此类推。
• 厄米克利福德代数元素（$U = U^\dagger$）具有实谱，推广了矩阵理论中厄米矩阵具有实特征值的结果。