[논문 리뷰] The alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

Paul Terwilliger|arXiv (Cornell University)|2019. 07. 23.

Algebraic structures and combinatorial models참고 문헌 20인용 수 9

한 줄 요약

이 논문은 양의 부분 $U^+_q$의 중심 확장 $τ^+_q$를 교호적 생성자들을 사용하여 제안한다. $τ^+_q$에서 $U^+_q$로의 전사 준동형을 구성한 후, 등식 $τ^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$를 증명하여 교호적 생성자들이 PBW 기저를 이룬다는 것을 보였다. 주요 기여는 중심 원소를 가진 새로운 대수적 실현으로, 이는 $q$-Onsager 대수와 적분 가능 모델과 연결된다.

ABSTRACT

This paper is about the positive part $U^+_q$ of the quantum group $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. Recently we introduced a type of element in $U^+_q$, said to be alternating. Each alternating element commutes with exactly one of $A$, $B$, $qBA-q^{-1}AB$, $qAB-q^{-1}BA$; this gives four types of alternating elements. There are infinitely many alternating elements of each type, and these mutually commute. In the present paper we use the alternating elements to obtain a central extension $\mathcal U^+_q$ of $U^+_q$. We define $\mathcal U^+_q$ by generators and relations. These generators, said to be alternating, are in bijection with the alternating elements of $U^+_q$. We display a surjective algebra homomorphism $\mathcal U^+_q o U^+_q$ that sends each alternating generator of $\mathcal U^+_q$ to the corresponding alternating element in $U^+_q$. We adjust this homomorphism to obtain an algebra isomorphism $\mathcal U_q^+ o U^+_q \otimes \mathbb F \lbrack z_1, z_2,\ldots brack$ where $\mathbb F$ is the ground field and $\lbrace z_n brace_{n=1}^\infty$ are mutually commuting indeterminates. We show that the alternating generators form a PBW basis for $\mathcal U_q^+$. We discuss how $\mathcal U^+_q$ is related to the work of Baseilhac, Koizumi, Shigechi concerning the $q$-Onsager algebra and integrable lattice models.

연구 동기 및 목표

• 양의 부분 $U^+_q$의 중심 확장 $\mathcal{U}^+_q$를 교호적 요소들을 사용하여 구성한다.
• 특히 $q$-Onsager 대수 $\mathcal{O}_q$와 그의 커런트 대수 $\mathcal{A}_q$ 사이의 모호한 연결 고리에 비추어 $\mathcal{U}^+_q$와 $U^+_q$ 사이의 구조적 관계를 명확히 한다.
• 교호적 생성자들을 사용하여 $\mathcal{U}^+_q$에 대한 PBW 기저를 제공함으로써 확장된 대수에 대해 잘 순서가 매겨진 기저를 확보한다.
• 명시적인 동형사상 $\mathcal{U}^+_q \to U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$를 수립하여 $\mathcal{U}^+_q$의 중심적 구조를 드러낸다.

제안 방법

• 교호적 요소들이 $U^+_q$에 자연스럽게 나타나는 $q$-셔플 대수 실현에서 유도된 관계를 바탕으로, $\mathcal{U}^+_q$를 생성자 $\{\mathcal{W}_{-k}, \mathcal{W}_{k+1}, \mathcal{G}_{k+1}, \widetilde{\mathcal{G}}_{k+1}\}_{k \in \mathbb{N}}$로 정의한다.
• $\mathcal{U}^+_q$에서 $U^+_q$로의 전사 대수 준동형을 구성하며, 각 생성자 $\mathcal{W}_{-k}$ 등이 그에 대응하는 교호적 요소 $W_{-k}$ 등으로 사상됨을 보장한다.
• 관계를 압축하고 중심 원소 $Z^\vee(t)$를 정의하기 위해 생성 함수 $\mathcal{W}^+(t), \mathcal{W}^-(t), \mathcal{G}(t), \widetilde{\mathcal{G}}(t)$를 도입한다.
• 교환관계로부터 유도된 단순화 규칙을 사용하여 $Z^\vee_n$ 가 모든 생성자와 교환됨을 증명함으로써 중심성을 입증한다.
• 동형사상에 의해 선형 독립성과 생성성을 보임으로써 교호적 생성자들이 $\mathcal{U}^+_q$에 대한 PBW 기저를 이룬다는 것을 증명한다.
• 명시적인 공식을 통해 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$의 동형사상을 수립하며, $\mathcal{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$ 등으로 정의한다.

실험 결과

연구 질문

• RQ1 교호적 요소들이 자연스럽게 $q$-셔플 대수 실현에서 유도되는 바탕으로, $U^+_q$의 중심 확장을 어떻게 구성할 수 있는가?
• RQ2 $\mathcal{U}^+_q$와 원래의 $U^+_q$ 사이의 정확한 대수적 관계는 무엇인가? 특히 생성자, 관계, 그리고 구조 측면에서.
• RQ3 $\mathcal{U}^+_q$는 PBW 기저를 갖는가? 만약 그렇다면, 교호적 생성자들에 의해 생성되는가?
• RQ4 $\mathcal{U}^+_q$의 중심 원소들을 명시적으로 확인하고, 모든 생성자와의 교환성을 입증할 수 있는가?
• RQ5 $\mathcal{U}^+_q$와 $U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ 사이에 표준적인 동형사상이 존재하는가? 이는 $\mathcal{U}^+_q$의 구조에 대해 어떤 함의를 갖는가?

주요 결과

• $\mathcal{U}^+_q$는 $U^+_q$의 교호적 요소에 대응하는 생성자와 관계로 정의되며, 생성자들은 교호적 요소와 일대일 대응을 이룬다.
• $\mathcal{U}^+_q$에서 $U^+_q$로의 전사 대수 준동형이 존재하며, 각 교호적 생성자가 $U^+_q$의 대응 요소로 사상되지만, 이 사상은 단사적이지 않다.
• $\mathcal{U}^+_q$의 모든 생성자와 교환되는 것으로 보여져, 각 $n \in \mathbb{N}$에 대해 $Z^\vee_n$ 이 $\mathcal{U}^+_q$에서 중심임을 입증한다.
• 명시적인 공식을 통해 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$의 동형사상을 수립하였으며, $\mathcal{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$ 와 유사한 공식이 다른 생성자들에도 적용된다.
• 교호적 생성자들 $\{\mathcal{W}_{-k}, \widetilde{\mathcal{G}}_{k+1}, \mathcal{W}_{k+1}\}$는 $\mathcal{U}^+_q$에 대한 PBW 기저를 이룬다. 이는 잘 순서가 매겨진 기저의 구조를 확인한다.
• 교환관계로부터 유도된 단순화 규칙은 표준적이지 않은 단항식을 체계적으로 재작성할 수 있게 하여, 대수적 구조의 일관성과 유용성을 확인한다.