[论文解读] Towards a Diagrammatic Analogue of the Reshetikhin-Turaev Link Invariants

Ami Haviv|arXiv (Cornell University)|Nov 2, 2002

Algebraic structures and combinatorial models参考文献 19被引用 10

一句话总结

本文引入了一种使用有向雅可比图的图解框架，以构建复半单李代数的Etingof-Kazhdan量子化过程的图解类比。它定义了一个与Reshetikhin-Turaev不变量类似的框架纽结不变量 $\mathbf{Z}_{\text{EK}}$，并猜想其在平凡纽结上的值可用有向轮图的指数形式简化表达，同时通过自然映射 $\iota$ 建立与Kontsevich积分的联系。该构造以有向结构和李双代数数据实现了量子群量子化的图解实现。

ABSTRACT

By considering spaces of directed Jacobi diagrams, we construct a diagrammatic version of the Etingof-Kazhdan quantization of complex semisimple Lie algebras. This diagrammatic quantization is used to provide a construction of a directed version of the Kontsevich integral, denoted $Z_EK$, in a way which is analogous to the construction of the Reshetikhin-Turaev invariants from the R-matrices of the Drinfel'd-Jimbo quantum groups. Based on this analogy, we conjecture (and prove in a restricted sense) a formula for the value of the invariant $Z_EK$ on the unknot. This formula is simpler than the Wheels formula of [BGRT], but the precise relationship between the two is yet unknown.

研究动机与目标

• 使用有向雅可比图，为复半单李代数的Etingof-Kazhdan量子化构建一个图解类比。
• 基于 $R$-矩阵构造Reshetikhin-Turaev不变量的方式，构建一个取值于有向雅可比图空间的框架纽结不变量 $\mathbf{Z}_{\text{EK}}$。
• 猜想 $\mathbf{Z}_{\text{EK}}$ 在平凡纽结上的简化公式，表达为基本有向轮图指数的迹。
• 通过将无向图映射为有向图的映射 $\iota$，厘清 $\mathbf{Z}_{\text{EK}}$ 与Kontsevich积分之间的关系。
• 探索该图解框架与虚拟纽结理论中Polyak箭头图之间的联系。

提出的方法

• 引入有向雅可比图代数 $\overset{{}_{\to}}{\mathcal{A}}$，模去有向 IHX 与 STU 关系。
• 在有向框架内定义有向 Poincaré-Birkhoff-Witt 同构与Verma模，以图解方式实现Etingof-Kazhdan量子化。
• 基于拟三角拟霍普夫代数结构，使用类比于Etingof-Kazhdan过程的图解扭变，构造不变量 $\mathbf{Z}_{\text{EK}}$。
• 利用KZ结合子和 $\overset{{}_{\to}}{\mathcal{A}}$-空间上的KZ结构，以类比于Reshetikhin-Turaev构造的方式定义纽结不变量。
• 应用从无向图到有向图的映射 $\iota$，将 $\mathbf{Z}_{\text{EK}}$ 与Kontsevich积分关联。
• 采用有向雅可比图的无环概念，并将空间 $\overset{{}_{\to}}{\mathcal{P}}$ 定义为无环图模去有向关系的商空间。

实验结果

研究问题

• RQ1 能否使用有向雅可比图完全以图解形式实现复半单李代数的Etingof-Kazhdan量子化？
• RQ2 通过该图解框架构造的框架纽结不变量 $\mathbf{Z}_{\text{EK}}$ 是否与Kontsevich积分等价或密切相关？
• RQ3 $\mathbf{Z}_{\text{EK}}$ 在平凡纽结上的值是否具有比Wheels公式更简单的表达式，特别是涉及有向轮图指数的形式？
• RQ4 在 $\overset{{}_{\to}}{\mathcal{P}}^{\otimes 2}$ 中是否存在一个解满足量子杨-Baxter方程，从而实现图解 $r$-矩阵的量子化？
• RQ5 $\overset{{}_{\to}}{\mathcal{A}}_{\text{EK}}$ 的有向代数的 $R$-矩阵 $R_{\text{EK}}$ 是否位于映射 $j: \overset{{}_{\to}}{\mathcal{P}}^{\otimes 2} \to \overset{{}_{\to}}{\mathcal{A}}^{\otimes 2}$ 的像中？

主要发现

• 本文使用有向雅可比图构建了Etingof-Kazhdan量子化的图解版本，为该量子化过程在图解设定下提供了新的实现方式。
• 不变量 $\mathbf{Z}_{\text{EK}}$ 被定义为取值于有向雅可比图空间的框架纽结不变量，其构造方式与Reshetikhin-Turaev构造类比。
• 给出了 $\mathbf{Z}_{\text{EK}}$ 在平凡纽结上的猜想公式：$\operatorname{Tr}(\exp(\frac{1}{2} \cdot \text{轮图}))$，该公式比Wheels公式更简洁。
• 从无向图到有向图的映射 $\iota$ 将 $\mathbf{Z}_{\text{EK}}$ 与Kontsevich积分关联，暗示二者可能存在等价性或密切关系。
• 无环有向雅可比图的空间 $\overset{{}_{\to}}{\mathcal{P}}$ 通过无环性诱导的同构，与 $\overset{{}_{\to}}{{\mathcal{P}}^{c}}$（有向弦图空间）同构。
• 本文未解决映射 $j: \overset{{}_{\to}}{\mathcal{P}} \to \overset{{}_{\to}}{\mathcal{A}}$ 是否为单射的问题，尽管其非满射，且提出 $R_{\text{EK}}$ 是否位于 $j$ 的像中的疑问。