[论文解读] The classification of highly connected manifolds in dimensions 7 and 15

Diarmuid Crowley|ArXiv.org|Mar 24, 2002

Geometric and Algebraic Topology参考文献 36被引用 15

一句话总结

本文通过用二次 linking函数和次不变量对 WIlkens 的不变量进行改进，完整分类了高度连通的 7- 和 15-流形在微分同胚、同胚和同伦等价下的类型。它通过引入一个新的不变量 $\bar{s}_1$，解决了这些流形分类中长期存在的空白，该不变量即使在 linking forms 和切向不变量一致时，也能区分光滑结构。

ABSTRACT

Let P be a closed smooth (4j-2)-connected 8j-manifold. We complete Wilkens' classification of the manifolds P for j = 1,2 and give an alternative proof to Wall's classification of the manifolds for j > 2. The Hopf-invariant-one dimensions (j=1,2) are characteristed by the fact that the quadratic linking functions which classify may be inhomogeneous. Hence we also extend the classification of (homogeneous) quadratic linking forms on finite abelian groups (due to Nikulin) to the inhomogeneous case.

研究动机与目标

• 解决高度连通的 7- 和 15-流形的分类问题，该问题在 Wilkens 的工作之后仍不完整，原因在于 $\mathbb{Z}/2$-挠动障碍。
• 通过引入 linking form 的二次精化，特别是二次 linking 函数 $q_{m,n}$，扩展 Wilkens 的分类框架，以捕捉更精细的光滑结构差异。
• 定义并计算一个新的次不变量 $\bar{s}_1$，该不变量在主要不变量（linking form 和 $\beta$）同构时，能区分光滑结构。
• 建立精确的算术条件，以判断两个此类流形在存在 $2$-挠动时是否微分同胚、同胚或同伦等价。
• 提供 [MTW] 中一个断言的反例，即所有切向等价的 2-连通 7-流形都同胚，表明 $\bar{s}_1$ 对分类是必要的。

提出的方法

• 使用 Wall 的通过三元组 $(H, \lambda, \alpha)$ 的 handlebody 分类法，其中 $H$ 是中间同调，$\lambda$ 是交形式，$\alpha$ 是稳定平凡性的主要障碍。
• 对边界流形 $P = \partial L$ 应用 Wilkens 的不变量 $(G, b, \beta)$，其中 $G = H^{4j}(P; \mathbb{Z})$，$b$ 是挠部分上的 linking form，$\beta$ 是稳定切丛平凡性的障碍。
• 引入二次 linking 函数 $q_{m,n}: \mathbb{Z}/n \to \mathbb{Q}/\mathbb{Z}$，定义为 $je \mapsto \frac{1}{2n}(j^2 + 2mj) \mod \mathbb{Z}$，以精化双线性 linking form $b_{m,n}$。
• 定义次不变量 $\bar{s}_1(P_{m,n}) = \frac{1}{8n}((n+2m)^2 - n\epsilon(n))$，其中 $\epsilon(n) = n/|n|$，该不变量可检测 Wilkens 三元组之外的光滑结构。
• 使用三元组的稳定等价性和手术正合序列，将 $P$ 的分类与 handlebody $L$ 的分类联系起来。
• 通过模 $224n$、$8n$ 和 $(n,12)$ 的同余关系，分别推导出微分同胚、同胚和同伦等价的算术条件，涉及 $m$、$n$ 和方程 $\alpha^2 \equiv \pm\epsilon \mod n$ 的根。

实验结果

研究问题

• RQ1 高度连通的 7- 和 15-流形在微分同胚、同胚和同伦等价下的完整分类是什么？
• RQ2 当 linking form 不可分解且存在 $2$-挠动时，Wilkens 分类中的 $\mathbb{Z}/2$-歧义性如何解决？
• RQ3 在 Wilkens 三元组同构的流形上，需要什么额外不变量来区分光滑结构？
• RQ4 [MTW] 中的断言——所有切向等价的 2-连通 7-流形都同胚——是否可以被验证或反驳？
• RQ5 两个流形 $P_{m,n}$ 和 $P_{m',n'}$ 在何种精确算术条件下是微分同胚、同胚或同伦等价的？

主要发现

• 当 $n \neq 0$ 时，二次 linking 函数 $q_{m,n}$，定义为 $je \mapsto \frac{1}{2n}(j^2 + 2mj) \mod \mathbb{Z}$，决定了 $P_{m,n}$ 的拓扑分类。
• 当 $n \neq 0$ 时，不变量 $\bar{s}_1(P_{m,n}) = \frac{1}{8n}((n+2m)^2 - n\epsilon(n))$ 决定了 $P_{m,n}$ 的光滑分类。
• 流形 $P_{1,8}$ 和 $P_{5,8}$ 是切向同伦等价的（具有相同的 $\beta$ 和 $b$），但不同胚，因为 $\bar{s}_1(P_{1,8}) = 9/16 \neq 1/16 = \bar{s}_1(P_{5,8})$。
• 分类定理（定理 6.12）给出了微分同胚、同胚和同伦等价的精确算术条件，分别涉及模 $224n$、$8n$ 和 $(n,12)$ 的同余关系。
• 对于每个阶可被 8 整除的有限交换群，存在一对 2-连通 7-流形，其 $(b, \beta)$ 同构但 $\bar{s}_1$ 不同，表明尽管切向等价，它们并非同胚。
• 对 [MTW] 的定理 5.10 的反例表明，切向同伦等价的存在并不意味着同胚，且 $\bar{s}_1$ 对分类是必要的。