[논문 리뷰] The zero divisors of the Cayley-Dickson algebras over the real numbers

R. Guillermo Moreno|ArXiv.org|1997. 10. 08.

Algebraic and Geometric Analysis참고 문헌 2인용 수 50

한 줄 요약

이 논문은 실수 위의 케일리-딕슨 대수 $\mathbb{A}_n$ 에서 $n \geq 4$ 일 때, 영약수의 대수적 특성을 기술하며, 이 대수에서 노름 보존 성질의 결여와 비결합성은 영약수의 존재와 깊이 연결되어 있음을 보여준다. 영약수는 특수한 삼중체 $\{a, y, b\}$ 에 의해 발생하며, 이 삼중체는 $ (ay)b = -a(yb) $ 를 만족한다. 또한 $\mathbb{A}_4$ 에서의 이러한 영약수는 자동사상군 $G_2$ 와 일대일 대응되며, 이는 특수한 예외적 리군으로서의 차원 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$ 를 만족한다. 이 조건은 $ (a,b) $ 가 $\mathbb{A}_{n+1}$ 에서 영약수임을 보장한다.
• . 이 논문은 이러한 삼중체가 $\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$ 의 모든 영약수 중에서 노름이 1인 것은 연관자 조건 $ (ay)b = -a(yb) $ 를 만족하는 특수한 영약수인가?
• RQ5 . $\mathbb{A}_4$ 에서 노름이 1인 영약수의 집합의 위상적 구조는 무엇이며, 예외적 리군 $G_2$ 와 어떻게 관련되어 있는가?

주요 결과

• . 임의의 비영인 $a \in \mathbb{A}_n$ 에 대해 좌측 곱의 핵 $\ker L_a$ 는 4의 배수이며, 최대 $2^n - 4$ 이며, 이는 영약수 부분공간의 가능한 차원을 제약한다.
• . 모든 비영인 $a \in \mathbb{A}_n$ 은 $\mathbb{A}_n$ 을 허수부 대수 $\mathbb{H}$, $a$ 와 '교환'되는 원소들의 부분공간, 그리고 $\ker L_a = \ker R_a$ 로의 직합 분해를 유도하며, 이는 $a$ 의 소멸자이다.
• . $\mathbb{A}_{n+1}$ 에서의 영약수 $ (a,b) $ 는 삼중체 $\{a, y, b\}$ 가 정규직교이며 $ (ay)b = -a(yb) $ 를 만족할 때에만 특수하다. 이 조건은 삼중체가 옥타니온 $\mathbb{O} = \mathbb{A}_3$ 와 동형인 부분대수를 생성함을 보장한다.
• . $\mathbb{A}_4$ 에서 노름이 1인 모든 영약수는 특수하며, 이러한 영약수의 집합은 예외적 리군 $G_2$ 와 위상동형이다. 이는 옥타니온의 자동사상군으로서의 $G_2$ 와 관련된다.
• . $n \geq 4$ 에서 $\mathbb{A}_n$ 에서의 영약수 존재는 노름 보존 성질 $\|xy\| = \|x\|\|y\|$ 의 실패와 동치이며, 이 실패는 대수적으로 대수의 비결합성과 연결되어 있다.
• . 이 논문은 $a$ 와 $b$ 가 노름이 1이고 추적이 0인 대체 원소일 경우, $\dim \ker L_{(a,b)} \leq 2^n - 4 - 2\dim \ker L_{a+b}$ 를 증명하며, 영약수 부분공간의 크기에 대한 정량적 한계를 제공한다.