29.2 克利福德代数与几何

概念链接 · 机器稿中出现的术语;来源角色尚未核验: 向量空间

如上一章通过生成元所定义的那样,克利福德代数没有明显的几何意义。然而事实证明,它们是研究带内积的线性空间几何的有力工具,特别是研究保持内积的线性变换,即旋转。为了看清克利福德代数与几何之间的关系,首先考虑正定情形 。对于任意向量

我们将 Clifford 代数元素 与之相联系,其中 是该映射

对于 的 Clifford 代数关系,给定两个向量 、,它们所关联的 Clifford 代数元素的乘积满足

其中 是 上对应于向量标准内积的对称双线性型。注意,取 时有

因此,Clifford 代数 包含 作为生成元 的线性组合构成的子空间。它可以被视为向量空间 的一种增强,编码了关于内积的信息,并且有时会写作 。在这个更大的结构中,向量既可以相乘也可以相加,乘法由内积决定并由方程 29.2 给出。注意,不同的人使用不同的约定,其中

另一种常见选择。人们也会见到不带因子2的变体。

对于 维向量空间在 上,我们已经看到,对于任何非退化对称双线性型,都可以找到一组基,使得 具有标准形式

因此,在同构意义下,维数 的复克利福德代数只有一个,即我们定义为 的那个。对于 维向量空间 ,若带有类型为 、 且满足 的非退化对称双线性型,则相应的克利福德代数 就是第 28.2 节中通过生成元定义的那些。

在狭义相对论中,时空是一个实的四维向量空间,带有不定内积,对应于(取决于所选取的约定)情形 或情形 。保持该内积的线性变换群称为洛伦兹群,其保定向分支根据约定的选择记作 或 。在后续章节中,我们将考察量子力学在相对论情形下会发生什么,并在那里遇到相应的克利福德代数 或 。此类克利福德代数的生成元 在该学科中即众所周知的“狄拉克 矩阵”。

不过目前我们将注意力限制在正定情形,因此只考虑 ,并考察它如何被用来研究 中 维旋转的群 。

29.2.1 旋转作为迭代的正交反射

概念链接 · 机器稿中出现的术语;来源角色尚未核验: 线性映射

我们将考虑两种不同的方式来看待克利福德代数 与 中旋转群 之间的关系。第一种方式基于一个几何事实(称为 Cartan-Dieudonné e 定理):通过在不同超平面中至多进行 次正交反射,可以得到任意旋转。关于垂直于向量 的超平面的正交反射,将向量 变为向量

从下图可以很容易看出的一点


图 29.1:关于与 垂直的超平面的正交反射

从现在起,我们通过方程 29.1 的映射 将向量 、 与相应的 Clifford 代数元素等同起来。由关于 的反射给出的线性变换是

由于

我们有(对于非零向量 )

而反射变换不过是由/乘以一个负号所实现的共轭。

将向量与Clifford代数元素等同起来,一次反射所得到的正交变换由共轭(带负号)给出。这些反射属于群,但不属于子群,因为它们改变定向。关于与正交的超平面作两次反射的结果将是的共轭。

这将是一个保持定向的旋转,因此行列式为1,并且属于群

这一构造不仅给出了表示旋转的一种有效方式(作为Clifford代数中的共轭),而且还提供了在任意维数中构造群的方法。可以定义:

定义

)。群 是克利福德代数 的可逆元素构成的群,其形式为

其中向量 是 中的向量,满足 ,且 为偶数。群乘法是 Cliford 代数乘法。

对向量 的作用将由共轭给出

而这将对应于向量 的一个旋转。这一构造可推广到任意 ,即我们在第 6 章中依据四元数代数 的单位长度元素对 所给出的构造。通过注意到改变 Clifford 代数元素 的符号不会改变共轭作用,其中符号相互抵消,人们在此可以看到一个特征性事实: 群中有两个元素给出 中的同一旋转。

29.2.2 旋转群的李代数与克利福德代数的二次元素

概念链接 · 机器稿中出现的术语;来源角色尚未核验: 李代数

对于理解任意维数中旋转的第二种方法,可以利用这样一个事实:这些旋转是通过取坐标平面中旋转的乘积生成的。在 坐标平面 中旋转角度 的旋转将由下式给出

其中是一个乘矩阵,仅有两个非零元素:元素−1和元素+1(见方程5.2.1)。将注意力限制在平面上,在该平面中充当标准旋转矩阵

在情形中,我们看到这类矩阵有三个

提供李代数的一个基。在维中,将有个这样的元素,提供李代数的一个基

正如在 的情形中使用了单位长度四元数一样,在维数 中,我们可以使用克利福德代数的元素来得到这些相同的旋转变换,但作为克利福德代数中的共轭。为了看清这一点如何运作,考虑 的二次克利福德代数元素 ,并注意到

因此有

在 平面内用此变换共轭向量 ,可以证明

即在平面内旋转。这样的共轭也会使的保持不变。因此有

并且在 处求导,得到无穷小版本

注意,这些关系与辛情形中所发生的情况密切类似:在辛情形中,辛群通过中二次算符的指数共轭作用在的线性组合上。我们将在第31章更详细地考察这一类比。

同样可以看出,正如我们之前在三维中的计算一样,人们得到旋转群的双重覆盖,这里 Clifford 代数的元素 给出 平面中旋转群的双重覆盖(当 从 0 变到 2 时)。自旋群的一般元素可以通过在不同坐标平面中针对不同角度将这些元素相乘来构造。李代数 spin() 可以通过以下方式与李代数 等同

另一种看出这一点的方法是计算不同 值下的 的对易子,并证明它们满足与相应矩阵 相同的对易关系。

回忆在玻色子情形中,我们发现 (或 )的二次组合给出的算符满足李代数 的对易关系。这是群 的李代数,该群保持相空间 上的非退化反对称双线性形式 。费米子情形完全类似,只是反对称双线性形式 的角色被对称双线性形式 取代,而李代数 被 取代。

在玻色子情形中, 的线性函数满足另一个李代数,即海森堡代数的对易关系,但在费米子情形中,对于 而言这并不成立。在第30章中我们将看到,可以定义一种“李超代数”的概念,从而恢复这种平行关系。

来源与版本

正文:中文 · 机器译稿 · 待校对

核对状态:机器译稿 · 待校对

原书 PDF · 印刷页 318、319、320、321、322、323、324、325

来源版本:2025-10-20

来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837

OCR 来源 SHA-256:255e6de176b891a110e84138f84ce4224218312b2f275d3d598b59b1d077e160

译稿产物 SHA-256:aa359b24ea6bdbe52e695b505ec96d446ed2606dd5e87645d478502425523671

机翻模型:deepseek-v4.1-flash