코호몰로지

코호몰로지는 호몰로지를 쌍대화하여 공간에 코체인을 할당하며, 결정적으로 컵 곱(cup product)이라는 환 구조를 지녀 호몰로지 단독으로는 구별할 수 없는 공간들을 구별합니다.

Definition

코호몰로지는 특이 체인 복합체(singular chain complex)에 쌍대인 코체인 복합체(cochain complex)에서 경계(boundaries)를 법으로 하는 주기(cycles)로 얻어지는 아벨 군(abelian groups)의 수열을 공간에 할당합니다. 컵 곱과 함께 등급 가환 환(graded-commutative ring)을 형성하며, 이는 호몰로지보다 더 정교한 불변량입니다.

Scope

이 주제는 코호몰로지를 쌍대 코체인 복합체의 호몰로지로 발전시키고, 보편 계수 정리(universal coefficient theorem)를 통해 호몰로지와 연결하며, 총 코호몰로지를 등급 환(graded ring)으로 만드는 컵 곱에 의해 주어진 곱셈 구조를 추가합니다. 또한 매끄러운 다양체에서의 드 람 코호몰로지(de Rham cohomology)와 드 람 정리(de Rham's theorem)를 통한 특이 코호몰로지(singular cohomology)와의 동일성, 컵 곱(cup product)과 캡 곱(cap product), 그리고 유향 닫힌 다양체(oriented closed manifold)의 코호몰로지를 호몰로지와 연결하는 푸앵카레 쌍대성(Poincaré duality)을 다룹니다. 퀴네트 정리(Künneth theorem)와 특성류(characteristic-class) 응용도 포함됩니다.

Core questions

• 보편 계수 정리를 통해 코호몰로지는 호몰로지와 어떻게 관련됩니까?
• 컵 곱 환 구조는 기본 군(underlying groups)을 넘어 어떤 추가 정보를 인코딩합니까?
• 푸앵카레 쌍대성은 유향 닫힌 다양체의 코호몰로지와 호몰로지를 어떻게 연결합니까?
• 드 람 정리는 왜 매끄러운 미분 형식 코호몰로지를 위상수학적 코호몰로지와 동일시합니까?

Key concepts

• 코체인 복합체와 보편 계수 정리
• 컵 곱과 코호몰로지 환
• 캡 곱과 푸앵카레 쌍대성
• 드 람 코호몰로지와 드 람 정리
• 곱에 대한 퀴네트 정리

Clinical relevance

코호몰로지 환은 특성류, 장애 이론(obstruction theory), 교차 곱(intersection products)의 자연스러운 본거지이며, 코호몰로지를 미분 기하학, 섬유 다발(fiber bundles)의 위상수학, 그리고 수리 물리학의 게이지 이론(gauge theory)에 핵심적인 요소로 만듭니다.

History

코호몰로지는 1930년대 드 람(de Rham), 체흐(Čech), 알렉산더(Alexander), 콜모고로프(Kolmogorov)의 연구에서 등장했습니다. 휘트니(Whitney) 등이 도입한 컵 곱은 호몰로지에는 보이지 않던 곱셈 구조를 드러냈고, 드 람 정리는 매끄러운 이론과 위상수학적 이론을 연결하여 코호몰로지의 중심적인 역할을 확립했습니다.

Key figures

• Georges de Rham
• Eduard Čech
• Hassler Whitney

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

호몰로지가 이미 구멍을 감지한다면 왜 코호몰로지를 사용합니까?

코호몰로지는 호몰로지에는 없는 컵 곱을 통한 환 구조를 가집니다. 동일한 호몰로지 군을 가진 공간도 다른 코호몰로지 환을 가질 수 있으므로, 코호몰로지는 훨씬 더 정교한 불변량입니다.

푸앵카레 쌍대성은 무엇을 말합니까?

유향 닫힌 n-다양체의 경우, k번째 코호몰로지는 (n-k)번째 호몰로지와 동형입니다. 기하학적으로는 교차를 통해 주기(cycles)를 보완적인 차원의 주기와 짝지어줍니다.