[논문 리뷰] Hall algebra approach to Drinfeld's presentation of quantum loop algebras

Rujing Dou, Yong Jiang외 1명|arXiv (Cornell University)|2010. 02. 05.

Algebraic structures and combinatorial models참고 문헌 17인용 수 6

한 줄 요약

이 논문은 가중치가 부여된 사영선 위의 코herent sheaf의 이중 조합 대수에서 명시적인 생성자를 구성함으로써 드린펠트의 양자 루프 대수의 새로운 표현에 대한 할르 대수 실현을 확립한다. 이 생성자들이 드린펠트 관계를 모두 만족함을 증명함으로써, 유도 동치와 PBW 유형 기저를 통해 기하학적 표현 이론과 양자군의 구조를 연결하는 완전한 대수적 프레임워크를 제공한다.

ABSTRACT

The quantum loop algebra $U_{v}(\mathcal{L}\mathfrak{g})$ was defined as a generalization of the Drinfeld's new realization of the quantum affine algebra to the loop algebra of any Kac-Moody algebra $\mathfrak{g}$. It has been shown by Schiffmann that the Hall algebra of the category of coherent sheaves on a weighted projective line is closely related to the quantum loop algebra $U_{v}(\mathcal{L}\mathfrak{g})$, for some $\mathfrak{g}$ with a star-shaped Dynkin diagram. In this paper we study Drinfeld's presentation of $U_{v}(\mathcal{L}\mathfrak{g})$ in the double Hall algebra setting, based on Schiffmann's work. We explicitly find out a collection of generators of the double composition algebra $\mathbf{DC}(\Coh(\mathbb{X}))$ and verify that they satisfy all the Drinfeld relations.

연구 동기 및 목표

• 코herent sheaf의 할르 대수 프레임워크 내에서 드린펠트의 양자 루프 대수 표현을 실현하는 것.
• 시프만의 작업에서의 격차를 메우기 위해, 가중치가 부여된 사영선 위의 코herent sheaf의 할르 대수에서 드린펠트 생성자와 관계를 명시적으로 규명하는 것.
• 이중 할르 대수의 부분대수로서 전체 양자 루프 대수의 구조를 포착하는 이중 조합 대수를 구성하는 것.
• 드린펠트 관계를 모두 만족하는 명시적 생성자를 통해 양자 루프 대수와 이중 조합 대수 사이의 동형사상 수립.

제안 방법

• 가중치가 부여된 사영선 $\mathbb{X}$ 위의 코herent sheaf의 범주에 대한 이중 할르 대수 구성, 표기 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$.
• 이중 조합 대수 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$를 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$의 부분대수로 정의하며, 이는 단순 sheaf와 토르션 sheaf에 대응하는 특정 원소들에 의해 생성된다.
• 비균일한 튜브와 벡터 번들의 구조를 활용하여 드린펠트 생성자 $x_{m,0}^{\pm}$, $k_m$, 및 $e_{m,0}$에 대응하는 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 내의 명시적 생성자를 구성한다.
• 코herent sheaf의 범주 $\text{Coh}(\mathbb{X})$와 $\Lambda$라는 캐논리컬 대수의 모듈러 범주 $\text{mod}(\Lambda)$ 사이의 유도 동치를 활용하여 이러한 생성자가 드린펠트 관계를 모두 만족함을 검증한다.
• 모듈러 범주 $\text{mod}(\Lambda)$와 코herent sheaf 범주 $\text{Coh}(\mathbb{X})$ 양쪽에서의 PBW 유형 기저를 비교함으로써, 양자 루프 대수의 양의 부분과 음의 부분의 구조를 분석한다.
• 기존의 동형사상들을 조합하고, 드린펠트 생성자들의 상이 정의 관계를 만족함을 검증함으로써, $U_v(\mathcal{L}\mathfrak{g}) \simeq \mathbf{DC}(\text{Coh}(\mathbb{X}))$의 동형사상을 수립한다.

실험 결과

연구 질문

• RQ1 드린펠트의 양자 루프 대수의 전체 표현이 가중치가 부여된 사영선 위의 코herent sheaf의 할르 대수 프레임워크 내에서 명시적으로 실현될 수 있는가?
• RQ2 이중 할르 대수 $\text{Coh}(\mathbb{X})$ 내에서 드린펠트 생성자 $x_{m,0}^{\pm}$, $k_m$, 및 $e_{m,0}$에 대응하는 구체적인 원소는 무엇인가?
• RQ3 특히 비균일한 튜브와 벡터 번들의 기하학적 구조를 포함한 $\text{Coh}(\mathbb{X})$의 아우란더-레텐 범주(AR-quiver)는 양자 루프 대수의 대수적 생성자와 어떻게 관련이 있는가?
• RQ4 양자 루프 대수와 이중 조합 대수 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 사이에 드린펠트 관계를 유지하는 표준적 동형사상이 존재하는가?
• RQ5 $\mathbf{C}(\text{mod}(\Lambda))$와 $\mathbf{C}(\text{Coh}(\mathbb{X}))$의 PBW 유형 기저는 $\text{mod}(\Lambda)$와 $\text{Coh}(\mathbb{X})$ 사이의 유도 동치를 어떻게 반영하는가?

주요 결과

• 이중 조합 대수 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$는 이중 할르 대수 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$의 부분대수로 명시적으로 구성되었으며, 전체 양자 루프 대수의 구조를 포착한다.
• 드린펠트 관계를 모두 만족하는 생성자 집합이 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 내에서 규명되었으며, 세르 관계와 양의 생성자와 음의 생성자 간의 교환 관계를 포함한다.
• 드린펠트 생성자들의 상이 정의 관계를 만족함을 검증함으로써, $U_v(\mathcal{L}\mathfrak{g}) \simeq \mathbf{DC}(\text{Coh}(\mathbb{X}))$의 동형사상이 구성되었으며, 이는 드린펠트 생성자들이 명시적으로 코herent sheaf 이론적 대상으로 매핑됨을 보여준다.
• $\mathbf{C}(\text{Coh}(\mathbb{X}))$의 PBW 유형 기저는 벡터 번들 $V$, 비균일한 튜브 내의 토르션 sheaf $E_{\pi_i\mathbf{c}}$ 및 $T_\omega$에 의해 색인됨을 보여주며, 이는 양의 부분 $U_v(\hat{\mathfrak{n}})$의 대수적 구조를 확인한다.
• 유도 동치 $\text{mod}(\Lambda)$와 $\text{Coh}(\mathbb{X})$를 활용하여 두 범주의 PBW 기저를 연결함으로써, 전프로젝티브 모듈과 전인젝티브 모듈이 각각 벡터 번들과 토르션 sheaf에 대응함을 보였다.
• 특히 $D$형과 $E$형에서 중심 정점과 확장 정점의 기하학적 구조가 대칭성을 깨뜨림으로써, 단순한 유도 동치가 드린펠트 생성자를 유지하지 못함을 설명하였다.