[논문 리뷰] On Hopf algebraic structures of quantum toroidal algebras

Naihuan Jing, Honglian Zhang|arXiv (Cornell University)|2016. 04. 19.

Algebraic structures and combinatorial models참고 문헌 15인용 수 3

한 줄 요약

이 논문은 Drinfeld 생성자들을 사용하여 양자 토로이드 대수 $U_q(\widehat{sl}_{n+1},\text{tor})$ 를 위한 간소화된 대수 $\mathcal{U}_0$ 를 도입하고, $\mathcal{U}_0$ 가 전체 양자 토로이드 대수로의 에피모르피즘을 갖는 것을 증명하며, Drinfeld-Jimbo 구조와 호환되는 유한한 코승법 공식을 수립한다. 주요 결과는 $n=1,2$ 에서 $\mathcal{U}_0$ 가 호프 대수이자 Drinfeld 듀얼과 동형이며, 일반 $n$ 에 대한 추측적 공식을 제시한다는 것이다. 이 구성은 양자 토로이드 대수에 호프 대수의 구조를 확장하여 양자군 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We define an algebra $\mathcal{U}_0$ using a simplified set of generators for the quantum toroidal algebra $U_q(sl_{n+1}, tor)$ and show that there exists an epimorphism from $\mathcal{U}_0$ to $U_q(sl_{n+1}, tor)$. We derive a closed formula of the comultiplication on the generators of $\mathcal{U}_0$ that extends that of the quantum affine algebra $U_q(\hat{sl}_{n+1})$. As a consequence, we show that $\mathcal{U}_0$ is a Hopf algebra for $n=1, 2$ and give conjectural formulas in the general case. We further show that $\mathcal{U}_0$ is isomorphic to a double algebra.

연구 동기 및 목표

• 양자 토로이드 대수에 대해 유한한 호프 대수의 구조를 구성하는 데 오랫동안 열려있던 문제를 해결하기 위해, 이전에는 유한하지 않은 코승법만 허용되었음.
• Drinfeld 생성자들의 최소 집합을 사용하여 $U_q(\widehat{sl}_{n+1},\text{tor})$ 를 위한 간소화된 대수 $\mathcal{U}_0$ 를 정의하기 위해.
• 양자 아핀 대수 $U_q(\widehat{sl}_{n+1})$ 의 Drinfeld-Jimbo 코승법을 연장하여 $\mathcal{U}_0$ 에 대해 닫힌 형태의 코승법을 유도하기 위해.
• $n=1$ 과 $n=2$ 에서 $\mathcal{U}_0$ 가 호프 대수임을 증명하고, 임의의 $n$ 에 대해 일반적인 코승법 공식을 추측하기 위해.
• $\mathcal{U}_0$ 가 코승법을 기반으로 한 비대칭 쌍대 쌍체를 갖는 Drinfeld 듀얼 $\mathcal{D}(\mathcal{B}, \mathcal{B}')$ 과 동형임을 보여주기 위해.

제안 방법

• $U_q(\widehat{sl}_{n+1},\text{tor})$ 를 위한 간소화된 Drinfeld 생성자 집합으로 생성된 몫대수로 $\mathcal{U}_0$ 를 정의하기 위해.
• $U_q(\widehat{sl}_{n+1})$ 의 Drinfeld-Jimbo 코승법을 연장하여 $\mathcal{U}_0$ 의 생성자들 위에 코승법 $\Delta$ 를 구성하기 위해.
• $q$-특성과 쌍대 관계를 사용한 명시적 계산을 통해 $n=1$ 과 $n=2$ 에서 코승법이 코결합법칙을 만족하고 대수 관계와 호환됨을 검증하기 위해.
• Drinfeld 듀얼 구성법을 사용하여 $\mathcal{U}_0 \cong \mathcal{D}(\mathcal{B}, \mathcal{B}')$ 를 보여주기 위해, $\mathcal{B}$ 와 $\mathcal{B}'$ 는 비대칭 쌍대 쌍체를 갖는 부분대수임.
• $\mathcal{U}_0$ 의 특정 생성자어를 위한 $\Delta^{(2)}(X)$ 의 세부 계산을 수행하여, 코승법이 세르 유형의 관계를 유지함을 검증하기 위해.
• 임의의 $n$ 에 대한 일반적인 코승법 공식을 추측하며, 뿌리가 있는 트리와의 잠재적 연관성을 언급하기 위해.

실험 결과

연구 질문

• RQ1 Drinfeld 생성자들을 사용하여 양자 토로이드 대수에 대해 끝없이 정의된 코승법이 아닌, 끝없는 잘 정의된 코승법을 구성할 수 있는가?
• RQ2 $n=1$ 과 $n=2$ 에서 간소화된 대수 $\mathcal{U}_0$ 가 호프 대수의 구조를 갖는가?
• RQ3 $\mathcal{U}_0$ 는 Drinfeld 듀얼과 동형이며, 만약 그렇다면 그 기초가 되는 쌍대 관계의 구조는 무엇인가?
• RQ4 코승법 공식은 임의의 $n$ 에 대해 일반화될 수 있으며, 일반적인 경우의 기초가 되는 대수적 구조는 무엇인가?
• RQ5 $\mathcal{U}_0$ 의 코승법은 $q$-특성 이론과 보편 $R$-행렬과 어떻게 관련이 있는가?

주요 결과

• $\mathcal{U}_0$ 는 전체 양자 토로이드 대수 $U_q(\widehat{sl}_{n+1},\text{tor})$ 로의 에피모르피즘을 갖는다.
• $n=1$ 과 $n=2$ 에서 $\mathcal{U}_0$ 는 Drinfeld-Jimbo 구조를 연장하는 잘 정의된 코승법을 갖는 호프 대수이다.
• $\mathcal{U}_0$ 의 코승법은 명시적으로 계산되었으며, 고차수의 세르 관계를 포함한 대수 관계를 유지함을 보였다.
• $\mathcal{U}_0$ 는 코승법을 기반으로 한 비대칭 쌍대 쌍체를 갖는 Drinfeld 듀얼 $\mathcal{D}(\mathcal{B}, \mathcal{B}')$ 과 동형이다.
• 일반 $n$ 에 대해 코승법의 추측적 공식이 제안되었으며, 뿌리가 있는 트리와의 잠재적 연관성이 있다.
• 이 구성은 $\mathcal{U}_0$ 가 보편 $R$-행렬을 갖는 양자 듀얼로서 존재함을 암시하며, 양자 아핀 대수의 $R$-행렬 구조를 일반화한다.