[논문 리뷰] A 3-Calabi-Yau algebra with G_2 symmetry constructed from the octonions

S. Paul Smith|arXiv (Cornell University)|2011. 04. 19.

Advanced Topics in Algebra참고 문헌 18인용 수 11

한 줄 요약

이 논문은 임의의 체 $k$ 위에서 옥토니온을 사용하여 3-Calabi-Yau 대수 $A$를 구성하며, 컴acts 실수 형태 $G_2^c$의 작용을 통해 $G_2$-대칭적인 구조를 지닌다. 이 대수는 순수 허수 옥토니온의 쌍대공간 위의 텐서 대수를 옥토니온 곱셈에서 유도된 관계로 나눈 몫대수로서 유도되며, 그 Koszul 쌍대는 Hilbert 급수 $1+7t+7t^2+t^3$를 가진 대칭 Frobenius 대수이다. 유한차원 모듈러의 몫으로서의 유한형 래프트된 $A$-모듈의 유도 범주와는, $\mathbb{P}^2$-_bundle이 $\mathbb{P}^6$ 안의 매끄러운 쌍차곡면 위에 있는 기하학적 연결을 통해 깊은 연관성을 드러내며, 이는 3차원에서의 $G_2$-대칭 비환원 기하학의 새로운 실현을 제공한다.

ABSTRACT

This paper concerns an associative graded algebra A that is the enveloping algebra of a Lie algebra with exponential growth. The algebra A is 3-Calabi-Yau. There is a Z-form of A so for every field k there is an algebra A_k. An algebraic group of type G_2 acts as degree-preserving automorphisms of A. The algebra A is generated by 7 elements modulo 7 homogeneous quadratic relations. It can be constructed from the octonions; the same construction applied to the quaternions produces the commutative polynomial ring in 3 variables. If V is the 7-dimensional irreducible representation of the complex semisimple Lie algebra of type G_2, then A is isomorphic to the tensor algebra TV modulo the ideal generated by the submodule of V \otimes V that is isomorphic to V. A can be defined as a superpotential algebra derived from a 3-form on R^7 having an open GL(7) orbit and compact isotropy group. Classification of the finite-dimensional representations of A is equivalent to classifying square matrices Y with purely imaginary octonion entries such that the imaginary part of Y^2 is zero. We show that A is a Koszul algebra. Its Koszul dual is a quotient of the exterior algebra on 7 variables, has Hilbert series 1+7t+7t^2+t^3, and is a symmetric Frobenius algebra. Although not noetherian, A is graded coherent (proved by Piontkovski).

연구 동기 및 목표

• 임의의 체 $k$ 위에서 옥토니온의 대수적 구조를 사용하여 3-Calabi-Yau 대수 $A$를 구성하는 것.
• 대수 $A$가 예외적 리군 $G_2$의 자연스러운 작용을 차수를 유지하는 자동형사상으로 지닌다는 것을 입증하는 것.
• 순수 허수 옥토니온 행렬에 대해 $\operatorname{Im}(Y^2) = 0$ 조건을 만족하는 행렬 조건을 통해 $A$의 유한차원 표현을 분류하는 것.
• $\mathsf{coh}X$ 범주를 유한형 래프트된 $A$-모듈의 유한차원 모듈로의 몫으로 정의할 때, 이가 $\mathbb{P}^2$의 코herent sheaf 유도 범주와 유사하게 행동한다는 것을 보여주는 것.
• 세 개의 정점과 관계를 지닌 쿼버 $Q$와 행렬 대수 $E$에 대해 $\mathsf{D}^b(\mathsf{coh}X)$, $\mathsf{D}^b(\mathsf{rep}Q)$, $\mathsf{D}^b(\mathsf{mod}E)$ 간의 유도 동치를 확립하는 것.

제안 방법

• 순수 허수 옥토니온의 7차원 공간의 쌍대공간 위의 텐서 대수를, 옥토니온 곱셈 사상 $\mu^*:\operatorname{Im}{\mathbb{O}}^* \to \operatorname{Im}{\mathbb{O}}^* \otimes \operatorname{Im}{\mathbb{O}}^*$의 쌍대의 이미지로 생성되는 양면 이상으로 나눈 몫대수로 $A_k$를 정의한다.
• 대수 $A$가 Koszul임을 보이고, 그 Koszul 쌍대를 7개의 변수 위의 외적 대수의 몫으로 계산하며, Hilbert 급수 $1+7t+7t^2+t^3$를 가지며 이는 대칭 Frobenius 대수임을 보인다.
• 적절한 호모로지 조건, 특히 비퇴화적인 순환 초파라미터의 존재를 확인하여 $A$가 3-Calabi-Yau 대수임을 증명한다.
• $G_2^c$가 옥토니온에 작용함으로써 $A$에 작용을 유도함을 보여, 대수가 $G_2$-등변임을 증명하고, 주어진 결합 3차원 평면을 보존하는 미분들이 $\mathfrak{so}(3,\mathbb{R})$와 동형임을 보인다.
• 세 정점과 관계를 지닌 쿼버 $Q$를 구성하고, $k$의 원소를 성분으로 가지는 행렬 대수 $E$를 정의함으로써 $\mathsf{D}^b(\mathsf{rep}Q) \cong \mathsf{D}^b(\mathsf{mod}E)$임을 보인다.
• 쿼버 $Q$에 대해 차원 $(1,1,1)$의 불가약 표현들이, $k$가 대수적으로 닫혀 있을 경우 $\mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ 안의 매끄러운 쌍차곡면 위의 타우토로지컬 $\mathbb{P}^2$-bundle에 의해 매개화됨을 보였다.

실험 결과

연구 질문

• RQ1 옥토니온의 대수적·기하학적 구조를 사용하여 $G_2$ 대칭을 지닌 3-Calabi-Yau 대수를 어떻게 구성할 수 있는가?
• RQ2 이 대수의 Koszul 쌍대의 구조는 무엇이며, 이는 대수 $A$의 대칭성과 호모로지 성질을 어떻게 반영하는가?
• RQ3 대수 $A$의 유한차원 표현들은 순수 허수 옥토니온 행렬에 대해 $\operatorname{Im}(Y^2) = 0$ 조건을 통해 어떻게 관련되어 있는가?
• RQ4 $\mathsf{coh}X$ 범주에 대한 기하학적 해석은 무엇이며, 이는 $\mathbb{P}^2$의 코herent sheaf 유도 범주와 어떻게 비교될 수 있는가?
• RQ5 대수 $A$, 쿼버 $Q$, 행렬 대수 $E$의 유도 범주 간의 정확한 관계는 무엇이며, $G_2$는 이러한 대상들에 어떻게 작용하는가?

주요 결과

• 대수 $A$는 임의의 체 $k$ 위에서 3-Calabi-Yau 대수이며, $T(\operatorname{Im}{\mathbb{O}}^*) / (\operatorname{im} \mu^*)$로 구성되며, 여기서 $\mu^*$는 옥토니온 곱셈 사상의 쌍대이다.
• 대수 $A$의 Koszul 쌍대는 Hilbert 급수 $1 + 7t + 7t^2 + t^3$를 가지며, 7개의 생성자 위의 외적 대수의 몫으로서 실현된 대칭 Frobenius 대수이다.
• $\mathsf{coh}X$는 유한형 래프트된 $A$-모듈의 유한차원 모듈로의 몫으로 정의되며, 이의 유도 범주는 $\mathsf{D}^b(\mathsf{rep}Q)$ 및 $\mathsf{D}^b(\mathsf{mod}E)$와 동치이며, 여기서 $E$는 $k$의 원소를 성분으로 가지는 행렬 대수이다.
• 쿼버 $Q$에 대해 차원 $(1,1,1)$의 불가약 표현들은, $k$가 대수적으로 닫혀 있을 경우 $\mathbb{P}^6 = \mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ 안의 매끄러운 쌍차곡면 위의 타우토로지컬 $\mathbb{P}^2$-bundle에 의해 매개화된다.
• 대수 $A$는 그레이드 코herent이지만 Noetherian이 아니며, 주어진 결합 3차원 평면을 보존하는 유도 미분들은 $\mathfrak{so}(3,\mathbb{R})$와 동형임을 보여, $G_2^c$의 이러한 평면들 위에서의 전이적 작용을 반영한다.
• $x_1^2 + \cdots + x_7^2$는 $G_2$-불변이며, $A$의 모든 그레이드 미분에 의해 영이 되며, 이는 대수적 구조가 $\operatorname{Im}{\mathbb{O}}$ 위의 $G_2$-불변 내적과 호환됨을 확인한다.