Octonionic structure operator and its right spectrum

技术摘要：八元数结构算子及其右谱

问题陈述
本文研究了由八元数 ($\mathbb{O}$) 非结合代数引起的一个规范谱问题。虽然在结合域（实数、复数、四元数）上的线性代数拥有成熟的谱理论，但由于八元数的非结合性，其情况更为微妙。具体而言，本文研究了一个定义在八元数扩张 $W = \mathbb{O} \otimes_{\mathbb{R}} V$ 上的自然 $G_2$-等变算子 $h$ 的右特征值问题，其中 $V$ 是标准 7 维 $G_2$-模（识别为虚八元数 $\text{Im}\,\mathbb{O}$）。

核心问题是确定满足以下条件的八元数 $\lambda \in \mathbb{O}$ 的集合，其中存在非零向量 $\hat{w} \in W$ 使得：
$$h(\hat{w}) = \hat{w}\lambda$$
与四元数情况不同（在四元数中，厄米特算子通常具有实数右特征值），八元数的非结合性允许即使对于具有强对称性的算子，也会出现连续的非实数右特征值族。本文旨在刻画这种“右谱”的几何结构，并理解它如何反映八元数的异常代数结构。

方法论
分析过程结合了表示论和显式矩阵计算，利用了对称群 $G_2$ 及其子群 $SU(3)$。

1. 算子定义： 算子 $h: W \to W$ 通过八元数乘法张量进行内蕴定义。它通过将 $V$-指标与乘法张量收缩，并在 $\mathbb{O}$-因子上执行左乘来作用。证明 $h$ 是自伴且 $G_2$-等变的。
2. 实谱分析： 通过将 $W$ 分解为不可约 $G_2$-模来计算 $h$ 的普通实谱：$W \cong 1 \oplus 7 \oplus 7 \oplus 14 \oplus 27$。根据舒尔引理（Schur's Lemma），$h$ 在多重性为 1 的求和项（$1, 14, 27$）上表现为标量作用，并在$7 \oplus 7$的同型分量上表现为一个$2 \times 2$ 矩阵。
3. 简化为实谱问题： 为了分析八元数右特征值，作者固定一个单位虚八元数 $\hat{u} \in \text{Im}\,\mathbb{O}$，定义一个复切片 $\mathbb{C}_{\hat{u}} = \mathbb{R} \oplus \mathbb{R}\hat{u} \subset \mathbb{O}$。该切片中的任何特征值都可以写为 $\lambda = \mu + Q\hat{u}$。方程 $h(\hat{w}) = \hat{w}\lambda$ 被重新表述为变形算子的实特征值问题：
   $$H_{u,Q}(\hat{w}) = \mu \hat{w}, \quad \text{其中 } H_{u,Q} = h - Q R_{\hat{u}}$$
   这里 $R_{\hat{u}}$ 表示对 $\hat{u}$ 的右乘。
4. 对称性破缺与块分解： 虽然 $h$ 是 $G_2$-等变的，但算子 $H_{u,Q}$ 仅在 $\hat{u}$ 的稳定子（同构于 $SU(3)$）下是等变的。空间$W$被分解为不可约$SU(3)$-模：$W \cong 1^{\oplus 4} \oplus 6^{\oplus 4} \oplus 8^{\oplus 2} \oplus 12$。谱问题简化为分析$H_{u,Q}$ 在这四个不同块上的作用。

关键结果

1. 实谱： $h$ 的普通实谱是离散的，由五个不同的特征值组成：
   $$\text{Spec}_{\mathbb{R}}(h) = \left\{ -7, -4, 0, \frac{1 - \sqrt{33}}{2}, \frac{1 + \sqrt{33}}{2} \right\}$$
   这些分别对应于 $1, 14, 27$求和项上的标量作用以及$7 \oplus 7$上$2 \times 2$ 块的特征值。

2. 八元数右谱： 非实数右谱（其中 $Q \neq 0$）不是离散集，而是位于 $(\mu, Q)$ 平面上的特定代数轨迹上的连续族。对 $SU(3)$-块的分析得出：

   • **$12$-块和$6^{\oplus 4}$-块：** 对于$Q \neq 0$，它们不贡献非实数右特征值。
   • $1^{\oplus 4}$-块： 贡献一个由下式定义的四次曲线：
     $$\mu^4 + 6\mu^3 + (2Q^2 - 15)\mu^2 + (6Q^2 - 56)\mu + Q^4 + Q^2 = 0$$
   • $8^{\oplus 2}$-块： 贡献一个由下式定义的圆：
     $$(\mu + 2)^2 + Q^2 = 4$$

3. 全局结构： 全部的右谱通过选定的单位虚方向 $\hat{u}$ 的 $G_2$-轨道将这些平面轨迹进行旋转得到。由于 $G_2$ 在 $\text{Im}\,\mathbb{O}$ 单位球面上传递作用，谱形成一个 $G_2$-不变超曲面。其定义方程可以使用迹 $T(\lambda) = \lambda + \bar{\lambda}$ 和范数 $N(\lambda) = \lambda\bar{\lambda}$ 来表达：

   • 四次分量：$N(\lambda)^2 + (3T(\lambda) + 1)N(\lambda) - 4T(\lambda)^2 - 28T(\lambda) = 0$
   • 圆分量：$N(\lambda) + 2T(\lambda) = 0$

4. 特征空间维度： 文中详细说明了特征空间 $E_\lambda = \ker(h - R_\lambda)$ 的维度。对于四次曲线上的泛点，$\dim E_\lambda = 1$。对于圆上的点，$\dim E_\lambda = 8$。在这些轨迹的三个交点处（一个实点，两个非实点），维度之和为 9。

意义与主张

本文声称提供了一个“真正的非结合行为”的具体实例。与四元数情况不同（在四元数中，仅由非交换性并不一定会迫使厄米特算子具有非实谱），八元数算子 $h$ 展示了连续的非实数右特征值族。

其意义在于以下几点：

• 对称性驱动的描述： 谱轨迹并非特定矩阵模型的产物，而是通过固定复切片后，$G_2$ 表示向 $SU(3)$ 的分支作用自然产生的。
• 与结合情况的对比： 该工作强调了，即使对于一个自伴且 $G_2$-等变的算子，八元数右谱也是一个连续的几何对象（一个四次曲线和一个圆的并集），而非离散的点集。
• 几何解释： 算子 $h$ 被视为 $G_2$-流形上八元数丛上算子的逐点模型。谱轨迹代表了算子 $h$ 与右乘八元数之间的“对齐”，编码了关于非结合结构的几何信息，而这些信息在实数或复数公式中是不可见的。
• 方法论区别： 本方法不同于现有的关于小型八元数厄米特矩阵（例如 $2 \times 2$ 或 $3 \times 3$）的文献，它通过从表示空间上的规范算子出发，并将表示论作为主要的组织原则，而非依赖于行列式恒等式或特定的矩阵模型。

文章得出结论，$h$ 的右谱是探测非结合性如何进入算子理论的探针，其产生的谱几何受控于 $G_2$ 对称性与复切片选择之间的相互作用。