코호몰로지 연산
코호몰로지는 대수적 위상수학에서 위상공간의 코호몰로지 군을 정의하는 이론이며, 연산은 이러한 코호몰로지 군 사이에 정의되는 자연 변환을 의미한다. 코호몰로지 연산은 특정 차원의 코호몰로지 군에 작용하여 다른 차원의 코호몰로지 군으로 사상을 제공한다. 가장 잘 알려진 예로는 스테인로드 연산(Steenrod operations)과 같은 고유 연산이 있으며, 이는 모듈라 2 계수(coefficient) 코호몰로지에 대해 정의된다.
정의
- 코호몰로지 연산은 두 코호몰로지 이론 $H^(-;G)$와 $H^(-;G')$ 사이의 자연 변환 $\theta: H^(-;G) \to H^{+n}(-;G')$ 형태로 정의된다. 여기서 $n$은 연산의 차(degree)를 나타낸다.
- 이러한 연산은 코호몰로지 이론이 만족하는 공리(예: 장착성, 유한성 등)를 보존하면서, 위상동형사상의 사전 및 사후 이미지에 대해 일관된 작용을 제공한다.
주요 예시
- 스테인로드 제곱(Steenrod squares): 모듈라 2 계수 코호몰로지 $H^*(-;\mathbb{Z}_2)$에 정의된 차수 증가 연산 $Sq^i: H^k(X;\mathbb{Z}_2) \to H^{k+i}(X;\mathbb{Z}_2)$.
- 스테인로드 피(Steenrod reduced power) 연산: 모듈라 $p$ 계수 코호몰로지에 대한 일반화된 연산.
- 바이어스(Bockstein) 연산: 짧은 정확한 계수열에서 유도된 차수 1 연산 $\beta: H^k(X; \mathbb{Z}_p) \to H^{k+1}(X; \mathbb{Z}_p)$.
성질
- 자연성(Naturality): 위상공간 사상 $f: X \to Y$에 대해 $\theta \circ f^* = f^* \circ \theta$가 성립한다.
- 아베릿 연산법칙(Adem relations): 여러 스테인로드 연산의 조합에 대한 관계식으로, 연산들의 구조를 결정한다.
- 동질성(Homogeneity): 연산은 코호몰로지 군의 원소에 대해 선형적으로 작용한다.
용도
- 위상공간의 구조를 구별하고 분류하는 데 사용된다.
- 호몰로지와 코호몰로지 이론 사이의 상호작용을 조사한다.
- 복잡한 위상공간의 특성을 계산하기 위한 도구로 활용된다(예: 스펙트럼, 안정 동형 이론).
어원
- “코호몰로지(cohomology)”는 “동형(co‑) + 동형론(homology)”에서 유래한 용어로, 동형론의 대수적 대수 구조를 반전시킨 개념을 나타낸다.
- “연산(operation)”은 수학에서 함수나 사상을 의미하는 일반적인 용어이며, 여기서는 코호몰로지 군 사이의 특정 변환을 지칭한다.
한글 표기
학술 논문 및 교재에서 “코호몰로지 연산”이라는 표기는 영어 “cohomology operation”을 직역한 형태로, 대수적 위상수학 분야에서 일관되게 사용된다.
※ 본 설명은 일반적으로 인정받는 대수적 위상수학의 교과서와 학술 논문에 기반한 내용이며, 최신 연구 동향에 따라 추가적인 세부 사항이 존재할 수 있다.
