[논문 리뷰] Numerably Contractible Spaces

Eugenia Schwamberger, R. M. Vogt|arXiv (Cornell University)|2008. 10. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 수량 가능하게 수축 가능한 공간—각 포함 사상이 영호모토픽인 수량 가능한 열린 덮개를 가진 위상공간—에 대한 체계적인 연구를 제공하며, 이들이 호모토피 이론에서 중심적인 역할을 한다고 보여준다. 기저가 길이 연결되어 있고 수량 가능하게 수축 가능한 경우, 위상적 실현 함자(functor)가 올뭉치 시퀀스를 보존함을 증명하여, 루프 공간 함자와 실현 함자가 호모토피 상수로 교환된다는 것을 보이며, 위상적 작도에 대한 자유 대수들이 수량 가능하게 수축 가능한 데 충분한 조건을 설정한다.

ABSTRACT

Numerably contractible spaces play an important role in the theory of homotopy pushouts and pullbacks. The corresponding results imply that a number of well known weak homotopy equivalences are genuine ones if numerably contractible spaces are involved. In this paper we give a first systematic investigation of numerably contractible spaces. We list the elementary properties of the category of these spaces. We then study simplicial objects in this category. In particular, we show that the topological realization functor preserves fibration sequences if the base is path-connected and numerably contractible in each dimension. Consequently, the loop space functor commutes with realization up to homotopy. We give simple conditions which assure that free algebras over a topological operad are numerably contractible.

연구 동기 및 목표

• 대수적 위상수학에서 수량 가능하게 수축 가능한 공간, 즉 Dold 공간으로도 알려진, 기초 이론을 구축하기.
• 이러한 공간의 맥락에서 단순형 대상과 위상적 실현의 행동을 조사하기.
• 위상적 작도에 대한 자유 대수가 수량 가능하게 수축 가능한 조건을 규명하기.
• 수량 가능하게 수축 가능한 공간이 포함된 경우, 고전적 호모토피 동치가 진정한 동치로 전환됨을 보여, 기존 호모토피 동치를 강화하기.
• Dold 공간을 포함한 반복 클래스의 한계를 Dold 공간을 이용한 반례를 구성함으로써 탐색하기.

제안 방법

• 각 포함 사상이 영호모토픽인 수량 가능한 열린 덮개를 통해 수량 가능하게 수축 가능한 공간을 정의하기.
• 올뭉치에 대한 Dold의 단위 분할 정리(partitions of unity)를 활용하여 호모토피 당김과 당김을 강화한 결과 유도하기.
• 수량 가능하게 수축 가능한 공간의 범주에서 단순형 대상에 위상적 실현 함자를 적용하기.
• 기저 공간이 길이 연결되어 있고 수량 가능하게 수축 가능한 경우, 실현이 올뭉치 시퀀스를 보존함을 증명하기.
• 길이 연결성과 호모토피 호환성의 성질을 이용하여, 루프 공간 함자와 실현 함자가 호모토피 상수로 교환됨을 보여주기.
• 길이 연결성과 호모토피 불변성의 성질을 활용하여, 위상적 작도에 대한 자유 대수(예: 작은 n-큐브 작도)가 수량 가능하게 수축 가능한지에 대한 기준 설정하기.

실험 결과

연구 질문

• RQ1 수량 가능하게 수축 가능한 공간이 존재하는 조건에서, 약한 호모토피 동치가 진정한 호모토피 동치로 전환되는가?
• RQ2 수량 가능하게 수축 가능한 공간 위의 단순형 대상에 적용된 위상적 실현 함자가 올뭉치 시퀀스를 보존하는가?
• RQ3 위상적 작도에 대한 자유 대수가 수량 가능하게 수축 가능한 공간 위에 존재할 때, 그 자체로 수량 가능하게 수축 가능한가?
• RQ4 수량 가능하게 수축 가능한 기저 공간에 대해, 루프 공간 함자가 실현과 호모토피 상수로 교환되는가?
• RQ5 CW-복합체의 호모토피 유형이 아닌 Dold 공간이 존재하는가? 그리고 이는 호모토피 분류에 어떤 영향을 미치는가?

주요 결과

• 기저 공간이 길이 연결되어 있고 수량 가능하게 수축 가능한 경우, 위상적 실현 함자가 올뭉치 시퀀스를 보존함을 보이며, 이는 루프 공간 함자가 실현과 호모토피 상수로 교환됨을 보장한다.
• 길이 연결되어 있고 수량 가능하게 수축 가능한 공간 위의 작은 n-큐브 작도에 대한 자유 대수들이 수량 가능하게 수축 가능하다는 것이 입증되었으며, 이는 May와 Meiwes의 결과를 일반화한다.
• X가 길이 연결되어 있고 수량 가능하게 수축 가능한 경우, 대칭적 곱 $SP_n(X)$는 Dold 공간이다. 왜냐하면 교환 작도에 대한 자유 대수의 재진입(retract)이기 때문이다.
• CW-복합체의 호모토피 유형이 아닌 Dold 공간이 존재한다. 예를 들어, $\{1/n\} \cup \{0\}$의 비감소적 호모토피가 아닌 경우, 그 호모로지가 유한 생성되지 않는다.
• Dold 공간 간의 약한 호모토피 동치는 반드시 호모토피 동치가 아니며, 이는 위의 호모토피가 아닌 공간의 CW-근사화에 의해 보여진다.
• Dold 공간의 루프 공간이 반드시 Dold 공간이 되는 것은 아니며, 이는 유리수 $\mathbb{Q}$의 경우에 의해 입증되었다. 이 공간의 네트워크(nerve)는 Dold 공간로 실현되지만, 그 루프 공간은 Dold 공간가 아니다.