[论文解读] Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

Gilles Halbout|ArXiv.org|Jun 23, 2005

Advanced Topics in Algebra参考文献 6被引用 3

一句话总结

本文在李双代数的背景下，建立了不变多向量场的李代数与量子化普遍包络代数张量代数之间的形式性拟同构，将塔马克林的形式性结果推广至余边界情形。证明了在埃廷霍夫-卡赞德量化框架下，经典 $ r $-矩阵存在一个量化 $ R $，解决了塔马克林与茨扬的猜想，并为余边界李双代数的德林查夫最后未解问题提供了完整解答。

ABSTRACT

Let $(g,δ_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),Δ_\hbar)$ a quantization of $(g,δ_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=Λ(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,δ_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.

研究动机与目标

• 构建李双代数的不变多向量场的格伦斯坦哈伯代数与量子化普遍包络代数张量代数之间的形式 $ L_{\infty} $-拟同构。
• 将塔马克林的形式性结果推广至李双代数的情形，特别是余边界情形。
• 证明一个满足量子杨-巴克斯方程与霍普夫代数公理的余边界 $ r $-矩阵的量化 $ R $ 的存在性。
• 通过构造与埃廷霍夫-卡赞德量化程序兼容的量子化普遍 $ R $-矩阵，解决德林查夫在余边界李双代数中的最后一个未解问题。
• 将形式性定理推广至包含 $ G_{\infty} $-结构的情形，并通过一个猜想的推广，建立李双代数胚与多微分算子之间的联系。

提出的方法

• 利用埃廷霍夫-卡赞德的量化/去量化函子，从李双代数 $ (\mathfrak{g}, \delta_{\hbar}) $ 构造一个量子化霍普夫代数 $ (U_{\bar{\hbar}}(\mathfrak{g}), \Delta_{\hbar}) $。
• 通过变形的格伦斯坦哈伯括号与共霍普夫希德德微分，在张量代数 $ TU = T(U_{\hbar}(\mathfrak{g})[-1]) $ 上构造一个 $ G_{\infty} $-结构。
• 在 $ C(\mathfrak{g}) = S(\mathfrak{g}[-1]) $ 与 $ TU $ 之间建立一个 $ L_{\infty} $-拟同构 $ \varphi $，其中 $ \varphi^1 $ 将 $ v \in C(\mathfrak{g}) $ 映射为模 $ \hbar $ 的其交错化 $ \operatorname{Alt}(v) $。
• 利用 $ L_{\infty} $-同构定义候选 $ R' = 1 \otimes 1 + \sum_{n \geq 1} \frac{1}{n!} \Lambda^n r' $，其中 $ r' = -\hbar r $，并令 $ R = (R')^{-1} $。
• 通过 $ L_{\infty} $-同构的性质验证 $ R $ 满足量子杨-巴克斯方程 $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $。
• 应用德林查夫对偶性与埃廷霍夫-卡赞德去量化，表明 $ TU $ 上的 $ G_{\infty} $-结构源自余自由张量余代数上的一个自然构造。

实验结果

研究问题

• RQ1 能否为任意李双代数构造不变多向量场的李代数与量子化普遍包络代数张量代数之间的形式性 $ L_{\infty} $-拟同构？
• RQ2 此类形式性同构的存在是否意味着德林查夫意义下余边界 $ r $-矩阵的量化？
• RQ3 在余边界情形下，能否从 $ L_{\infty} $-同构结构推导出量子杨-巴克斯方程？
• RQ4 构造的 $ R $-矩阵是否满足对称性与扭变性质 $ R^{-1} = R^{2,1} $ 与 $ R \Delta_{\hbar}(a) R^{-1} = \Delta_{\hbar}^{\text{op}}(a) $？
• RQ5 埃廷霍夫-卡赞德量化框架能否推广至李双代数胚，以在张量场与多微分算子之间建立全局形式性定理？

主要发现

• 在张量代数 $ TU $ 上构造了 $ G_{\infty} $-结构，其底层 $ L_{\infty} $-结构由变形的格伦斯坦哈伯括号与共霍普夫希德德微分给出。
• 在 $ C(\mathfrak{g}) $ 与 $ TU $ 之间存在一个 $ L_{\infty} $-拟同构 $ \varphi $，且 $ \varphi^1(v) \equiv \operatorname{Alt}(v) \mod \hbar $，该结果将卡拉克的结果推广至李双代数情形。
• 对于任意有限维余边界李双代数 $ (\mathfrak{g}, r, Z) $，构造了一个量化 $ R \in U_{\hbar}(\mathfrak{g})^{\tens 2} $，使得 $ R = 1 + \hbar r + O(\hbar^2) $ 且满足量子杨-巴克斯方程。
• 构造的 $ R $-矩阵满足 $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $，确认其为量子杨-巴克斯方程的解。
• 该拟同构诱导了 $ U_{\hbar}(\mathfrak{g}) $ 的共霍普夫希德德复形与带有余括号微分的外代数 $ C(\mathfrak{g}) $ 之间的拟同构，推广了 $ \delta_{\hbar} = 0 $ 时的已知结果。
• 该构造为德林查夫在余边界情形下的最后一个未解问题提供了完整解答，尽管在一般情形下，霍普夫代数公理（尤其是 $ R^{-1} = R^{2,1} $ 与扭变对称性）仍需进一步完全验证。