[논문 리뷰] The coincidence of the homologies of integral currents and of integral singular chains, via cosheaves

Ayato Mitsuishi|arXiv (Cornell University)|2013. 03. 31.

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

한 줄 요약

이 논문은 코시피이론을 이용하여 국소 리프시츠 수축 가능 (LLC) 거리공간에서 정수현재류 homology와 정수형 단순형 homology 사이의 동형성을 확립한다. 리프시츠 체인을 통한 자연스러운 변환을 구성하고, 코시피이론 homology에 대한 일반적인 비교 방법을 증명함으로써, 두 homology 이론이 LLC 공간에서 일치함을 보이며, 이는 CW 복합체를 초월한 호모토피 불변성의 일반화이다.

ABSTRACT

We consider the notion of metric spaces being locally Lipschitz contractible introduced by Yamaguchi, and a category of metric spaces satisfying this condition. Many objects in metric geometry including CAT-spaces and Alexandrov spaces, belong to this category. We consider the homology of integral currents with compact support in a metric space, introduced by Ambrosio and Kirchheim, and prove that it and the usual integral singular homology are isomorphic on the category. The proof of it is based on the theory of cosheaves. A method to compare the homologies associated to cosheaves is also proved in this paper.

연구 동기 및 목표

• 국소 리프시츠 수축 가능 (LLC) 거리공간에서 정수현재류 homology와 정수형 단순형 homology의 동치성을 확립하는 것.
• 정수현재류 homology가 호모토피 불변임을 증명함으로써, 단순형 homology의 호모토피 불변성을 LLC 거리공간으로 일반화하는 것.
• 기하학적 및 위상수학적 맥락에 적용 가능한, 코시피이론과 관련된 homology를 비교하는 일반적인 방법을 개발하는 것.
• 이전 증명이 CW 복합체의 구조에 의존하는 한계를 극복하기 위해, 더 넓은 범주인 거리공간에서 결과를 증명하는 것.

제안 방법

• 코시피이론을 셰이브의 이중으로 사용하여, 카테고리적 대칭성을 활용해 homology 이론을 비교하는 것.
• 리프시츠 단순형 체인에서 정수현재류로의 자연스러운 변환 $[\,⋯\,]$을 도입하며, 이는 homology에 사상으로 유도된다.
• 코시피이론 homology에 대한 일반화된 비교 정리 (정리 4.9)를 적용하며, 이는 homology 이론의 국소적 평탄성에 기반한다.
• 직경이 작은 열린 덮개 위에서 국소 체인 자료를 모델링하기 위해 체흐 유형 복합체 $\check{C}_k(\mathcal{U}, \mathfrak{S}_\bullet)$를 사용한다.
• 체인의 정밀화와 지역 리프시츠 수축 성질을 활용하여, 지지의 제어를 보장하는 분할 기법을 적용한다.
• 코시피이론 비교 정리의 조건을 검증함으로써, $H_*^{\mathrm{Lip}}(X) \cong H_*^{\mathrm{IC}}(X)$ 가 LLC 공간에서 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 국소 리프시츠 수축 가능한 거리공간에서 정수현재류 homology는 정수형 단순형 homology와 일치하는가?
• RQ2 직접적 검증이 아닌, 코시피이론적 방법을 통해 이러한 homology 이론들 간의 동형성을 확립할 수 있는가?
• RQ3 CW 복합체와 호모토피 동치가 아니어도, 정수현재류의 homology는 LLC 거리공간에서 호모토피 불변인가?
• RQ4 기하학적 맥락에서 코시피이론과 관련된 homology를 비교하는 일반적인 방법을 개발할 수 있는가?
• RQ5 국소 리프시츠 수축 가능성과 homology 이론의 국소 평탄성 간의 관계는 무엇인가?

주요 결과

• 모든 국소 리프시츠 수축 가능한 거리공간에서 정수현재류 homology $H_*^{\mathrm{IC}}(X)$ 는 단순형 homology $H_*^{\mathrm{sing}}(X)$ 와 동형이다.
• 자연스러운 변환 $[\,⋯\,]_*: H_*^{\mathrm{Lip}}(X) \to H_*^{\mathrm{IC}}(X)$ 는 이중 homology 이론의 일치를 보장하는 동형사상을 유도한다.
• 코시피이론을 통한 증명은 코시피이론과 관련된 homology를 비교하는 일반적인 프레임워크 (정리 4.9) 를 제공하며, 이는 새로우며 이 특정 사례를 초월해 적용 가능하다.
• 결과는 반드시 CW 복합체가 아니어도 성립하므로, 몽고디의 결과를 CW 설정을 초월해 일반화한다.
• LLC 거리공간의 범주가 국소 강한 리프시츠 수축을 갖는 공간의 범주보다 엄밀히 더 큰 것으로 밝혀졌지만, 여전히 동형관계는 유지된다.
• homology 이론 $H_*^{\mathrm{Lip}}$ 과 $H_*^{\mathrm{IC}}$ 는 모든 LLC 거리공간과 연속사상의 범주에서 함자로 확장되며, 단순형 homology와 자연스럽게 동형이다.