[論文レビュー] Controlled surgery with trivial local fundamental groups

Erik K. Pedersen, Frank Quinn+1 more|ArXiv.org|Nov 27, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

本稿では、局所基本群が自明である場合の制御された手術完全列を確立するために、アセンブリーマップの同型性を証明することで、異種ホモロジー多様体の構成における重要な技術的ギャップを解消した。安定化の代わりに制御されたK理論の分解法を用いることで、有限なε, δに対し手術完全列が安定化することを示し、制御された手術理論によってこのような多様体の分類が可能になる。

ABSTRACT

We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here is based on work of M. Yamasaki.

研究の動機と目的

• 文献に存在する重大なギャップを埋めるために、局所基本群が自明な場合の制御された手術完全列の完全な証明を提供すること。
• 異種ホモロジー多様体を構成するために不可欠な、有限なεおよびδにおける手術完全列の安定性を確立すること。
• ×S¹による安定化の必要性を排除するため、ℤ係数上での制御されたK理論の消滅を証明し、同型の直接的分解を可能にすること。
• Bryant-Ferry-Mio-Weinbergerによる異種ホモロジー多様体の構成で用いられた手術分類を検証すること。この分類は、未解決の技術的問題のため一時的とされてきた。

提案手法

• 中心的な構成として、Hₙ(B;ℒ) から Lₙ(B;ℤ,ε,δ) へのYamasakiのアセンブリーマップを用いる。
• [Q1, Theorem 8.4] に依拠する制御されたK理論の分解法を用い、B−V 上でのδ同型を分解する。
• 任意のε > 0 に対して、δ > 0 が存在し、B−V 上のδ同型が、B−V²ε および V 上の成分にε同値に分解できることを確立する。
• 制御された準同型を用いて、二次形式のポアンカレ複体をB−W および W^ε 上の部分に幾何学的に分解し、境界を W^ε ∩ (B−W) 上に置く。
• 空間Bを分割し、単体の像の直径がδ未満になるようにし、B上の点に基底要素を割り当てて半径を制御する。
• δ同型の分解補題を用いて、半径がδ未塔の任意の制御された複体が、ε同値な部分に分解可能であることを示し、アセンブリーマップが同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 局所基本群が自明な場合、有限なεおよびδに対して制御された手術完全列が安定化するか？
• RQ2 局所基本群が自明な条件下で、アセンブリーマップ Hₙ(B;ℒ) → Lₙ(B;ℤ,ε,δ) が制御された条件下で同型となるか？
• RQ3 ℤ係数上で、×S¹による安定化なしにδ同型を分解することは可能か？
• RQ4 制御されたホワイトヘッド群がℤ係数上で消えることで、手術完全列における直接的分解がどのように可能になるか？
• RQ5 ε制御と有界制御、連続制御の違いは、手術完全列の安定性を保証するために果たす役割は何か？

主な発見

• 局所基本群が自明な場合、有限なεおよびδに対して制御された手術完全列が成り立つ。これは、理論における長年のギャップを解消する。
• 十分に小さなδおよびεに対して、アセンブリーマップ Hₙ(B;ℒ) → Lₙ(B;ℤ,ε,δ) が同型となる。これにより、手術完全列の安定性が確立される。
• ×S¹による安定化を回避するため、ℤ係数上での制御されたK理論の消滅を利用する。これにより、分解法が直接的かつ効果的になる。
• 重要な技術的補題として、任意のδ同型がB−V 上で、B−V²ε および V 上の成分にε同値に分解可能であることが示され、複体の分解が可能になる。
• 構成により、ε制御が安定性に不可欠であることが確認される。有界制御のみでは、極限過程における収束の速度を捉えることができない。
• Bryant, Ferry, Mio, および Weinberger が用いた制御された手術による異種ホモロジー多様体の分類が正当化される。この分類は、かつて技術的問題のため一時的とされてきた。