[論文レビュー] Simplicial inverse sequences in extension theory

Leonard R. Rubin, Vera Tonić|arXiv (Cornell University)|Mar 13, 2017

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

ひとこと要約

本稿では、分割を通じて要因化する単体的結合写像を備えた単体的逆系列として、任意の与えられたコンパクトなメトライズブル空間 X へのセル類写像 π: Z → X をもつ、単体的三角形分割多面体の逆系列を導入する。主な結果は、X が CW複体 K₀ に対する絶対拡張子であるならば、Z に対しても同様にそうであることが保証され、拡張理論的性質が保たれる一方で、Z が明確な構造を持つ単体的系から得られることを示している。

ABSTRACT

In extension theory, in particular in dimension theory, it is frequently useful to represent a given compact metrizable space X as the limit of an inverse sequence of compact polyhedra. We are going to show that, for the purposes of extension theory, it is possible to replace such an X by a better metrizable compactum Z. This Z will come as the limit of an inverse sequence of triangulated polyhedra with simplicial bonding maps that factor in a certain way. There will be a cell-like map from Z to X, and we shall show that if K is a CW-complex which is an absolute extensor for X, then K is also an absolute extensor for Z.

研究の動機と目的

• 任意のコンパクトなメトライズブル空間 X を、拡張理論的性質を保つ単体的逆極限 Z に置き換えること。
• 単体的結合写像を備えた多面体の逆系列の極限として得られる、Z から X へのセル類写像 π: Z → X を構成すること。
• X が CW複体 K₀ に対して τ であるならば、Z に対しても同様に Z τ K₀ となるように保証することにより、拡張行動を保存すること。
• 逆系列に対する「調整」の理論を構築し、ファイバー π⁻¹(x) の制御とホモトピー的議論の支援を可能とすること。

提案手法

• 有限多面体の逆系列 (|Tᵢ|, gᵢⁱ⁺¹) を構成し、その結合写像 gᵢⁱ⁺¹ が gᵢⁱ⁺¹ = fᵢⁱ⁺¹ ∘ φᵢ⁺¹ と分解されるようにする。ここで φᵢ⁺¹ は、ある分割上の恒等写像の単体的近似である。
• 骨格的調整を用いて、特定の段階での結合写像を変更し、ファイバー構造を保つ新しい逆系列 M = (|Tⱼᵢ⁽ⁿ⁾|, hᵢⁱ⁺¹) を作成する。
• ファイバー π⁻¹(x) を、Mₓ⁺ = (Bₓᵢ⁺, gᵢⁱ⁺¹|Bₓᵢ₊₁⁺) という部分逆系列の極限として定義し、重要な部分複体の可縮性を用いてホモトピー的制御を可能にする。
• 補題 8.2 を適用して、Mₓ⁺ の結合写像がホモトピー的に定数写像であることを確認し、π⁻¹(x) がセル類であることを示す。
• 定理 6.1 を用いて、X の拡張性質が Z に引き継がれることが示され、X τ K₀ ならば Z τ K₀ であることが結論づけられる。
• 単体的スターネighborhood と三角形分割の微調整を用いて、逆系列全体にわたる整合性と連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクトなメトライズブル空間 X に対して、拡張理論的性質がセル類写像 π: Z → X を通じて保たれるような単体的逆極限 Z に置き換え可能だろうか？
• RQ2 固定された多面体の三角形分割間の単体的写像のみを用いて、このような Z を構成することは可能だろうか？
• RQ3 写像 π: Z → X のファイバーを位相的にどのように記述すれば、それらがセル類であることを保証できるだろうか？
• RQ4 逆系列の「調整」が、ファイバーのホモトピー型を制御するために果たす役割は何か？
• RQ5 X τ K₀ が CW複体 K₀ に対して成り立つための条件は何か？

主な発見

• 単体的逆系列 (|Tᵢ|, gᵢⁱ⁺¹) の逆極限 Z は、セル類写像 π: Z → X を持ち、各ファイバー π⁻¹(x) はコンパクトでセル類のコンtinuumである。
• 各 x ∈ X に対して、ファイバー π⁻¹(x) は、可縮部分複体からなる部分逆系列 Mₓ⁺ = (Bₓᵢ⁺, gᵢⁱ⁺¹|Bₓᵢ₊₁⁺) の逆極限と位相的に同型である。
• 各結合写像 gᵢⁱ⁺¹|Bₓᵢ₊₁⁺: Bₓᵢ₊₁⁺ → Bₓᵢ⁺ は定数写像にホモトープであり、これにより π⁻¹(x) が自明な形状を持つことが保証される。
• π は全射である。これは、調整された複体の 0-スケルトン上で逆極限が点を含むことから示される。
• X τ K₀ ならば Z τ K₀ である。これは、X の拡張性質が Z に引き継がれるということを意味する。
• この構成により、調整された逆系列のすべての結合写像が単体的であり、分割を通じて要因化されることを保証し、X の正規化された、構造的な分解が得られる。