[논문 리뷰] Infinite-dimensional uniform polyhedra

Sergey A. Melikhov|arXiv (Cornell University)|2011. 09. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 7

한 줄 요약

이 논문은 가산 단체 복합체의 기하적 실현에 대한 균일 구조를 구성하여, 기저 위상공간이 다각체인 메트라이즈러블 균일 공간인 무한차원 균일 다각체 이론을 제안한다. 핵심 기여는 모든 완비 균일 ANR가 가산 전순서집합의 두꺼운 이중 사슬 맵 텔레스코프의 기하적 실현과 균일 호모토피 동치임을 증명함으로써, 무한차원 공간에 대한 균일 호모토피 분류 프레임워크를 수립하는 것이다.

ABSTRACT

Uniform covers with a finite-dimensional nerve are rare (i.e., do not form a cofinal family) in many separable metric spaces of interest. To get hold on uniform homotopy properties of these spaces, a reasonably behaved notion of an infinite-dimensional metric polyhedron is needed; a specific list of desired properties was sketched by J. R. Isbell in a series of publications in 1959-64. In this paper we construct what appears to be the desired theory of uniform polyhedra; incidentally, considerable information about their metric and Lipschitz properties is obtained.

연구 동기 및 목표

• 분리 가능한 거리 공간에 대한 균일 호모토피 이론의 격차를 메우기 위해, 잘 정의된 무한차원 균일 다각체 이론을 개발하는 것.
• 1950년대 J. R. Isbell이 시작한 연구 계획을 이행하는 것—비유한차원, 비콤팩트 공간에 대한 다각체 구조의 균일 동반자 모색.
• 균일 연속성, 균일 커버, 균일 ANR가 위상적 대응물들로 대체되는 균일 범주 프레임워크를 제공하는 것.
• 완비 균일 ANR가 무한한 조합적 구조(예: 이중 사슬 맵 텔레스코프 등)의 기하적 실현과 균일 호모토피 동치임을 확립하는 것.

제안 방법

• 가산 단체 복합체 $K$의 기하적 실현 $||K||$에 대해 $l_∞$ 거리계를 사용하여 균일 구조를 구성함으로써, 거리 위상과의 호환성을 확보한다.
• 이중 단체 분할과 적합한 단체 분할을 사용하여 균일 구조를 제어하고 균일하게 커버를 정밀화한다.
• 이중 사슬 맵 텔레스코프 및 그 두꺼운 변형을 사용하여 완비 균일 ANR의 균일 호모토피 유형을 모델링한다.
• 균일 호모토피 동치와 균일 다각체의 수열의 역극한을 사용하여 완비 균일 ANR을 표현한다.
• Hahn 성질과 균일 국소 수축 가능성을 활용하여 항등사상의 균일하게 가까운 근사 사상을 구성한다.
• 사영 기둥 구조와 균일 호모토피 올림을 사용하여 맵을 텔레스코프 전역으로 확장함으로써, 균일 연속성과 호모토피 동치성을 보장한다.

실험 결과

연구 질문

• RQ1 무한차원 다각체에 대해 균일 구조를 정의할 수 있는가? 이는 균일 호모토피 성질을 제어하고 Isbell의 유한차원 이론을 일반화할 수 있어야 한다.
• RQ2 모든 완비 균일 ANR는 균일 구조 하에서 가산 전순서집합의 기하적 실현과 균일 호모토피 동치인가?
• RQ3 완비 균일 ANR의 균일 호모토피 유형은 균일 다각체의 수열과 균일 호모토피 동치를 갖는 역순서열의 극한으로 표현될 수 있는가?
• RQ4 무한차원의 경우에도 반복된 이중 단체 분할과 적합한 커버를 통한 조합적 제어가 가능한가?
• RQ5 이중 사슬 맵 텔레스코프 구조를 두껍게 하고 균일 구조를 부여할 수 있는가? 이를 통해 주어진 완비 균일 ANR과 균일 호모토피 동치인 균일 다각체를 얻을 수 있는가?

주요 결과

• 가산 단체 복합체 $K$에 대해 $||K||$에 균일 구조를 구성하였으며, 이는 거리 위상과 호환되며 고전적 다각체 성질의 균일 동반자들을 만족한다.
• 임의의 완비 균일 ANR $X$에 대해, $X \times \mathbb{R}$는 가산 전순서집합의 수열에 대한 두꺼운 이중 사슬 맵 텔레스코프의 기하적 실현과 균일 호모토피 동치임이 입증된다.
• 모든 완비 균일 ANR는 두꺼운 이중 사슬 맵 텔레스코프의 기하적 실현과 균일 호모토피 동치이며, 이는 자체적으로 균일 다각체이다.
• 균일 다각체와 균일 연속 사상의 수렴하는 역순서열의 극한은 임의의 완비 균일 ANR을 표현할 수 있으며, 각 결합 맵은 호모토피 동치이다.
• 균일 다각체 간의 균일 호모토피 동치는 반복된 조인 복합체 $K^{\#n}$ 간의 단조적 사상에 의해 구성될 수 있으며, 이러한 사상의 기하적 실현은 균일 호모토피적으로 균일 호메오모르피즘과 가깝다.
• 이 이론은 균일 ANR가 균일 다각체에 의해 균일 호모토피적으로 지배된다는 것을 확립하며, Isbell의 유한차원 결과를 무한차원 환경으로 확장한다.