[论文解读] Constructing zero divisors in the higher dimensional Cayley-Dickson algebras

Guillermo Moreno|ArXiv.org|Dec 22, 2005

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

一句话总结

该论文通过分析双纯元素上的左乘和右乘算子的谱，构建了高维Cayley-Dickson代数 $\mathcal{A}_n$（$n \geq 5$）中的零因子。研究证明，非零双纯元素的谱包含零当且仅当该元素是零因子，并表明 $\mathcal{A}_n$ 中所有非零纯元素都是 $\mathcal{A}_{n+1}$ 中零因子的组成部分，且这些零因子与复Stiefel流形 $W_{m,2}$（$m = 2^{n-1} - 1$）相关联。该成果扩展了对 $\mathcal{A}_4$ 的先前研究，澄清了 $n>4$ 时零因子与Stiefel流形之间的复杂数学关系。主要贡献在于为 $n > 4$ 的 $\mathcal{A}_n$ 提供了一套系统化的零因子生成方法，此前尚无类似描述。

ABSTRACT

In this paper we give new methods to construct zero divisors in A_n =R^(2^n) the Cayley_Dickson algebras over the real numbers, for n larger than 4, and we also relate the set of zero divisors in A_{n+1} with the Stiefel Manifold V_{2^n -1,2} for n>3. We also introduce the notion of "Spectrum" (of a no zero double pure element) wich synthesize the information regarding the structure of the linear operators left and right multiplication by the element. We use this as a main technical tool to construct the zero divisors.

研究动机与目标

• 为 $n \geq 5$ 的Cayley-Dickson代数 $\mathcal{A}_n$ 开发构造性方法，以识别其中的零因子，因为此前尚未存在系统性的描述。
• 将 $\mathcal{A}_{n+1}$ 中零因子的结构与复Stiefel流形 $W_{m,2}$（$m = 2^{n-1} - 1$）联系起来，扩展已知的 $\mathcal{A}_4$ 结果。
• 分析 $\mathcal{A}_n$ 中双纯元素上左乘与右乘算子的谱，利用该谱确定此类元素是否为零因子。
• 澄清零因子集合与实Stiefel流形 $V_{2^n - 1, 2}$ 之间的关系，表明二者相关但不相等（$n > 4$ 时）。
• 将先前关于 $\mathcal{A}_4$ 中零因子的结果推广至更高维，特别是证明 $\mathcal{A}_n$ 中每个非零纯元素都是 $\mathcal{A}_{n+1}$ 中零因子对的组成部分。

提出的方法

• 将 $\mathcal{A}_n$ 中非零双纯元素的谱定义为左乘与右乘算子特征值导出的 $2^{n-2} - 1$ 个非负实数集合。
• 在双纯元素空间 $\widetilde{\mathcal{A}}_n$ 上引入 $O(2)$-作用，证明同一轨道中的元素具有相同的谱与零化子。
• 在 $\widetilde{\mathcal{A}}_n$ 上构造一个Hermite内积 $\mathcal{H}_n(x,y) = 2\langle x,y \rangle - 2i\langle \widetilde{x}, y \rangle$，并证明复Stiefel流形 $W_{m,2}$（$m = 2^{n-1} - 1$）可被识别为满足 $\mathcal{H}_n(x,y) = 0$ 的单位范数对的集合。
• 证明若 $c \in \widetilde{\mathcal{A}}_n$ 为双纯元素且 $\lambda \in \text{Spec}(c)$，则 $(c, \lambda \widetilde{e}_0)$ 是 $\mathcal{A}_{n+1}$ 中的零因子，从而提供一种通用构造方法。
• 利用任一非零纯元素 $a \in {}_0\mathcal{A}_n$ 可表示为 $a = r c \mp s \widetilde{e}_0$（其中 $r^2 + s^2 = 1$）的事实，证明若 $c$ 为双纯元素，则此类 $a$ 在 $\mathcal{A}_{n+1}$ 中是零因子对的一部分。
• 证明对于 ${}_0\mathcal{A}_n$ 中满足 $a \perp b$ 且 $|a| = |b| \neq 0$ 的 $a, b$，在由谱分解与正交分解导出的特定代数条件下，$(a,b)$ 是 $\mathcal{A}_{n+1}$ 中的零因子。

实验结果

研究问题

• RQ1 在缺乏类似 $\mathcal{A}_4$ 的已知描述的情况下，能否系统性地构造 $n \geq 5$ 时 $\mathcal{A}_n$ 中的零因子？
• RQ2 双纯元素在 $\mathcal{A}_n$ 中的谱与其是否为零因子之间有何关系？
• RQ3 零因子集合与复Stiefel流形 $W_{2^{n-1}-1,2}$ 之间的精确关系是什么？
• RQ4 对于 $n > 4$，$\widetilde{\mathcal{A}}_{n+1}$ 中所有范数为1的Stiefel元素是否都是零因子，还是存在例外？
• RQ5 给定一个非零纯元素 $a \in {}_0\mathcal{A}_n$，是否每个满足 $a \perp b$ 且 $|b| = |a|$ 的 $b \in {}_0\mathcal{A}_n$ 都必然是 $\mathcal{A}_{n+1}$ 中零因子对的一部分？

主要发现

• $\mathcal{A}_n$ 中非零双纯元素的谱由 $2^{n-2} - 1$ 个非负实数组成，且该元素是零因子当且仅当其谱中包含零。
• $\mathcal{A}_n$ 中所有非零纯元素都是 $\mathcal{A}_{n+1}$ 中零因子的组成部分，即对每个此类 $a$，存在 $b \neq 0$ 使得 $ab = 0$ 在 $\mathcal{A}_{n+1}$ 中成立。
• $\mathcal{A}_{n+1}$ 中单位范数零因子对的集合通过Hermite形式 $\mathcal{H}_n(x,y) = 0$ 与复Stiefel流形 $W_{m,2}$（$m = 2^{n-1} - 1$）之间存在双射关系。
• 对任意非零双纯元素 $c \in \widetilde{\mathcal{A}}_n$，只要 $\lambda \in \text{Spec}(c)$，则 $(c, \lambda \widetilde{e}_0)$ 是 $\mathcal{A}_{n+1}$ 中的零因子，从而提供一种通用构造方法。
• 实Stiefel流形 $V_{2^n - 1, 2}$ 参数化了 $\mathcal{A}_n$ 中的单位范数纯元素对，但 $\mathcal{A}_{n+1}$ 中的零因子集合在 $n > 4$ 时不等于该流形，尽管二者通过谱条件与正交条件相关联。
• 若 $a = r c \mp s \widetilde{e}_0$，其中 $c$ 为双纯元素且 $r^2 + s^2 = 1$，则 $a$ 在 $\mathcal{A}_{n+1}$ 中与 $b = s \lambda c \pm r \widetilde{e}_0$（$\lambda \in \text{Spec}(c)$）构成零因子对，从而推广了先前结果。