[论文解读] 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}$ 的量子威格鲁群算子之间联系的猜想。通过拟考克斯eter代数与形变上同调，本文在 $U\mathfrak{g}$ 上建立了介于卡西米尔联络与 KZ 方程之间的拟三角拟双代数结构，从而将量子威格鲁群作用实现为单值表示。

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}$ 的量子威格鲁群算子控制的猜想。
• 在卡西米尔联络的拟考克斯eter代数结构与基尼兹赫尼克–萨莫洛奇科夫方程的拟三角拟双代数结构之间建立形变理论的桥梁。
• 定义并利用拟考克斯eter代数作为德林费尔德的拟三角拟双代数在广义 braid 群上的推广。
• 将该猜想归约为在 $U\mathfrak{g}$ 上存在一个相容的拟考克斯eter、拟三角拟双代数结构，该结果在后续文献 [TL4] 中得到证明。

提出的方法

• 引入拟考克斯eter代数作为德林费尔德的拟三角拟双代数的推广，专为广义 braid 群设计。
• 应用形变上同调分析并分类与 Dynkin 图相关的 $D$-代数和拟考克斯eter代数的形变。
• 构造 Dynkin 上同调复形与 Dynkin–Hochschild 双复形，以研究 $U\mathfrak{g}$ 上结构提升的上同调障碍。
• 通过形式参数 $\hbar = 2\pi i h$ 将单值表示解释为 $\mathbb{C}[[\hbar]]$ 上的形式幂级数。
• 通过一个由上同调定义的规范变换 $a = \{1 - \hbar^n \cdot a_{(D;\alpha_i)}\}$ 对拟考克斯eter代数结构进行扭转，使其在 $\hbar^n$ 阶内与量子威格鲁群作用一致。
• 在 Dynkin 图上使用补映射 $\complement^{D\setminus\{\alpha_j\}}_{\alpha_i,\alpha_k}$ 验证上同调关系的一致性。

实验结果

研究问题

• RQ1 卡西米尔联络在 $\mathfrak{h}_{\text{reg}}$ 上的单值性是否与 $U_{\hbar}\mathfrak{g}$-模上的量子威格鲁群作用一致？
• RQ2 能否在 $U\mathfrak{g}$ 上构造一个拟考克斯eter、拟三角拟双代数结构，使其在卡西米尔联络与 KZ 方程之间插值？
• RQ3 Dynkin 图上同调在分类 $D$-代数的形变及其与量子群结构的相容性方面起什么作用？
• RQ4 形式单值表示 $\mu_V: B_W \to GL(V[[\hbar]])$ 如何与 $\mathbb{Q}[[\hbar]]$ 定义的量子威格鲁群算子相关？
• RQ5 哪些上同调条件可确保存在一个相容的规范变换，使其在 $\hbar$ 的给定阶数内与量子威格鲁群作用一致？

主要发现

• 广义 braid 群 $B_W$ 在 $V[[\hbar]]$ 上的单值表示 $\mu_V$ 与任何有限维 $\mathfrak{g}$-模 $V$ 的量子形变 $\mathcal{V}$ 上的量子威格鲁群作用等价。
• 在 $U\mathfrak{g}$ 上存在一个拟考克斯eter、拟三角拟双代数结构，该结构在卡西米尔联络与 KZ 方程之间插值，作为关键中间结果被确立（在 [TL4] 中证明）。
• 单值表示 $\mu_V$ 定义在 $\mathbb{Q}[[\hbar]]$ 上，这是由于量子威格鲁群算子 $S_i^\hbar$ 的 $\mathbb{Q}$-整性所致。
• 编码于补映射 $\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}$ 不变。