[论文解读] Yangians and quantum loop algebras II. Equivalence of categories via abelian difference equations

Siddharth Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|Oct 28, 2013

Algebraic structures and combinatorial models被引用 2

一句话总结

本文建立了量子环代数 $ U_q(L\mathfrak{g}) $ 的有限维表示与杨代数 $ Y_h(\mathfrak{g}) $ 的特定子范畴表示之间的等价性，方法是利用阿贝尔差分方程与单值性数据。当 $ q = \exp(i\pi h) $ 且 $ h $ 为无理数时，该等价性成立，并与 q-特征标相容，可推广至可对称化的 Kac-Moody 代数，包括仿射杨代数与量子环面代数。

ABSTRACT

Let g be a complex, semisimple Lie algebra, and Y_h(g) and U_q(Lg) the Yangian and quantum loop algebra of g. Assuming that h is not a rational number and that q=exp(i \pi h), we construct an equivalence between the finite-dimensional representations of U_q(Lg) and an explicit subcategory of those of Y_h(g) defined by choosing a branch of the logarithm. This equivalence is governed by the monodromy of the abelian additive difference equations defined by the commuting fields of Y_h(g). Our results are compatible with q-characters, and apply more generally to a symmetrisable Kac-Moody algebra g, in particular to affine Yangians and quantum toroidal algebras. In this generality, they yield an equivalence between the representations of Y_h(g) and U_q(Lg) whose restriction to g and U_q(g) respectively are integrable and in category O.

研究动机与目标

• 建立量子环代数 $ U_q(L\mathfrak{g}) $ 的有限维表示与杨代数 $ Y_h(\mathfrak{g}) $ 的一个子范畴表示之间的范畴等价性。
• 通过杨代数中交换场导出的阿贝尔加法差分方程来定义该等价性。
• 将该等价性推广至可对称化的 Kac-Moody 代数，包括仿射杨代数与量子环面代数。
• 确保与 q-特征标相容，并将等价性限制在范畴 O 中的可积表示。

提出的方法

• 通过选择对数的分支来定义 $ Y_h(\mathfrak{g}) $ 表示的一个子范畴。
• 该等价性由与 $ Y_h(\mathfrak{g}) $ 的交换场相关的阿贝尔加法差分方程的单值性所控制。
• 利用这些差分方程的谱性质，将 $ Y_h(\mathfrak{g}) $ 与 $ U_q(L\mathfrak{g}) $ 的表示范畴联系起来。
• 该方法被推广至可对称化的 Kac-Moody 代数，包括仿射与环面情形。
• 该等价性保持可积性，并在 $ \mathfrak{g} $ 与 $ U_q(\mathfrak{g}) $ 的范畴 O 中限制为可积表示。

实验结果

研究问题

• RQ1 如何为无理数 $ h $ 构造 $ U_q(L\mathfrak{g}) $ 表示与 $ Y_h(\mathfrak{g}) $ 表示的一个子范畴之间的范畴等价性？
• RQ2 阿贝尔加法差分方程在控制这些表示范畴之间等价性的单值性方面起什么作用？
• RQ3 该等价性在 q-特征标形式化下表现如何？是否与已知的特征标理论相容？
• RQ4 该等价性在有限维表示与半单李代数之外的范围能推广到何种程度？
• RQ5 范畴 O 中 $ \mathfrak{g} $ 与 $ U_q(\mathfrak{g}) $ 的可积表示之间，其精确关系为何？

主要发现

• 建立了 $ U_q(L\mathfrak{g}) $ 的有限维表示与 $ Y_h(\mathfrak{g}) $ 表示的一个子范畴之间的等价性，该等价性通过选择对数分支来定义。
• 该等价性由来自 $ Y_h(\mathfrak{g}) $ 的交换场导出的阿贝尔加法差分方程的单值性所控制。
• 该构造与 q-特征标形式化相容，确保与已知表示论不变量的一致性。
• 该等价性可推广至可对称化的 Kac-Moody 代数，包括仿射杨代数与量子环面代数。
• 该等价性限制在 $ \mathfrak{g} $ 与 $ U_q(\mathfrak{g}) $ 的范畴 O 中的可积表示，保持可积性条件。