[논문 리뷰] Cohomology of Local Cochains

Martin Fuchssteiner|arXiv (Cornell University)|2011. 10. 12.

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

한 줄 요약

이 논문은 고리 수축 가능 계수 군과 일반화된 분할 단위의 cozero 집합에 의한 커버링에 대해, 추상 국소 코호몰로지가 연속 국소 코호몰로지와 일치함을 증명한다. 또한 국소적으로 수축 가능한 위상군과 리 군에 대해, 좌변 이.Invariant 대각 이웃근이 앨리오크산-스펜저 및 특이 코호몰로지를 계산하는 데 충분함을 증명하며, 이는 바르 응의 결과를 연속 및 미분 가능 코호몰로지로 확장하는 것으로, 새로운 호모토피 이론적 접근을 사용한다.

ABSTRACT

We prove that for generalised partitions of unity ${ϕ_i \mid i \in I}$ and coverings $\mathfrak{U}:={ϕ_i^{-1} (R \setminus {0}) \mid i \in I}$ of a topological space $X$ the cohomology of abstract $\mathfrak{U}$-local cochains coincides with the cohomology of continuous $\mathfrak{U}$-local cochains, provided the coefficients are loop contractible. Furthermore we show that for each locally contractible group $G$ and loop contractible coefficient group $V$ the complex of germs of continuous functions on left-invariant diagonal neighbourhoods computes the Alexander-Spanier and singular cohomology; similar results are obtained for $k$-groups and for germs of smooth functions on Lie groups $G$.

연구 동기 및 목표

• 추상 국소 코호몰로지가 연속 국소 코호몰로지와 일치하는 조건을 설정하는 것.
• 국소적으로 수축 가능한 위상군에서 바르 응의 앨리오크산-스펜저 코호몰로지 결과를 연속 및 미분 가능 코호몰로지로 확장하는 것.
• 계수가 고리 수축 가능일 때, 리 군의 좌변 이.Invariant 대각 이웃근이 특이 및 앨리오크산-스펜저 코호몰로지를 계산하는 데 충분한가를 보여주는 것.
• 국소적으로 수축 가능한 위상군과 리 군의 맥락에서 체흐, 특이, 앨리오크산-스펜저 코호몰로지 이론을 통합하는 것.

제안 방법

• 일반화된 분할 단위를 사용하여 cozero 집합의 커버링을 정의하고, 국소 코호몰로지 복합체의 기초를 마련한다.
• 추상적, 연속적, 체흐 코호몰로지를 연결하기 위해 체흐-앨리오크산-스펜저 이중 복합체를 도입한다.
• 특히 고리 수축 가능성의 개념을 활용한 호모토피 이론적 기법을 적용하여 코호몰로지 복합체의 준동형을 보여준다.
• 가산적 커버링에 대한 코프로덕트 구성법을 사용하여, 파라콤팩트 공간과 매끄럽게 파라콤팩트 다양체에서 고전적 코호몰로지 이론을 복원한다.
• 좌변 이.Invariant 대각 이웃근을 사용하여 위상군과 리 군에서의 코호몰로지를 분석한다.
• 코프로덕트 구성에서의 위상적 호환성을 보장하기 위해 k-공간 및 kω-공간 프레임워크에 의존한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 추상 국소 코호몰로지의 코호몰로지가 연속 국소 코호몰로지와 일치하는가?
• RQ2 국소적으로 수축 가능한 위상군에서 좌변 이.Invariant 대각 이웃근이 앨리오크산-스펜저 코호몰로지를 계산하는 데 충분한가?
• RQ3 리 군에서 매끄러운 분할 단위와 매끄럽게 고리 수축 가능한 계수를 갖는 경우, 미분 가능한 국소 코호몰로지는 특이 및 앨리오크산-스펜저 코호몰로지와 어떻게 관련되는가?
• RQ4 고리 수축 가능 계수는 어떤 정도에서 서로 다른 코호몰로지 이론 간의 동치성을 보장하는가?
• RQ5 일반화된 분할 단위는 체흐, 특이, 앨리오크산-스펜저 코호몰로지를 통합하는 데 어떤 역할을 하는가?

주요 결과

• 일반화된 분할 단위의 cozero 집합에 의한 임의의 커버링과 고리 수축 가능 계수에 대해, 추상 국소 코호몰로지의 코호몰로지는 연속 국소 코호몰로지와 위상동형이다.
• 국소적으로 수축 가능한 위상군에서, 좌변 이.Invariant 대각 이웃근에서 연속 국소 코호몰로지로 계산된 코호몰로지는 앨리오크산-스펜저 및 특이 코호몰로지와 일치한다.
• 매끄러운 분할 단위와 매끄럽게 고리 수축 가능한 계수를 갖는 리 군에서, 미분 가능한 국소 코호몰로지는 특이 및 앨리오크산-스펜저 이론과 같은 코호몰로지를 계산한다.
• 모든 가산적 커버링에 대한 코프로덕트는 파라콤팩트 공간에서 고전적 앨리오크산-스펜저 및 연속 코호몰로지를 복원한다.
• 체흐-앨리오크산-스펜저 이중 복합체는 제시된 조건 하에서 추상적, 연속적, 체흐 코호몰로지 간의 다리를 놓는다.
• 결과적으로 바르 응의 정리가 위상군과 리 군에서 연속 및 미분 가능한 코호몰로지로 확장되어 일반화된다.