[论文解读] The structure set of an arbitrary space, the algebraic surgery exact sequence and the total surgery obstruction

Andrew Ranicki|ArXiv.org|Nov 30, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 3

一句话总结

本文为任意Poincaré复形建立了完整的代数手术精确序列，引入了总手术障碍作为链层不变量，用于检测此类复形是否同伦等价于拓扑流形。它将空间的结构集与代数手术精确序列中的相对手术群对应起来，证明总手术障碍当且仅当空间在维度≥5时为简单同伦等价于拓扑流形时消失。

ABSTRACT

An introduction to the applications of algebraic surgery to the structure theory of high-dimensional topological manifolds.

研究动机与目标

• 将代数手术精确序列扩展至具有n维Poincaré对偶性的任意空间，而不仅限于流形。
• 定义并表征总手术障碍s(X)作为链层不变量，用于度量Poincaré复形与同伦等价于拓扑流形之间的失败程度。
• 通过总手术障碍，在流形的几何结构集与代数手术精确序列之间建立精确对应关系。
• 通过包含群S̄_n(X)与分辨率障碍i(X) ∈ H_n(X; L₀(Z))的4-周期手术精确序列，将框架扩展至同调流形，并建立分辨率障碍与总手术障碍之间的关系。

提出的方法

• 定义基于有限生成自由Z-模的(Z,X)-范畴，带有X-局部结构，作为配装映射的定义域。
• 构造配装映射A: H_n(X; L•) → L_n(Z[π₁(X)])，作为从L-理论系数的广义同调到手术障碍群的自然变换。
• 将相对手术群S_n(X)识别为在(Z,X)上取值的二次Poincaré复形的 bordism 群，其在Z[π₁(X)]上的配装为可缩复形。
• 将总手术障碍s(X) ∈ S_n(X)定义为在(Z,X)上取值的二次Poincaré复形的 bordism 类，其在Z[π₁(X)]上的配装为可缩复形。
• 利用代数手术精确序列，将Browder-Novikov-Sullivan-Wall手术精确序列（针对拓扑流形）与代数序列的相应部分对应起来。
• 通过涉及群S̄_n(X)与分辨率障碍i(X) ∈ H_n(X; L₀(Z))的4-周期手术精确序列，将框架扩展至同调流形。

实验结果

研究问题

• RQ1 具有n维Poincaré对偶性的空间在何种代数条件下同伦等价于拓扑流形？
• RQ2 如何通过代数手术精确序列代数地描述拓扑流形的结构集？
• RQ3 总手术障碍s(X)在检测Poincaré复形的流形结构中起何种精确作用？
• RQ4 代数手术框架如何扩展至同调流形？分辨率障碍与总手术障碍之间存在何种关系？
• RQ5 在何种条件下配装映射是单射或同构？这与Borel刚性猜想和Novikov猜想有何关联？

主要发现

• 当且仅当n ≥ 5时，总手术障碍s(X) ∈ S_n(X)为零，当且仅当n维简单Poincaré复形X为简单同伦等价于拓扑流形。
• 对于n ≥ 5的拓扑n-流形M，其结构集S^TOP(M)与代数手术精确序列中的群S_{n+1}(M)相等。
• 在n-流形N与M之间的简单同伦等价h: N → M的结构不变量s(h) ∈ S_{n+1}(M)为零，当且仅当h同伦于一个同胚映射。
• 对于同调流形，总手术障碍s(X)是分辨率障碍i(X) ∈ H_n(X; L₀(Z))在自然映射下的像。
• 当n ≥ 6时，同调流形的手术序列与4-周期代数手术精确序列的某一部分存在一一对应关系。
• 当n ≥ 6时，S^n（作为同调流形）的结构集同构于L₀(Z)，由分辨率障碍所检测。