[论文解读] On the Structure Theorem of Clifford Algebras

Rafał Abłamowicz|arXiv (Cornell University)|Oct 7, 2016

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

一句话总结

本文利用半单环理论与Wedderburn-Artin定理的框架，回顾了实 Clifford 代数 $\mathrm{Cl}_{p,q}$ 的结构定理，证明这些代数可分解为最小左理想（旋量模）的直和，且每个最小左理想同构于 $\mathbb{R}$、$\mathbb{C}$ 或 $\mathbb{H}$ 上的矩阵代数，具体取决于 $p-q \mod 8$。主要贡献在于系统地建立了 Clifford 代数表示理论与半单环一般理论之间的联系，并通过本原幂等元显式构造了旋量表示。

ABSTRACT

In this paper, theory and construction of spinor representations of real Clifford algebras $\cl_{p,q}$ in minimal left ideals are reviewed. Connection with a general theory of semisimple rings is shown. The actual computations can be found in, for example, [2].

研究动机与目标

• 将实 Clifford 代数 $\mathrm{Cl}_{p,q}$ 的结构重新置于半单环与模的一般理论框架内。
• 阐明旋量表示如何从 $\mathrm{Cl}_{p,q}$ 中的最小左理想产生，特别是通过本原幂等元。
• 根据 Wedderburn-Artin 定理，确定本原幂等元 $f$ 对应的除环 $f\mathrm{Cl}_{p,q}f$ 的同构类型。
• 证明 $\mathrm{Cl}_{p,q}$ 可分解为最小左理想的直和，每个最小左理想携带一个不可约表示。
• 解释在半单与单 Clifford 代数中，忠实与非忠实不可约表示之间的区别。

提出的方法

• 利用 Wedderburn-Artin 定理将 $\mathrm{Cl}_{p,q}$ 分类为半单环，将其分解为有限个单两面理想之和。
• 应用左 $R$-模理论，证明 $\mathrm{Cl}_{p,q}$ 中的最小左理想是简单模，对应于不可约旋量表示。
• 识别出本原幂等元 $f$，使得 $\mathrm{Cl}_{p,q}f$ 为最小左理想，且 $f\mathrm{Cl}_{p,q}f$ 同构于一个除环 $\mathbb{K}$（$\mathbb{R}$、$\mathbb{C}$ 或 $\mathbb{H}$）。
• 利用正交分解 $1 = c_1 + c_2$，其中 $c_1 = \frac{1}{2}(1 + \mathbf{e}_{12\ldots n})$，$c_2 = \frac{1}{2}(1 - \mathbf{e}_{12\ldots n})$，在 $n = p+q$ 为奇数时将 $\mathrm{Cl}_{p,q}$ 分解为两个单子代数。
• 通过 $k$ 个可交换基单项式乘积中独立的符号选择，构造出一组 $2^k$ 个相互正交的本原幂等元。
• 依赖 CLIFFORD Maple 工具包，显式计算生成元 $\mathbf{e}_1, \dots, \mathbf{e}_n$ 在旋量表示中的矩阵实现，其中代数映射 $\gamma$ 保持乘法结构。

实验结果

研究问题

• RQ1 Wedderburn-Artin 定理如何应用于实 Clifford 代数 $\mathrm{Cl}_{p,q}$ 的分类？
• RQ2 本原幂等元在构造 $\mathrm{Cl}_{p,q}$ 的不可约旋量表示中起什么作用？
• RQ3 为何半单 Clifford 代数需要双旋量空间 $S \oplus \hat{S}$ 才能实现忠实表示，而单代数则可在单个最小左理想中实现？
• RQ4 中心，特别是单位赝标量 $\mathbf{e}_{12\ldots n}$，如何影响代数分解为单子代数？
• RQ5 对于本原幂等元 $f$，除环 $f\mathrm{Cl}_{p,q}f$ 的同构类型由什么决定，其与 $p-q \mod 8$ 的关系如何？

主要发现

• Clifford 代数 $\mathrm{Cl}_{p,q}$ 可分解为 $2^k$ 个最小左理想 $\mathrm{Cl}_{p,q}f_i$ 的直和，其中 $k = \lfloor (p+q)/2 \rfloor$，每个最小左理想同构于一个简单的 $\mathrm{Cl}_{p,q}$-模。
• 当 $n = p+q$ 为奇数时，单位赝标量 $\mathbf{e}_{12\ldots n}$ 与所有生成元可交换，从而实现正交分解 $\mathrm{Cl}_{p,q} = \mathrm{Cl}_{p,q}c_1 \oplus \mathrm{Cl}_{p,q}c_2$，将其分解为两个单子代数。
• 每个子代数 $\mathrm{Cl}_{p,q}c_i$ 同构于 $\mathrm{Mat}(2^{k-1}, \mathbb{K})$，其中 $\mathbb{K} = \mathbb{R}$ 或 $\mathbb{H}$，具体取决于 $p-q \mod 8$。
• 对于本原幂等元 $f$，除环 $f\mathrm{Cl}_{p,q}f$ 同构于 $\mathbb{R}$、$\mathbb{C}$ 或 $\mathbb{H}$，其类型由 $p-q \mod 8$ 决定。
• 在半单 Clifford 代数中，单旋量空间 $S$ 或 $\hat{S}$ 上的不可约表示并非忠实表示；忠实表示需通过直和 $S \oplus \hat{S}$ 实现，其定义在 $\mathbb{K} \oplus \hat{\mathbb{K}}$ 上。
• 任一元素 $u \in \mathrm{Cl}_{p,q}$ 的矩阵表示可通过代数映射 $\gamma$ 计算得出，借助 CLIFFORD 工具包存储并计算所选本原幂等元对应的生成元矩阵。