[논문 리뷰] Quasi-Coxeter algebras, Dynkin diagram cohomology and quantum Weyl groups

Valerio Toledano-Laredo|arXiv (Cornell University)|2005. 06. 26.

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

한 줄 요약

이 논문은 단순 리 대수 $\mathfrak{g}$ 위의 카시미르 접속의 단형성과 해당 양자군 $U_{\hbar}\mathfrak{g}$의 양자 웨일 군 연산자 간의 추측을 증명한다. 준코크세터 대수와 변형 코homology를 사용하여, 카시미르 접속과 KZ 방정식 사이를 연결하는 $U\mathfrak{g}$ 위의 쿼티삼각 쿼시바이알제브라 구조를 수립함으로써, 양자 웨일 군 작용을 단형성 표현으로 실현한다.

ABSTRACT

The author, and independently De Concini, conjectured that the monodromy of the Casimir connection of a simple Lie algebra g is described by the quantum Weyl group operators of the quantum group U_h(g). The aim of this paper, and of its sequel [TL4], is to prove this conjecture. The proof relies upon the use of quasi-Coxeter algebras, which are to generalised braid groups what Drinfeld's quasitriangular quasibialgebras are to the Artin braid groups B_n. Using an appropriate deformation cohomology, we reduce the conjecture to the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra Ug which interpolates between the quasi-Coxeter structure underlying the Casimir connection and the quasitriangular quasibialgebra underlying the KZ equations. The existence of this structure will be proved in [TL4].

연구 동기 및 목표

• 복소 단순 리 대수 $\mathfrak{g}$ 위의 카시미르 접속의 단형성이 $U_{\hbar}\mathfrak{g}$의 양자 웨일 군 연산자에 의해 지배된다는 추측을 증명하는 것.
• 준코크세터 대수의 구조와 쿼티삼각 쿼시바이알제브라의 구조 사이의 변형 이론적 다리를 구축하는 것.
• 일반화된 브레이드 군을 위해 특화된 드리플란드의 쿼티삼각 쿼시바이알제브라의 일반화로서 준코크세터 대수를 정의하고 활용하는 것.
• 이 추측을 $U\mathfrak{g}$ 위에 존재하는 일관된 준코크세터, 쿼티삼각 쿼시바이알제브라 구조의 존재로 환원하는 것. 이는 이후 논문 [TL4]에서 증명된다.

제안 방법

• 일반화된 브레이드 군에 적합한 드리플란드의 쿼티삼각 쿼시바이알제브라의 일반화로서 준코크세터 대수를 도입하는 것.
• 다이노프 다이어그램과 관련된 $D$-대수와 준코크세터 대수의 변형을 분석하고 분류하기 위해 변형 코homology를 적용하는 것.
• 표현 구조를 $U\mathfrak{g}$ 위에서 올리기 위한 코homological 장벽을 연구하기 위해 다이노프 복합체와 다이노프–호흐실트 이복합체를 구성하는 것.
• 형식적 매개변수 $\hbar = 2\pi i h$를 사용하여 단형성 표현을 $\mathbb{C}[[\hbar]]$ 위의 형식적 멱급수로 해석하는 것.
• 코homologically 정의된 게이지 변환 $a = \{1 - \hbar^n \cdot a_{(D;\alpha_i)}\}$을 통해 준코크세터 대수의 구조를 변형하여, $\hbar^n$ 차수까지 양자 웨일 군 작용과 일치시키는 것.
• 다이노프 다이어그램에서의 보완 사상 $\complement^{D\setminus\{\alpha_j\}}_{\alpha_i,\alpha_k}$을 사용하여 코homological 관계의 일관성을 검증하는 것.

실험 결과

연구 질문

• RQ1 카시미르 접속의 단형성이 $\mathfrak{h}_{\text{reg}}$에서 $U_{\hbar}\mathfrak{g}$-모듈의 양자 웨일 군 작용과 일치하는가?
• RQ2 카시미르 접속과 KZ 방정식 사이를 연결하는 $U\mathfrak{g}$ 위에 준코크세터, 쿼티삼각 쿼시바이알제브라 구조를 구성할 수 있는가?
• RQ3 다이노프 다이어그램의 코homology는 $D$-대수의 변형을 분류하고 양자군 구조와의 일관성을 보장하는 데 어떤 역할을 하는가?
• RQ4 형식적 단형성 표현 $\mu_V: B_W \to GL(V[[\hbar]])$는 $\mathbb{Q}[[\hbar]]$에 의해 정의된 양자 웨일 군 연산자와 어떻게 관련되어 있는가?
• RQ5 어떤 코homological 조건이 주어진 $\hbar$ 차수까지 양자 웨일 군 작용과 일치하는 일관된 게이지 변환의 존재를 보장하는가?

주요 결과

• 일반화된 브레이드 군 $B_W$의 단형성 표현 $\mu_V$는 임의의 유한차원 $\mathfrak{g}$-모듈 $V$의 양자 변형 $\mathcal{V}$ 위에서 양자 웨일 군 작용과 동치이다.
• 카시미르 접속과 KZ 방정식 사이를 연결하는 $U\mathfrak{g}$ 위의 준코크세터, 쿼티삼각 쿼시바이알제브라 구조의 존재는 핵심 중간 결과로 확립되었으며, 이는 [TL4]에서 증명되었다.
• 단형성 표현 $\mu_V$는 양자 웨일 군 연산자 $S_i^\hbar$의 $\mathbb{Q}$-정수성에 기인하여 $\mathbb{Q}[[\hbar]]$ 위에서 정의된다.
• 보완 사상 $\complement^{D\setminus\{\alpha_j\}}_{\alpha_i,\alpha_k}$에 암묵된 코homological 조건들은 게이지 변환 $a$가 임의의 차수 $\hbar^n$까지 일관성을 유지함을 보장한다.
• 변환 $a = \{1 - \hbar^n \cdot a_{(D;\alpha_i)}\}$에 의한 편향은 $\Phi^{2}_{(D;\alpha_i,\alpha_j)} \equiv \Phi^{1}_{(D;\alpha_i,\alpha_j)} \mod \hbar^{n+1}$를 보장하여 필요한 대수적 관계를 유지한다.
• 증명은 $a_{(\alpha_i;\alpha_i)} = 0$ 이라는 사실에 의존하며, 이는 편향된 구조가 게이지 동치에 의해 원래의 카시미르 연산자 $S_{i,C}$를 유지함을 보장한다.