[论文解读] An introduction to the abelian Reidemeister torsion of three-dimensional manifolds

Gwénaël Massuyeau|arXiv (Cornell University)|Mar 12, 2010

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

一句话总结

本文对闭合、定向的3-流形中的阿贝尔 Reidemeister torsion 提供了全面的介绍，强调其与亚历山大多项式及图列夫精化之间的联系。文章解释了如何从流形的极大阿贝尔覆叠的同调中导出 torsion，并通过自由微分学与群环结构，展示了其在编码拓扑不变量中的作用，最终在群环的分式域模去符号和群作用歧义性后，得到一个普遍的 torsion 不变量。

ABSTRACT

These notes accompany some lectures given at the autumn school "Tresses in Pau" in October 2009. The abelian Reidemeister torsion for 3-manifolds, and its refinements by Turaev, are introduced. Some applications, including relations between the Reidemeister torsion and other classical invariants, are surveyed.

研究动机与目标

• 将阿贝尔 Reidemeister torsion 作为 3-流形的拓扑不变量进行介绍，尤其关注透镜空间与链路补全的情形。
• 通过米尔诺的重新诠释，阐明 Reidemeister torsion 与经典亚历山大多项式之间的关系。
• 在第一同调群的整群环的分式域中，展示图列夫的普遍 torsion 不变量，通过同调定向与欧拉结构解决符号与作用歧义性。
• 综述 torsion 不变量在经典不变量（如 Thurston 范数）及 3-流形拓扑研究中的应用。

提出的方法

• 本文使用三角剖分与分段线性结构来定义 3-流形，借助莫伊塞在三维中的三角剖分与光滑化定理。
• 应用福克斯的自由微分学来计算自由群自同态的雅可比矩阵，这是 torsion 构造的基础。
• 通过流形的极大阿贝尔覆叠的同调来定义阿贝尔 Reidemeister torsion，利用系数在有理函数域上的链复形的 Reidemeister torsion。
• 图列夫的精化通过引入额外结构，固定符号与作用歧义性，在 $\mathbb{Q}(\mathbb{Z}[H]) / \pm H$ 中构造出一个普遍 torsion 不变量，其中 $H = H_1(M;\mathbb{Z})$。
• 该方法依赖于自由导数的基本公式：在同调中 $\partial_*\left(\widetilde{f}\right) = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \cdot \widetilde{x}_i$。
• 使用 Magnus 表示 $\operatorname{M}(\phi) = \overline{J(\phi)}$ 来研究自由群的自同构，关键恒等式为 $\overline{J(\psi\phi)} = \overline{J(\psi)} \cdot \psi(\overline{J(\phi)})$。

实验结果

研究问题

• RQ1 阿贝尔 Reidemeister torsion 在 3-流形中如何与亚历山大多项式关联？
• RQ2 自由微分学在计算 3-流形 torsion 不变量中起什么作用？
• RQ3 图列夫的普遍 torsion 不变量如何解决 Reidemeister torsion 中的符号与群作用歧义性？
• RQ4 阿贝尔 Reidemeister torsion 以何种方式检测几何与拓扑性质（如 Thurston 范数）？
• RQ5 同调定向与欧拉结构如何固定普遍 torsion 不变量中的不确定性？

主要发现

• 阿贝尔 Reidemeister torsion 通过流形的极大阿贝尔覆叠的同调，以系数在 $\mathbb{Q}(\mathbb{Z}[H])$ 上的链复形，被定义为闭合、定向 3-流形的拓扑不变量。
• 链路补全的亚历山大多项式被证明等价于一个系数在有理分式域上的 Reidemeister torsion，从而阐明了其对称性与性质。
• 图列夫的普遍 torsion $\tau(M) \in \mathbb{Q}(\mathbb{Z}[H]) / \pm H$ 被构造为一个典范不变量，通过引入同调定向与欧拉结构，解决了符号与作用歧义性。
• torsion 不变量满足同调中的恒等式 $\partial_*\left(\widetilde{f}\right) = \sum_{i=1}^n \frac{\partial f}{\partial x_i} \cdot \widetilde{x}_i$，这是自由微分学方法的基础。
• Magnus 表示 $\operatorname{M}(\phi) = \overline{J(\phi)}$ 是从 $\operatorname{Aut}(F_n)$ 到 $\operatorname{GL}(n; \mathbb{Z}[F_n])$ 的交叉同态，当限制在 $\operatorname{IAut}(F_n)$ 上并模去换位子群后，成为真正的群同态。
• 建立了 Schur–Blanchfield 准则：$f \in R'$ 当且仅当在 $\mathbb{Z}[F_n/R]$ 中对所有 $i$ 有 $\left\{ \frac{\partial f}{\partial x_i} \right\} = 0$，该结论基于自由导数的拓扑解释。