[논문 리뷰] Topological and uniform structures on universal covering spaces

N. Brodskiy, Jerzy Dydak외 2명|arXiv (Cornell University)|2012. 06. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 15

한 줄 요약

이 논문은 보편 피복 공간 위의 균일 구조와 위상적 구조를 소개하고 비교하며, 특히 웨이퍼, 라소, Berestovskii-Plaut 균일 구조에 초점을 맞춘다. 라소 균일 구조가 기본군을 위상군으로 만들며, 균일하게 국소적으로 경로연결된 균일 공간에 대해 제임스 균일 구조와 라소 균일 구조가 보편 피복에서 일치함을 증명한다.

ABSTRACT

We discuss various uniform structures and topologies on the universal covering space $\widetilde X$ and on the fundamental group $π_1(X,x_0)$. We introduce a canonical uniform structure $CU(X)$ on a topological space $X$ and use it to relate topologies on $\widetilde X$ and uniform structures on $\widetilde{CU(X)}$. Using our concept of universal Peano space we show connections between the topology introduced by Spanier and a uniform structure of Berestovskii and Plaut. We give a sufficient and necessary condition for Berestovskii-Plaut structure to be identical with the one generated by the uniform convergence structure on the space of paths in $X$. We also describe when the topology of Spanier is identical with the quotient of the compact-open topology on the space of paths.

연구 동기 및 목표

• 모든 위상공간 X에 대해 균일 구조와 위상적 접근법을 통합하는 표준 균일 구조 CU(X)를 정의함으로써 보편 피복 공간 위의 균일 구조를 확립하는 것.
• 보편 피복 공간 𝔛 위의 웨이퍼 위상이 기반 경로 공간 위의 컴act-open 위상의 몫과 일치하는 조건을 조사하는 것.
• Berestovskii-Plaut 균일 구조가 경로 수렴에 의해 유도된 균일 구조와 일치하는 조건을 규명하는 것.
• 일반적인 공간에서 국소적으로 경로연결된 공간으로의 문제 축소를 가능하게 하는 도구로 보편 피카노 공간 P(X)를 정의하고 활용하는 것.
• 라소 균일 구조가 기본군 π₁(X,x₀)를 위상군으로 만들기 위한 조건을 규명하는 것.

제안 방법

• 보편 피복 공간 위의 균일 구조와 위상적 구조를 연결하기 위해 위상공간 X에 대해 표준 균일 구조 CU(X)를 도입하는 것.
• X의 보편 국소 경로연결 개선으로서 보편 피카노 공간 P(X)를 정의하여, 국소적으로 경로연결된 공간에서의 결과를 일반 공간으로 이행하는 것.
• U-웨이퍼의 기저를 통해 웨이퍼 위상을 특성화하고, 경로 공간 위의 컴 pact-open 위상의 몫과 연관짓는 것.
• 𝔛 위에 세 가지 균일 구조를 정의함: 제임스(컴 pact-open의 몫), Berestovskii-Plaut(균일 공간 내의 체인을 통한), 라소(이중 끈을 통한).
• E-구멍 뚫린 호모토피와 E-라소를 사용해 라소 균일 구조의 가까이서의 관계를 정의하고, 이를 경로 호모토피류와 연결하는 것.
• 경로의 올림과 호모토피의 균일 제어를 통해 𝔛_l와 𝔛_P(X)_J 사이의 균일 호메오모르피즘을 증명하는 것.

실험 결과

연구 질문

• RQ1 보편 피복 공간 𝔛 위의 웨이퍼 위상은 언제 기반 경로 공간 위의 컴 pact-open 위상의 몫과 일치하는가?
• RQ2 Berestovskii-Plaut 균일 구조가 경로 수렴에 의해 유도된 균일 구조와 언제 일치하는가?
• RQ3 라소 균일 구조가 𝔛에서 제임스 균일 구조와 동치가 되는 조건은 무엇인가?
• RQ4 라소 균일 구조가 π₁(X,x₀) 위에서 기본군을 위상군으로 만들기 위한 조건은 무엇인가?
• RQ5 보편 피카노 공간 P(X)는 국소적으로 경로연결된 공간에서의 결과를 일반 공간으로 어떻게 이행할 수 있는가?

주요 결과

• 웨이퍼 위상 𝔛가 컴 pact-open 위상의 몫과 일치하는 것은 X가 소형 루프 전달 공간일 때이고, 그 때에만 성립한다.
• 직접적인 연속성 검증을 통해 라소 균일 구조가 π₁(X,x₀)를 위상군으로 만들며, 역원과 곱 연산의 연속성을 입증한다.
• 모든 연결된 균일하게 국소적으로 경로연결된 균일 공간 X에 대해, 𝔛 위의 제임스 균일 구조와 라소 균일 구조는 동일하다.
• Berestovskii-Plaut 균일 구조가 경로 수렴에 의해 유도된 균일 구조와 일치하는 것은 X가 균일 소형 루프 전달 공간일 때에만 성립한다.
• 𝔛와 𝔛_P(X) 사이의 자연스러운 동형사상은 라소 균일 구조 𝔛와 𝔛_P(X) 위의 제임스 균일 구조 사이의 균일 호메오모르피즘을 유도한다.
• 보편 피카노 공간 P(X)는 경로와 호모토피를 올리는 데 표준적인 방법을 제공하며, 일반적인 피복 공간 문제를 국소적으로 경로연결된 경우로 축소하는 데 기여한다.