[논문 리뷰] Two relations that generalize the $q$-Serre relations and the Dolan-Grady relations

Paul Terwilliger|ArXiv.org|2003. 07. 01.

Advanced Algebra and Geometry참고 문헌 38인용 수 12

한 줄 요약

이 논문은 $q$-Serre 및 Dolan-Grady 관계를 통합하는 두 개의 생성자와 두 개의 일반화된 관계로 정의된 새로운 대수적 구조인 삼중대각 대수(Tridiagonal algebra)를 제안한다. 이 대수 위에서 Askey-Wilson 다항식을 이용해 무한차원의 기약 모듈을 구성하며, 곱셈 연산자 $x$와 Askey-Wilson 두 번째 순서 $q$-차분 연산자가 삼중대각 관계를 만족함을 보여, 직교 다항식과 삼중대각 대수 사이의 직접적인 연결 고리를 확립한다.

ABSTRACT

We define an algebra on two generators which we call the Tridiagonal algebra, and we consider its irreducible modules. The algebra is defined as follows. Let K denote a field, and let $β, γ, γ^*, \varrho, \varrho^*$ denote a sequence of scalars taken from K. The corresponding Tridiagonal algebra $T$ is the associative K-algebra with 1 generated by two symbols $A$, $A^*$ subject to the relations (i) \lbrack A,A^2A^*-βAA^*A + A^*A^2 -γ(AA^*+A^*A)- \varrho A^* brack = 0, (ii) \lbrack A^*,A^{*2}A-βA^*AA^* + AA^{*2} -γ^* (A^*A+AA^*)- \varrho^* A brack = 0, where $\lbrack r,s brack $ means $rs-sr$. We call these relations the Tridiagonal relations. For $β= q+q^{-1}$, $γ= γ^*=0$, $\varrho=\varrho^*=0$, the Tridiagonal relations are the $q$-Serre relations. For $β= 2$, $γ= γ^*=0$, $\varrho=b^2$, $\varrho^*=b^{*2}$, the Tridiagonal relations are the Dolan-Grady relations. In the first part of this paper, we survey what is known about irreducible finite dimensional $T$-modules. We focus on how these modules are related to the Leonard pairs recently introduced by the present author, and the more general Tridiagonal pairs recently introduced by Ito, Tanabe, and the present author. In the second part of the paper, we construct an infinite dimensional irreducible $T$-module based on the Askey-Wilson polynomials.

연구 동기 및 목표

• 삼중대각 대수라고 불리는 새로운 대수를 정의하여 $q$-Serre 및 Dolan-Grady 관계를 일반화한다.
• 이 대수의 기약 유한차원 모듈을 연구하고, 이를 Leonard 쌍과 삼중대각 쌍과 연관지킨다.
• Askey-Wilson 다항식을 이용해 삼중대각 대수 위에서 무한차원 기약 모듈을 구성한다.
• 곱셈 연산자 $x$와 Askey-Wilson $q$-차분 연산자가 삼중대각 관계를 만족함을 보인다.
• 다항식 공간 $\mathbb{K}[x]$ 위에서 삼중대각 대수의 명시적인 매개변수 의존성을 갖는 구체적 실현을 확립한다.

제안 방법

• 체 $\mathbb{K}$ 위에서 두 생성자 $A$와 $A^*$ 및 매개변수 $\beta, \gamma, \gamma^*, \varrho, \varrho^*$를 포함하는 관계를 통해 삼중대각 대수 $T$를 정의한다.
• 특히 $\beta = q + q^{-1}, \gamma = \gamma^* = 0, \varrho = -(q - q^{-1})^2, \varrho^* = -abcdq^{-1}(q - q^{-1})^2$일 때, 관계식이 $q$-Serre 및 Dolan-Grady 경우로 축소됨을 보인다.
• 다항식 공간 $\mathbb{K}[x]$ 위에서 $A: f \mapsto xf$ 및 $A^*: f \mapsto \mathbb{D}f$를 통해 대수를 실현하며, 여기서 $\mathbb{D}$는 Askey-Wilson 두 번째 순서 $q$-차분 연산자이다.
• 기존의 고유값 방정식 $\mathbb{D}p_n = \theta_n^* p_n$을 이용해 $A^*$가 Askey-Wilson 다항식의 기저 $\{p_n\}$ 위에서 대각선 연산자로 작용함을 보인다.
• 행렬 표현과 연산자 항등식을 사용하여, $[A, A^2A^* - \beta AA^*A + A^*A^2 - \gamma(AA^* + A^*A) - \varrho A^*]$ 및 $[A^*, A^{*2}A - \beta A^*AA^* + AA^{*2} - \gamma^*(A^*A + AA^*) - \varrho^*A]$의 교환자 표현식이 0이 됨을 확인함으로써 삼중대각 관계를 검증한다.
• Lemma 5.2를 이용해 $A$와 $A^*$의 작용 하에 비자명한 불변 부분공간이 존재하지 않음을 보여 모듈의 기약성을 증명한다.

실험 결과

연구 질문

• RQ1 $q$-Serre 및 Dolan-Grady 관계는 어떻게 하나의 대수적 프레임워크 아래 통합될 수 있는가?
• RQ2 최근 정의된 삼중대각 대수 위에서 기약 모듈의 구조적 성질은 무엇인가?
• RQ3 Askey-Wilson 다항식을 이용해 이 대수의 무한차원 기약 모듈을 구성할 수 있는가?
• RQ4 곱셈 연산자 $x$와 Askey-Wilson $q$-차분 연산자가 명시적인 매개변수 의존성을 갖는 삼중대각 관계를 만족하는가?
• RQ5 Askey-Wilson 다항식은 삼중대각 대수의 실현에서 고유벡터로서 어떤 역할을 하는가?

주요 결과

• 삼중대각 대수는 다섯 개의 자유 매개변수를 가진 통합된 대수적 구조를 도입함으로써 $q$-Serre 및 Dolan-Grady 관계를 일반화한다.
• $\beta = q + q^{-1}, \gamma = \gamma^* = 0, \varrho = -(q - q^{-1})^2, \varrho^* = -abcdq^{-1}(q - q^{-1})^2$일 때, 삼중대각 관계는 $q$-Serre 및 Dolan-Grady 관계로 축소된다.
• 다항식 공간 $\mathbb{K}[x]$는 곱셈 연산자 $x$와 Askey-Wilson $q$-차분 연산자의 작용을 통해 삼중대각 대수 위의 기약 모듈로 구조화될 수 있다.
• Askey-Wilson 다항식 $p_n(x)$는 $\mathbb{K}[x]$의 기저를 이루며, 고유값 $\theta_n^* = q^{-n} + abcdq^{n-1}$을 갖는 연산자 $A^*$의 고유벡터이다.
• 행렬 표현과 $\tau$, $\tau^{-1}$을 포함하는 연산자 항등식을 사용하여 교환자 표현식이 0이 됨을 보여 삼중대각 관계가 검증된다.
• Lemma 5.2에 의해 $A$와 $A^*$의 작용 하에 비자명한 불변 부분공간이 존재하지 않음을 확인함으로써 $\mathbb{K}[x]$ 위의 모듈은 기약이다.