[논문 리뷰] Using Catalan words and a $q$-shuffle algebra to describe a PBW basis for the positive part of $U_q({\widehat {\mathfrak{sl}}}_2)$

Paul Terwilliger|arXiv (Cornell University)|2018. 06. 28.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 양의 부분 $U_q^+(\widehat{\mathfrak{sl}}_2)$의 Poincaré-Birkhoff-Witt (PBW) 기저 원소들을 카탈란 단어와 $q$-셔플링 대수를 사용하여 닫힌 형태로 기술한다. 이는 PBW 기저 원소 $E_{n\delta+\alpha_0}$, $E_{n\delta+\alpha_1}$, $E_{n\delta}$가 단사 대수 준동형사상 $\natural$에 의해 특정한 $q$-데오파르드된 카탈란 단어의 합으로 매핑됨을 보여주며, 이는 $q$-셔플링 곱의 관점에서 그들의 구조를 드러내고, 관련된 원소 $C_n$이 $q$-셔플링 대수에서 상호로 가환함을 증명한다.

ABSTRACT

The positive part $U^+_q$ of $U_q({\widehat {\mathfrak{sl}}}_2)$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. In 1993 I. Damiani obtained a PBW basis for $U^+_q$, consisting of some elements $\lbrace E_{nδ+α_0} brace_{n=0}^\infty$, $\lbrace E_{nδ+α_1} brace_{n=0}^\infty$, $\lbrace E_{nδ} brace_{n=1}^\infty$ that are defined recursively. Our goal is to describe these elements in closed form. We achieve this goal using Catalan words and a $q$-shuffle algebra.

연구 동기 및 목표

• 양의 부분 $U_q^+$의 재귀적으로 정의된 PBW 기저 원소들에 대한 닫힌 형태 표현을 제공하는 것.
• 이 기저 원소들의 이미지가 $\mathbb{V}$로의 단사 대수 준동형사상 $\natural: U_q^+ \to \mathbb{V}$에 의해 어떻게 나타나는지 기술하는 것. 여기서 $\mathbb{V}$는 생성자 $x,y$를 갖는 자유 대수이며, $q$-셔플링 곱을 갖는다.
• PBW 기저 원소들을 카탈란 단어의 합으로 표현함으로써, $q$-데오파르드된 단어 구조를 통해 양자군 이론과 조합론을 연결하는 것.
• 카탈란 단어 위의 $q$-데오파르드된 합으로 정의된 원소 $C_n$이 $q$-셔플링 대수에서 상호로 가환함을 증명하는 것. 이는 $\natural$에 의한 PBW 기저의 이미지를 활용한다.

제안 방법

• 생성자 $x,y$를 갖는 $q$-셔플링 대수 $\mathbb{V}$를 정의하며, 곱은 $u \star v = uv + q^{\langle u,v \rangle} vu$로 주어진다. 여기서 $\langle x,x\rangle = \langle y,y\rangle = 2$, $\langle x,y\rangle = \langle y,x\rangle = -2$이다.
• Rosso의 $q$-셔플링 대수 구조를 사용하여 단사 대수 준동형사상 $\natural: U_q^+ \to \mathbb{V}$를 정의하며, 이는 $A \mapsto x$, $B \mapsto y$로 매핑한다.
• 카탈란 단어를 $x,y$의 순서로 이루어진 길이 $2n$의 문자열로 정의하며, $\overline{x} = 1$, $\overline{y} = -1$일 때, 길이 $2n-1$까지의 누적 합이 음수가 아니며, 길이 $2n$에서 0이 되는 조건을 만족한다.
• $C_n = \sum_{\text{길이 } 2n \text{인 카탈란 단어}} a_1 \cdots a_{2n} \cdot [1]_q [1 + \overline{a}_1]_q \cdots [1 + \sum_{i=1}^{2n} \overline{a}_i]_q$로 정의한다. 이는 카탈란 단어 위의 합에 대한 $q$-데오파르드이다.
• $\natural$을 Damiani의 재귀적으로 정의된 PBW 기저 원소에 적용하고, 그 이미지를 각각 $n \geq 1$에 대해 $q^{-2n}(q - q^{-1})^{2n} x C_n$, $q^{-2n}(q - q^{-1})^{2n} C_n y$, $-q^{-2n}(q - q^{-1})^{2n-1} C_n$로 표현한다.
• $\natural$의 단사성과 $U_q^+$에서 $\{E_{n\delta}\}_{n=1}^\infty$의 알려진 가환성에 기반하여, $\{C_n\}_{n=1}^\infty$이 $q$-셔플링 대수에서 상호로 가환함을 도출한다.

실험 결과

연구 질문

• RQ1 재귀적으로 정의된 $U_q^+(\widehat{\mathfrak{sl}}_2)$의 PBW 기저 원소 $E_{n\delta+\alpha_0}, E_{n\delta+\alpha_1}, E_{n\delta}$는 닫힌 형태로 표현될 수 있는가?
• RQ2 $q$-셔플링 대수 구조를 통한 $U_q^+$의 표현 $\natural$에 의한 이 기저 원소들의 이미지는 어떻게 되는가?
• RQ3 $\mathbb{V}$의 자유 대수에서 PBW 기저 원소들의 이미지의 조합적 구조는 무엇인가?
• RQ4 $q$-데오파르드된 카탈란 단어 합 $C_n$은 $q$-셔플링 대수에서 상호로 가환하는가?
• RQ5 $q$-셔플링 대수의 구조를 사용하여 $C_n$ 원소들 사이의 관계를 유도할 수 있는가?

주요 결과

• $\natural$에 의한 $E_{n\delta+\alpha_0}$의 이미지는 $n \geq 0$일 때 $q^{-2n}(q - q^{-1})^{2n} x C_n$이다.
• $\natural$에 의한 $E_{n\delta+\alpha_1}$의 이미지는 $n \geq 0$일 때 $q^{-2n}(q - q^{-1})^{2n} C_n y$이다.
• $\natural$에 의한 $E_{n\delta}$의 이미지는 $n \geq 1$일 때 $-q^{-2n}(q - q^{-1})^{2n-1} C_n$이다.
• 길이 $2n$인 카탈란 단어 위의 $q$-데오파르드된 합으로 정의된 원소 $C_n$은 $q$-셔플링 대수 $\mathbb{V}$에서 상호로 가환한다.
• $xC_i$, $C_j y$, $C_n$ 간의 $q$-셔플링 대수 관계는 양자 세라 관계와 PBW 기저의 구조에 기반하여 도출되며, 이는 $q$-데오파르드된 합과 계수를 포함한 명시적 공식을 제공한다.
• $q$-셔플링 대수는 $U_q^+(\widehat{\mathfrak{sl}}_2)$의 PBW 기저를 $q$-데오파르드된 카탈란 단어 합을 통해 실현하는 조합론적 프레임워크를 제공한다.