[논문 리뷰] Automorphisms of Regular Algebras

Todor Popov|ArXiv.org|2006. 01. 11.

Algebraic structures and combinatorial models참고 문헌 7인용 수 3

한 줄 요약

이 논문은 3차원 정규 비제곱 아르틴-슐레르 대수에 대해 마니ン의 양자 행렬군 구축을 확장하여, 제곱 및 입방형 경우 모두에 대해 자동형의 호프 대수를 구성한다. 입방형 대수의 경우 기존 분류에 포함되지 않은 새로운 양자군을 도출하며, 특히 $S_2$와 같은 특정 유형의 경우 양자군의 게르파인드-키릴로프 차원은 기대되는 9 대신 7이 된다.

ABSTRACT

Manin associated to a quadratic algebra (quantum space) the quantum matrix group of its automorphisms. This Talk aims to demonstrate that Manin's construction can be extended for quantum spaces which are non-quadratic homogeneous algebras. Here given a regular Artin-Schelter algebra of dimension 3 we construct the quantum group of its symmetries, i.e., the Hopf algebra of its automorphisms. For quadratic Artin-Schelter algebras these quantum groups are contained in the the classification of the GL(3) quantum matrix groups due to Ewen and Ogievetsky. For cubic Artin-Schelter algebras we obtain new quantum groups which are automorphisms of cubic quantum spaces.

연구 동기 및 목표

• 마니ン의 양자 행렬군 구축을 제곱형에서 비제곱형(특히 입방형) 3차원 정규 아르틴-슐레르 대수로 확장하는 것.
• 정규 대수의 내적 사상의 반대칭 대수는 역관계를 추가함으로써 호프 대수로 확장될 수 있음을 보여, 대칭의 양자군을 정의하는 것.
• 입방형 정규 대수에 대해 새로운 양자군을 분류하고 구성하며, 이는 에우엔-오기예프스키의 $GL(3)$-형 양자군 분류에 포함되지 않는다.
• 자동형 양자군의 게르파인드-키릴로프 차원을 계산하고, 일부 입방형 대수에 대해 기대되는 9 대신 7임을 보여주는 것.

제안 방법

• 정의 관계의 영공간에서 유도된 관계를 사용하여 대수와 그 쌍대의 텐서곱을 이용해 내적 사상 반대칭 대수 $e( ext{A}) = \text{A}^! \bullet \text{A}$를 정의한다.
• $A(E^* \bigotimes E, r \bigoplus \bar{r})$의 몫으로서 $e(\text{A})$를 구성하며, $\text{A}$와 $\text{A}^!$의 생성자를 메트릭 $g^{ij} = \bar{\rho}^{ij}$를 통해 식별한다.
• 준-행렬식 ${\rm D} = {\rm D}(\text{A})$를 준-중심 원소로 도입하여 ${\rm D} u_j^i = h_{(j)}^{(i)} u_j^i {\rm D}$를 만족시키며, $h_{(j)}^{(i)}$는 불변 텐서 $\tilde{\rho}$에 의해 결정된다.
• 역소 $S(u_j^i) = {\rm D}^{-1} {\rm S}_L(u_j^i) = {\rm S}_R(u_j^i) {\rm D}^{-1}$를 정의하여 ${\rm D}$의 역을 취함으로써 반대칭 대수를 호프 대수 $H(\text{A})$로 확장한다.
• 크래머의 수반 사상 ${\rm S}_L$과 ${\rm S}_R$을 사용하여 역소 공리식을 검증하여 $m \big( \text{Id} \bigotimes S \big) \bigcirc \triangle = m \big( S \bigotimes \text{Id} \big) \bigcirc \triangle = \rho \bigcirc \rho$임을 확인한다.
• 불변 텐서 $\rho$의 순환성을 이용하여 $h_{(j)}^{(i)}$의 구조를 유도하며, 이는 ${\rm D}$의 준-중심 작용을 결정한다.

실험 결과

연구 질문

• RQ1 마니ン의 양자 행렬군 구축은 제곱형 대수를 초월해 비제곱형 정규 대수로 일반화될 수 있는가?
• RQ2 3차원 입방형 정규 아르틴-슐레르 대수에 대한 자동형 양자군의 구조는 어떠한가?
• RQ3 자동형 양자군의 게르파인드-키릴로프 차원은 3차원 대수의 고전적 경우 $gk\text{-}\text{dim} = 9$와 비교해 어떻게 되는가?
• RQ4 준-행렬식 ${\rm D}$는 역소를 정의하고 호프 대수의 구조를 보장하는 데 어떤 역할을 하는가?
• RQ5 입방형 정규 대수에서 유도된 양자군은 기존의 분류(에우엔과 오기예프스키의 $GL(3)$-형 양자군)에 포함되는가?

주요 결과

• 일반적인 3차원 정규 아르틴-슐레르 대수에 대해 자동형 호프 대수 $H(\text{A})$를 구성하여 마니ン의 프레임워크를 제곱형 경우를 초월해 확장한다.
• 입방형 정규 대수의 경우 유도된 양자군은 새로운 것으로서 에우엔-오기예프스키의 $GL(3)$-형 양자 행렬군 분류에 포함되지 않는다.
• 일부 $S_2$ 유형의 입방형 대수에 대해 $H(\text{A})$의 게르파인드-키릴로프 차원은 7이며, 기대되는 $gk\text{-}\text{dim} = 9$와 모순된다.
• 준-행렬식 ${\rm D}$는 준-중심이며, ${\rm D} u_j^i = h_{(j)}^{(i)} u_j^i {\rm D}$를 만족하며, $S_2$ 유형 대수에서는 $h_{(j)}^{(i)} = h^{j-i}$이고 $h = -1$이다.
• 역소는 $S(u_j^i) = {\rm D}^{-1} {\rm S}_L(u_j^i)$로 명시적으로 구성되며, 역소 공리식을 만족함으로써 $H(\text{A})$가 호프 대수임을 확인한다.
• 준-행렬식의 역은 $S({\rm D}) = {\rm D}^{-1}$를 만족하며, 호프 대수 공리식과 코유닛 성질 $\rho({\rm D}) = 1$과 일관된다.