[논문 리뷰] Singular (Lipschitz) homology and homology of integral currents

Christian Riedweg, Daniel Schäppi|ArXiv.org|2009. 02. 23.

Topological and Geometric Data Analysis참고 문헌 7인용 수 11

한 줄 요약

이 논문은 거리 공간에서 특이(립시츠) 호몰로지, 고전적 특이 호몰로지, 컴팩트 지지를 가진 정수 흐름의 호몰로지가 일치하는 조건을 규명한다. 공간이 국소적으로 강한 리프시츠 수축을 갖는 경우—예를 들어 완비 CAT(κ)-공간처럼—이 세 호몰로지 이론은 서로 동형임을 증명한다. 그러나 국소 수축성이 없는 공간인 하와이안 에리어의 경우, 정수 흐름의 호몰로지가 상당히 다름을 보인다: 그 최대 약분 부분군은 자명하지만, 나머지 두 이론의 경우 비자명하며, 이는 호모토피적 행동에서의 근본적 차이를 보여준다.

ABSTRACT

We compare the homology groups $H_n ^{IC}(X)$ of the chain complex of integral currents with compact support of a metric space $X$ with the singular Lipschitz homology $H^L_n (X)$ and with ordinary singular homology. If $X$ satisfies certain cone inequalities all these homology theories coincide. On the other hand, for the Hawaiian Earring the homology of integral currents differs from the singular Lipschitz homology and it differs also from the classical singular homology $H_n(X)$.

연구 동기 및 목표

• 세 호몰로지 이론—특이(립시츠) 호몰로지, 고전적 특이 호몰로지, 컴팩트 지지를 가진 정수 흐름의 호몰로지—를 비교하는 것.
• 이 세 호몰로지 이론이 일치하는 조건을 규명하는 것.
• 국소 수축성이 없는 공간, 특히 하와이안 에리어에서의 동치성 실패를 분석하는 것.
• 정수 흐름 호몰로지가 다른 두 이론과 달리 전반적인 기하적 제약 조건에 민감함을 보여주는 것.
• 콘 부등식과 국소 리프시츠 수축이 호몰로지 동치성에 미치는 역할을 명확히 하는 것.

제안 방법

• 저자들은 부분집합을 한 점으로 수축하는 히포테시스에서 직경을 통제하는 리프시츠 유계를 갖는 강한 γ-립시츠 수축을 정의한다.
• 완비 거리 공간이 국소적으로 강한 리프시츠 수축을 갖는다면, 모든 컴팩트 지지를 가진 정수 흐름은 ε-근접 영역 내에서 리프시츠 체인과 호몰로지적임을 증명한다.
• 증명은 체계적 분할과 정수 흐름에 의한 사이클의 통제된 메쉬링을 사용한다.
• 핵심 기술 도구는 특이 체인을 리프시츠 체인과 그에 호몰로지적일 수 있는 정수 흐름 대표로 통제된 근사화하는 것이다.
• 저자들은 이를 하와이안 에리어에 적용하여 기본군과 교환자 부분군을 분석한다.
• 유한 개의 원의 합집합 위로의 재구성에 의해 유도되는 군 준동형사를 사용하여 호몰로지의 비자명성을 탐지한다.

실험 결과

연구 질문

• RQ1 특이(립시츠) 호몰로지, 고전적 특이 호몰로지, 컴팩트 지지를 가진 정수 흐름의 호몰로지가 어떤 조건에서 일치하는가?
• RQ2 국소 수축성이 없는 공간에서 정수 흐름 호몰로지가 특이 리프시츠 호몰로지와 일치하는가?
• RQ3 각 호몰로지 이론에서 하와이안 에리어의 첫 번째 호몰로지에서 최대 약분 부분군의 구조는 어떠한가?
• RQ4 정수 흐름 호몰로지와 특이 호몰로지 간의 동치성 실패는 기본군과 교환자 부분군을 통해 탐지될 수 있는가?
• RQ5 콘 부등식과 국소 리프시츠 수축은 정수 흐름에 의해 표현 가능한 사이클에 어떤 영향을 미치는가?

주요 결과

• 완비 거리 공간이 국소적으로 강한 리프시츠 수축을 갖는 경우, 컴팩트 지지를 가진 정수 흐름의 호몰로지는 특이 리프시츠 호몰로지와 동형이다.
• 하와이안 에리어는 국소적으로 강한 리프시츠 수축을 갖지 않으며, 이 공간에서 정수 흐름 호몰로지는 특이 호몰로지 및 리프시츠 특이 호몰로지와 다름을 보인다.
• 하와이안 에리어에서 $ H_1^{IC}( ext{Hawaiian Earring}) $의 최대 약분 부분군은 자명하며, $ H_1^L( ext{Hawaiian Earring}) $과 $ H_1( ext{Hawaiian Earring}) $의 경우 비자명하다.
• 하와이안 에리어의 첫 번째 생성자를 나타내는 고리 $ au_1 $은 기본군의 교환자 부분군에 속하지 않으며, 이는 $ H_1 $로의 비교 사상에서의 이미지가 비자명하다는 것을 의미한다.
• $ H_1^L( ext{Hawaiian Earring}) $에서 $ [ au_1] $은 약분 부분군에 속하지만, $ H_1^{IC} $에서는 그렇지 않으며, 이는 호몰로지 군 간의 구조적 차이를 보여준다.
• 증명은 $ [ au_1] $이 $ L_n \bigvee L_{n+1} $로의 재구성에 의해 전이될 때, 순서 $ k! $의 교환자로 전이되며, 이는 $ \floor{k!/2} + 1 $개 이하의 기본 교환자 곱으로 표현될 수 없음을 보여, 자명한 약분 부분군 가정과 모순된다.