천-베유 준동형: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) |
||
25번째 줄:
:<math>\mathbb C[\mathfrak g]^G \to \operatorname H^\bullet(M;\mathbb K)</math>
그 정의는 구체적으로 다음과 같다. 우선, <math>P</math> 위의 임의의 [[주접속]]을 고르고, 그 [[곡률]]이
:<math>F\in\Omega^2(P;\mathbb R)</math> 라고 하자. 그렇다면, <math>p\in\mathbb K_k[\mathfrak g]^G</math>에 대하여 다음을 정의하자. :<math>p(F) \in \Omega^{2k}(P;\mathbb K)</math>
:<math>p(F)(v_1,\dotsc,v_{2k}) = \frac1{(2k)!} \sum_{\sigma\in\operatorname{Sym}(2k)} (-)^\sigma \bar p\left(F(v_{\sigma(1)},v_{\sigma(2)}),\dotsc,F(v_{\sigma(2k-1)},v_{\sigma(2k)})\right)</math>
줄 32 ⟶ 34:
* <math>v_1,\dotsc,v_{2k} \in \mathrm T_sP</math>는 주다발의 한 [[접공간]]의 <math>2k</math> 개의 벡터들
* <math>(-)^\sigma</math>는 [[순열]]의 부호수
* <math>\operatorname{Sym}(2k)</math>는 크기 <math>(2k)!</math>의 [[대칭군 (군론)|
그렇다면, 다음을 보일 수 있다.
* <math>p</math>의 <math>G</math>-불변성에 의하여, <math>p(F)</math>는 <math>P</math> 위의 [[닫힌 형식]]이다. 즉, <math>dp(F) = 0</math>이다.
| |||