[论文解读] The $L^2$-Alexander torsion for Seifert fiber spaces

Gerrit Herrmann|arXiv (Cornell University)|Feb 28, 2016

Geometric and Algebraic Topology参考文献 13被引用 3

一句话总结

本文計算了塞弗特纖維化空間與圖流形的 $L^2$-亞歷山大扭結，並顯示其完全由索頓範數決定。透過 $S^1$-作用與軌物歐拉特徵，作者證明了 $\tau^{(2)}(M,\phi,\gamma) \doteq \max\{1, t^{x_M(\phi)}\}$，在這些三流形的解析扭結與幾何拓撲不變量之間建立了精確連結。

ABSTRACT

We calculate the $L^2$-Alexander torsion for Seifert fiber spaces and graph manifolds in terms of the Thurston norm.

研究动机与目标

• 為了以幾何不變量來確定塞弗特纖維化空間的 $L^2$-亞歷山大扭結。
• 為了在同態 $\gamma$ 滿足特定條件下，將此計算推廣至圖流形。
• 為了建立 $L^2$-亞歷山大扭結與索頓範數 $x_M(\phi)$ 之間的精確關係。
• 為了提供一個統一的公式來描述扭結對對偶於 $\phi$ 的最小複雜度曲面的依賴性。
• 為了利用此框架解決關於 $S^3$ 中扭結補集的 $L^2$-亞歷山大扭結的猜想。

提出的方法

• 使用具有有效 $S^1$-作用的 $S^1$-CW複形來建模具有可定向軌物底面的塞弗特纖維化空間。
• 應用引理 B，其將 $\tau^{(2)}(X,\phi,\gamma)$ 表示為 $S^1$-軌物歐拉特徵 $\chi^{S^1}_{\text{orb}}(X)$ 與配對 $k_\phi = \phi([F])$ 的函數。
• 證明引理 A，將索頓範數 $x_M(\phi)$ 與 $S^1$-軌物歐拉特徵及配對 $k_\phi$ 關聯起來。
• 利用索頓範數的黏合公式（定理 3.5）將非可定向底面空間分解為可定向部分。
• 應用 Möbius 環帶的對稱化技巧，將問題簡化至 Klein 瓶情形，此情形由引理 3.6 處理。
• 使用等價關係 $f \doteq g$ 將扭結表達式簡化為 $\max\{1, t^{x_M(\phi)}\}$。

实验结果

研究问题

• RQ1 塞弗特纖維化空間的 $L^2$-亞歷山大扭結如何與其索頓範數相關？
• RQ2 是否能使用幾何資料在所有塞弗特纖維化空間中統一計算 $L^2$-亞歷山大扭結？
• RQ3 $S^1$-作用在具有纖維結構的流形的 $L^2$-亞歷山大扭結計算中扮演何種角色？
• RQ4 圖流形的 $L^2$-亞歷山大扭結是否僅依賴於上同調類的索頓範數？
• RQ5 此扭結公式能否推廣至塞弗特纖維化空間的非可定向底面？

主要发现

• 對於排除 $S^1 \times S^2$ 與 $S^1 \times D^2$ 的塞弗特纖維化空間 $M$，當正則纖維在 $\gamma$ 下的像具有無限階時，其 $L^2$-亞歷山大扭結滿足 $\tau^{(2)}(M,\phi,\gamma) \doteq \max\{1, t^{x_M(\phi)}\}$。
• 對於每個 JSJ 分量均滿足相同 $\gamma$ 條件的圖流形，其扭結亦為 $\max\{1, t^{x_M(\phi)}\}$，將結果推廣至塞弗特空間之外。
• 證明依賴於引理 A，其建立 $x_M(\phi) = |\chi^{S^1}_{\text{orb}}(M) \cdot k_\phi|$，其中 $k_\phi = \phi([F])$。
• 引理 B 提供了一般公式：對於 $\gamma \circ ev_x$ 為單射的 $S^1$-CW複形，有 $\tau^{(2)}(X,\phi,\gamma) \doteq \max\{1, t^{k_\phi}\}^{-\chi^{S^1}_{\text{orb}}(X)}$。
• 透過將非可定向底面切割為可定向部分（Klein 瓶與 Möbius 環帶），並運用黏合與對稱化技術，該結果亦適用於非可定向底面。
• 公式 $\tau^{(2)}(S^3 \setminus \nu K, \phi_K, \text{id}) \doteq \max\{1, t\}^{-1}$ 被恢復，顯示扭結為平凡當且僅當扭結為 $\max\{1, t\}^{-1}$。