[논문 리뷰] A Lie algebra related to the universal Askey-Wilson algebra

Rafael Reno S. Cantuba|arXiv (Cornell University)|2016. 03. 17.

Finite Group Theory Research참고 문헌 3인용 수 5

한 줄 요약

이 논문은 보편 Askey-Wilson 대수 $ \Delta $ 내에서 $ A, B, C $ 에 의해 생성되는 리 대수의 부분대수 $ L $ 을 조사하며, $ \Delta $ 의 정의 관계들이 순수하게 리 연산으로 표현되지 않더라도 $ L $ 이 자유롭게 생성되지 않는다는 것을 보여준다. 핵심 결과는 $ \Delta $ 내에서 $ A, B, C $ 사이의 첫 번째 비자명한 리 대수 관계들이 길이 5에서 발생하며, $ q $ 가 제6단위근이 아닐 경우 $ L_5 $ 에 대한 명시적 기저를 제공한다는 것이다.

ABSTRACT

Let $\mathbb{F}$ denote an algebraically closed field. Denote the three-element set by $\mathcal{X}=\{A,B,C\}$, and let $\mathbb{F}\left$ denote the free unital associative $\mathbb{F}$-algebra on $\mathcal{X}$. Fix a nonzero $q\in\mathbb{F}$ such that $q^4 eq 1$. The universal Askey-Wilson algebra $Δ$ is the quotient space $\mathbb{F}\left/\mathbb{I}$, where $\mathbb{I}$ is the two-sided ideal of $\mathbb{F}\left$ generated by the nine elements $UV-VU$, where $U$ is one of $A,B,C$, and $V$ is one of \begin{equation} (q+q^{-1}) A+\frac{qBC-q^{-1}CB}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) B+\frac{qCA-q^{-1}AC}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) C+\frac{qAB-q^{-1}BA}{q-q^{-1}}. onumber \end{equation} Turn $\mathbb{F}\left$ into a Lie algebra with Lie bracket $\left[ X,Y ight] = XY-YX$ for all $X,Y\in\mathbb{F}\left$. Let $\mathcal{L}$ denote the Lie subalgebra of $\mathbb{F}\left$ generated by $\mathcal{X}$, which is also the free Lie algebra on $\mathcal{X}$. Let $L$ denote the Lie subalgebra of $Δ$ generated by $A,B,C$. Since the given set of defining relations of $Δ$ are not in $\mathcal{L}$, it is natural to conjecture that $L$ is freely generated by $A,B,C$. We give an answer in the negative by showing that the kernel of the canonical map $\mathbb{F}\left ightarrowΔ$ has a nonzero intersection with $\mathcal{L}$. Denote the span of all Hall basis elements of $\mathcal{L}$ of length $n$ by $\mathcal{L}_n$, and denote the image of $\sum_{i=1}^n\mathcal{L}_i$ under the canonical map $\mathcal{L} ightarrow L$ by $L_n$. We study some properties of $L_4$ and $L_5$.

연구 동기 및 목표

• 생성원 $ A, B, C $ 에 의해 생성되는 리 대수 부분대수 $ L \subset \Delta $ 가 자유 리 대수로 생성되는지 여부를 규명하는 것.
• 자유 리 대수 $ \mathcal{L} $ 에서 $ A, B, C $ 에 대한 표준 리 단항식의 캐논컬 사상 $ \mathcal{L} \to L $ 의 핵의 구조를 조사하는 것.
• $ A, B, C $ 가 $ \Delta $ 내에서 비자명한 리 대수 관계를 처음으로 나타내는 최소 길이를 규명하는 것.
• $ q $ 가 제6단위근이 아닐 조건 하에서, $ L $ 내의 길이 5의 표준 리 단항식 공간 $ L_5 $ 에 대한 명시적 기저를 구성하는 것.
• 특정 리 단항식 집합의 선형 독립성을 증명하여 길이 5에서 비자명한 관계가 존재함을 보이는 것.

제안 방법

• 표준 리 단항식이 낮은 길이의 원소들을 괄호로 묶는 방식으로 재귀적으로 정의되는 자유 리 대수 $ \mathcal{L} $ 의 Hall 기저를 사용한다.
• 캐논컬 전성사상 $ \mathcal{L} \to L \subset \Delta $ 를 적용하여, $ \Delta $ 의 몫대수에서 Hall 기저 원소들의 상을 분석한다.
• 특히 길이 5의 단항식에 초점을 맞추어, 리 항등식을 유도하고 다루기 위해 $ \mathrm{ad}_X(Y) = [X, Y] $ 의 고정 작용을 활용한다.
• 선형 독립성을 증명하기 위해 리 단항식 집합 간의 전이 행렬 $ T_i $ 를 구성하며, 역행렬 여부를 행렬식을 통해 검증한다.
• 계수를 계산하고 단항식 집합의 선형 독립성을 검증하기 위해 $ \mathbb{F}\langle \mathcal{X} \rangle $ 상의 대칭 이차형식을 사용한다.
• 특히 $ A + \frac{qBC - q^{-1}CB}{q^2 - q^{-2}} $ 와 같은 표현의 중심성과 같은 보편 Askey-Wilson 대수 $ \Delta $ 의 관계를 활용하여 $ L $ 내의 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 생성원 $ A, B, C $ 에 의해 생성되는 리 대수 부분대수 $ L \subset \Delta $ 는 자유 리 대수로 생성되는가?
• RQ2 $ A, B, C $ 가 $ \Delta $ 내에서 비자명한 리 대수 관계를 처음 나타내는 최소 길이는 얼마인가?
• RQ3 길이 5의 표준 리 단항식 공간에 대한 명시적 기저를 구성할 수 있으며, 이는 $ q $ 에 어떤 조건을 만족할 때 가능한가?
• RQ4 $ \mathcal{L} \to L $ 에 대한 캐논컬 사상의 핵의 구조는 어떻게 되며, 이는 $ \Delta $ 의 정의 관계와 어떻게 관련되는가?
• RQ5 논문에 나열된 특정 리 단항식 집합이 $ \Delta $ 내에서 선형 독립적인가? 만약 그렇다면, 그 행렬식 값의 의미는 무엇인가?

주요 결과

• 캐논컬 사상 $ \mathcal{L} \to L $ 의 핵이 자명하지 않음을 증명함으로써, $ \Delta $ 의 관계들이 순수하게 리 연산으로 표현되지 않더라도 $ L $ 이 $ A, B, C $ 로 자유롭게 생성되지 않음을 입증한다.
• $ \Delta $ 내에서 $ A, B, C $ 사이의 첫 번째 비자명한 리 대수 관계들이 길이 5에서 발생하며, $ L_4 $ 는 선형 독립이지만 $ L_5 $ 는 선형 종속인 원소를 포함한다.
• $ L_4 $ 에 대한 기저가 명시적으로 구성되었으며, 이는 길이 4의 표준 리 단항식 15개로 이루어져 있다.
• $ q $ 가 제6단위근이 아닐 경우, $ L_5 $ 에 대한 기저가 제시되었으며, 이는 52개의 표준 리 단항식으로 이루어져 있다.
• 특정 집합 $ \mathcal{K} $ 의 길이 5 리 단항식 20개의 선형 독립성을 전이 행렬 $ T_i $ 의 가역성에 의해 증명하였으며, 이들의 행렬식은 $ (q - q^{-1})^{-8} $ 를 포함한다.
• $ T_1 $ 의 행렬식은 0이 아니며, 구체적으로 $ \det T_1 = -\frac{1}{2(q+q^{-1})^2(q-q^{-1})^8} \neq 0 $ 이다. 이는 변환된 집합 $ \mathcal{K}_1 $ 이 선형 독립임을 확인하며, 유도법에 의해 $ \mathcal{K}_5 = \mathcal{K} $ 도 선형 독립임을 보장한다.