[논문 리뷰] Approximating certain cell-like maps by homeomorphisms

Robert D. Edwards|arXiv (Cornell University)|2016. 07. 27.

Growth Hormone and Insulin-like Growth Factors참고 문헌 5인용 수 5

한 줄 요약

이 논문은 다변수 다성분 $ M $의 차원이 $ \geq 5 $ 인 경우, 다성분 $ M $ 에서 ANR $ Q $ 로의 적절한 셀 유사 맵 $ f: M \to Q $ 가 위상동형사상으로 근사 가능할 조건을 규명한다. 그 조건은 $ Q $ 가 분리된 디스크 성질을 갖는 것과 동치이다. 증명은 0차원 분해에 대한 새로운 수축 기법을 사용하며, 반복적인 정밀화 과정을 통해 근사 위상동형사상을 구성함으로써, 일반화된 다성분 중에서 고차원 다성분을 식별하는 데 확실한 기준을 제공한다.

ABSTRACT

Given a proper map f : M $ ightarrow$ Q, having cell-like point-inverses, from a manifold-without-boundary M onto an ANR Q, it is a much-studied problem to find when f is approximable by homeomorphisms, i.e., when the decomposition of M induced by f is shrinkable (in the sense of Bing). If dimension M $\geq$ 5, J. W. Cannon's recent work focuses attention on whether Q has the disjoint disc property (which is: Any two maps of a 2-disc into Q can be homotoped by an arbitrarily small amount to have disjoint images; this is clearly a necessary condition for Q to be a manifold, in this dimension range). This paper establishes that such an f is approximable by homeomorphisms whenever dimension M $\geq$ 5 and Q has the disjoint disc property. As a corollary, one obtains that given an arbitrary map f : M $ ightarrow$ Q as above, the stabilized map f $ imes$ id($\mathbb{R}^{2}$) : M $ imes$ $\mathbb{R}^{2}$ -> Q $ imes$ $\mathbb{R}^{2}$ is approximable by homeomorphisms. The proof of the theorem is different from the proofs of the special cases in the earlier work of myself and Cannon, and it is quite self-contained. This work provides an alternative proof of L. Siebenmann's Approximation Theorem, which is the case where Q is given to be a manifold.

연구 동기 및 목표

• 다성분 $ M $의 차원이 $ \geq 5 $ 인 경우, 다성분 $ M $ 에서 ANR $ Q $ 로의 적절한 셀 유사 맵 $ f: M \to Q $ 가 위상동형사상으로 근사 가능한지의 조건을 규명하는 것.
• 그러한 근사화에 있어 $ Q $ 가 분리된 디스크 성질을 갖는 것이 필수적이고 충분한 조건임을 확립하는 것.
• L. Siebenmann의 결과가 $ Q $ 가 다성분인 경우에 일반화되고 재증명되는, 근사 정리에 대한 자가 포함된 증명을 제공하는 것.
• 분해 이론을 통해 해소 가능한 일반화된 다성분 중에서 고차원 다성분을 식별하는 오랜 문제를 해결하는 것.
• 셀 유사 맵에 의해 유도된 분해를 반복적인 수축 기법을 사용하여 수축함으로써, 근사 제어와 계수를 유지하는 새로운 독립적 증명을 제공하는 것.

제안 방법

• 위상동형사상으로의 근사 가능성을 검증하기 위해, Bing 수축 기준을 기본 도구로 사용한다.
• 비퇴화 집합의 차원이 0이고 $ M $ 에서의 여수차가 $ \geq 3 $ 인 분해에 대해 0차원 수축 정리를 적용한다.
• 관통 구조를 통해 일반적인 경우를 비가산적이고 영인자 집합인 비가역 점역행 집합의 가산적 영인자 집합으로 환원한다.
• 반복적 구성 과정을 사용한다: 각 단계 $ i $ 에서, $ P^i_j \subset P^i $ 에서의 맵을 컴팩트 부분집합에서 정밀화하며, 여수차 $ \geq 3 $ 를 유지하고 근사 제어를 확보한다.
• 주요 근사 제어를 통해 수렴을 제어하고, 극한 맵이 위상동형사상임을 보장한다.
• 셀 유사 맵이 비퇴화 집합의 차원이 0이고 여수차 $ \geq 3 $ 이면, $ Q $ 의 유한 차원성 가정 없이도 수축 가능하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 다성분 $ M $ 의 차원이 $ \geq 5 $ 인 경우, 다성분 $ M $ 에서 ANR $ Q $ 로의 적절한 셀 유사 맵 $ f: M \to Q $ 가 위상동형사상으로 근사 가능한 조건은 무엇인가?
• RQ2 그러한 근사화에 있어 $ Q $ 가 분리된 디스크 성질을 갖는 것이 필수적이고 충분한 조건인가?
• RQ3 Siebenmann의 근사 정리와 같은 이전 결과에 의존하지 않고도 근사 결과를 증명할 수 있는가?
• RQ4 셀 유사 맵에 의해 유도된 다성분의 분해를 여수차와 근사 제어를 유지하면서 반복적으로 수축할 수 있는 방법은 무엇인가?
• RQ5 여수차 $ \geq 3 $ 조건이 비퇴화 점역행 집합의 수축 가능성에서 어떤 역할을 하는가?

주요 결과

• 다성분 $ M $ 의 차원이 $ \geq 5 $ 인 경우, ANR $ Q $ 에 대해 $ Q $ 가 분리된 디스크 성질을 갖는다면, 적절한 셀 유사 맵 $ f: M \to Q $ 는 위상동형사상으로 근사 가능하다.
• 5차원 이상에서 이러한 맵의 근사화에 있어 분리된 디스크 성질은 필수적이고 충분한 조건이다.
• 안정화된 맵 $ f \times \text{id}(\mathbb{R}^2): M \times \mathbb{R}^2 \to Q \times \mathbb{R}^2 $ 는 $ Q $ 가 다성분가 아니어도 위상동형사상으로 근사 가능하다.
• 증명은 자가 포함되어 있으며, L. Siebenmann의 근사 정리를 재구성하는 데에 사용될 수 있다.
• 0차원 수축 정리는 $ M $ 의 차원 제약 없이 적용 가능하며, 비퇴화 집합의 상이 $ Q $ 에서 조밀할 경우에도 성립한다.
• 여수차가 2로 떨어지면 반례가 존재하므로, 여수차 $ \geq 3 $ 조건이 필수적임을 보여준다.