[论文解读] Beads: From Lie algebras to Lie groups

Stavros Garoufalidis|ArXiv.org|Jan 8, 2002

Geometric and Algebraic Topology参考文献 12被引用 5

一句话总结

本文建立了 Kontsevich积分的有理形式（以三价图上带'珠子'表示）与李群上函数之间的精确对应关系，特别是通过伴随表示实现。证明了通过李代数定义的纽结色 Jones 函数，等价于通过劳仑特多项式矩阵构造的群论不变量，关键结果为通过轮子的指数和 Weyl 特征标公式实现权系的交换性。

ABSTRACT

The Kontsevich integral of a knot is a powerful invariant which takes values in an algebra of trivalent graphs with legs. Given a Lie algebra, the Kontsevich integral determines an invariant of knots (the so-called colored Jones function) with values in the symmetric algebra of the Lie algebra. Recently A. Kricker and the author constructed a rational form of the Kontsevich integral which takes values in an algebra of trivalent graphs with beads. After replacing beads by an exponential legs, this rational form recovers the Kontsevich integral. The goal of the paper is to explain the relation between beads and functions defined on a Lie group. As an application, we provide a rational form for the colored Jones function of a knot, conjectured by Rozansky. This is a revised version.

研究动机与目标

• 建立 Kontsevich 积分的有理形式（使用三价图上的珠子）与李群上定义的不变量之间的严格桥梁。
• 通过群论权系解决 Rozansky 关于色 Jones 函数有理形式的猜想。
• 证明 Kontsevich 积分的有理形式通过伴随表示的群层级构造，可恢复量子群不变量。
• 阐明珠子作为指数腿（发丝）在 Kontsevich 积分中的有理替代，实现代数计算。

提出的方法

• 本文构造了一个取值于三价图与 $ \Lambda_{\text{loc}} = \mathbb{Z}[t,t^{-1}]_{(1)} $ 中珠子代数的 Kontsevich 积分有理形式 $ Z^{\text{rat}} $，满足 AS、IHX 和holonomy关系。
• 引入映射 $ \mathrm{Hair}^\nu $，将珠子替换为指数腿（发丝），并证明 $ \mathrm{Hair}^\nu \circ Z^{\text{rat}} $ 恢复原始 Kontsevich 积分。
• 核心方法涉及比较两个权系：一个来自李代数 $ \mathfrak{g} $，映射到 $ S(\mathfrak{g})^\mathfrak{g}[[h]] $，另一个来自李群 $ G $，映射到 $ C_{\text{alg},\Delta}(G)^G[[h]] $，通过 Weyl 特征标公式实现。
• 利用恒等式 $ \mathrm{Ad}(\exp x) = \exp(\mathrm{ad}_x) $，证明了包含 $ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu $ 与 $ \Phi \circ W_G^h $ 的图表的交换性。
• 该方法依赖于用 $ \mathrm{ad}_x^{2n} $ 的迹表达权系在轮子上的取值，并将矩阵 $ A \in B(\Lambda \to \mathbb{Z}) $ 的行列式对数与轮子不变量的生成系列联系起来。
• 使用 Weyl 分母公式，并指出 $ \det(A)(e^{h(\alpha,\lambda)}) $ 出现在群论权系中，与李代数表达式一致。

实验结果

研究问题

• RQ1 如何将带珠子的 Kontsevich 积分有理形式与李群上定义的不变量联系起来？
• RQ2 纽结的色 Jones 函数是否允许一个有理形式，使其与通过伴随表示的群论构造相匹配？
• RQ3 能否通过轮子的指数和 holonomy 关系，从李群上定义的权系恢复与李代数相关的权系？
• RQ4 是否存在一个自然同构，将对称代数不变量 $ S(\mathfrak{g})^\mathfrak{g}[[h]] $ 与群上的代数函数 $ C_{\text{alg},\Delta}(G)^G[[h]] $ 联系起来，并保持 Kontsevich 积分的结构？
• RQ5 Kontsevich 积分有理形式中的珠子如何对应于原始积分中指数腿（发丝）？

主要发现

• 当通过 $ \mathrm{Hair}^\nu $ 映射将珠子替换为指数腿时，取值于 $ \Lambda_{\text{loc}} $ 中珠子的有理形式 $ Z^{\text{rat}} $ 恢复了原始 Kontsevich 积分。
• 通过李代数 $ \mathfrak{g} $ 定义的色 Jones 函数 $ J_\mathfrak{g} $，在映射 $ \Phi $ 下，与通过李群 $ G $ 的伴随表示定义的群论不变量 $ J_G $ 同构。
• 权系的取值为 $ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu(A)(\lambda) = [\lambda - \rho] \prod_{\alpha \succ 0} \frac{1}{\det(A)(e^{h(\alpha,\lambda)})} $，与群论表达式一致。
• 权系在轮子上的取值为 $ W_\mathfrak{g}^h(\omega_{2n})(x) = \operatorname{tr}(\mathrm{ad}_x^{2n}) = 2\sum_{\alpha \succ 0} \alpha(x)^{2n} $，将李代数的迹与群的行列式联系起来。
• 矩阵 $ A \in B(\Lambda \to \mathbb{Z}) $ 的行列式满足 $ \log(\det(A)(e^h)) = \sum_{n=1}^\infty a_{2n} h^{2n} $，该级数生成权系中的轮子不变量。
• 通过恒等式 $ \mathrm{Ad}(\exp x) = \exp(\mathrm{ad}_x) $，证明了包含 $ W_\mathfrak{g}^h \circ \mathrm{Hair}^\nu $ 与 $ \Phi \circ W_G^h $ 的图表的交换性，从而确认了两种构造的等价性。