[論文レビュー] 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

ひとこと要約

この論文は、任意のポincare複体に対して完全な代数的 surgery正確列を確立し、その複体が位相的多様体とホモトピー同値であるかどうかを検出するチェーンレベル不変量としての総 surgery 障害を導入する。空間の構造集合を代数的 surgery正確列における相対 surgery 群と特定し、総 surgery 障害が 0 であることと、次元 ≥ 5 の場合にその空間が単純ホモトピー同値な位相的多様体であることの必要十分条件であることを証明する。

ABSTRACT

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

研究の動機と目的

• n次元 Poincaré双対性を有する任意の空間に対して、多様体に限らない代数的 surgery正確列を拡張すること。
• Poincaré 複体が位相的多様体とホモトピー同値でないときの障害を測るチェーンレベル不変量としての総 surgery 障害 s(X) を定義し、その特徴づけを行うこと。
• 総 surgery 障害を通じて、多様体の幾何的構造集合と代数的 surgery正確列との間の明確な対応関係を確立すること。
• 4周期的 surgery正確列を用いて、homology 多様体へと枠組みを拡張し、解消障害と総 surgery 障害との関係を明らかにすること。

提案手法

• 基底付きの有限生成自由 Z-加群に X-局所構造を備えた (Z,X)-カテゴリを定義し、アセンブリーマップの定義域を提供すること。
• 一般化ホモロジー H_n(X; L•) から surgery 障害群 L_n(Z[π₁(X)]) へのアセンブリーマップ A: H_n(X; L•) → L_n(Z[π₁(X)]) を、L-理論係数を有する一般化ホモロジーから surgery 障害群への自然変換として構成すること。
• 相対 surgery 群 S_n(X) を、Z[π₁(X)] 上で可縮複体にアセンブルされる (Z,X) 上の二次的 Poincaré複体のコボルディズム群として特定すること。
• Z[π₁(X)] 上で可縮なアセンブリーマップを持つ (Z,X) 上の二次的 Poincaré複体のコボルディズム類として、総 surgery 障害 s(X) ∈ S_n(X) を定義すること。
• 代数的 surgery正確列を用いて、位相的多様体の Browder-Novikov-Sullivan-Wall surgery正確列を、代数的列の対応する部分と同一視すること。
• S̄_n(X) と H_n(X; L₀(Z)) に含まれる解消障害 i(X) を含む 4周期的 surgery正確列を用いて、枠組みを homology 多様体へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 n次元 Poincaré双対性を持つ空間が位相的多様体とホモトピー同値であるための代数的特徴づけは何か？
• RQ2 位相的多様体の構造集合は、代数的 surgery正確列を用いてどのように代数的に記述できるか？
• RQ3 総 surgery 障害 s(X) が Poincaré 複体の多様体構造を検出する際に果たす明確な役割は何か？
• RQ4 代数的 surgery枠組みは homology 多様体へとどのように拡張可能か？また、解消障害と総 surgery 障害との関係は何か？
• RQ5 アセンブリーマップが単射または同型であるための条件は何か？また、これと Borel 剛性と Novikov 猜測との関係は？

主な発見

• n次元の単純 Poincaré 複体 X に対して、n ≥ 5 のとき、総 surgery 障害 s(X) ∈ S_n(X) が 0 であることと、X が位相的多様体と単純ホモトピー同値であることとは同値である。
• n次元位相的多様体 M (n ≥ 5) の構造集合 S^TOP(M) は、代数的 surgery正確列における群 S_{n+1}(M) と同一視される。
• n次元多様体間の単純ホモトピー同値写像 h: N → M に対して、その構造不変量 s(h) ∈ S_{n+1}(M) が 0 であることと、h が同相写像にホモトープであることとは同値である。
• homology 多様体に対しては、総 surgery 障害 s(X) は自然な写像を通じて、H_n(X; L₀(Z)) に倣う解消障害 i(X) ∈ H_n(X; L₀(Z)) の像として得られる。
• n ≥ 6 のとき、homology 多様体の surgery 精密列は、4周期的代数的 surgery正確列の一部と一対一に対応する。
• n ≥ 6 のとき、S^n を homology 多様体とみなした場合の構造集合は L₀(Z) に同型であり、解消障害によって検出可能である。