[论文解读] Four-manifolds with shadow-complexity one

Yuya Koda, Bruno Martelli+1 more|arXiv (Cornell University)|Mar 18, 2018

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

一句话总结

本文利用图森（Turaev）的图理论，对所有具有至多一阶阴影复杂度的闭、定向、光滑4-流形进行了刻画。结果表明，这些流形由20个具有边界 $S^2 \times S^1$ 的特定块与 $\mathbb{CP}^2$（任一方向）的连通和生成，包括2-2-流形的对称体以及更一般的对称体（如 $\mathbb{RP}^3 \times S^1$），从而在低复杂度下实现了有限且系统的分类。

ABSTRACT

We study the set of all closed oriented smooth 4-manifolds experimentally, according to a suitable complexity defined using Turaev's shadows. This complexity roughly measures how complicated the 2-skeleton of the 4-manifold is. We characterise here all the closed oriented 4-manifolds that have complexity at most one. They are generated by a certain set of 20 blocks, that are some basic 4-manifolds with boundary consisting of copies of $S^2 imes S^1$, plus connected sums with some copies of $\mathbb{CP}^2$ with either orientation. All the manifolds generated by these blocks are doubles. Many of these are doubles of 2-handlebodies and are hence efficiently encoded using finite presentations of groups. In contrast to the complexity zero case, in complexity one there are also plenty of doubles that are not doubles of 2-handlebodies, like for instance $\mathbb{RP}^3 imes S^1$.

研究动机与目标

• 开发一种基于图森阴影复杂度的实验性、组合性分类方法，用于闭、定向、光滑4-流形。
• 识别并刻画所有具有至多一阶连通阴影复杂度的4-流形。
• 确定此类流形是否全为2-2-流形的对称体，或是否包含更一般的对称体。
• 建立一组有限的基本4-流形，其边界为 $S^2 \times S^1$，并能生成所有低复杂度的4-流形。

提出的方法

• 利用图森的图理论定义一个复杂度不变量 $c^*(M)$，用以度量4-流形2-骨架的复杂度。
• 通过整数序列与平坦顶点上的移动，对图面实施系统化的简化程序。
• 采用一组有限的20个基本4-流形作为构建块，其边界为 $S^2 \times S^1$。
• 通过与 $\mathbb{CP}^2$（任一方向）的连通和，生成所有复杂度 ≤1 的4-流形。
• 运用流形理论与群表示法，高效编码对称体，特别是2-2-流形的对称体。
• 通过显式移动验证所有配置均可约化为已知块，包括涉及 $-2$-曲线与平坦顶点的情形。

实验结果

研究问题

• RQ1 哪些闭、定向、光滑4-流形具有至多一阶阴影复杂度？
• RQ2 所有此类4-流形是否均可由一组有限的基本块（边界为 $S^2 \times S^1$）生成？
• RQ3 所有复杂度 ≤1 的4-流形是否全为2-2-流形的对称体，抑或部分源于更一般的4-流形的对称体？
• RQ4 $\mathbb{CP}^2$（任一方向）在生成低复杂度4-流形中起何作用？
• RQ5 图移动与简化规则如何对这些4-流形的结构进行分类？

主要发现

• 所有具有至多一阶阴影复杂度的闭、定向、光滑4-流形，均由20个特定块（边界为 $S^2 \times S^1$）与 $\mathbb{CP}^2$（任一方向）的连通和生成。
• 该集合既包含2-2-流形的对称体，也包含非2-2-流形的对称体，如 $\mathbb{RP}^3 \times S^1$，其并非2-2-流形的对称体。
• 复杂度 $c^*(M)$ 有限且较低，对许多流形有 $c^*(M) = 0$ 或 $1$，包括 $S^4$、$S^2 \times S^2$ 与 $\mathbb{CP}^2$，其 $c^* = 0$。
• 通过群表示与加厚构造生成的4-流形集合，其同伦群 $\pi_1$、$\pi_2$ 与同调群完全相同，且恰好为4维加厚体的对称体。
• 该分类是完整且有限的：仅存在有限多个满足 $c^*(M) \leq 1$ 的4-流形，且全部由这20个基本块生成。
• 对图序列的简化移动（如图46、50、51所示）可将所有配置约化为生成块，从而证明了该分类的完备性。