[论文解读] The L^2-Alexander torsion of 3-manifolds

Jérôme Dubois, Stefan Friedl+1 more|arXiv (Cornell University)|Oct 25, 2014

Geometric and Algebraic Topology参考文献 29被引用 9

一句话总结

本文将 $L^2$-亚历山大扭量推广为三维流形的 $L^2$-亚历山大不变量，研究其在图流形和纤维化三维流形中的行为。证明了该扭量函数的渐近极限可检测托尔森范数，并表明对于任意不可约三维流形，存在一个系数系统使得 $L^2$-扭量可检测托尔森范数，从而重新证明了 $L^2$-亚历山大扭量可检测平凡绳结。

ABSTRACT

We introduce $L^2$-Alexander torsions for 3-manifolds, which can be viewed as a generalization of the $L^2$-Alexander polynomial of Li--Zhang. We state the $L^2$-Alexander torsions for graph manifolds and we partially compute them for fibered manifolds. We furthermore show that given any irreducible 3-manifold there exists a coefficient system such that the corresponding $L^2$-torsion detects the Thurston norm.

研究动机与目标

• 定义并研究 $L^2$-亚历山大扭量作为三维流形上 $L^2$-亚历山大不变量的推广。
• 计算图流形和纤维化三维流形的 $L^2$-亚历山大扭量。
• 证明对于任意不可约三维流形，存在一个系数系统使得 $L^2$-扭量可检测托尔森范数。
• 利用此新不变量重新证明 $L^2$-亚历山大扭量可检测平凡绳结。

提出的方法

• 本文通过 $L^2$-扭量和扭曲表示，将 $L^2$-亚历山大扭量 $\tau^{(2)}(N,\phi,\gamma)$ 定义为从 $\mathbb{R}^+ \to [0,\infty)$ 的函数。
• 使用等价关系 $f \doteq g$，即存在 $r \in \mathbb{R}$ 使得 $f(t) = t^r g(t)$，使得等价类成为不变量。
• 对于图流形，证明当 $t \leq 1$ 时 $\tau^{(2)}(N,\phi) \doteq 1$，当 $t \geq 1$ 时 $\tau^{(2)}(N,\phi) \doteq t^{x_N(\phi)}$，表明其次数为 $x_N(\phi)$。
• 对于纤维化流形，通过群环元素的马勒测度，将扭量的渐近行为与单行变换的熵联系起来。
• 应用 $L^2$-扭量理论及马勒测度的连续性，分析 $t \to 0$ 和 $t \to \infty$ 时的极限。
• 利用有限正规覆盖和上拉的上同调类，将一般情形约化为拟纤维类，借助托尔森范数在有限覆盖下的乘法性。

实验结果

研究问题

• RQ1 $L^2$-亚历山大扭量能否检测三维流形的托尔森范数？
• RQ2 $L^2$-亚历山大扭量是否如 Ben Aribi 所示可检测平凡绳结？
• RQ3 对于图流形和纤维化三维流形，$L^2$-亚历山大扭量在 $t \to 0$ 和 $t \to \infty$ 时的渐近行为如何？
• RQ4 是否存在一个系数系统使得 $L^2$-扭量可检测任意不可约三维流形的托尔森范数？
• RQ5 $L^2$-亚历山大扭量能否推广经典亚历山大多项式及高阶不变量？

主要发现

• 对于任意非平凡的 $\phi \in H^1(N;\mathbb{R})$，若图流形 $N \neq S^1 \times D^2, S^1 \times S^2$，则其 $L^2$-亚历山大扭量满足：当 $t \leq 1$ 时 $\tau^{(2)}(N,\phi) \doteq 1$，当 $t \geq 1$ 时 $\tau^{(2)}(N,\phi) \doteq t^{x_N(\phi)}$，其次数为 $x_N(\phi)$。
• $L^2$-亚历山大扭量在图流形中渐近为首一单项式，其次数等于 $\phi$ 的托尔森范数。
• 对于纤维化三维流形，扭量的渐近行为与单行变换的熵相关，且扭量函数的次数等于托尔森范数。
• 本文证明，对任意不可约三维流形 $N$，存在一个系数系统 $\gamma$，使得 $\deg \tau^{(2)}(N,\gamma,\phi) = x_N(\phi)$，从而表明 $L^2$-扭量可检测托尔森范数。
• $L^2$-亚历山大扭量在 $t=1$ 时恢复了流形的双曲体积，即 $\tau^{(2)}(N,\phi)(1) = \exp\left(\frac{1}{6\pi} \operatorname{Vol}(N)\right)$。
• 该结果作为范数检测性质的推论，重新证明了 $L^2$-亚历山大扭量可检测平凡绳结。