[논문 리뷰] Quantum Double of Yangian of Lie Superalgebra $A(m,n)$ and computation of Universal $R$-matrix

Vladimir Stukopin|ArXiv.org|2005. 04. 14.

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

한 줄 요약

이 논문은 양안 대칭대수 $A(m,n)$의 리 초대칭대수의 양안 이중체의 보편 R-행렬에 대한 명시적 인수분해 공식을 도출한다. 킬로시킨과 톨스토이의 양안 이중체 작업에 영감을 얻은 방법을 사용하며, 보편 R-행렬은 양의 근, 카르탕 생성자, 음의 근에 대응하는 세 개의 순서된 무한 지수함수의 곱으로 표현된다. 이 공식은 근계와 카시미르 연산자에 명시적인 의존성을 가지며, 기존의 단순 리 대수의 결과를 초대칭대수의 경우로 확장한다.

ABSTRACT

Yangian Double $DY(A(m,n))$ of Lie Superalgebra $A(m,n)$ is described in terms of generators and defining relations. It is proved triangular decomposition for Yangian $Y(A(m,n))$ and its quantum double $DY(A(m,n))$ as a corollary of PBW theorem. It is introduced the normally ordered bases in Yangian and its dual Hopf superalgebra in quantum double. It is calculated the pairing formulas between the elements of its bases. It is received the formula of Universal $R$-matrix of Yangian Double. The formula for Universal $R$-matrix of Yangian, which was introduced by V. Drinfel'd, is received also.

연구 동기 및 목표

• 리 초대칭대수 $A(m,n)$의 양안 이중체 $DY(A(m,n))$를 생성자와 정의 관계의 관점에서 구성한다.
• 이동 연산자와 근계 분해에 기반한 체계적인 접근을 통해 $DY(A(m,n))$의 보편 R-행렬을 계산한다.
• 기존의 단순 리 대수에 대한 보편 R-행렬의 곱 형태 공식을 초대칭대수, 특히 $A(m,n)$의 경우로 확장한다.
• 일반적 구성의 특수한 경우로서 $Y(\frak{sl}_2)$의 보편 R-행렬에 대한 명시적 공식을 제공한다.

제안 방법

• 리 대수 $\frak{g}=A(m,n)$에 대해 드리프넬드의 접근법에 기반한 생성자와 정의 관계를 사용하여 양안 이중체 $DY(\frak{g})$를 구성한다.
• 보편 R-행렬은 양의 근, 카르탕 생성자, 음의 근에 대응하는 세 성분 $R_+(\theta)$, $R_0(\theta)$, $R_-(\theta)$로 분해된다.
• $R_+$ 및 $R_-$ 성분은 근 벡터 $e_\beta$, $e_{-\beta}$ 및 구조 상수를 포함하는 순서된 무한 곱의 지수함수 형태로 표현되며, 계수는 근의 순서와 이항계수에 의존한다.
• $R_0$ 성분은 카르탕 생성자의 생성함수에 작용하는 이동 연산자를 사용하여 유도되며, $T_\theta$는 스펙트럴 매개변수의 이동을 나타낸다.
• 이 구성은 킬로시킨과 톨스토이의 양안 이중체 작업에서 유도된 기법을 응용하며, 연산자 $t^\theta$를 통해 아핀 베크 군 원소의 유사체를 포함한다.
• 최종 공식은 보편 R-행렬에 $id \otimes T_\theta$ 이동 연산자를 적용하여, 원래 양안 이중체의 보편 R-행렬을 도출한다.

실험 결과

연구 질문

• RQ1 리 초대칭대수 $A(m,n)$의 양안 이중체는 생성자와 정의 관계의 관점에서 어떻게 명시적으로 기술될 수 있는가?
• RQ2 양안 이중체 $Y(A(m,n))$의 보편 R-행렬의 구조는 어떠한가?
• RQ3 이동 연산자를 사용하여, 양안 이중체의 보편 R-행렬로부터 $Y(A(m,n))$의 보편 R-행렬을 어떻게 유도할 수 있는가?
• RQ4 특히 근계와 이항계수의 관점에서, $A(m,n)$의 양안 이중체에 대한 보편 R-행렬의 명시적 인수분해 형태는 어떠한가?
• RQ5 기존의 $Y(\frak{sl}_2)$의 보편 R-행렬 공식은 일반적 구성의 특수한 경우로 복원될 수 있는가?

주요 결과

• 양안 이중체 $DY(A(m,n))$의 보편 R-행렬은 $R(\theta) = R_+(\theta) R_0(\theta) R_-(\theta)$로 명시적으로 구성되며, 각 성분은 지수함수의 순서된 무한 곱으로 표현된다.
• $R_+(\theta)$ 및 $R_-(\theta)$ 성분은 $\overrightarrow{\prod}_{\beta \in \Xi_+} \exp\left( -(-1)^{\theta(\beta)} a(\beta) \sum_{k=0}^\infty (-1)^k C^{\text{ord}(\beta)-1}_{k+\text{ord}(\beta)-1} (e_\beta \otimes e_{-\beta + (\text{ord}(\beta)+k)\delta}) \theta^{-\text{ord}(\beta)-k-1} \right)$ 로 주어지며, $R_-$의 경우도 유사하게 표현된다.
• $R_0(\theta)$ 성분은 $n \geq 0$ 에 대해 카르탕 생성자의 생성함수의 도함수와 구조 상수를 포함하는 지수함수의 곱으로 표현된다.
• $\frak{sl}_2$의 특수한 경우에서 보편 R-행렬은 간소화된 형태로 복원되며, $R_+(\theta) = \overrightarrow{\prod}_{n \geq 0} \exp\left( \sum_{m=0}^k C^n_{k} (-1)^n e_n \otimes f_{k-n} \theta^{-k-1} \right)$ 와 유사한 표현을 갖는다.
• 이동 연산자 $T_\theta$ 는 카르탕 생성자에 대해 $T_\theta(h_i^-(u)) = h_i^+(u + \theta)$ 를 만족하며, 이는 $R_0(\theta)$ 의 유도에 기여한다.
• 최종적으로, $Y(A(m,n))$의 보편 R-행렬은 $R(\theta) = R_+(\theta) R_0(\theta) R_-(\theta)$ 로 주어지며, 각 인수의 명시적 표현이 제공되어 인수분해 구성이 완성된다.