[论文解读] Degree of $L^2$-Alexander torsion for 3-manifolds

Yi Liu|arXiv (Cornell University)|Sep 29, 2015

Geometric and Algebraic Topology参考文献 21被引用 10

一句话总结

本文证明了不可约、可定向、紧致的三维流形（边界为空或不可压缩的环状边界）的完整 $L^2$-亚历山大扭量在两端均具有连续性、正性及渐近单项式性。关键结果确认了该扭量函数的渐近阶等于上同调类的托尔森范数，从而证实了杜博瓦、弗里德勒与吕克的猜想，并回应了李与张提出的问题。

ABSTRACT

For an irreducible orientable compact $3$-manifold $N$ with empty or incompressible toral boundary, the full $L^2$--Alexander torsion $τ^{(2)}(N,ϕ)(t)$ associated to any real first cohomology class $ϕ$ of $N$ is represented by a function of a positive real variable $t$. The paper shows that $τ^{(2)}(N,ϕ)$ is continuous, everywhere positive, and asymptotically monomial in both ends. Moreover, the degree of $τ^{(2)}(N,ϕ)$ equals the Thurston norm of $ϕ$. The result confirms a conjecture of J.~Dubois, S.~Friedl, and W.~Lück and addresses a question of W.~Li and W.~Zhang. Associated to any admissible homomorphism $γ:π_1(N) o G$, the $L^2$--Alexander torsion $τ^{(2)}(N,γ,ϕ)$ is shown to be continuous and everywhere positive provided that $G$ is residually finite and $(N,γ)$ is weakly acyclic. In this case, a generalized degree can be assigned to $τ^{(2)}(N,γ,ϕ)$. Moreover, the generalized degree is bounded by the Thurston norm of $ϕ$.

研究动机与目标

• 建立三维流形完整 $L^2$-亚历山大扭量的渐近阶存在的良好定义性。
• 确认该渐近阶等于上同调类 $\phi$ 的托尔森范数，从而解决杜博瓦、弗里德勒与吕克的猜想。
• 在剩余有限性与弱无环条件下，将理论推广至与可容许同态 $\gamma: \pi_1(N) \to G$ 关联的 $L^2$-亚历山大扭量。
• 分析首项系数函数 $C(N,\phi)$，并证明其上半连续性，同时给出以单纯形体积表示的显式界。

提出的方法

• 证明依赖于 $\tau^{(2)}(N,\phi)(t) \cdot \max\{1,t\}^m$ 在足够大的 $m$ 下的连续性与乘法凸性，从而保证扭量函数的正则性。
• 对 $\tau^{(2)}(N,\phi)(t)$ 在 $t \to 0^+$ 与 $t \to \infty$ 时进行渐近分析，分别显示其具有指数为 $d_{0+}$ 与 $d_{+\infty}$ 的单项式行为。
• 定义渐近阶为 $\mathrm{deg}^\mathtt{a}(f) = d_{+\infty} - d_{0+}$，并证明其等于托尔森范数 $x_N(\phi)$。
• 对于具有 $\gamma: \pi_1(N) \to G$ 的推广情形，证明当 $G$ 为剩余有限且 $(N,\gamma)$ 为弱无环时，扭量 $\tau^{(2)}(N,\gamma,\phi)$ 连续且为正。
• 通过已知的双曲八字符纽结补体结果，利用乘积公式 $\tau^{(2)}(N,\phi) \doteq \prod_{i=0}^2 \tau^{(2)}(J_i, \phi_i)$ 推导出首项系数 $C(N,\phi)$。
• 通过在由三个八字符纽结补体与一个柱面部分构成的三维流形 $N$ 上进行显式计算，确立了 $C(N,\phi)$ 的上半连续性。

实验结果

研究问题

• RQ1 不可约、可定向的三维流形（具有不可压缩环状边界）的 $L^2$-亚历山大扭量 $\tau^{(2)}(N,\phi)$ 是否具有良好定义的渐近阶？
• RQ2 如杜博瓦、弗里德勒与吕克所猜想，$\tau^{(2)}(N,\phi)$ 的渐近阶是否等于托尔森范数 $x_N(\phi)$？
• RQ3 $L^2$-亚历山大扭量能否推广至可容许同态 $\gamma: \pi_1(N) \to G$ 的情形，且在剩余有限性与弱无环条件下是否仍保持连续性与正性？
• RQ4 首项系数 $C(N,\phi)$ 的行为如何？其作为 $H^1(N;\mathbb{R})$ 上的函数是否上半连续？
• RQ5 首项系数 $C(N,\phi)$ 是否可取值严格介于 1 与 $e^{\mathrm{Vol}(N)/6\pi}$ 之间？其值如何随 $\phi$ 中零坐标的个数变化？

主要发现

• 完整 $L^2$-亚历山大扭量 $\tau^{(2)}(N,\phi)(t)$ 对所有 $t \in \mathbb{R}_+$ 连续且处处为正，且当 $m$ 足够大时，$\tau^{(2)}(N,\phi)(t) \cdot \max\{1,t\}^m$ 具有乘法凸性。
• 当 $t \to \infty$ 时，有 $\tau^{(2)}(N,\phi)(t) \sim C(N,\phi) \cdot t^{d_{+\infty}}$，其中 $C(N,\phi) \in [1, e^{\mathrm{Vol}(N)/6\pi}]$，且在 $t \to 0^+$ 时也存在类似渐近行为。
• 渐近阶 $\mathrm{deg}^\mathtt{a}(\tau^{(2)}(N,\phi))$ 良好定义，并等于托尔森范数：$\mathrm{deg}^\mathtt{a}(\tau^{(2)}(N,\phi)) = x_N(\phi)$。
• 首项系数函数 $\phi \mapsto C(N,\phi)$ 在 $H^1(N;\mathbb{R})$ 上上半连续，且满足 $C(N,\phi) = e^{\delta(\phi) \cdot v_3 / (3\pi)}$，其中 $\delta(\phi)$ 表示在 $\phi_0 + \phi_1 + \phi_2 = 0$ 条件下 $\phi = (\phi_0,\phi_1,\phi_2)$ 中零坐标的个数。
• 在 $H^1(N;\mathbb{R})$ 的原点处，有 $C(N,\phi) = e^{\mathrm{Vol}(N)/6\pi}$；沿托尔森范数单位球的六个顶点射线方向，有 $C(N,\phi) = e^{\mathrm{Vol}(N)/18\pi}$；其余位置则 $C(N,\phi) = 1$。
• 广义 $L^2$-亚历山大扭量 $\tau^{(2)}(N,\gamma,\phi)$ 在 $G$ 剩余有限且 $(N,\gamma)$ 为弱无环时连续且为正，其广义阶上界不超过托尔森范数 $x_N(\phi)$。