[論文レビュー] Quasi-Coxeter algebras, Dynkin diagram cohomology and quantum Weyl groups

Valerio Toledano-Laredo|arXiv (Cornell University)|Jun 26, 2005

Algebraic structures and combinatorial models参考文献 33被引用数 9

ひとこと要約

この論文は、複素単純リー代数 $\mathfrak{g}$ 上のカシミール接続のモノドロミーが、対応する量子群 $U_{\hbar}\mathfrak{g}$ の量子ワイル群作用素と関連するという予想を証明する。準コクセター代数と変形コホモロジーを用いて、$U\mathfrak{g}$ 上に、カシミール接続とKZ方程式の間を補間する、擬三角的擬bialgebra 構造を確立し、その結果、量子ワイル群作用がモノドロミー表現として実現されることを示す。

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}$ の量子ワイル群作用素によって支配されることを証明すること。
• カシミール接続の準コクセター代数構造と、キニジン＝ザモロドチキン方程式の擬三角的擬bialgebra 構造の間の変形理論的ブリッジを確立すること。
• 一般化されたブレード群を想定した、ドリンフェルトの擬三角的擬bialgebraの一般化としての準コクセター代数を定義し、それを用いること。
• 予想を、$U\mathfrak{g}$ 上に一貫した準コクセター的かつ擬三角的擬bialgebra 構造が存在することに還元し、これは後続の論文 [TL4] で証明されている。

提案手法

• 一般化されたブレード群に適した、ドリンフェルトの擬三角的擬bialgebraの一般化としての準コクセター代数を導入する。
• 変形コホモロジーを用いて、ダイニキン図形に関連する $D$-代数および準コクセター代数の変形を分析・分類する。
• ダイニキン複体およびダイニキン–ホッシャイド複体を構成し、$U\mathfrak{g}$ 上の構造の上昇におけるコホモロジカルな障害を研究する。
• 形式的パラメータ $\hbar = 2\pi i h$ を用いて、モノドロミー表現を $\mathbb{C}[[\hbar]]$ 上の形式的べき級数として解釈する。
• コホモロジカルに定義されたゲージ変換 $a = \{1 - \hbar^n \cdot a_{(D;\alpha_i)}\}$ を用いて、準コクセター代数構造をねじる。これにより、$\hbar^n$ の次数まで量子ワイル群作用と一致する。
• ダイニキン図形上の補完写像 $\complement^{D\setminus\{\alpha_j\}}_{\alpha_i,\alpha_k}$ を用いて、コホモロジカル関係の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 カシミール接続の $\mathfrak{h}_{\text{reg}}$ 上のモノドロミーは、$U_{\hbar}\mathfrak{g}$-加群上での量子ワイル群作用と一致するか？
• RQ2 カシミール接続とKZ方程式の間を補間する、$U\mathfrak{g}$ 上に準コクセター的かつ擬三角的擬bialgebra 構造を構成できるか？
• RQ3 ダイニキン図形のコホモロジーは、$D$-代数の変形の分類およびそれらの量子群構造との整合性に果たす役割は何か？
• RQ4 形式的モノドロミー表現 $\mu_V: B_W \to GL(V[[\hbar]])$ は、$\mathbb{Q}[[\hbar]]$ に倣って定義された量子ワイル群作用素とどのように関係するか？
• RQ5 $\hbar$ の与えられた次数まで量子ワイル群作用と一致する一貫したゲージ変換の存在を保証するコホモロジカル条件は何か？

主な発見

• 一般化されたブレード群 $B_W$ の $V[[\hbar]]$ 上のモノドロミー表現 $\mu_V$ は、任意の有限次元 $\mathfrak{g}$-加群 $V$ の量子変形 $\mathcal{V}$ 上での量子ワイル群作用と同値である。
• カシミール接続とKZ方程式の間を補間する、$U\mathfrak{g}$ 上に準コクセター的かつ擬三角的擬bialgebra 構造が存在することは、中間的な主要結果として確立された（[TL4] で証明済み）。
• モノドロミー表現 $\mu_V$ は、量子ワイル群作用素 $S_i^\hbar$ の $\mathbb{Q}$-整数性に起因し、$\mathbb{Q}[[\hbar]]$ 上で定義される。
• 補完写像 $\complement^{D\setminus\{\alpha_j\}}_{\alpha_i,\alpha_k}$ に符号化されたコホモロジカル条件は、ゲージ変換 $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}$ を保存することが保証される。