[논문 리뷰] Rips complexes and covers in the uniform category

N. Brodskiy, Jerzy Dydak외 2명|ArXiv.org|2007. 06. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 11

한 줄 요약

이 논문은 Rips 복합체와 체인 올림성질을 사용하여 균일 커버링 사상의 정의를 재정의하고, 일반화된 균일 경로와 균일 가속 가능성을 기초 개념으로 도입한다. 이는 균일 가속 가능 공간—메트릭 경우에서 점을 중심으로 한 1-이동 가능한 연속체와 동치—이 잘 정의된 균일 커버링 이론을 갖는다는 것을 보여주며, 이는 고전적 위상수학과 유사한 성질을 지닌다. 이는 이전의 pro-이산 작용에 기반한 접근 방식에서의 한계를 해결한다.

ABSTRACT

James \cite{Jam} introduced uniform covering maps as an analog of covering maps in the topological category. Subsequently Berestovskii and Plaut \cite{BP3} introduced a theory of covers for uniform spaces generalizing their results for topological groups \cite{BP1}-\cite{BP2}. Their main concepts are discrete actions and pro-discrete actions, respectively. In case of pro-discrete actions Berestovskii and Plaut provided an analog of the universal covering space and their theory works well for the so-called coverable spaces. As will be seen in Section ef{SECTION-Comparison}, \cite{BP3} generalizes only regular covering maps in topology and pro-discrete actions may not be preserved by compositions. In this paper we redefine the uniform covering maps and we generalize pro-discrete actions using Rips complexes and the chain lifting property. We expand the concept of generalized paths of Krasinkiewicz and Minc \cite{KraMin}.

연구 동기 및 목표

• 균일 커버링 이론에서 Berestovskii-Plaut의 이론이 합성 법칙을 유지하지 못하고 정규 커버링만 일반화한다는 한계를 극복하기 위해.
• 경로연결성이나 국소 경로연결성 조건을 만족하지 않는 공간, 예를 들어 위상수학적 사인 곡선과 같은 복잡한 국소 구조를 가진 공간으로 고전적 균일 커버링 공간 구성법을 확장하기 위해.
• 일반화된 커버링 사상 구성이 안정적으로 작동하는 새로운 공간의 클래스—균일 가속 가능 공간—을 도입하기 위해.
• Rips 복합체와 일반화된 균일 경로를 사용한 프레임워크를 제공하여, 올림 함수가 균일 준동형사상이 되도록 보장하기 위해.
• 메트릭 연속체에서 균일 가속 가능성과 점을 중심으로 한 1-이동 가능성은 동치이며, 이는 잘 알려진 형태이론적 클래스임을 보여주기 위해.

제안 방법

• 일반화된 균일 경로의 공간을 구성하기 위해 Rips 복합체를 사용하고, 고전적 균일 커버링의 기본 위상 구조를 일반화한 자연스러운 균일 구조를 부여한다.
• 체인 올림성질과 체인 및 일반화된 경로에 대한 올림의 근사 유일성을 통해 일반화된 균일 커버링 사상을 정의한다.
• 끝점 사상이 일반화된 균일 커버링 사상이 되는 조건으로 균일 가속 가능성을 개념으로 도입한다.
• 이론을 메트릭 연속체에 적용하여, 균일 가속 가능성과 점을 중심으로 한 1-이동 가능성은 동치이며, 이는 연속 함수에 대해 닫혀 있고 평면 부분연속체를 포함한다는 것을 보여준다.
• 신규 프레임워크를 Berestovskii-Plaut 이론과 비교하여, pro-이산 작용이 합성에 대해 보존되지 않음을 입증하고, 이는 새로운 접근 방식과의 대비를 통해 강조된다.
• 형태이론적 도구와 양호한 국소 성질을 가진 공간으로의 임bedding을 사용하여 일반화된 경로를 정의함으로써, 임베딩 간 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 경로연결성 또는 국소 경로연결성 조건을 만족하지 않는 공간으로까지 확장되는 균일 커버링 이론을 개발할 수 있는가?
• RQ2 왜 Berestovskii-Plaut 이론은 균일 커버링의 합성 법칙을 유지하지 못하며, 이를 어떻게 보완할 수 있는가?
• RQ3 어떤 자연스러운 균일 공간의 클래스에서 고전적 위상수학과 유사한 올림 성질을 갖는 일반화된 균일 커버링 사상이 존재하는가?
• RQ4 균일 가속 가능성은 메트릭 연속체에서 형태이론적 개념인 점을 중심으로 한 1-이동 가능성과 어떻게 관련이 있는가?
• RQ5 고전적 균일 커버링의 기본 위상 구조를 일반화하는 균일 구조가 일반화된 경로 공간에 존재하는가?

주요 결과

• 균일 가속 가능 공간의 클래스는 고전적 균일 커버링 공간 구성법을 국소적으로 복잡한 구조를 가진 균일 공간, 예를 들어 위상수학적 사인 곡선으로까지 일반화한다.
• 메트릭 연속체에서 균일 가속 가능성은 점을 중심으로 한 1-이동 가능성과 동치이며, 이는 히브리안 링거와 칸토어 집합의 호를 포함하는 잘 알려진 형태이론적 클래스이다.
• 일반화된 균일 경로 공간에서 X로의 끝점 사상이 일반화된 균일 커버링 사상이 되는 것은 X가 균일 가속 가능할 때이고 그 때에만 성립한다.
• Berestovskii-Plaut의 접근 방식과 달리 이 이론은 군 작용에 의존하지 않으며, 올림 함수가 균일 준동형사상임을 보장한다.
• 합성된 pro-이산 커버링이 반드시 pro-이산이 아니라는 예시를 구성함으로써, 이는 이전 연구에서 핵심 가정이 잘못되었음을 입증한다.
• 논문은 [29]의 증명에서 오류를 밝혀내었으며, 이는 Berestovskii-Plaut의 구성에서 균일 커버링에서의 사영 사상의 전사성이 엔트로피가 기저를 이룰 때조차도 실패할 수 있음을 보여준다.