코쥘 접속: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
Huzzlet the bot (토론 | 기여)
잔글 로봇의 도움을 받아 동음이의 처리: 모듈러스 공간 - 모듈라이 공간 문서로 링크 바꿈
199번째 줄:
는 매끄러운 [[다발 사상]]을 이룬다. 즉, <math>(\nabla^1-\nabla^2)(s)</math>의 <math>x\in M</math>에서의 값은 <math>s(x)\in E_xM</math>에만 의존한다.
:<math>\nabla^1-\nabla^2\in=\Omega^1\left(M;\operatorname{End}(E)\right)=\Omega^1(M;E\otimes E^*)</math>
이에 따라, <math>E</math> 위의 코쥘 접속들의 [[모듈러스모듈라이 공간]]은 <math>\Omega^1(M;\operatorname{End}(E))</math>의 꼴의 [[아핀 공간]]이다.
 
마찬가지로, 두 [[매끄러운 벡터 다발]] <math>E^\pm\twoheadrightarrow M</math> 위의 두 코쥘 초접속 <math>\nabla^1</math>, <math>\nabla^2</math>이 주어졌을 때,
207번째 줄:
\bigoplus_{i=0}^\infty\Omega^{2i+1}\left(M;E^+\otimes(E^+)^*\oplus E^-\otimes(E^-)^*\right)
</math>
이며, <Math>E</math> 위의 코쥘 초접속들의 [[모듈러스모듈라이 공간]]은 <math>\Omega^-(M;\operatorname{End}(E))</math>의 꼴의 [[아핀 공간]]이다.<ref name="BGV"/>{{rp|45, Corollary 1.40}}
 
== 예 ==