[论文解读] Smoothly embedding Seifert fibered spaces in $S^4$

Ahmad Issa, Duncan McCoy|arXiv (Cornell University)|Oct 10, 2018

Geometric and Algebraic Topology参考文献 18被引用 4

一句话总结

本文利用唐纳森定理和诺伊曼-济本曼不变量，为 $S^4$ 中的丛纤维化空间建立了精确的光滑嵌入障碍。当归一化中心权重 $e$ 满足 $e \geq k/2$ 时，精确分类了哪些此类空间可光滑嵌入，表明仅当奇点纤维具有特定对称配置时才可能发生嵌入，并将这些结果应用于在变换下对光滑双余切奇型三叶结进行分类。

ABSTRACT

Using an obstruction based on Donaldson's theorem, we derive strong restrictions on when a Seifert fibered space $Y = F(e; \frac{p_1}{q_1}, \ldots, \frac{p_k}{q_k})$ over an orientable base surface $F$ can smoothly embed in $S^4$. This allows us to classify precisely when $Y$ smoothly embeds provided $e > k/2$, where $e$ is the normalized central weight and $k$ is the number of singular fibers. Based on these results and an analysis of the Neumann-Siebenmann invariant $\overlineμ$, we make some conjectures concerning Seifert fibered spaces which embed in $S^4$. Finally, we also provide some applications to doubly slice Montesinos links, including a classification of the smoothly doubly slice odd pretzel knots up to mutation.

研究动机与目标

• 确定一个在可定向底面曲面上的丛纤维化空间 $Y$ 光滑嵌入 $S^4$ 的必要与充分条件。
• 利用唐纳森定理和第一同调群结构，推导出强的光滑嵌入障碍。
• 当 $e > k/2$ 时，对光滑嵌入 $S^4$ 的丛纤维化空间进行分类，并在 $e = k/2$ 时部分分类。
• 将分类结果应用于确定哪些奇型三叶结是光滑双余切的，且在变换下保持不变。
• 研究诺伊曼-济本曼不变量 $\overline{\mu}$ 在阻碍拓扑或光滑嵌入中的作用。

提出的方法

• 利用唐纳森定理对光滑定号 4-流形的性质，推导出丛纤维化空间中奇点纤维的可划分性条件。
• 将可划分的丛纤维化空间定义为：其扭转化同调可分解为 $G \oplus G$，且其奇点纤维可被划分为 $e$ 个类，满足特定的有理数和条件。
• 应用条件：每个划分中一个类的和为 $1 - 1/\operatorname{lcm}(p_1,\dots,p_k)$，其余所有类的和为 1，且两个划分之间无子集并集相等。
• 利用诺伊曼-济本曼不变量 $\overline{\mu}$，当特征子集范数和不为零时，阻碍嵌入。
• 分析蒙特斯inos链和三叶结的二重复盖，将其拓扑性质与 $S^4$ 中的嵌入障碍联系起来。
• 将可划分性条件与 $\overline{\mu}$ 不变量结合，排除某些拟交替蒙特斯inos链的嵌入可能性。

实验结果

研究问题

• RQ1 在 $\varepsilon(Y) > 0$ 的条件下，何种情况下丛纤维化空间 $Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ 可光滑嵌入 $S^4$？
• RQ2 光滑嵌入的归一化中心权重 $e$ 的精确上界是什么？该上界在何时达到？
• RQ3 哪些奇型三叶结是光滑双余切的？变换如何影响该分类？
• RQ4 诺伊曼-济本曼不变量 $\overline{\mu}$ 是否可用于阻碍丛纤维化空间在 $S^4$ 中的光滑或拓扑嵌入？
• RQ5 拟交替蒙特斯inos链的二重复盖是否可在 $S^4$ 中光滑嵌入？

主要发现

• 若丛纤维化空间 $Y = F(e; \frac{p_1}{q_1}, \dots, \frac{p_k}{q_k})$ 光滑嵌入 $S^4$，则必有 $e \leq \frac{k+1}{2}$，且等号成立仅当奇点纤维具有特定对称配置。
• 当 $e = \frac{k+1}{2}$ 时，$Y$ 光滑嵌入 $S^4$ 当且仅当其形式为 $F(\frac{k+1}{2}; \frac{a}{a-1}, a, \frac{a}{a-1}, a, \dots)$，其中 $a \geq 2$ 为整数。
• 当 $e = \frac{k}{2}$ 且 $k$ 为偶数时，光滑可嵌入性意味着 $Y$ 必须具有特定形式，即包含对 $\{\frac{p}{q}, \frac{p}{p-q}\}$ 和 $\{\frac{r}{s}, \frac{r}{r-s}\}$，且满足 $\frac{s}{r} + \frac{q}{p} = 1 - \frac{1}{pr}$。
• 光滑双余切奇型三叶结的二重复盖必须是可划分的且满足 $\overline{\mu} = 0$，从而在变换下实现完全分类。
• 诺伊曼-济本曼不变量 $\overline{\mu}$ 仅在特征子集范数和等于 $e + \sum b_i$ 时为零，这在三叶结情形强制 $e = 0$，从而导致对称纤维结构。
• 若某拟交替蒙特斯inos链的二重复盖需满足 $e \geq k$ 或 $e = k-1$ 且 $\frac{q_{k-1}}{p_{k-1}} + \frac{q_k}{p_k} < 1$，则其无法在 $S^4$ 中拓扑局部平坦地嵌入，因此此类链不是拓扑双余切的。