[论文解读] The zero divisors of the Cayley-Dickson algebras over the real numbers

R. Guillermo Moreno|ArXiv.org|Oct 8, 1997

Algebraic and Geometric Analysis参考文献 2被引用 50

一句话总结

本文代数刻画了当 $ n \geq 4 $ 时，实数域上的 Cayley-Dickson 代数 $\mathbb{A}_n$ 中的零因子，表明这些代数中范数保持性质的缺失与非交替性，与零因子的存在密切相关。本文确立了零因子源于满足 $ (ay)b = -a(yb) $ 的特殊三元组 $\{a, y, b\}$，并证明 $\mathbb{A}_4$ 中的此类零因子与例外李群 $G_2$（秩为2的例外李群）之间存在一一对应关系。

ABSTRACT

In this paper we describe algebraically the zero divirsors of the Cayley- Dickson algebras $\a_{n}=\erre^{2^n}$ for $n \ge 4$ over the real numbers.

研究动机与目标

• 本文旨在代数描述当 $ n \geq 4 $ 时，Cayley-Dickson 代数 $\mathbb{A}_n$ 中零因子的结构，此时范数保持性质 $\|xy\| = \|x\|\|y\|$ 失效。
• 研究 $\mathbb{A}_n$ 在 $ n \geq 4 $ 时的非结合性与交替性失效如何导致零因子的存在。
• 目标包括通过非零元素 $ a \in \mathbb{A}_n $ 诱导的直和分解对零因子进行分类，特别关注左乘与右乘映射 $ L_a $ 和 $ R_a $ 的核。
• 本文引入并刻画了 $\mathbb{A}_n$ 中的“特殊”零因子，其定义基于三元组 $\{a, y, b\}$ 的正交性与结合子条件，并将其与 $\mathbb{A}_3 = \mathbb{O}$（八元数）嵌入 $\mathbb{A}_n$ 的关系联系起来。
• 本文确立了 $\mathbb{A}_4$ 中所有范数为一的零因子均为特殊零因子，且其集合与例外李群 $G_2$ 同胚。
• 本研究旨在为后续工作中的拓扑与几何应用（包括广义 Hopf 映射与双线性范数映射）奠定代数基础。

提出的方法

• 本文使用 Cayley-Dickson 双倍构造，通过递推方式将 $\mathbb{A}_n$ 定义为 $\mathbb{R}^{2^n}$，其乘法为 $ xy = (x_1y_1 - \overline{y}_2x_2, y_2x_1 + x_2\overline{y}_1) $，其中 $\overline{x} = (\overline{x}_1, -x_2) $。
• 分析非零 $ a $ 的左乘与右乘映射 $ L_a, R_a: \mathbb{A}_n \to \mathbb{A}_n $，表明每个 $ a $ 诱导 $\mathbb{A}_n$ 的直和分解：一个四元数子代数、一个与 $ a $ “交替”的元素子空间，以及核 $\ker L_a = \ker R_a$。
• 证明核 $\ker L_a$ 的维数被 4 整除，且至多为 $ 2^n - 4 $，从而限制了零因子子空间可能的维数。
• 通过满足 $ (ay)b = -a(yb) $ 且 $ a \perp b $ 的正交三元组 $\{a, y, b\} $ 定义特殊零因子，这确保了 $ (a,b) $ 是 $\mathbb{A}_{n+1} $ 中的零因子。
• 本文证明此类三元组通过从 $\mathbb{A}_3 $ 到 $\mathbb{A}_n $ 的显式单同态，生成一个与八元数 $\mathbb{A}_3 = \mathbb{O} $ 同构的子代数。
• 本文确立了 $\mathbb{A}_4 $ 中所有范数为一的零因子均为特殊零因子，且其空间在 $G_2$ 作用于此类三元组下，与例外李群 $G_2$（八元数的自同构群）同胚。

实验结果

研究问题

• RQ1 当 $ n \geq 4 $ 时，$\mathbb{A}_n$ 中零因子的代数结构是什么，此时范数保持性质 $\|xy\| = \|x\|\|y\|$ 失效？
• RQ2 左乘与右乘映射 $ L_a $ 与 $ R_a $ 的核如何与 $\mathbb{A}_n$ 中零因子的存在相关？
• RQ3 在 $\mathbb{A}_n$ 中，三元组 $\{a, y, b\} $ 需满足何种条件，才能确保 $ (a,b) \in \mathbb{A}_{n+1} $ 是零因子？
• RQ4 所有 $\mathbb{A}_4 $ 中范数为一的零因子是否都是满足结合子条件 $ (ay)b = -a(yb) $ 的“特殊”零因子？
• RQ5 $\mathbb{A}_4 $ 中范数为一的零因子集合的拓扑结构是什么？其与例外李群 $G_2$ 的关系如何？

主要发现

• 对任意非零 $ a \in \mathbb{A}_n $，左乘映射的核 $\ker L_a$ 的维数被 4 整除，且至多为 $ 2^n - 4 $，这限制了零因子子空间可能的维数。
• 每个非零 $ a \in \mathbb{A}_n $ 诱导 $\mathbb{A}_n$ 的直和分解：一个四元数子代数 $\mathbb{H}$，一个与 $ a $ “交替”的元素子空间，以及 $\ker L_a = \ker R_a $，即 $ a $ 的零化子。
• 当且仅当三元组 $\{a, y, b\} $ 为正交三元组且满足 $ (ay)b = -a(yb) $ 时，$\mathbb{A}_{n+1} $ 中的零因子 $ (a,b) $ 为特殊零因子，这确保三元组生成一个与八元数 $\mathbb{O} = \mathbb{A}_3 $ 同构的子代数。
• 所有 $\mathbb{A}_4 $ 中范数为一的零因子均为特殊零因子，且此类零因子的集合与例外李群 $G_2$（八元数的自同构群）同胚。
• $\mathbb{A}_n $（$ n \geq 4 $）中零因子的存在性等价于范数保持性质 $\|xy\| = \|x\|\|y\| $ 的失效，而该失效在代数上与代数的非交替性紧密相关。
• 本文证明：若 $ a $ 与 $ b $ 是 $\mathbb{A}_n $ 中范数为一且迹为零的交替元素，则 $\dim \ker L_{(a,b)} \leq 2^n - 4 - 2\dim \ker L_{a+b} $，从而对零因子空间的大小提供了定量上界。