[논문 리뷰] Constructing zero divisors in the higher dimensional Cayley-Dickson algebras

Guillermo Moreno|ArXiv.org|2005. 12. 22.

Algebraic and Geometric Analysis참고 문헌 3인용 수 6

한 줄 요약

이 논문은 $n \geq 5$인 고차원 케일리-딕슨 대수 $\mathcal{A}_n$에서 이중 순수 원소 위의 좌측 및 우측 곱 연산자에 대한 스펙트럼 분석을 이용하여 영약수를 구성한다. 비영이면서 이중 순수인 원소의 스펙트럼에 0이 포함되어 있는 것은 그 원소가 영약수임과 필요충분조건임을 규명하고, $\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.

연구 동기 및 목표

• 고차원 케일리-딕슨 대수 $\mathcal{A}_n$에서 $n \geq 5$인 경우, 이전에 체계적인 묘사가 없었던 영약수를 식별하기 위한 구축적 방법을 개발한다.
• $\mathcal{A}_{n+1}$에서 영약수의 구조를 복소 스티펠 맨포ลด라 $W_{m,2}$($m = 2^{n-1} - 1$)와 연결하여, $\mathcal{A}_4$에서 알려진 결과를 확장한다.
• $\mathcal{A}_n$의 이중 순수 원소 위의 좌측 및 우측 곱 연산자의 스펙트럼을 분석하여, 이러한 원소가 영약수일 조건을 규명한다.
• 영약수 집합과 실수 스티펠 맨포ลด라 $V_{2^n - 1, 2}$ 사이의 관계를 명확히 하여, $n > 4$일 경우 이들이 같지는 않지만 관련이 있음을 보인다.
• $\mathcal{A}_4$에서의 영약수 관련 이전 결과를 고차원으로 일반화하여, 특히 $\mathcal{A}_n$의 모든 비영 순수 원소가 $\mathcal{A}_{n+1}$에서 영약수 쌍의 일부임을 증명한다.

제안 방법

• 비영 이중 순수 원소의 스펙트럼을 좌측 및 우측 곱 연산자의 고유값에서 유도된 $2^{n-2} - 1$개의 음이 아닌 실수로 정의한다.
• 이중 순수 원소의 공간 $\widetilde{\mathcal{A}}_n$에 $O(2)$-작용을 도입하여, 같은 궤도에 속한 원소는 동일한 스펙트럼과 소거자를 가짐을 보인다.
• $\mathcal{H}_n(x,y) = 2\langle x,y \rangle - 2i\langle \widetilde{x}, y \rangle$의 허미트 내적을 $\widetilde{\mathcal{A}}_n$에 정의하고, $m = 2^{n-1} - 1$일 때 복소 스티펠 맨포ลด라 $W_{m,2}$를 노름 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$는 $r^2 + s^2 = 1$ 조건 하에 $a = r c \mp s \widetilde{e}_0$로 표현 가능하며, $c$가 이중 순수이면 이러한 $a$는 $\mathcal{A}_{n+1}$에서 영약수 쌍의 일부임을 보인다.
• 만일 $a, b \in {}_0\mathcal{A}_n$이면서 $a \perp b$이고 $|a| = |b| \neq 0$이면, 스펙트럼 및 직교 분해에서 유도된 특정 대수적 조건을 만족할 경우 $(a,b)$는 $\mathcal{A}_{n+1}$에서 영약수임을 보여준다.

실험 결과

연구 질문

• RQ1 $\mathcal{A}_4$와 유사한 묘사가 없는 $n \geq 5$인 $\mathcal{A}_n$에서 영약수를 체계적으로 구성할 수 있는가?
• RQ2 $\mathcal{A}_n$의 이중 순수 원소의 스펙트럼은 그 원소가 영약수임과 어떤 관련이 있는가?
• 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$개의 음이 아닌 실수로 구성되며, 원소가 영약수임과 필요충분조건은 그 스펙트럼에 0이 포함되어 있는 것이다.
• $\mathcal{A}_n$의 모든 비영 순수 원소는 $\mathcal{A}_{n+1}$에서 영약수의 성분이며, 즉 각각의 such $a$에 대해 $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$이면 $b = s \lambda c \pm r \widetilde{e}_0$($\lambda \in \text{Spec}(c)$)와 함께 $a$는 $\mathcal{A}_{n+1}$에서 영약수 쌍의 일부이며, 이는 이전 결과를 일반화한다.