[논문 리뷰] The sextonions and $E_{7\frac 12}$

J. M. Landsberg, Laurent Manivel|ArXiv.org|2004. 02. 10.

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

한 줄 요약

이 논문은 6차원 대수인 세크스온을 소개하며, 푸르던탈의 마법의 정사각형에 빈칸이었던 행을 메우고, $\mathfrak{e}_7$와 $\mathfrak{e}_8$ 사이에 위치하는 중간 리 대수 $\mathfrak{e}_{7\frac{1}{2}}$를 구성한다. 저자들은 이 대수가 예외적 리 대수의 핵심 차원 및 분해 공식을 만족하며, 옥토니언 내의 고정점 및 허수하이퍼복소수 하위대수의 기하학적 해석을 제공한다.

ABSTRACT

We fill in the "hole" in the exceptional series of Lie algebras that was observed by Cvitanovic, Deligne, Cohen and deMan. More precisely, we show that the intermediate Lie algebra between $E_7$ and $E_8$ satisfies some of the decomposition and dimension formulas of the exceptional simple Lie algebras. A key role is played by the sextonions, a six dimensional algebra between the quaternions and octonions. Using the sextonions, we show simliar results hold for the rows of an expanded Freudenthal magic chart. We also obtain new interpretations of the adjoint variety of the exceptional group $G_2$.

연구 동기 및 목표

• Cvitanovic, Deligne, Cohen, deMan이 밝힌 예외적 리 대수의 시리즈에서 빈자리가 된 차원 6의 조합 대수를 메우기 위한 것이다.
• 쿼터니언과 옥토니언 사이에 있는 비결합 6차원 대수인 세크스온 대수를 정의하고 연구하기 위한 것이다.
• 세크스온에 삼중성(삼중대칭)을 적용하여 $\mathfrak{e}_7$와 $\mathfrak{e}_8$ 사이에 위치하는 중간 리 대수 $\mathfrak{e}_{7\frac{1}{2}}$를 구성하기 위한 것이다.
• 세크스온을 기반으로 한 새로운 행을 푸르던탈의 마법의 정사각형에 확장하고, 예외적 리 대수의 차원 및 분해 공식이 여전히 성립하는지 검증하기 위한 것이다.
• 옥토니언 내의 고정점 및 허수하이퍼복소수 하위대수를 세크스온을 활용해 $G_2$의 고정점 다양체와 관련된 기하학적 해석을 제공하기 위한 것이다.

제안 방법

• 옥토니온의 부분대수로 구성된 복소수 위의 비결합 6차원 대수로서 세크스온 대수를 정의한다.
• 문헌 [24]의 삼중성 구성법을 사용하여 중간 리 대수 $\mathfrak{g} = \mathfrak{h} \oplus \overline{\mathfrak{g}}_1 \oplus \overline{\mathfrak{g}}_2$를 정의한다. 여기서 $\mathfrak{h}$는 $\mathfrak{e}_8$의 $\mathbb{Z}$-분할에서의 단순비단순 부분이다.
• 세크스온에 기반한 $\overline{\mathfrak{g}} = \mathfrak{e}_8$의 5단계 분할을 적용하여 중간 대수 $\mathfrak{g}$를 $\mathfrak{h} \oplus \overline{\mathfrak{g}}_1 \oplus \overline{\mathfrak{g}}_2$로 정의하며, $\overline{\mathfrak{g}}_2 \simeq \mathbb{C}$임을 이용한다.
• 고정점 다양체 $X^{ad}(\mathfrak{g})$를 $\mathbb{P}\mathfrak{g}$ 내의 최고 무게 벡터의 궤도의 폐쇄로 정의한다. 이는 고정점 표현 내의 직선을 매개변수화한다.
• 기하학적 구조 $G_{\omega}(\mathbb{H}^3, \mathbb{H}^6)$와 $G_{\omega}(\SS^3, \SS^6)$를 이용하여 $\mathfrak{e}_{7\frac{1}{2}}$의 고정점 다양체를 $PSp(6,\SS)$-동형 다양체로 기술한다.
• 선호되는 표현에 대한 최고 무게 벡터의 궤도 폐쇄를 분석하여, 차원 25인 새로운 세버리 다양체를 규명한다.

실험 결과

연구 질문

• RQ1 쿼터니언과 옥토니언 사이에 6차원 조합 대수가 존재하는가? 존재한다면, 어떤 대수적·기하학적 구조를 지닌다?
• RQ2 세크스온에서 삼중성을 적용하여 중간 리 대수 $\mathfrak{e}_{7\frac{1}{2}}$를 구성할 수 있으며, 이 대수가 예외적 리 대수의 핵심 성질을 만족하는가?
• RQ3 세크스온을 기반으로 한 푸르던탈의 마법의 정사각형의 새로운 행에 대해, 예외적 리 대수의 차원 및 분해 공식이 유지되는가?
• RQ4 옥토니온 내의 세크스온 하위대수를 활용하여 $G_2$의 고정점 다양체를 어떻게 기하학적으로 해석할 수 있는가?
• RQ5 $\mathfrak{e}_{7\frac{1}{2}}$의 고정점 표현에서 최고 무게 벡터의 궤도 폐쇄의 기하학은 어떠한가? 이는 새로운 세버리 다양체를 유도하는가?

주요 결과

• 세크스온 대수는 쿼터니언과 옥토니언 사이에 위치하는 비결합 6차원 대수이며, 삼중성 구성법을 지원한다.
• 중간 리 대수 $\mathfrak{e}_{7\frac{1}{2}}$는 $\mathfrak{h} \oplus \overline{\mathfrak{g}}_1 \oplus \overline{\mathfrak{g}}_2$로 구성되며, $\overline{\mathfrak{g}} = \mathfrak{e}_8$에 대해 $\mathfrak{h} = [\overline{\mathfrak{g}}_0, \overline{\mathfrak{g}}_0]$이다. 이는 $\mathfrak{e}_7$와 $\mathfrak{e}_8$ 사이에 엄격히 위치한다.
• 고정점 다양체 $X^{ad}(\mathfrak{e}_{7\frac{1}{2}})$는 차원 25이며, $PSp(6,\SS)$-궤도로서 다양체 $G_{\omega}(\SS^3, \SS^6)$와 동형이므로, 확장된 마법의 정사각형 내에서의 역할을 확인한다.
• $G_{\omega}(\SS^3, \SS^6)$는 유일한 명백한 이중점만을 가지며, 이는 그 점근선 다양체가 유일한 특이점을 지닌다는 것을 의미한다. 이에 따라, 탄성 4차 곡선 외부의 모든 점은 유일한 점근선 직선을 가진다.
• 고정점 다양체 $X^{ad}(\SS, \mathbb{H})$는 $\mathbb{C}^{12}$ 내의 등지적 평면 $P$, $P$를 포함하는 최대 등지적 부분공간 $\Sigma$, 그리고 $z \in \mathbb{C}$로 구성된 삼중항 $(P, \Sigma, z)$를 매개변수화하며, 이는 25차원 다양체를 이룬다.
• 고정점 표현 $\mathbb{P}\mathfrak{g}(\SS, \mathbb{H})$ 내의 최고 무게 벡터의 궤도 폐쇄로부터 새로운 세버리 다양체가 유도되며, 이는 25차원이며 여섯 차원에서 메타심플렉틱 기하학적 구조를 가진다.