[论文解读] A homological model for $U_q \mathfrak{sl}(2)$ Verma-modules and their braid representations

Jules Martel|arXiv (Cornell University)|Feb 20, 2020

Algebraic structures and combinatorial models参考文献 7被引用 8

一句话总结

本文通过相对同调构造了 $U_q \mathfrak{sl}(2)$ Verma 模的同调模型，表明 Lawrence 的 braid 群表示可扩展为分式多项式环上的自由模。该研究建立了同调基与标准 Verma 模基之间的同构，该同构保持了 $U_q \mathfrak{sl}(2)$ 作用、分次结构及整数结构，从而在无需通用参数假设的情况下推广了 Kohno 定理，并完整恢复了 Verma 模的乘积作为 braid 群与量子群模的结构。

ABSTRACT

We extend Lawrence's representations of the braid groups to relative homology modules, and we show that they are free modules over a Laurent polynomials ring. We define homological operators and we show that they actually provide a representation for an integral version for $U_q \mathfrak{sl}(2)$. We suggest an isomorphism between a given basis of homological modules and the standard basis of tensor products of Verma modules, and we show it to preserve the integral ring of coefficients, the action of $U_q \mathfrak{sl}(2)$, the braid group representations and their grading. This recovers an integral version for Kohno's theorem relating absolute Lawrence representations with quantum braid representation on highest weight vectors. It is an extension of the latter theorem as we get rid of generic conditions on parameters, and as we recover the entire product of Verma-modules as a braid group and a $U_q \mathfrak{sl}(2)$-module.

研究动机与目标

• 通过相对同调构造 $U_q \mathfrak{sl}(2)$ Verma 模的同调实现。
• 将 Lawrence 的 braid 群表示扩展为分式多项式环上的自由模。
• 建立同调基与标准 Verma 模基之间的同构，保持代数结构。
• 在无需通用参数限制的条件下，恢复 Verma 模的完整乘积作为 $U_q \mathfrak{sl}(2)$-模与 braid 群模的结构。
• 提供 Kohno 定理的整值版本，揭示量子 braid 表示与 Lawrence 表示之间的关系。

提出的方法

• 定义与穿孔平面上点配置相关的相对同调模，构成 $\mathbb{Z}[q^{\pm1}]$ 上的自由模。
• 引入同调算子，其在这些模上生成一个整形式的 $U_q \mathfrak{sl}(2)$ 作用。
• 构造同调循环的基，并将其与 Verma 模张量积的标准基进行比较。
• 证明同调基与 Verma 模基之间的同构保持了 $U_q \mathfrak{sl}(2)$ 作用、分次结构及系数环。
• 利用拓扑不变性与单值性，证明 braid 群作用与量子群结构的相容性。
• 验证该同构尊重整数结构，并将经典结果提升为完整的整值版本。

实验结果

研究问题

• RQ1 Lawrence 的 braid 群表示能否以保持 $U_q \mathfrak{sl}(2)$-模结构的方式，扩展为分式多项式环上的自由模？
• RQ2 是否存在一个典范同构，将同调基与 Verma 模的标准基对应起来，且保持 $U_q \mathfrak{sl}(2)$ 作用与分次结构？
• RQ3 Kohno 定理能否被加强为一个在 $q$ 无通用性假设下依然成立的整值版本？
• RQ4 通过此同调构造，Verma 模的完整乘积是否能携带与 braid 群及 $U_q \mathfrak{sl}(2)$-模结构相容的模结构？
• RQ5 在整数设定下，同调算子如何与 $U_q \mathfrak{sl}(2)$ 的 Chevalley 生成元相关联？

主要发现

• 相对同调模构成 $\mathbb{Z}[q^{\pm1}]$ 上的自由模，为 $U_q \mathfrak{sl}(2)$-模提供了拓扑实现。
• 同调算子在这些模上定义了一个整形式的 $U_q \mathfrak{sl}(2)$ 表示。
• 构造了同调基与 Verma 模张量积标准基之间的显式同构。
• 该同构保持了 $U_q \mathfrak{sl}(2)$ 作用、分次结构及整系数环 $\mathbb{Z}[q^{\pm1}]$。
• 该构造完整恢复了 Verma 模的乘积作为 braid 群与 $U_q \mathfrak{sl}(2)$-模的结构，将 Kohno 定理推广至整数情形。
• 该结果在无需对 $q$ 做通用性假设的情况下成立，消除了此前表述中的关键限制。