[논문 리뷰] The $q$-Onsager algebra and the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$

Paul Terwilliger|arXiv (Cornell University)|2015. 06. 29.

Algebraic structures and combinatorial models참고 문헌 22인용 수 10

한 줄 요약

이 논문은 양의 부분 $U_q^+$와 $q$-Onsager 대수 $\mathcal{O}_q$ 사이의 깊이 있는 대수적 연결을 수립한다. 자연스러운 필터링에 대한 $\mathcal{O}_q$의 관련 순서 대수는 $U_q^+$와 동형이며, $q$-Weyl 및 $q$-Serre 관계를 만족하는 네 생성자를 가진 새로운 대수 $\square_q$를 도입한다. 이 $\square_q$는 두 개의 $U_q^+$ 복사본의 텐서곱으로 분해되며, $\mathcal{O}_q$로부터의 단사 준동형사상을 갖는다. 주요 기여는 이러한 두 중요한 양자 대수 간의 통합된 대수적 프레임워크를 제공하는 데 있다.

ABSTRACT

The positive part $U^+_q$ of $U_q({\widehat{\mathfrak{sl}}}_2)$ has a presentation by two generators $X,Y$ that satisfy the $q$-Serre relations. The $q$-Onsager algebra $\mathcal O_q$ has a presentation by two generators $A,B$ that satisfy the $q$-Dolan/Grady relations. We give two results that describe how $U^+_q$ and $\mathcal O_q$ are related. First, we consider the filtration of $\mathcal O_q$ whose $n$th component is spanned by the products of at most $n$ generators. We show that the associated graded algebra is isomorphic to $U^+_q$. Second, we introduce an algebra $\square_q$ and show how it is related to both $U^+_q$ and $\mathcal O_q$. The algebra $\square_q$ is defined by generators and relations. The generators are $\lbrace x_i brace_{i \in \mathbb Z_4}$ where $\mathbb Z_4$ is the cyclic group of order 4. For $i \in \mathbb Z_4$ the generators $x_i, x_{i+1}$ satisfy a $q$-Weyl relation, and $x_i,x_{i+2}$ satisfy the $q$-Serre relations. We show that $\square_q$ is related to $U^+_q$ in the following way. Let $ \square^{ m even}_q$ (resp. $ \square^{ m odd}_q$) denote the subalgebra of $ \square_q$ generated by $x_0, x_2$ (resp. $x_1, x_3$). We show that (i) there exists an algebra isomorphism $U^+_q o \square^{ m even}_q$ that sends $X\mapsto x_0$ and $Y\mapsto x_2$; (ii) there exists an algebra isomorphism $U^+_q o \square^{ m odd}_q$ that sends $X\mapsto x_1$ and $Y\mapsto x_3$; (iii) the multiplication map $\square^{ m even}_q \otimes \square^{ m odd}_q o \square_q$, $u \otimes v \mapsto uv$ is an isomorphism of vector spaces. We show that $\square_q$ is related to $\mathcal O_q$ in the following way. For nonzero scalars $a,b$ there exists an injective algebra homomorphism $ \mathcal O_q o \square_q$ that sends $A \mapsto a x_0+ a^{-1} x_1$ and $B \mapsto b x_2+ b^{-1} x_3$.

연구 동기 및 목표

• 양자 아핀 대수 $U_q(\widehat{\mathfrak{sl}}_2)$의 양의 부분 $U_q^+$와 $\mathcal{O}_q$-Onsager 대수 간의 대수적 관계를 명확히 하기 위해.
• 직접적인 유사성에 기반한 $q$-Serre 관계와 $q$-Dolan/Grady 관계를 정밀한 대수적 동형사상과 임bedding을 통해 해결하기 위해.
• 두 대수 $U_q^+$와 $\mathcal{O}_q$의 구조적 특징을 통합하는 네 생성자 표현을 가진 새로운 대수 $\square_q$를 도입하기 위해.
• $\square_q$가 표현 이론과 양자역학적 통합계에서 삼중대각 대수와 양자군 간의 상호작용를 이해하는 데 기여하는 프레임워크를 제공하기 위해.

제안 방법

• $\mathcal{O}_q$에 대해 생성자 $A,B$에서의 단어 길이에 따른 필터링을 정의하고, 관련 순서 대수 $\overline{\mathcal{O}_q}$를 계산한다.
• $\mathbb{Z}_4$에 인덱싱된 생성자 $\{x_i\}_{i \in \mathbb{Z}_4}$를 가진 대수 $\square_q$를 구성하며, 이는 인접한 인덱스에 대해 $q$-Weyl 관계, 반대 인덱스에 대해 $q$-Serre 관계를 만족한다.
• $\square_q^{\text{even}}$와 $\square_q^{\text{odd}}$의 짝수 및 홀수 부분대수는 각각 $X \mapsto x_0, Y \mapsto x_2$ 및 $X \mapsto x_1, Y \mapsto x_3$를 보내는 명시적 사상에 의해 $U_q^+$와 동형임을 증명한다.
• $\square_q^{\text{even}} \otimes \square_q^{\text{odd}} \to \square_q$의 곱셈 사상이 벡터 공간 동형사상임을 보이며, 이는 텐서곱 분해를 의미한다.
• $\mathcal{O}_q \to \square_q$의 단사 대수 준동형사상을 정의하며, 이는 $A \mapsto a x_0 + a^{-1} x_1$, $B \mapsto b x_2 + b^{-1} x_3$ ($a,b$는 영이 아닌 스칼라)를 보내는 것으로 정의된다.
• $U_q(\widehat{\mathfrak{sl}}_2)$의 알려진 자동형사를 사용하여 준동형사상 $\mathcal{O}_q \to \square_q$의 단사성을 검증하고, $\square_q$가 양자군과의 관련성을 규명한다.

실험 결과

연구 질문

• RQ1 생성자 $A,B$에서의 단어 길이에 따른 자연스러운 필터링이 존재하는가? 이 경우, 관련 순서 대수는 $U_q^+$와 동형인가?
• RQ2 $U_q^+$를 부분대수로 동시에 구현하고 $\mathcal{O}_q$를 임베드하는 새로운 대수를 구성할 수 있는가?
• RQ3 $q$-Weyl 및 $q$-Serre 관계가 순환적인 네 생성자 체계로 확장되었을 때, 이 관계들은 어떻게 상호작용하는가?
• RQ4 $\square_q$의 짝수 및 홀수 부분대수에서의 곱셈 사상이 $\square_q$ 위로 벡터 공간 동형사상이 되는가?
• RQ5 $\mathcal{O}_q$가 $q$-Dolan/Grady 관계를 유지하는 채널로 $\square_q$에 표준적 임베딩이 존재하는가?

주요 결과

• $A,B$에서의 단어 길이에 따른 필터링에 대한 $\mathcal{O}_q$의 관련 순서 대수는 $U_q^+$와 동형이며, 이는 두 대수 간의 직접적인 대수적 연결을 수립한다.
• $\square_q$는 $\mathbb{Z}_4$에 의해 인덱싱된 네 개의 원소 $x_0,x_1,x_2,x_3$로 생성되며, 이는 인접한 쌍에 대해 $q$-Weyl 관계, 반대 쌍에 대해 $q$-Serre 관계를 만족한다.
• $x_0,x_2$로 생성되는 부분대수 $\square_q^{\text{even}}$는 $X \mapsto x_0, Y \mapsto x_2$를 보내는 사상에 의해 $U_q^+$와 동형이며, 마찬가지로 $x_1,x_3$로 생성되는 $\square_q^{\text{odd}}$는 $X \mapsto x_1, Y \mapsto x_3$에 의해 동형이다.
• $\square_q^{\text{even}} \otimes \square_q^{\text{odd}} \to \square_q$의 곱셈 사상은 벡터 공간 동형사상이며, 이는 $\square_q$가 두 개의 $U_q^+$ 복사본의 텐서곱과 벡터 공간으로 동형임을 의미한다.
• $\mathcal{O}_q \to \square_q$의 단사 대수 준동형사상이 존재하며, 이는 임의의 영이 아닌 스칼라 $a,b$에 대해 $A \mapsto a x_0 + a^{-1} x_1$, $B \mapsto b x_2 + b^{-1} x_3$를 보내며, $\mathcal{O}_q$를 $\square_q$에 임베드한다.
• 이 구성은 $q \neq 0$ 및 $q^2 \neq 1$인 임의의 체 위에서 유효하며, $\mathcal{O}_q \to \square_q$ 사상의 단사성은 $q$가 원근단위근이거나 체의 특성이 0이 아니라는 조건 없이도 증명된다.