[논문 리뷰] Deformations of quadratic algebras and the corresponding quantum semigroups

J. Donin, Steven Shnider|ArXiv.org|1995. 05. 16.

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

한 줄 요약

이 논문은 $V \otimes V$의 부분공간 $I_i$로의 분해를 이용하여 이차 대수와 그 관련 양자 준군의 평탄성 기준을 수립한다. 구체적으로, $A_k(I_1,\dots,I_n)$로 표현되는 대수들이 변형 동안 항상 반단순이면서 차원이 일정할 경우, 변형이 평탄하다는 것을 증명한다. 이 기준은 헤케, 버먼-웬즐, 드린펠트-지모 양자군 관련 양자역학적 연산자에 적용된다.

ABSTRACT

Let $V$ be a finite dimensional vector space. Given a decomposition $V\otimes V=\oplus_i^n I_i$, define $n$ quadratic algebras $(V, J_m)$ where $J_m=\oplus_{i eq m} I_i$. This decomposition defines also the quantum semigroup $M(V;I_1,...,I_n)$ which acts on all these quadratic algebras. With the decomposition we associate a family of associative algebras $A_k=A_k(I_1,...I_n)$, $k\geq 2$. In the classical case, when $V\otimes V$ decomposes into the symmetric and skewsymmetric tensors, $A_k$ coincides with the group algebra of the symmetric group $S_k$. Let $I_{ih}$ be deformations of the subspaces $I_i$. In the paper we give a criteria for flatness of the corresponding deformations of the quadratic algebras $(V[[h]],J_{ih}$ and the quantum semigroup $M(V[[h]];I_{1h},...,I_{nh})$. It says that the deformations will be flat if the algebras $A_k(I_1,...,I_n)$ are semisimple and under the deformation their dimension does not change. Usually, the decomposition into $I_i$ is defined by a given Yang-Baxter operator $S$ on $V\otimes V$, for which $I_i$ are its eigensubspaces, and the deformations $I_{ih}$ are defined by a deformation $S_h$ of $S$. We consider the cases when $S_h$ is a deformation of Hecke or Birman-Wenzl symmetry, and also the case when $S_h$ is the Yang-Baxter operator which appears by a representation of the Drinfeld-Jimbo quantum group. Applying the flatness criteria we prove that in all these cases we obtain flat deformations of the quadratic algebras and the corresponding quantum semigroups.

연구 동기 및 목표

• $V \otimes V = \oplus_{i=1}^n I_i$로의 분해를 기반으로 하여 이차 대수와 그 관련 양자 준군을 변형하기 위한 일반적 프레임워크를 개발한다.
• 해당 변형이 평탄한 조건을 규명하며, 특히 $A_k(I_1,\dots,I_n)$ 대수의 역할을 중점적으로 다룬다.
• 대칭 및 반대칭 텐서의 고전적 경우를 양자군 관련 변형으로 확장한다.
• 헤케 및 버먼-웬즐 유형의 양자 대칭 변형에 대해 평탄성을 증명한다.
• 변형 과정에서 $A_k$의 차원과 반단순성이 유지될 경우, 이차 대수와 양자 준군의 평탄성이 보장된다는 것을 보여준다.

제안 방법

• $V \otimes V = \oplus_{i=1}^n I_i$의 분해로부터 각각의 $n$개의 이차 대수 $(V, J_m)$를 정의하며, $J_m = \oplus_{i \neq m} I_i$이다.
• 모든 이러한 이차 대수들에 작용하는 양자 준군 $M(V; I_1, \dots, I_n)$을 구성한다.
• $k \geq 2$에 대해 $A_k = A_k(I_1, \dots, I_n)$이라는 결합 대수를 도입하며, 이는 고전적 경우에서 대칭군 $S_k$의 군 대수를 일반화한다.
• 평탄성 기준을 수립한다: $(V[[h]], J_{ih})$와 $M(V[[h]]; I_{1h}, \dots, I_{nh})$의 변형이 평탄하려면 $A_k$가 변형 과정에서 반단순이면서 차원이 일정해야 한다.
• 양자역학적 연산자 $S$의 변형 $S_h$를 이용하여 $I_{ih}$를 $S_h$의 고유공간으로 정의함으로써 원래의 구조들을 변형할 수 있다.
• 해당 평탄성 기준을 특정 사례에 적용한다: 헤케 대칭, 버먼-웬즐 대칭, 드린펠트-지모 양자군 표현에 기반한 변형.

실험 결과

연구 질문

• RQ1 이차 대수 $(V[[h]], J_{ih})$의 변형이 평탄해지는 조건은 무엇인가?
• RQ2 대수 $A_k(I_1, \dots, I_n)$의 구조가 관련 양자 준군과 이차 대수 변형의 평탄성에 미치는 영향은 어떠한가?
• RQ3 헤케, 버먼-웬즐, 드린펠트-지모 양자군 대칭에 기반한 변형에 대해 평탄성 기준을 적용할 수 있는가?
• RQ4 $A_k$의 반단순성과 차원 일정성이 변형된 구조의 평탄성을 보장하는 데서 수행하는 역할은 무엇인가?
• RQ5 변형된 양자역학적 연산자 $S_h$의 고유공간은 원래의 분해 $V \otimes V = \oplus I_i$의 변형과 어떻게 관련되는가?

주요 결과

• 이차 대수 $(V[[h]], J_{ih})$와 양자 준군 $M(V[[h]]; I_{1h}, \dots, I_{nh})$의 변형이 평탄하다는 것은, 대수 $A_k(I_1, \dots, I_n)$이 변형 과정에서 항상 반단순이면서 차원이 유지될 경우 보장된다.
• 고전적 경우에서 $V \otimes V$가 대칭 및 반대칭 텐서로 분해될 경우, 대수 $A_k$는 대칭군 $S_k$의 군 대수와 일치한다.
• 헤케 대칭에 기반한 변형의 경우, 평탄성 기준이 충족되어 해당 이차 대수와 양자 준군의 평탄한 변형이 보장된다.
• 버먼-웬즐 대칭에 기반한 변형의 경우에도 동일한 $A_k$ 기반 기준에 따라 평탄성이 확인된다.
• 드린펠트-지모 양자군의 양자역학적 연산자에서 유도된 변형 역시, 기준에 의해 평탄한 이차 대수와 양자 준군을 제공한다.
• 이 기준은 $A_k$의 변형 과정에서의 행동에 기반하여 다양한 양자 대칭 변형에 대해 평탄성을 통합적으로 검증할 수 있는 프레임워크를 제공한다.