Octonionic structure operator and its right spectrum

技術要約：オクトニオン構造作用素とその右スペクトル

問題提起
本論文は、非結合代数であるオクトニオン（$\mathbb{O}$）から生じる標準的なスペクトル問題を調査するものである。実数体や複素数体、あるいは四元数体のような結合代数上の線形代数には、確立されたスペクトル理論が存在するが、オクトニオンの場合は非結合性によりより複雑なものとなる。具体的には、本論文では、オクトニオンの拡張空間 $W = \mathbb{O} \otimes_{\mathbb{R}} V$（ここで $V$ は標準的な7次元 $G_2$ 加群であり、虚オクトニオン $\text{Im}\,\mathbb{O}$ と同一視される）上で定義された、自然な $G_2$ 等変作用素 $h$ に対する右固有値問題を扱う。

中心となる問いは、非ゼロのベクトル $\hat{w} \in W$ に対して以下を満たすオクトニオン $\lambda \in \mathbb{O}$ の集合を決定することである：
$$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$ 加群へと分解することで、通常の（実数）スペクトルが計算される：$W \cong 1 \oplus 7 \oplus 7 \oplus 14 \oplus 27$。シュアの補題により、$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}$ のこれら4つの異なるブロックへの作用を分析することに帰着する。

主要な結果

1. 実スペクトル: $h$ の通常の（実数）スペクトルは離散的であり、以下の5つの異なる固有値からなる：
   $$\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}$ 内の単位球面に対して推移的に作用するため、スペクトルは $\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. 固有空間の次元: 本論文では、固有空間の次元 $\dim E_\lambda = \dim \ker(h - R_\lambda)$ について詳述している。四次曲線の一般的な点において $\dim E_\lambda = 1$ である。円上の点においては $\dim E_\lambda = 8$ である。これらの軌跡の3つの交点（1つの実数点と2つの非実数点）において、次元の和は9となる。

意義と主張
本論文は、「真に非結合的なスペクトル挙動」の具体的な例を提供すると主張している。非可換性のみではエルミート作用素の非実数スペクトルを強制しない四元数のケースとは異なり、オクトニオン作用素 $h$ は、連続的な非実数右固有値の族を示す。

その意義は以下の点にある：

• 対称性に駆動された記述: スペクトルの軌跡は、特定の行列モデルの副産物ではなく、複素スライスを固定した際の $G_2$ 表現の分岐から自然に生じるものである。
• 結合的なケースとの対比: 本研究は、自己共役かつ $G_2$ 等変な作用素であるにもかかわらず、オクトニオンの右スペクトルが（離散的な点の集合ではなく）連続的な幾何学的対象（四次曲線と円の和集合）であることを浮き彫りにしている。
• 幾何学的解釈: 作用素 $h$ は、$G_2$ 多様体上のオクトニオン束上の作用素の点ごとのモデルと見なされる。スペクトルの軌跡は、作用素 $h$ と右乗法による $\lambda$ の間の「整列」を表しており、実数または複素数の定式化では不可視な、非結合構造に関する幾何学的情報をエンコードしている。
• 方法論的な区別: 本アプローチは、既存の小さなオクトニオン・エルミート行列（例：$2 \times 2$ や $3 \times 3$）に関する文献とは異なり、行列の恒等式や特定の行列モデルに頼るのではなく、表現論を主要な組織原理として用い、表現空間上の標準的な作用素から出発している。

結論として、本論文は、$h$ の右スペクトルが、非結合性が作用素論にどのように入り込むかを探るためのプローブ（探針）として機能することを示しており、得られるスペクトル幾何学は、$G_2$ 対称性と複素スライスの選択との相互作用によって制御されている。