[論文レビュー] Constructing zero divisors in the higher dimensional Cayley-Dickson algebras

Guillermo Moreno|ArXiv.org|Dec 22, 2005

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

ひとこと要約

この論文は、$n \geq 5$ における高次元のカーレイ・ディクソン代数 $\mathcal{A}_n$ において、二重純粋な要素上の左および右乗算作用素のスペクトル解析を用いて、ゼロ因子を構成する。非ゼロの二重純粋な要素のスペクトルにゼロが含まれるための必要十分条件がゼロ因子であることであると示され、$\mathcal{A}_n$ のすべての非ゼロ純粋な要素が $\mathcal{A}_{n+1}$ におけるゼロ因子の成分であることが示され、$m = 2^{n-1} - 1$ である複素スタイフェル多様体 $W_{m,2}$ と関連づけられる。これらの結果は、$\mathcal{A}_4$ における先行研究を拡張し、$n=4$ を超える範囲でのゼロ因子とスタイフェル多様体の複雑な関係を明確にする。主な貢献は、$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$ におけるカーレイ・ディクソン代数 $\mathcal{A}_n$ におけるゼロ因子を特定する構成的技法を開発すること。これは、$\mathcal{A}_4$ に類似した記述が存在しなかったためである。
• $\mathcal{A}_{n+1}$ におけるゼロ因子の構造を、$m = 2^{n-1} - 1$ である複素スタイフェル多様体 $W_{m,2}$ と関連づけること。これは、$\mathcal{A}_4$ における既知の結果を拡張するものである。
• $\mathcal{A}_n$ の二重純粋な要素における左および右乗算作用素のスペクトルを分析し、そのスペクトルを用いて、このような要素がゼロ因子である条件を同定すること。
• ゼロ因子の集合と実スタイフェル多様体 $V_{2^n - 1, 2}$ の間の関係を明確にすること。$n > 4$ の場合、これらは等しくないが関連していることを示す。
• $\mathcal{A}_4$ におけるゼロ因子に関する先行結果を高次元に一般化すること。特に、$\mathcal{A}_n$ のすべての非ゼロ純粋な要素が $\mathcal{A}_{n+1}$ におけるゼロ因子ペアの一部であることを証明すること。

提案手法

• 非ゼロの二重純粋な要素 $c \in \mathcal{A}_n$ のスペクトルを、左および右乗算作用素の固有値から得られる $2^{n-2} - 1$ 個の非負実数の集合として定義する。
• $\widetilde{\mathcal{A}}_n$（二重純粋な要素の空間）に $O(2)$-作用を導入し、同じ軌道に属する要素は同一のスペクトルおよび消滅子を持つことを示す。
• $\widetilde{\mathcal{A}}_n$ 上にヘルミート内積 $\mathcal{H}_n(x,y) = 2\langle x,y \rangle - 2i\langle \widetilde{x}, y \rangle$ を構成し、$m = 2^{n-1} - 1$ のとき、複素スタイフェル多様体 $W_{m,2}$ が $\mathcal{H}_n(x,y) = 0$ を満たすノルム1のペアとして同定されることを示す。
• もし $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, b$ が $a \perp b$ かつ $|a| = |b| \neq 0$ を満たすとき、スペクトル的および直交分解に基づく特定の代数的条件を満たせば、$(a,b)$ は $\mathcal{A}_{n+1}$ におけるゼロ因子であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{A}_4$ に類似した記述が存在しない $n \geq 5$ における $\mathcal{A}_n$ のゼロ因子を体系的に構成することは可能か？
• RQ2 二重純粋な要素のスペクトルは、それがゼロ因子であることにどのように関係しているか？
• RQ3 $\mathcal{A}_{n+1}$ におけるゼロ因子の集合と複素スタイフェル多様体 $W_{2^{n-1}-1,2}$ の正確な関係は何か？
• RQ4 $n > 4$ の場合、$\widetilde{\mathcal{A}}_{n+1}$ に属するノルム1の要素であるスタイフェル要素はすべてゼロ因子であるか、それとも例外があるか？
• RQ5 非ゼロ純粋な要素 $a \in {}_0\mathcal{A}_n$ が与えられたとき、$a \perp b$ かつ $|b| = |a|$ を満たす任意の $b \in {}_0\mathcal{A}_n$ は、$\mathcal{A}_{n+1}$ において必ずゼロ因子ペアの一部であるか？

主な発見

• 非ゼロの二重純粋な要素のスペクトルは、$2^{n-2} - 1$ 個の非負実数から構成され、その要素がゼロ因子であるための必要十分条件は、そのスペクトルにゼロが含まれることである。
• $\mathcal{A}_n$ のすべての非ゼロ純粋な要素は、$\mathcal{A}_{n+1}$ におけるゼロ因子の成分である。つまり、任意の such $a$ に対して、$\mathcal{A}_{n+1}$ において $ab = 0$ を満たす $b \neq 0$ が存在する。
• $\mathcal{A}_{n+1}$ におけるノルム1のゼロ因子ペアの集合は、ヘルミート形式 $\mathcal{H}_n(x,y) = 0$ を通じて、$m = 2^{n-1} - 1$ に対応する複素スタイフェル多様体 $W_{m,2}$ と一対一対応する。
• 任意の非ゼロの二重純粋な $c \in \widetilde{\mathcal{A}}_n$ に対して、$\lambda \in \text{Spec}(c)$ であれば、$(c, \lambda \widetilde{e}_0)$ は $\mathcal{A}_{n+1}$ におけるゼロ因子である。これは一般化された構成法を提供する。
• 実スタイフェル多様体 $V_{2^n - 1, 2}$ は $\mathcal{A}_n$ のノルム1の純粋なペアをパラメトライズするが、$n > 4$ の場合、$\mathcal{A}_{n+1}$ におけるゼロ因子の集合はこの多様体と等しくない。しかし、スペクトル的および直交的条件を通じて関連している。
• $c$ が二重純粋で $r^2 + s^2 = 1$ であれば、$a = r c \mp s \widetilde{e}_0$ は、$\lambda \in \text{Spec}(c)$ に対して $b = s \lambda c \pm r \widetilde{e}_0$ と組むことで、$\mathcal{A}_{n+1}$ におけるゼロ因子ペアの一部である。これは先行研究を一般化する。