[论文解读] An explicit isomorphism between quantum and classical sl(n)

Andrea Appel, Sachin Gautam|arXiv (Cornell University)|Dec 10, 2017

Algebraic structures and combinatorial models参考文献 21被引用 5

一句话总结

本文在 $U_{\hbar}\mathfrak{sl}_n$ 与 ${U\mathfrak{sl}_n}[[\hbar]]$ 之间构造了一个显式的代数同构，保持 $\mathfrak{sl}_n$ 的标准 Levi 子代数旗结构。该同构通过 Yangian 表示中的 Drinfeld 电流同态与求值映射的复合实现，是 $n \geq 2$ 时 $\mathfrak{sl}_n$ 的首个显式同构，且猜想其为 Alekseev 与 Meinrenken 构造的 Poisson 微分同胚的量子化。

ABSTRACT

Let g be a complex, semisimple Lie algebra. Drinfeld showed that the quantum group associated to g is isomorphic as an algebra to the trivial deformation of the universal enveloping algebra of g. In this paper we construct explicitly such an isomorphism when g = sl(n), previously known only for n=2.

研究动机与目标

• 为 $n \geq 2$ 构造 $U_{\hbar}\mathfrak{sl}_n$ 与 ${U\mathfrak{sl}_n}[[\hbar]]$ 之间的显式代数同构，此前除 $\mathfrak{sl}_2$ 外尚未知此类同构。
• 以保持 $\mathfrak{sl}_n$ 中标准 Levi 子代数旗结构的方式定义该同构，确保与李代数结构的兼容性。
• 通过 Yangian 表示与求值同态的具体实现，将量子环代数与经典包络代数联系起来。
• 猜想该同构为 Alekseev 与 Meinrenken 构造的 Poisson 微分同胚的量子化，从而在量子与经典结构之间建立联系。

提出的方法

• 同构 $\varphi$ 定义为从量子环代数到完成 Yangian $\widehat{Y_{\hbar}\mathfrak{sl}_n}$ 的同态 $\Phi$ 与在 0 处的求值同态 $\mathsf{ev}$ 的复合。
• 在 Yangian 的 Drinfeld 电流表示中显式计算了求值同态 $\mathsf{ev}$，从而获得 $\varphi$ 的显式公式。
• 在 $\operatorname{End}(\mathbb{C}^n) \otimes U\mathfrak{sl}_n[[\hbar]]$ 中构造矩阵 $\operatorname{T}(u) = u\operatorname{Id} - \hbar\operatorname{T}$，其满足以 Yang $R$-矩阵 $R(u) = u\operatorname{Id} + \hbar P$ 为系数的 $\operatorname{RTT}$ 关系，从而可使用 $\operatorname{RTT}$ 技术处理对易关系。
• 通过利用行列式恒等式与 $\operatorname{RTT}$ 代数技术，推导出量子子式对易关系，从而为 $\mathfrak{sl}_n$ 的经典不变量理论结果提供了新证明。
• 证明该同构在 $\mathbb{Q}$ 上定义，确保其具有算术自然性。
• 显式计算确认 $\mathsf{ev}(t_{1,1}) = \frac{\hbar}{2}(\varpi^{\vee}_2 h_1 - e_{12}e_{21} - e_{21}e_{12})$，与已知的 $J$-表示求值同态 $\mathsf{ev}_{\operatorname{CP}}$ 一致。

实验结果

研究问题

• RQ1 能否为 $n \geq 2$ 构造 $U_{\hbar}\mathfrak{sl}_n$ 与 ${U\mathfrak{sl}_n}[[\hbar]]$ 之间的显式代数同构，超越已知的 $\mathfrak{sl}_2$ 情形？
• RQ2 此类同构是否保持 $\mathfrak{sl}_n$ 中 Levi 子代数的旗结构？
• RQ3 Yangian 到量子群的求值同态能否在 Drinfeld 电流表示中显式实现？
• RQ4 所构造的同构是否与已知的 Poisson 结构兼容，特别是与 Alekseev 与 Meinrenken 的 Poisson 微分同胚兼容？
• RQ5 能否利用 $\operatorname{RTT}$ 关系以一种方式推导出量子子式的对易关系，从而恢复经典不变量理论的结果？

主要发现

• 为所有 $n \geq 2$ 构造了显式代数同构 $\varphi: U_{\hbar}\mathfrak{sl}_n \to {U\mathfrak{sl}_n}[[\hbar]]$，解决了量子群理论中长期存在的理论空白。
• 同构 $\varphi$ 保持标准 Levi 子代数旗结构，即对所有 $1 \leq k \leq n-1$，有 $\varphi(U_{\hbar}\mathfrak{sl}_{k+1}) \subset {U(\mathfrak{h} + \mathfrak{sl}_{k+1})}[[\hbar]]$，确保与李代数的抛物结构兼容。
• 该同构在 $\mathbb{Q}$ 上定义，表明其具有独立于复系数的典范算术结构。
• 求值同态 $\mathsf{ev}$ 在 Drinfeld 电流表示中显式计算，且其在 $t_{1,1}$ 上的取值与已知的 $J$-表示求值一致，确认了其一致性。
• 该构造通过 $\operatorname{RTT}$ 关系与量子子式提供了经典不变量理论结果的全新证明。
• 猜想该同构为 Alekseev 与 Meinrenken 构造的 Poisson 微分同胚的量子化，从而以精确方式将量子与经典几何结构联系起来。