등변 코호몰로지

틀:위키데이터 속성 추적 대수적 위상수학에서 등변 코호몰로지(等變cohomology, 틀:Llang)는 군 코호몰로지와 특이 코호몰로지를 일반화하는 코호몰로지 이론이다.

정의

$X$가 위상 공간이고, $G$가 위상군이라고 하자. 군의 작용 $X\times G\to G$를 생각하자. 그렇다면 등변 코호몰로지 $H_G^{\bullet }(X)$는 호모토피 궤도 공간(틀:Llang)이라는 위상 공간 $X_{\text{h}G}$의 특이 코호몰로지이다.

$H_G^{\bullet }(X)=H^{\bullet }(X_{\text{h}G})$

호모토피 궤도 공간은 다음과 같이 정의된다. $G$의 분류 공간 $EG\to BG$를 생각하자. 그렇다면 $EG$는 $G$-주다발이므로 $G$의 작용이 존재한다. 따라서, $X\times BG$에 (대각) $G$-작용이 존재한다. 호모토피 궤도 공간 $X_{\text{h}G}$는 이 작용의 궤도 공간이다.

$X_{\text{h}G}=X{\times }_{G}EG$

성질

매끄러운 다양체의 복소수 계수 등변 코호몰로지는 등변 미분 형식을 통해 드람 코호몰로지와 유사하게 계산된다.

예

$G$가 자명군이라고 하자. 자명군의 분류 공간은 한원소 공간 $BG=EG=\{\bullet \}$이다. 따라서, $X{\times }_{G}EG\cong X$이며, 이 경우 $H_G^{\bullet }(X)\cong H^{\bullet }(X)$이다. 즉, 자명군에 대한 등변 코호몰로지는 단순히 특이 코호몰로지이다.

반대로, $X$가 한원소 공간 $X=\{\bullet \}$이라고 하자. 이 경우, $X{\times }_{G}EG\cong BG$이므로, $H_G^{\bullet }(X)\cong H^{\bullet }(BG)$는 단순히 $G$의 군 코호몰로지이다.

같이 보기

• 등변 미분 형식

참고 문헌

• 틀:저널 인용
• 틀:저널 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:저널 인용
• 틀:서적 인용
• 틀:저널 인용

외부 링크

• 틀:웹 인용
• 틀:Eom