[论文解读] Singular branched covers of four-manifolds

Patricia Cahn, Alexandra Kjuchukova|arXiv (Cornell University)|Oct 31, 2017

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

一句话总结

本文研究四维流形的不规则二面体分支覆盖，重点关注在绳结上具有圆锥型奇点的奇异分支集。研究证明，当覆盖同伦等价于 $\mathbb{CP}^2$ 时，只有可slice的绳结才能作为三重不规则二面体覆盖 $Y \to S^4$ 中的唯一奇点，并构造了一个无穷族与 $\mathbb{CP}^2$ 微分同胚的此类覆盖，通过不变量 $\Xi_3$ 为Slice-Ribbon猜想提供了新工具与新障碍。该工作结合三重分解理论与组合算法，计算奇点的符号贡献。

ABSTRACT

Consider a dihedral cover $f: Y o X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an irregular dihedral cover $f: Y o S^4$ if $Y$ is homotopy equivalent to $\mathbb{CP}^2$ and construct an explicit infinite family of such covers with $Y$ diffeomorphic to $\mathbb{CP}^2$. An obstruction to a knot being homotopically ribbon arises in this setting, and we describe a class of potential counter-examples to the Slice-Ribbon Conjecture. Our tools include lifting a trisection of a singularly embedded surface in a four-manifold $X$ to obtain a trisection of the corresponding irregular dihedral branched cover of $X$, when such a cover exists. We also develop a combinatorial procedure to compute, using a formula by the second author, the contribution to the signature of the covering manifold which results from the presence of a singularity on the branching set.

研究动机与目标

• 理解哪些四维流形可作为其他四维流形的不规则二面体分支覆盖，特别是当分支集具有孤立奇点时。
• 发展一种组合方法，用于计算不规则二面体覆盖中分支集上奇点的符号贡献。
• 通过奇异分支集构造三重不规则二面体分支覆盖 $Y \to S^4$ 的显式例子，其中 $Y$ 微分同胚于 $\mathbb{CP}^2$。
• 通过分析作为奇点出现的绳结的不变量 $\Xi_3$，为Slice-Ribbon猜想提供新障碍。
• 将三重分解理论推广至四维流形中奇异嵌入曲面的分支覆盖。

提出的方法

• 当此类覆盖存在时，将四维流形 $X$ 中奇异嵌入曲面的三重分解提升为对应不规则二面体分支覆盖 $Y \to X$ 的三重分解。
• 应用 Kjuchukova (2016) 的公式，计算由于分支集上奇点导致的覆盖流形的符号缺陷。
• 基于 Seifert 曲面与锚点路径，使用二面体群 $D_p$ 的单体作用，开发一种基于绳结图的组合算法，以计算不变量 $\Xi_p(\alpha)$。
• 将覆盖流形 $Y$ 构造为 $X - B$ 上无分支覆盖的完成，其中 $B$ 是具有圆锥奇点的分支集。
• 通过计算交截形式并比较三重分解不变量，验证所构造的覆盖微分同胚于 $\mathbb{CP}^2$。
• 将 $Y$ 中奇点的邻域链分析为绳结 $\alpha$ 的二面体覆盖，并利用此定义 $p$-可接受与有理 $p$-可接受绳结。

实验结果

研究问题

• RQ1 哪些绳结可作为不规则三重二面体分支覆盖 $Y \to S^4$ 的唯一奇点，且 $Y$ 同伦等价于 $\mathbb{CP}^2$？
• RQ2 不变量 $\Xi_3(\alpha)$ 是否能检测非ribbon的slice绳结？在何种条件下，其对同伦ribbon绳结为零？
• RQ3 当分支集具有孤立圆锥奇点时，如何计算四维流形分支覆盖的符号？
• RQ4 在存在奇异分支集的情况下，基四维流形的三重分解与分支覆盖的三重分解之间有何关系？
• RQ5 计算 $\Xi_p(\alpha)$ 的组合算法能否推广至有理同调球面覆盖？

主要发现

• 当 $Y$ 同伦等价于 $\mathbb{CP}^2$ 时，只有可slice绳结才能作为三重不规则二面体分支覆盖 $Y \to S^4$ 中的唯一奇点。
• 构造了一个显式的三重不规则二面体分支覆盖 $Y \to S^4$ 的无穷族，其中 $Y$ 微分同胚于 $\mathbb{CP}^2$。
• 若绳结 $\alpha$ 为3-可接受且 $|\Xi_3(\alpha)| \neq 1$，则其不能为同伦ribbon，从而提供同伦ribbon性新障碍。
• 若所有可接受的slice绳结满足 $|\Xi_3(\alpha)| = 1$，则不变量 $\Xi_3(\alpha)$ 可能作为sliceness障碍。
• 开发了一种组合算法，基于绳结图使用锚点路径与单体作用，计算 $\Xi_p(\alpha)$，从而实现对奇异分支覆盖的符号计算。
• 基四维流形的三重分解可被提升为分支覆盖的三重分解，为覆盖微分同胚于 $\mathbb{CP}^2$ 提供了独立验证。