[논문 리뷰] Quasi-Hopf algebras associated with sl(2) and complex curves

Benjamin Enriquez, V. Rubtsov|ArXiv.org|1996. 08. 04.

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

한 줄 요약

이 논문은 복소 곡선 X와 그 위의 유리형 미분형식 ω를 지닌 Lie 대수 𝔰𝔩₂와 관련된 Drinfeld의 Manin 쌍을 양자화하는 준-호프 대수를 구성한다. 정점 관계, PBW 유사 정리, 그리고 휘감김 연산자 분해를 통해, 쌍대화된 Manin 삼중항을 양자화하는 양자군 $U_{\hbar}\mathfrak{g}$가 원래 $U_{\hbar}\mathfrak{g}$와 휘감김-동치임을 보이며, 일반적인 곡선에 대해 준-호프 대수의 구조를 확립한다.

ABSTRACT

We construct quasi-Hopf algebras quantizing double extensions of the Manin pairs of Drinfeld, associated to a curve with a meromorphic differential, and the Lie algebra sl(2). This construction makes use of an analysis of the vertex relations for the quantum groups obtained in our earlier work, PBW-type results and computation of $R$-matrices for them; its key step is a factorization of the twist operator relating ``conjugated'' versions of these quantum groups.

연구 동기 및 목표

• Drinfeld의 열린 문제인 𝔰𝔩₂와 유리형 미분형식 ω를 지닌 복소 곡선 X와 관련된 일반 Manin 쌍을 준-호프 대수의 관점에서 양자화하는 것.
• Manin 쌍 $({\mathfrak{a}}\otimes k, {\mathfrak{a}}\otimes R)$의 이중 확장을 양자화하는 양자군 $U_{\hbar}\mathfrak{g}$를 구성하는 것, 여기서 $k = \bigoplus_{s\in S} k_s$ 이고 $R$는 유한 집합 $S$ 외부에서 정칙인 함수의 링이다.
• Hopf 대수 $U_{\hbar}\mathfrak{g}$와 $U_{\hbar}\bar{\mathfrak{g}}$가 $F$-행렬을 통해 휘감김-동치임을 증명하는 것. 이 $F$-행렬은 코ycle 항등식을 만족한다.
• PBW 유사 결과와 $R \otimes R$에 속한 함수들과의 정점 관계를 사용하여, $U_{\hbar}\mathfrak{g}_R \subset U_{\hbar}\mathfrak{g}$ 가 $U\mathfrak{g}_R$의 변형임을 보이는 것.
• 잔여 쌍선형형식 $\langle f,g\rangle_k = \sum_{s\in S} \operatorname{res}_s(fg\omega)$ 에 대해 링 $R$ 가 $k$ 에서 최대 자기수직임을 확인하여, 양자화의 고전 기하학적 구조를 확인하는 것.

제안 방법

• 생성 급수에 대한 정점 관계를 통해 양자군 $U_{\hbar}\mathfrak{g}$ 를 구성하며, $R \otimes R$ 에 속한 함수들에 의해 곱 연산이 변형되어 고전적 포함 대수 $U\mathfrak{g}_R$ 의 변형임을 보장한다.
• 형식적 Feigin-Odesski 셔플 대수의 버전과의 유사성을 통해 $U_{\hbar}\mathfrak{g}$ 에 대해 PBW 유사 정리를 확립하여 잘 정렬된 필터링과 기저를 보장한다.
• 양자군 $U_{\hbar}\mathfrak{g}$ 와 $U_{\hbar}\bar{\mathfrak{g}}$ 를 연결하기 위해, $U_{\hbar}\mathfrak{n}_+$ 와 $U_{\hbar}\mathfrak{n}_-$ 의 쌍대 기저 $\alpha^i, \alpha_i$ 를 사용하여 $F \in U_{\hbar}\mathfrak{g}^{\hat{\otimes}2}$ 로서 휘감김 연산자 $F = \sum_i \alpha^i \otimes \alpha_i$ 를 정의한다.
• 코프로덕트 $\bar{\Delta}$ 가 $U_{\hbar}\bar{\mathfrak{g}}$ 에서 $\Delta$ 를 $F$ 를 통해 쌍대변환하며, $F$ 가 준-호프 코ycle 조건을 만족함을 보인다.
• 아핀 웨일 군의 양의 이동에 의한 쌍대변환의 극한으로부터 얻어지는 고전적 Manin 삼중항 $({\mathfrak{g}}, \mathfrak{g}_+, \mathfrak{g}_-)$ 의 극한을 이용하여 양자 구조를 정의한다.
• 알제브라적 기하학과 아델 이론의 쌍대성 정리들을 사용하여, 잔여 쌍선형형식 $\langle f,g\rangle_k = \sum_{s\in S} \operatorname{res}_s(fg\omega)$ 에 대해 $R \subset k$ 가 최대 자기수직임을 증명한다.

실험 결과

연구 질문

• RQ1 Drinfeld의 일반 Manin 쌍, 즉 $\mathfrak{sl}_2$ 와 유리형 미분형식 $\omega$ 를 지닌 복소 곡선 $X$ 와 관련된 것들이 준-호프 대수의 관점에서 양자화될 수 있는가?
• RQ2 함수 $R \otimes R$ 를 사용하여 양자군의 정점 관계를 어떻게 수정할 수 있으며, 이로써 $U\mathfrak{g}_R$ 의 변형이 되는 부분대수 $U_{\hbar}\mathfrak{g}_R$ 를 정의할 수 있는가?
• RQ3 쌍대화된 Manin 삼중항에 대응하는 $\bar{\mathfrak{g}}$ 를 지닌 양자군 $U_{\hbar}\mathfrak{g}$ 와 $U_{\hbar}\bar{\mathfrak{g}}$ 를 연결하는 휘감김 $F$ 는 존재하는가?
• RQ4 아핀 웨일 군은 고전적 Manin 삼중항을 쌍대변환된 쌍의 극한으로서 어떻게 실현하는가? 이는 양자 수준으로 어떻게 일반화되는가?
• RQ5 유한 집합 $S$ 외부에서 정칙인 함수의 링 $R$ 이 $\omega$ 에 의해 유도된 잔여 쌍선형형식에 대해 $k = \bigoplus_{s\in S} k_s$ 에서 최대 자기수직인가?

주요 결과

• 부분대수 $U_{\hbar}\mathfrak{g}_R \subset U_{\hbar}\mathfrak{g}$ 는 $R \otimes R$ 에 계수를 가진 정점 관계를 통해 구성되며, $U\mathfrak{g}_R$ 의 변형임이 입증되며, $\Delta(U_{\hbar}\mathfrak{g}_R) \subset U_{\hbar}\mathfrak{g} \hat{\otimes} U_{\hbar}\mathfrak{g}_R$ 를 만족한다.
• PBW 유사 정리는 $U_{\hbar}\mathfrak{g}$ 를 형식적 Feigin-Odesski 셔플 대수의 변형과 연결함으로써 확립되어 잘 정렬된 기저와 필터링을 보장한다.
• 양자군 $U_{\hbar}\mathfrak{g}$ 와 $U_{\hbar}\bar{\mathfrak{g}}$ 는 대수적으로 동형이며, 그 코프로덕트는 $F$ 를 통해 휘감김으로 연결되며, 이 $F$ 는 준-호프 코ycle 항등식을 만족한다.
• 휘감김 연산자 $F$ 는 $\sum_i \alpha^i \otimes \alpha_i$ 로 명시적으로 구성되며, 여기서 $\alpha^i, \alpha_i$ 는 $U_{\hbar}\mathfrak{n}_+$ 와 $U_{\hbar}\mathfrak{n}_-$ 의 쌍대 기저이다. 이 $F$ 는 $U_{\hbar}\mathfrak{g}$ 와 $U_{\hbar}\bar{\mathfrak{g}}$ 사이의 호프 대수 동형을 휘감김에 따라 유도한다.
• 알제브라적 기하학과 아델 이론의 쌍대성 정리를 사용하여, 잔여 쌍선형형식 $\langle f,g\rangle_k = \sum_{s\in S} \operatorname{res}_s(fg\omega)$ 에 대해 $R$ 가 $k = \bigoplus_{s\in S} k_s$ 에서 최대 자기수직임을 증명하였다.
• 이 구성은 $\mathfrak{sl}_2$ 와 임의의 곡선에 대해 일반 Manin 쌍을 양자화하는 Drinfeld 문제를 해결하며, 기존의 종수 0 및 1의 결과를 임의의 종수로 일반화한다.