[论文解读] On the characteristic and deformation varieties of a knot

Stavros Garoufalidis|ArXiv.org|Jun 15, 2003

Geometric and Algebraic Topology参考文献 24被引用 130

一句话总结

本文引入了纽结的特征簇作为由 $q$-超几何色 Jones 函数导出的几何不变量，将量子不变量与经典几何联系起来。作者猜想该簇本质上等于 $\mathrm{SL}_2(\mathbb{C})$-形变簇（边界表示的特征簇），并通过直接计算验证了三叶结和八字结的情形。

ABSTRACT

The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ Le and the author that the colored Jones function of a knot is q-holonomic, ie, that it satisfies a nontrivial linear recursion relation with appropriate coefficients. Using holonomicity, we introduce a geometric invariant of a knot: the characteristic variety, an affine 1-dimensional variety in C^2. We then compare it with the character variety of SL_2(C) representations, viewed from the boundary. The comparison is stated as a conjecture which we verify (by a direct computation) in the case of the trefoil and figure eight knots. We also propose a geometric relation between the peripheral subgroup of the knot group, and basic operators that act on the colored Jones function. We also define a noncommutative version (the so-called noncommutative A-polynomial) of the characteristic variety of a knot. Holonomicity works well for higher rank groups and goes beyond hyperbolic geometry, as we explain in the last chapter.

研究动机与目标

• 通过色 Jones 函数的 $q$-超几何结构定义纽结的新几何不变量。
• 建立特征簇（来自 $q$-超几何递推关系）与形变簇（来自 $\mathrm{SL}_2(\mathbb{C})$ 表示）之间的猜想性对应关系。
• 通过 $\mathfrak{g}$-色 Jones 函数和 $G_{\mathbb{C}}$-特征簇，将框架推广至高阶李群。
• 探讨纽结群的周环子群与作用于色 Jones 函数的算子之间的代数与几何关系。
• 引入非交换 $A$-多项式作为特征簇的非交换推广。

提出的方法

• 定义 $q$-Weyl 代数 $\mathcal{A} = \mathbb{Z}[q^{\pm}]\langle Q,E\rangle/(EQ = qQE)$，通过平移（$E$）与缩放（$Q$）算子作用于离散函数。
• 对 $q$-超几何函数 $f$，定义递推理想 $\mathcal{I}_f = \{P \in \mathcal{A} \mid Pf = 0\}$，并将特征簇 $\mathrm{ch}(f)$ 定义为在 $q=1$ 处求值后 $\epsilon(\mathcal{I}_f)$ 的零点集。
• 构造纽结补集的 $G_{\mathbb{C}}$-特征簇及其在边界环面的限制，将 $G_{\mathbb{C}}$-形变簇定义为在 $T^2 \cong (\mathbb{C}^\star)^r \times (\mathbb{C}^\star)^r$ 中的像。
• 利用 Bernstein 不等式与 Hilbert 维数，为多元 $q$-函数定义 $q$-超几何性，确保特征簇的维数至少为 $r$。
• 通过‘本质上相等’的观念比较 $G_{\mathbb{C}}$-特征簇 $V_G(K)$ 与 $G_{\mathbb{C}}$-形变簇 $D_{G_{\mathbb{C}}}(K)$，即它们的纯 $r$-维分量一致。
• 通过直接计算验证猜想，表明三叶结与八字结的特征簇与形变簇一致。

实验结果

研究问题

• RQ1 纽结的 $\mathfrak{g}$-色 Jones 函数的 $G_{\mathbb{C}}$-特征簇是否本质上等于其 $G_{\mathbb{C}}$-形变簇？
• RQ2 色 Jones 函数的 $q$-超几何结构如何编码纽结补集的几何数据？
• RQ3 周环子群在作用于色 Jones 函数时，其代数与几何角色为何？
• RQ4 非交换 $A$-多项式能否被定义为特征簇的非交换推广？
• RQ5 $q$-超几何性质是否能有意义地推广至 $\mathfrak{sl}_2$ 以外的高阶李群？

主要发现

• 纽结的色 Jones 函数是 $q$-超几何的，意味着存在一个非平凡的线性递推关系，其系数属于 $\mathbb{Z}[q^{\pm}]$。
• 纽结的特征簇 $\mathrm{ch}(K)$ 定义为在 $q=1$ 处求值后递推理想像的零点集，是 $(\mathbb{C}^\star)^2$ 中的一维子簇。
• 对于三叶结与八字结，通过直接计算验证了特征簇与 $\mathrm{SL}_2(\mathbb{C})$-形变簇本质上相等。
• $G_{\mathbb{C}}$-特征簇 $V_G(K)$ 定义为 $\mathfrak{g}$-色 Jones 函数的特征簇，由于 Bernstein 不等式，其维数至少为 $r$。
• $G_{\mathbb{C}}$-形变簇 $D_{G_{\mathbb{C}}}(K)$ 是边界环面特征簇的限制像，其包含来自阿贝尔表示的 $r$-维分量。
• 提出猜想：$V_G(K)$ 与 $D_{G_{\mathbb{C}}}(K)$ 本质上相等，作为连接量子不变量、双曲几何与表示论的核心几何原理。