[论文解读] Quasi-Coxeter categories and a relative Etingof-Kazhdan quantization functor

Andrea Appel, Valerio Toledano-Laredo|arXiv (Cornell University)|Dec 30, 2012

Algebraic structures and combinatorial models参考文献 15被引用 4

一句话总结

本文建立了一個相對的Etingof-Kazhdan量子化函子，該函子在完成的量子包絡代數 $U_{\bar{\hbar}}\mathfrak{g}[[\hbar]]$ 與普遍包絡代數 $U\mathfrak{g}[[\hbar]]$ 之間構造了一個同構，並保持了Levi子代數包含關係。關鍵結果是推廣了量子Weyl群算子的單值描述至仿射Kac-Moody代數，透過修改的Etingof-Kazhdan函子與Manin三元組鏈，建立了擬Coxeter範疇的典型等價關係。

ABSTRACT

Let g be a symmetrizable Kac-Moody algebra and U_h(g) its quantized enveloping algebra. The quantum Weyl group operators of U_h(g) and the universal R-matrices of its Levi subalgebras endow U_h(g) with a natural quasi-Coxeter quasitriangular quasibialgebra structure which underlies the action of the braid group of g and Artin's braid groups on the tensor product of integrable, category O modules. We show that this structure can be transferred to the universal enveloping algebra Ug[[h]]. The proof relies on a modification of the Etingof-Kazhdan quantization functor, and yields an isomorphism between (appropriate completions of) U_h(g) and Ug[[h]] preserving a given chain of Levi subalgebras. We carry it out in the more general context of chains of Manin triples, and obtain in particular a relative version of the Etingof-Kazhdan functor with input a split pair of Lie bialgebras. Along the way, we develop the notion of quasi-Coxeter categories, which are to generalized braid groups what braided tensor categories are to Artin's braid groups. This leads to their succint description as a 2-functor from a 2-category whose morphisms are De Concini-Procesi associahedra. These results will be used in the sequel to this paper to give a monodromic description of the quantum Weyl group operators of an affine Kac-Moody algebra, extending the one obtained by the second author for a semisimple Lie algebra.

研究动机与目标

• 將量子Weyl群算子的單值描述從半單情形推廣至仿射Kac-Moody代數。
• 解決標準Etingof-Kazhdan同構在仿射情形下無法保持Levi子代數包含關係的問題。
• 構造一個相對Etingof-Kazhdan函子，使其尊重Manin三元組鏈與Levi子代數結構。
• 定義並特徵化擬Coxeter範疇，作為廣義 braid 群作用的范畴框架。
• 建立 $U_{\hbar}\mathfrak{g}$ 與 $U\mathfrak{g}[[\hbar]]$ 之間的典型同構，並保持量子Weyl群算子與 $R$-矩陣的結構。

提出的方法

• 透過將原始同構與來自相對單值數據的扭轉元素共軛，修改Etingof-Kazhdan量子化函子，使其保持Levi子代數包含關係。
• 構造一個從De Concini-Procesi關聯多面體2-category到擬Coxeter範疇的2函子，以範疇方式描述擬Coxeter範疇。
• 利用具有李結合子的等連續模的Drinfeld範疇，在拓撲設定下定義Etingof-Kazhdan函子。
• 引入Etingof-Kazhdan函子的相對版本，輸入為分裂的李雙代數對與Manin三元組鏈。
• 將Etingof-Kazhdan構造應用於 $U\mathfrak{g}[[\hbar]]$ 的完成，並透過共軛調整同構，使其與量子群算子匹配。
• 證明修改後的同構保持 $R$-矩陣結構與Casimir結合子，僅在權重零修正下成立。

实验结果

研究问题

• RQ1 能否修改Etingof-Kazhdan量子化同構，使其在仿射Kac-Moody情形下保持Levi子代數包含關係？
• RQ2 如何形式化擬Coxeter範疇為關聯多面體上的2函子，以捕捉廣義braid群作用？
• RQ3 對Manin三元組鏈而言，相對Etingof-Kazhdan函子是什麼？它與量子Weyl群算子有何關係？
• RQ4 在完成與同構下，$U_{\hbar}\mathfrak{g}$ 中的量子Weyl群算子如何轉移到 $U\mathfrak{g}[[\hbar]]$？
• RQ5 權重零相對扭轉與Casimir結合子在維持Levi子代數結構相容性中扮演何種角色？

主要发现

• 構造了一個修改的Etingof-Kazhdan同構 $\Psi_{i} = \mathrm{Ad}(x) \circ \Psi_{i}^{\mathrm{EK}}$，其將量子Weyl群算子 $S_{i}^{\hbar}$ 映射至其經典對應物 $S_{i,C}$，並在模 $\hbar$ 下保持結構。
• 同構 $\Psi^{\mathrm{EK}}$ 無法保持Levi子代數包含關係，但透過與來自相對單值數據的扭轉元素 $x$ 共軛，此缺陷得以修正。
• 在量子範疇 $\mathcal{O}_{\hbar}$ 與經典範疇 $\mathcal{O}$ 之間建立了擬Coxeter範疇的典型等價關係，其中 $R$-矩陣為 $R_B = \exp(\frac{\hbar}{2}\Omega_D)$，結合子為 $\Phi_B = 1 \mod \hbar^2$。
• 相對扭轉 $J_{\mathcal{F}}^{BB'}$ 被證明為權重零元素，確保與量子群結構及 braid 群作用的相容性。
• 修改後的同構保持了 $R$-矩陣與量子Weyl群算子結構，其中 $S_i^2 = S_{i,C}^2$ 且在可積模上 $S_i = \mathrm{Ad}(x)(S_{i,C})$。
• 該構造產生了一個針對Manin三元組鏈的相對Etingof-Kazhdan函子，將標準函子推廣至包含與Levi子代數相容的結構。