[論文レビュー] 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$ における実数上のカーレイ・ディクソン代数 $\mathbb{A}_n$ における零因子を代数的に特徴づけ、その代数的性質がノルム保存性の欠如と非代数的性質の両者と深く関係していることを示している。零因子は特別な三つ組 $\{a, y, b\}$ によって生じ、$ (ay)b = -a(yb) $ を満たすものであり、$\mathbb{A}_4$ における零因子は例外的リー群 $G_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.

研究の動機と目的

• この論文の目的は、ノルム保存性 $\|xy\| = \|x\|\|y\|$ が成り立たない $n \geq 4$ のカーレイ・ディクソン代数 $\mathbb{A}_n$ における零因子の代数的構造を記述することにある。
• ノルム保存性の欠如と $n \geq 4$ のときの非結合的性質および非代数的性質が、零因子の存在にどのように寄与するかを調査すること。
• 非ゼロ元 $a \in \mathbb{A}_n$ による直接和分解を用いた零因子の分類、特に左乗法と右乗法の写像 $L_a$ と $R_a$ の核に注目すること。
• 三つ組 $\{a, y, b\}$ を用いた直交性と結合子条件を満たす「特別な」零因子を定義し、それらが八元数 $\mathbb{O} = \mathbb{A}_3$ の $\mathbb{A}_n$ への埋め込みと関係することを示すこと。
• $\mathbb{A}_4$ におけるノルムが1のすべての零因子が特別であることを示し、その集合が例外的リー群 $G_2$ と位相的に同相であることを確立すること。
• 今後の研究における位相的・幾何的応用、例えば一般化されたホップ写像や双線形ノルム写像のための代数的基盤を構築すること。

提案手法

• 論文はカーレイ・ディクソン倍加構成を用い、$\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$ 以下であることが示され、零因子部分空間の可能な次元を制限する。
• 特別な零因子は、正規直交三つ組 $\{a, y, b\}$ が $ (ay)b = -a(yb) $ を満たし、$a \perp b$ である場合に定義され、これにより $\mathbb{A}_{n+1}$ における $ (a,b) $ が零因子であることが保証される。
• このような三つ組が、$\mathbb{A}_3$ から $\mathbb{A}_n$ への明示的なモノモルフィズムを介して八元数 $\mathbb{A}_3 = \mathbb{O}$ と同型な部分代数を生成することを証明している。
• $\mathbb{A}_4$ におけるノルム1のすべての零因子が特別であることを示し、$G_2$、八元数の自己同型群がその三つ組の作用を通じて、それらの空間が $G_2$ と位相的に同相であることを確立している。

実験結果

リサーチクエスチョン

• RQ1 ノルム保存性 $\|xy\| = \|x\|\|y\|$ が成り立たない $n \geq 4$ の $\mathbb{A}_n$ における零因子の代数的構造は何か？
• 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$ におけるノルム1の零因子の集合の位相的構造は何か？また、それは例外的リー群 $G_2$ とどのように関係するか？

主な発見

• $\mathbb{A}_n$ の非ゼロ $a$ に対する左乗法の核 $\ker L_a$ の次元は4の倍数であり、$2^n - 4$ 以下である。これは零因子部分空間の可能な次元を制限する。
• $\mathbb{A}_n$ の任意の非ゼロ $a$ は、四元数代数 $\mathbb{H}$ のコピー、$a$ と「交互に作用する」要素の部分空間、および $\ker L_a = \ker R_a$（$a$ の消滅子）に $\mathbb{A}_n$ を直接和分解する。
• $\mathbb{A}_{n+1}$ における零因子 $ (a,b) $ が特別であるための必要十分条件は、三つ組 $\{a, y, b\}$ が正規直交であり、$ (ay)b = -a(yb) $ を満たすことである。この条件により、三つ組は八元数 $\mathbb{O} = \mathbb{A}_3$ と同型な部分代数を生成する。
• $\mathbb{A}_4$ におけるノルム1のすべての零因子は特別であり、その集合は例外的リー群 $G_2$（八元数の自己同型群）と位相的に同相である。
• $n \geq 4$ の $\mathbb{A}_n$ における零因子の存在は、ノルム保存性 $\|xy\| = \|x\|\|y\|$ の欠如と同値であり、この欠如は代数的に代数的性質の非代数的性質と関係している。
• $\mathbb{A}_n$ のノルム1でトレースが0の代数的元 $a$ と $b$ に対して、$\dim \ker L_{(a,b)} \leq 2^n - 4 - 2\dim \ker L_{a+b}$ が成り立つことを証明しており、零因子空間のサイズに対する定量的評価を与えている。