[논문 리뷰] Z/p-acyclic resolutions in the strongly countable Z/p-dimensional case

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

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 강한 가산 Z/p-차원 필터링을 갖는 컴팩트 메트라이잭블 공간에 대해 Z/p-acyclic 해상 정리(Resolution Theorem)를 수립한다. Z/p-acyclic한 성질을 갖는 surjective cell-like 사상 π: Z → X를 정의하여, 각각의 부분공간 Z_k가 X_k 위로 Z/p-acyclic하게 사상되도록 하며, 차원 경계와 UV^{l_k-1} 성질을 유지한다. 이 결과는 Dranishnikov의 Z/p-해상 정리와 Ageev, Jimenez, Rubin의 작업을 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-차원 필터링의 경우 Dranishnikov의 Z/p-해상 정리를 일반화하기 위해.
• 중첩된 닫힌 부분공간 Z_k를 갖는 컴팩트 메트라이잭블 해상 공간 Z를 구성하여, 각 X_k 위로 cell-like로 사상되도록 하기 위해.
• 각 제한 π|Z_k: Z_k → X_k 가 Z/p-acyclic이면서 동시에 차원 경계 l_k 를 유지하도록 보장하기 위해.
• Z_k ⊂ A_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 를 만족하는 surjective cell-like 사상 π: Z → X 를 정의하기 위해.
• 제한 π|Z_k: Z_k → X_k 가 Z/p-acyclic이 되도록 보장하기 위해, 즉 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-acyclic 사상과 UV^n-사상의 성질을 이용하여, 유도적 구성과 함께 차원 및 사상 조건을 유지하기 위해.
• X = ⋃X_k 또는 Z = ⋃Z_k 가 성립하지 않도록 하여도 되도록 하여, 해상 구조의 융통성 유지하기 위해.

실험 결과

연구 질문

• RQ1 Dranishnikov의 Z/p-해상 정리는 강한 가산 Z/p-차원 필터링의 경우로 확장될 수 있는가?
• RQ2 각 π|Z_k: Z_k → X_k 가 Z/p-acyclic이면서 차원 경계를 유지하는 cell-like 해상 사상 π: Z → X 를 구성하는 것은 가능한가?
• RQ3 π|A_k: A_k → X 가 UV^{l_k-1}-사상이면서 A_k 가 Z_k 를 포함하는 보조 부분공간 A_k 를 구성하는 것은 가능한가?
• RQ4 X 가 X_k 들의 합집합이 아니거나 Z 가 Z_k 들의 합집합이 아닐 경우, 이 구성은 어떻게 행동하는가?
• RQ5 이 해상 프레임워크는 컴팩트 메트라이잭블 공간의 Z/p-코homological 차원 이론에 어떤 함의를 갖는가?

주요 결과

• 각 k ∈ ℕ 에 대해 dim Z_k ≤ l_k 를 만족하는 중첩된 닫힌 부분공간 Z_k 를 갖는 컴팩트 메트라이잭블 공간 Z 가 존재한다.
• 각 k 에 대해 π(Z_k) = X_k 를 만족하는 surjective cell-like 사상 π: Z → X 가 존재한다.
• 각 제한 π|Z_k: Z_k → X_k 는 Z/p-acyclic이며, 상대 호몰로지 군 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 들의 합집합이 되도록 요구하지 않는다.
• 결과는 Dranishnikov의 Z/p-해상 정리를 일반화하며, Ageev, Jimenez, Rubin의 정리도 Z/p 설정으로 확장한다.