[论文解读] Quasi-Coxeter quasitriangular quasibialgebras and the Casimir connection

Valerio Toledano-Laredo|arXiv (Cornell University)|Jan 15, 2016

Algebraic structures and combinatorial models参考文献 14被引用 10

一句话总结

本文在复半单李代数 $\mathfrak{g}$ 的泛包络代数 $U\mathfrak{g}[[\hbar]]$ 上建立了准 Coxeter 准三角形准双代数结构，统一了有理 Casimir 连接与 KZ 方程背后的代数框架。关键结果是 Casimir 连接的单值性等价于 braid 群在量子群模上的量子 Weyl 群作用，从而对所有半单李代数证明了一个长期存在的猜想。

ABSTRACT

Let g be a complex, semisimple Lie algebra. We prove the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra of g, which binds the quasi-Coxeter structure underlying the Casimir connection of g and the quasitriangular quasibialgebra one underlying its KZ equations. This implies in particular that the monodromy of the rational Casimir connection of g is described by the quantum Weyl group operators of the quantum group U_h(g).

研究动机与目标

• 解决一个长期存在的猜想：即 $\mathfrak{g}$ 上有理 Casimir 连接的单值性由 $U_\hbar\mathfrak{g}$ 的量子 Weyl 群算子控制，将先前对 $\mathfrak{sl}_n$ 的结果推广至所有复半单李代数。
• 在 $U\mathfrak{g}[[\hbar]]$ 上构建一个统一的代数结构——具体而言，即一个准 Coxeter 准三角形准双代数——以同时编码 Casimir 连接的准 Coxeter 结构与 KZ 方程的准三角形准双代数结构。
• 通过滤子代数与微分扭张量，建立 Casimir 连接的微分几何与量子群表示理论之间的结构桥梁。
• 通过证明 braid 群在 Casimir 连接上的单值性源于量子群对称性，将 Drinfeld–Kohno 定理推广至有理 Casimir 设置。

提出的方法

• 通过结合 Casimir 连接的准 Coxeter 代数结构与标准 Levi 子代数 KZ 方程的准三角形准双代数结构，在 $U\mathfrak{g}[[\hbar]]$ 上构造一个准 Coxeter 准三角形准双代数结构。
• 使用微分扭与融合算子，将 $\mathfrak{h}_{\text{reg}} \times \mathfrak{X}_n$ 上的平坦联络与 Casimir 方程及 KZ 方程关联，确保在 braid 群作用下兼容。
• 利用中心化子性质，确保所构造的 $R$-矩阵与结合子满足在泛包络代数中所需的平坦性与兼容性条件。
• 通过检查曲率分量是否为零来验证组合联络 $\nabla = \nabla^X + \nabla^Y + t\lambda$ 的平坦性，包括 $[A_X, A_Y] = 0$、$d\lambda = 0$ 以及 $[A_X + A_Y, \lambda] = 0$，并辅以显式交换子计算。
• 利用 $\lambda = d(\sum_i z_i \mu^{(i)})$ 为恰当且阿贝尔的性质，简化曲率检验，并利用 $\mathcal{K}_{\alpha,\pm}^{(ij)}$ 的权分解性质计算 $[\Omega_{ij}, \mu^{(i)}]$ 与 $[\mathcal{K}_{\alpha,\pm}^{(ij)}, d\mu^{(i)}]$。
• 应用 Coxeter 图上的最大嵌套集结构，推广完整括号化方法，并在不同括号化之间定义规范的 braid 群作用，通过结合子 $\Phi$ 确保其等价性。

实验结果

研究问题

• RQ1 是否存在一个准 Coxeter 准三角形准双代数结构在 $U\mathfrak{g}[[\hbar]]$ 上，使得其能统一任意复半单李代数 $\mathfrak{g}$ 的 Casimir 连接与 KZ 方程框架？
• RQ2 在有限维 $\mathfrak{g}$-模 $V$ 上，有理 Casimir 连接的单值性是否等价于 braid 群 $B_W$ 在量子群模 $\mathcal{V}$ 上的量子 Weyl 群作用？
• RQ3 能否通过证明 braid 群作用源于量子群对称性，将 Drinfeld–Kohno 定理的类比推广至有理 Casimir 设置？
• RQ4 微分扭与融合算子结构如何确保在乘积空间 $\mathfrak{h}_{\text{reg}} \times \mathfrak{X}_n$ 上 Casimir 与 KZ 连接之间的兼容性？
• RQ5 中心化子性质与 $\mathcal{K}_{\alpha,\pm}^{(ij)}$ 的权分解在验证组合联络平坦性中起什么作用？

主要发现

• 确立了 $U\mathfrak{g}[[\hbar]]$ 上准 Coxeter 准三角形准双代数结构的存在性，为 Casimir 连接与 KZ 方程提供了统一的框架。
• 证明了在 $\mathfrak{g}$-模 $V$ 上，有理 Casimir 连接的单值性等价于 braid 群 $B_W$ 在量子群模 $\mathcal{V}$ 上的量子 Weyl 群作用，从而对所有复半单李代数证明了该猜想。
• 通过检查所有曲率分量是否为零，验证了组合联络 $\nabla = \nabla^X + \nabla^Y + t\lambda$ 的平坦性，包括 $[A_X, A_Y] = 0$、$d\lambda = 0$ 以及 $[A_X + A_Y, \lambda] = 0$，其中后者通过显式交换子计算得到确认。
• 证明微分扭 $\lambda = d(\sum_i z_i \mu^{(i)})$ 为平坦且阿贝尔的，简化了曲率检验，并利用 $\mathcal{K}_{\alpha,\pm}^{(ij)}$ 的权性质计算其与 $A_X$ 和 $A_Y$ 的相互作用。
• 通过将 $\Omega_{ij}$ 用 $\mathcal{K}_{\alpha,\pm}^{(ij)}$ 表示，并利用 $[\mu^{(i)}, \mathcal{K}_{\alpha,\pm}^{(ij)}] = \pm \alpha(\mu) \mathcal{K}_{\alpha,\pm}^{(ij)}$，验证了 $[A_X, \lambda_Y] + [A_Y, \lambda_X] = 0$，从而确保整体平坦性。
• 中心化子性质与 Coxeter 图上最大嵌套集的结构确保了通过不同括号化定义的 braid 群作用在规范意义下同构，其互换子由结合子 $\Phi$ 构建。