[论文解读] On a Universal Invariant of 3-Manifolds

Thang T. Q. Lê, Jun Murakami+1 more|ArXiv.org|Dec 1, 1995

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

一句话总结

本文利用 framed links 的修正通用 Vassiliev-Kontsevich 不变量，通过将代表手术曲线的实线圆圈替换为虚线，构造了 3-流形的通用量子不变量，从而得到一个 chord 图形的幂级数。关键结果是该不变量中 theta 图形的系数等于 $(-1)^{b_1(M)+1}3\tilde{\lambda}(M)$，其中 $\tilde{\lambda}(M)$ 是 Lescop 对 Casson 不变量的推广，因此该不变量提供了一个通用框架，通过代入李代数可恢复量子不变量。

ABSTRACT

We construct an invariant of 3-manifolds using a modification of the Kontsevich integral and Kirby's calculus. This invariant, as expected in perturbative Chern-Simon theory, takes values in the algebra of oriented 3-valent graphs. This algebra is a Hopf algebra, graded by half the number of vertices in 3-valent graphs. The degree 1 term of the invariant coincides with Casson-Walker-Lescop invariant. The degree $n$ term is constructed out of the universal Vassiliev invariant of links of degree less than or equal to $(l+1)n$ where $l$ is the number of link components.

研究动机与目标

• 构造一个 3-流形的通用量子不变量，使其推广与紧致李群相关的量子不变量。
• 定义一个映射，将 chord 图形中代表手术曲线的实线圆圈替换为虚线，从而从通用 Vassiliev-Kontsevich 不变量构造出不变量。
• 证明所得不变量具有通用性，即通过在虚线上代入李代数，可恢复量子不变量在平凡连接处的微扰展开。
• 建立不变量的一阶项与 Casson 不变量的推广之间的关系，特别是 Lescop 的 $\tilde{\lambda}(M)$。

提出的方法

• 构造始于 framed 有向 links 的修正通用 Vassiliev-Kontsevich 不变量 $\check{Z}(L)$，其在 Kirby 移动 II 下不变。
• 定义一个映射，将 chord 图形中代表手术曲线的实线圆圈替换为虚线，得到具有有限支集的 chord 图形级数。
• 将不变量 $\Omega_n(M)$ 定义为 $\check{Z}(L)$ 在该映射下的像，按 chord 图形中顶点数进行分次。
• 将通用量子不变量 $\omega(M)$ 定义为 $\Omega(M)$ 的对数，其为系数属于 $\mathbb{Z}[[\hbar]]$ 的 chord 图形幂级数。
• 证明该不变量在方向反转和连通和下保持不变，其代数公式涉及 chord 图形上的乘法与符号变化。
• 该方法依赖于 chord 图形上的 AS、IHX 和 STU 关系，并利用该不变量在由不相交并集定义的乘积运算下为群状的性质。

实验结果

研究问题

• RQ1 能否从 links 的通用 Vassiliev-Kontsevich 不变量构造出 3-流形的通用量子不变量？
• RQ2 如何系统地将 chord 图形中代表手术曲线的实线圆圈替换为虚线，以得到 3-流形不变量？
• RQ3 所得不变量在代入李代数后是否能恢复如 Casson 不变量等已知不变量？
• RQ4 该不变量在连通和与方向反转下的代数结构如何？
• RQ5 该不变量的一阶项是否与 Lescop 对 Casson 不变量的推广相关？

主要发现

• 在 $\omega(M)$ 中，虚线 theta 图形的系数为 $(-1)^{b_1(M)+1}3\tilde{\lambda}(M)$，其中 $\tilde{\lambda}(M)$ 是 Lescop 对 Casson-Walker 不变量的推广。
• 对于 $SU(N)$，$\omega(M)$ 的第一项给出 $\lambda^{SU(N)}(M) = \frac{N(N^2-1)}{6}\lambda(M)$，与透镜空间的已知结果一致。
• 对于 $SO(N)$，第一项给出 $\lambda^{SO(N)}(M) = \frac{N(N-1)(N-2)}{24}\lambda(M)$，与微扰展开的预期相符。
• 对于 $Sp(N)$，第一项给出 $\lambda^{Sp(N)}(M) = \frac{N(N+1)(2N+1)}{6}\lambda(M)$，证实与量子不变量的一致性。
• 不变量 $\omega(M)$ 满足连通和公式：$\omega(M) = \sum_d \left( m_2^d \omega(M_1)^{(d)} + m_1^d \omega(M_2)^{(d)} \right) $，其中若 $M_i$ 为有理同调球，则 $m_i$ 为其 $H_1(M_i,\mathbb{Z})$ 的阶，否则为 0。
• 在方向反转下，$\omega(-M) = \sum_d (-1)^d \omega(M)^{(d)}$，表明不变量在每个次数分量上通过符号反转变换。