[논문 리뷰] Isomorphisms in l^1-homology

Clara Loeh|ArXiv.org|2006. 12. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 3

한 줄 요약

이 논문은 이중 바나흐 체인 복합체를 통해 ℓ¹-호모로지와 유계 코호모로지 사이의 이중성 원리를 수립하여, 유계 코호모로지의 구조적 결과를 ℓ¹-호모로지로 이행할 수 있도록 한다. 이는 ℓ¹-호모로지가 기본군에만 의존한다는 것을 증명하고, 프로젝티브 분해를 이용한 호모로지 대수적 기술을 제공함으로써 이전 연구의 격차를 메우며, 비유계 다각형의 심플리시얼 체적에 대한 새로운 통찰을 제공한다.

ABSTRACT

Taking the l^1-completion and the topological dual of the singular chain complex gives rise to l^1-homology and bounded cohomology respectively. In contrast to l^1-homology, major structural properties of bounded cohomology are well understood by the work of Gromov and Ivanov. Based on an observation by Matsumoto and Morita, we derive a mechanism linking isomorphisms on the level of homology of Banach chain complexes to isomorphisms on the level of cohomology of the dual Banach cochain complexes and vice versa. Therefore, certain results on bounded cohomology can be transferred to l^1-homology. For example, we obtain a new proof of the fact that l^1-homology depends only on the fundamental group and that l^1-homology with twisted coefficients admits a description in terms of projective resolutions. The latter one in particular fills a gap in Park's approach. In the second part, we demonstrate how l^1-homology can be used to get a better understanding of simplicial volume of non-compact manifolds.

연구 동기 및 목표

• 이중 바나흐 체인 복합체를 통해 ℓ¹-호모로지와 유계 코호모로지의 동형사상 간의 이중성 메커니즘을 수립한다.
• 이전 접근법의 격차—특히 파크의 불완전한 증명—을 해결하여 ℓ¹-호모로지가 기본군에만 의존한다는 점을 밝힌다.
• 강한 상대적으로 프로젝티브 분해를 이용한 ℓ¹-호모로지에 대한 호모로지 대수적 프레임워크를 제공한다.
• ℓ¹-호모로지를 비유계 다각형의 심플리시얼 체적을 이해하는 데 적용한다. 특히 체적이 유한하거나 0이 아닌 경우를 중심으로 분석한다.

제안 방법

• 바나흐 체인 복합체의 호모로지에서의 동형사상과 그 이중의 코호모로지에서의 동형사상 간의 연결 원리를 개발한다.
• 이 원리를 ℓ¹-체인 복합체와 위상공간 및 이산군의 유계 코호모로지 복합체에 적용한다.
• 이중성을 이용해 유계 코호모로지에서 알려진 결과—예를 들어 기본군 의존성과 아메니티비 기준—을 ℓ¹-호모로지로 이행한다.
• 경계의 ℓ¹-무시 가능성에 기반한 심플리시얼 체적의 유한성 기준을 적용하여 비유계 다각형을 분석한다.
• 수렴하는 ℓ¹-노름을 가지는 국소적으로 유한한 사이클을 구성하여, 특정한 곱의 경우에서 심플리시얼 체적이 0이 됨을 증명한다.
• 균일한 경계 조건과 상대적 기본 사이클을 활용하여 심플리시얼 체적의 하한을 구한다.

실험 결과

연구 질문

• RQ1 ℓ¹-호모로지가 유계 코호모로지와 마찬가지로 기본군에만 의존하는가?
• RQ2 ℓ¹-호모로지와 유계 코호모로지 사이의 이중성은 구조적 결과를 이행할 수 있도록 형식화될 수 있는가?
• RQ3 호모로지 대수학적으로, 특히 프로젝티브 분해를 통해 ℓ¹-호모로지를 어떻게 묘사할 수 있는가?
• RQ4 비유계 다각형에서 심플리시얼 체적의 유한성 또는 0이 아닌 성질은 무엇에 의해 결정되는가?
• RQ5 경계의 ℓ¹-무시 가능성은 곱 다각형의 심플리시얼 체적이 유한한지 무한한지 판단하는 데 사용될 수 있는가?

주요 결과

• 가산이고 연결된 CW-복합체의 ℓ¹-호모로지는 기본군에만 의존하며, 이는 추측을 새롭게 증명한 것이다.
• 이산군의 1차 ℓ¹-호모로지가 0이 되는 것과 아메니티비가 성립하는 것이 동치임을 증명한다.
• 연결된 가산 CW-복합체의 ℓ¹-호모로지는 그 기본군의 ℓ¹-호모로지와 일치하며, 강한 상대적으로 프로젝티브 분해를 통해 계산할 수 있다.
• 닫힌 다각형 M에서 점들을 제거하여 얻는 비유계 다각형 N의 심플리시얼 체적이 0이 아니고 유한한 것은 M의 심플리시얼 체적이 0이 아니기 때문이다.
• M이 ℓ¹-무시 가능하다면 곱 M×ℝ의 심플리시얼 체적은 0이며, 그렇지 않다면 유한하지 않다. 이는 이러한 곱의 경우에 대해 정확한 기준을 제공한다.
• 생김새가 1 이상인 경계를 가진 컴팩트 표면 M에 대해 M∘×ℝ의 심플리시얼 체적은 무한하다. 왜냐하면 그 경계가 ℓ¹-무시 가능하지 않기 때문이다.