[论文解读] The lines of the Kontsevich integral and Rozansky's rationality conjecture

Andrew Kricker|ArXiv.org|May 31, 2000

Geometric and Algebraic Topology参考文献 11被引用 39

一句话总结

本文证明了罗赞斯基提出的猜想，即纽结的孔采维奇积分可表示为具有有理函数标签的图的和，其中分母受纽结亚历山大多项式的限制。通过阿雷夫风格的手术公式与LMO不变量，作者表明孔采维奇积分的环路展开可组织为具有有理系数的‘线’，每条线对应有限个有理函数标签图的 $\mathbb{Q}$-线性组合，其边标签位于由亚历山大多项式定义的向量空间中。

ABSTRACT

This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires that the denominator of the rational functions be at most the Alexander polynomial of the knot. This conjecture is obtained from an Aarhus-style surgery formula for this setting which we expect will have other applications.

研究动机与目标

• 证明罗赞斯基猜想：纽结的孔采维奇积分可分解为具有有理函数标签的‘线’。
• 利用LMO不变量与形式高斯积分，为立体环面中的绳索链构造一个图值不变量。
• 建立一个阿雷夫风格的手术公式，将立体环面中 framed 链的LMO不变量与结果纽结的孔采维奇积分联系起来。
• 证明结果图中边标签位于由亚历山大多项式生成的 $\mathbb{Q}$-向量空间中。
• 为绕行矩阵提供拓扑解释，并阐明其在将孔采奇维奇积分组织为有理函数线中的作用。

提出的方法

• 使用霍普夫代数 $B^{ST}(X)$ 与余乘法结构，为立体环面中的绳索链构造一个图值不变量。
• 将绕行矩阵 $W(T,t)$ 定义为连接手术表示与LMO不变量的关键组件。
• 在立体环面中应用形式高斯积分，计算LMO不变量的路径积分，得到孔采维奇积分的生成函数。
• 使用阿雷夫风格的手术公式，将立体环面中 framed 链的LMO不变量与结果纽结的孔采维奇积分联系起来。
• 证明绕行矩阵的逆 $W^{-1}(T,e^k)$ 的条目属于 $L_{(M,K)}$，即分母整除亚历山大多项式的有理函数空间。
• 证明孔采维奇积分中得到的结果图是 $L_{(M,K)}$ 中具有有理函数标签的图的有限 $\mathbb{Q}$-线性组合。

实验结果

研究问题

• RQ1 纽结的孔采维奇积分能否被组织为一系列‘线’，每条线对应有限个具有有理函数标签的图的 $\mathbb{Q}$-线性组合？
• RQ2 孔采维奇积分展开中这些有理函数标签的分母是否整除纽结的亚历山大多项式？
• RQ3 是否存在一个阿雷夫风格的手术公式，将立体环面中 framed 链的LMO不变量与结果纽结的孔采维奇积分联系起来？
• RQ4 绕行矩阵 $W(T,t)$ 是否可用于控制孔采维奇积分展开的有理结构？
• RQ5 LMO不变量的路径积分计算是否产生一个群元素，其对数对应于 $L_{(M,K)}$ 中具有有理标签的图？

主要发现

• 在整同调球中，纽结的孔采维奇积分可表示为具有有理函数标签的图的和，其中每个标签属于由分母整除亚历山大多项式 $A_{(M,K)}(t)$ 的有理函数生成的 $\mathbb{Q}$-向量空间 $L_{(M,K)}$。
• 绕行矩阵的逆 $W^{-1}(T,e^k)$ 的条目属于 $L_{(M,K)}$，这确保了图示展开中边标签为分母受控的有理函数。
• 由LMO不变量与形式高斯积分导出的手术公式表明，孔采维奇积分的环路展开被组织为‘线’，每条线对应有限个具有有理函数标签的图的 $\mathbb{Q}$-线性组合。
• LMO不变量对数中的项 $q^{(i)}$ 对应于通过粘合多项式生成图的腿而形成的连通图，其标签属于 $L_{(M,K)}$，并贡献于孔采维奇积分的第 $i$ 个部分。
• 绕行矩阵 $W(T,e^k)$ 的行列式等于 $\pm A_{(M,K)}(e^k)$，证实了图示展开中所有有理函数的分母受亚历山大多项式限制。
• 结果为群元素，整个结构与阿雷夫公式及行列式恒等式一致，证实了展开的有理性。