[論文レビュー] Z/p-acyclic resolutions in the strongly countable Z/p-dimensional case

Leonard R. Rubin, Vera Tonić|arXiv (Cornell University)|Jan 13, 2011

Advanced Topology and Set Theory被引用数 1

ひとこと要約

この論文は、強く可算な Z/p次元フィルトレーションを持つコンパクトな距離空間に対して、Z/p-アサイクルな分解定理を確立する。X から Z/p-アサイクルに写像する、コンパクトな距離空間 Z への全単射セル・ライクな写像 π: Z → X を構成し、各部分空間 Z_k が X_k に Z/p-アサイクルに写像されるようにする。同時に次元の上限 l_k と UV^{l_k-1} の性質を保つ。この結果は、ドライニシュニコフの Z/p-分解定理を一般化し、アゲエフ、ジメネス、ルービンの結果を Z/p の設定に拡張する。

ABSTRACT

We prove the following Theorem: Let X be a nonempty compact metrizable space, let $l_1 \leq l_2 \leq...$ be a sequence of natural numbers, and let $X_1 \subset X_2 \subset...$ be a sequence of nonempty closed subspaces of X such that for each k in N, $dim_{Z/p} X_k \leq l_k < \infty$. Then there exists a compact metrizable space Z, having closed subspaces $Z_1 \subset Z_2 \subset...$, and a surjective cell-like map $\pi: Z o X$, such that for each k in N, (a) $dim Z_k \leq l_k$, (b) $\pi (Z_k) = X_k$, and (c) $\pi | {Z_k}: Z_k o X_k$ is a Z/p-acyclic map. Moreover, there is a sequence $A_1 \subset A_2 \subset...$ of closed subspaces of Z, such that for each k, $dim A_k \leq l_k$, $\pi|{A_k}: A_k o X$ is surjective, and for k in N, $Z_k\subset A_k$ and $\pi|{A_k}: A_k o X$ is a UV^{l_k-1}-map. It is not required that X be the union of all X_k, nor that Z be the union of all Z_k. This result generalizes the Z/p-resolution theorem of A. Dranishnikov, and runs parallel to a similar theorem of S. Ageev, R. Jimenez, and L. Rubin, who studied the situation where the group was Z.

研究の動機と目的

• 強く可算な Z/p次元フィルトレーションを持つ場合に、ドライニシュニコフの Z/p-分解定理を一般化すること。
• X_k にセル・ライクに写像する、入れ子になった閉部分空間 Z_k を持つコンパクトな距離空間 Z を構成すること。
• 各制限 π|Z_k: Z_k → X_k が Z/p-アサイクルであることを保証すること。同時に次元の上限 l_k も維持すること。
• Z_k を含む補助的閉部分空間 A_k を導入し、π|A_k: A_k → X が UV^{l_k-1}-写像であり、全射であることを保証すること。
• X が X_k の和集合でない場合や Z が Z_k の和集合でない場合にも、分解構造の柔軟性を保つように枠組みを拡張すること。

提案手法

• 各 k ∈ ℕ に対して dim Z_k ≤ l_k を満たす、入れ子になった閉部分空間 Z_1 ⊂ Z_2 ⊂ ... を持つコンパクトな距離空間 Z を構成すること。
• 各 k に対して π(Z_k) = X_k を満たす全単射セル・ライクな写像 π: Z → X を定義すること。
• 制限 π|Z_k: Z_k → X_k が Z/p-アサイクルであることを保証すること。すなわち、H_*(Z_k, X_k; ℤ/p) = 0 であること。
• dim A_k ≤ l_k かつ π|A_k: A_k → X が UV^{l_k-1}-写像であるような補助的閉部分空間 A_k ⊃ Z_k を導入すること。
• Z/p-アサイクル写像と UV^n-写像の性質を用いて、帰納的構成により次元と写像の条件を維持すること。
• X = ⋃X_k または Z = ⋃Z_k である必要がないようにすることで、非和集合のケースに対しても柔軟性を保つ。

実験結果

リサーチクエスチョン

• RQ1 ドライニシュニコフの Z/p-分解定理は、強く可算な Z/p次元フィルトレーションのケースに拡張可能か？
• RQ2 各 π|Z_k: Z_k → X_k が Z/p-アサイクルであり、次元の上限を保つようなセル・ライクな分解写像 π: Z → X を構成することは可能か？
• RQ3 Z_k を含み、π|A_k: A_k → X が UV^{l_k-1}-写像であり、全射であるような補助的部分空間 A_k を構成することは可能か？
• RQ4 X が X_k の和集合でない場合、または Z が Z_k の和集合でない場合、この構成はどのように振る舞うか？
• RQ5 この分解枠組みは、コンパクトな距離空間における Z/pコホモロジー次元論にどのような意味を持つのか？

主な発見

• 各 k ∈ ℕ に対して dim Z_k ≤ l_k を満たす、入れ子になった閉部分空間 Z_k を持つコンパクトな距離空間 Z が存在する。
• 各 k に対して π(Z_k) = X_k を満たす全単射セル・ライクな写像 π: Z → X が存在する。
• 各制限 π|Z_k: Z_k → X_k は Z/p-アサイクルであり、相対ホモロジー群 H_*(Z_k, X_k; ℤ/p) が消える。
• dim A_k ≤ l_k かつ π|A_k: A_k → X が UV^{l_k-1}-写像であるような閉部分空間 A_k ⊃ Z_k の列が存在する。
• X が X_k の和集合でないか、Z が Z_k の和集合でない場合を含めても構成が有効であるため、より一般化された枠組みが得られる。
• この結果はドライニシュニコフの Z/p-分解定理を一般化し、アゲエフ、ジメネス、ルービンの定理を Z/p の設定に拡張する。