[논문 리뷰] Coverings and fundamental groups: a new approach

Jerzy Dydak|arXiv (Cornell University)|2011. 08. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 10

한 줄 요약

이 논문은 기본군을 정의하기 위해 먼저 보편 피복을 정의한 후, 그 기본군을 덱 변환군으로 유도하는 새로운 접근을 제안한다. 디스크-헤지혹 피복을 통해 모든 경로로 연결된 공간에 대해 보편 피복 이론을 수립하며, 최대 피복의 단형군을 새로운 기본군으로 삼아 고전 이론을 파oincaré 공간을 초월해 일반화한다.

ABSTRACT

The traditional approach of defining the fundamental group first and then constructing universal coverings works well only for the class of Poincar\' e spaces. For general spaces there were several attempts to define generalized coverings (see \cite{BP3}, \cite{BDLM}, and \cite{FisZas}), yet there is no general theory so far that covers all path connected spaces. In this paper we plan to remedy that by changing the order of things: we define the universal covering first and its group of deck transformations is the new fundamental group of the base space. The basic idea is that a non-trivial loop ought to be detected by a covering (not by extension over the unit disk): a loop is non-trivial if there is a covering such that some lift of the loop is a non-loop. So it remains to define coverings: the most natural class is the class of maps that have unique disk lifting property. To make the theory work one needs to add the assumption that path components of pre-images of open sets form a basis of the total space.

연구 동기 및 목표

• 모든 경로로 연결된 공간에 적용 가능한 보편 피복 이론을 개발한다. 특히 반국소적으로 단순연결된 공간에 국한되지 않고.
• 고전적 방법으로는 도전이지만, 최대 피복의 덱 변환군으로서 기본군을 재정의한다. 고전적 방법(루프 기반)이 아닌 방식으로.
• 국소적으로 단순연결되지 않은 공간에서 고전적 기본군의 한계를 피하는 데 기여하기 위해, 올림 기반 접근법을 사용한다.
• 디스크-헤지혹의 집합 π에 대해 최대 π-피복의 단형군으로서 π-기본군을 정의한다.
• 최대 디스크-헤지혹 피복이 모든 경로로 연결된 공간에 대해 보편 대상이 되므로, 피복 이론을 통합한다.

제안 방법

• π-피복을 정의한다: π의 클래스에 속하는 페노 공간의 모든 공간에 대해 유일한 올림이 존재하는 사상으로서.
• 단형군 π(p, b₀)을 정의한다: p⁻¹(b₀)의 섬유 위에서 루프 작용의 집합으로, 일致한 올림에 의해 정의된 동치 관계를 갖는다.
• 임의의 공간 B에 대해 최대 π-피복 pₚ: ˜Bₚ → B를 구성한다. 경로의 동치류 위에서 종점 사영을 사용한다.
• 위상수학적 성질을 확보하기 위해 와이스커 위상(whisker topology)을 도입하여 최대 피복의 전체공간이 잘 정의되고 국소적으로 경로로 연결됨을 보장한다.
• π-기본군을 최대 π-피복의 단형군으로 정의한다. 여기서 π는 디스크-헤지혹의 집합이다.
• 최대 디스크-헤지혹 피복이 보편적임을 증명한다. 모든 고전적 피복이 그를 통과함을 보이고, 그 핵이 스팬저 군과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 반국소적으로 단순연결된 공간이 아닌 모든 경로로 연결된 공간에 대해 보편 피복 이론을 구성할 수 있는가?
• RQ2 고전적 방법이 실패할 경우, 기본군의 올바른 일반화 방법은 무엇인가?
• RQ3 피복의 단형군을 어떻게 사용하여 비자명한 루프를 포착하는 새로운 기본군을 정의할 수 있는가?
• RQ4 스패너 군은 고전적 기본군에서 새로운 π-기본군으로 가는 사상의 핵을 특징짓는 데 어떤 역할을 하는가?
• RQ5 모든 경로로 연결된 공간에 대해, 고전적 보편 피복을 일반화한 보편 피복이 존재하는가?

주요 결과

• 모든 경로로 연결된 공간 B에 대해, π가 디스크-헤지혹의 집합일 때 최대 π-피복이 존재하며, π-피복의 범주에서 보편 대상이 된다.
• 최대 디스크-헤지혹 피복의 단형군은 덱 변환군과 동형이며, 이는 공간 B의 새로운 기본군으로 정의된다.
• 자연사상 π₁(B, b₀) → π(p, b₀)의 핵은 정확히 스팬저 군이며, 이는 루프를 루프로 올리는 데에 발생하는 장애를 기술한다.
• 고전적 기본군이 자명한 공간이라도, 새로운 기본군은 비자명한 루프를 비루프 올림을 통해 탐지할 수 있다.
• 이 이론은 고전 피복 이론을 일반화한다. 파인카르에 공간의 경우, 새로운 기본군은 고전적 기본군과 일치한다.
• 최대 디스크-헤지혹 피복은 모든 고전적 피복을 통과시키므로 보편적이며, 이는 호-헤지혹 피복 범주에서 가장 큰 가능성을 가진 피복이다.