[论文解读] $T^3$-fibrations on compact six-manifolds

Patrick Baier|ArXiv.org|Sep 13, 2001

Geometric Analysis and Curvature Flows参考文献 9被引用 3

一句话总结

本文通过利用扭结群到 $\mathrm{SL}(3,\mathbb{Z})$ 的单值表示，构建了在 $S^3$ 上具有 $T^3$-纤维结构的显式构造，其奇异纤维位于扭结上。研究表明，全空间的拓扑不变量可从单值表示代数地计算得出，从而在 $S^3\times S^3$ 及涉及 $S^4\times S^2$ 的连通和上构造出新的 $T^3$-纤维结构，其判别集为扭结 $\mathfrak{t}(2p',3q')$。该构造可推广至满足 $p'$ 与 $q'$ 数论条件的所有此类扭结。

ABSTRACT

We describe a simple way of constructing torus fibrations $T^3 o X o S^3$ which degenerate canonically over a knot or link in $S^3$. We show that the topological invariants of $X$ can be computed algebraically from the monodromy representation of the fibration. We use this to obtain some new $T^3$-fibrations $S^3 imes S^3 o S^3$ and $(S^3 imes S^3)#(S^3 imes S^3)#(S^4 imes S^2) o S^3$ whose discriminant locus is a torus knot.

研究动机与目标

• 开发一种系统化方法，用于在 $S^3$ 上构造具有在扭结或链上具有规范奇异性的 $T^3$-纤维结构。
• 证明全空间 $X$ 的拓扑不变量可仅从扭结群在 $H_1(T^3,\mathbb{Z})$ 上的单值表示代数地计算得出。
• 在紧致六维流形（包括 $S^3\times S^3$ 和涉及 $S^4\times S^2$ 的连通和）上构造新的 $T^3$-纤维结构示例。
• 对扭结群 $G(p,q) = \pi_1(S^3 \setminus \mathfrak{t}(p,q))$ 的 $M$-表示分类至 $\mathrm{SL}(3,\mathbb{Z})$，使其可实现为 $T^3$-纤维结构的规范紧化。

提出的方法

• 使用仿射 $T^n$-丛，其单值表示 $\varrho: \pi_1(S^3 \setminus \mathfrak{k}) \to \mathrm{SL}(3,\mathbb{Z})$ 来定义在 $S^3$ 上的纤维结构，其奇异纤维位于扭结 $\mathfrak{k}$ 上。
• 对 $S^3 \setminus \mathfrak{k}$ 上的线性 $T^3$-丛应用规范紧化过程，利用单值表示将纤维结构延拓至扭结处。
• 利用陈类 $c(f) \in H^2(B, \mathcal{L})$ 来分类仿射 $T^n$-丛，并确定截面存在的条件（即当 $c(f) = 0$ 时）。
• 利用全空间 $\widehat{B}$ 及 $\pi_1(B)$ 通过 $\varrho$ 的作用，将全空间构造为 $X = \widehat{B} \times_\varrho \mathbb{T}^3$。
• 应用扭结群的表示理论，特别是对扭结 $\mathfrak{t}(p,q)$，对 $\mathrm{SL}(3,\mathbb{Z})$ 中的 $M$-表示进行分类。
• 将拓扑不变量（如贝蒂数、欧拉示性数）的计算简化为单值表示 $\varrho$ 的代数不变量。

实验结果

研究问题

• RQ1 哪些单值表示 $\varrho: \pi_1(S^3 \setminus \mathfrak{k}) \to \mathrm{SL}(3,\mathbb{Z})$ 能够产生在 $S^3$ 上具有在扭结 $\mathfrak{k}$ 处奇异纤维的可紧化的 $T^3$-纤维结构？
• RQ2 此类纤维结构的全空间 $X$ 的拓扑不变量如何能直接从单值表示 $\varrho$ 计算得出？
• RQ3 对于扭结 $\mathfrak{t}(p,q)$，其参数 $p,q$ 需满足何种条件，才能支持非平凡的 $M$-表示进入 $\mathrm{SL}(3,\mathbb{Z})$？
• RQ4 哪些紧致六维流形允许具有判别集为扭结 $\mathfrak{t}(2p',3q')$ 的 $T^3$-纤维结构？
• RQ5 能否将 $\pi_1(S^3 \setminus \mathfrak{t}(p,q))$ 的 $M$-表示分类简化为 $(2,3)$ 或 $(4,3)$ 扭结的表示分类？

主要发现

• 本文在 $S^3 \times S^3$ 上构造了无限多个非同构的 $T^3$-纤维结构，其判别集为扭结 $\mathfrak{t}(2p',3q')$，其中 $p'$ 为奇数。
• 本文在 $(S^3 \times S^3)\#(S^3 \times S^3)\#(S^4 \times S^2)$ 上构造了另一组无限多个 $T^3$-纤维结构，其判别集为 $\mathfrak{t}(2p',3q')$，其中 $p'$ 为偶数。
• 对于 $(4,3)$-扭结，本文显式构造了无限多个非交换的 $M$-表示 $\varrho_k$，其取值于 $\mathrm{SL}(3,\mathbb{Z})$，满足 $\varrho_{-k} = (\varrho_k^{-1})^T$。
• $\mathrm{SL}(3,\mathbb{Z})$ 中 $(p,q)$-扭结群的 $M$-表示存在的充要条件是：$p = 2^m p'$ 且 $q = 3^k q'$，其中 $\gcd(p',6) = \gcd(q',6) = \gcd(p',q') = 1$，且 $m,k > 0$。
• 当 $m=1$ 时，$G(p,q)$ 的 $M$-表示与 $G(2,3)$ 的表示之间存在双射；当 $m>1$ 时，与 $G(4,3)$ 的表示之间存在双射；该双射通过指数为 $\pm 1$ 的表示提升实现。
• 全空间 $X$ 的拓扑不变量（如贝蒂数、欧拉示性数）完全由单值表示 $\varrho$ 决定，无需依赖于几何或拓扑数据，仅需群表示信息。