주접속: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) |
||
46번째 줄:
이는 다음과 같은 표준적인 <math>M</math> 위의 [[매끄러운 벡터 다발]]들의 [[짧은 완전열]]을 이룬다.<ref name="AB"/>{{rp|547, (3.2)}}
:<math>0 \to \operatorname{ad}(P) \,\xrightarrow\iota\, \frac{\mathrm TP}G \,\xrightarrow{\pi_*}\, \mathrm TM \to 0</math>
<math>G</math>는 이 열 위에 작용하며, <math>\iota</math>와 <
이 경우, <math>P</math>의 '''주접속'''은 위 [[짧은 완전열]]의 분할이다. 즉, [[아벨 범주]]의 [[분할 보조정리]]에 따라, 다음과 같은 두 데이터가 서로 [[동치]]이며, 이는 주접속의 데이터와 같다.
* <math>\iota\colon\operatorname{ad}(P) \to \mathrm TP/G</math>의 [[왼쪽 역사상]]인 <math>M</math>-[[매끄러운 벡터 다발]] 사상 <math>A \colon \mathrm TP/G \to \operatorname{ad}(P)</math>
* <math>\pi_* \colon \mathrm TP/G \twoheadrightarrow \mathrm TM</math>의 [[오른쪽 역사상]]인 <math>M</math>-[[매끄러운 벡터 다발]] 사상 <math>A \colon \mathrm TM \to \mathrm TP/G</math>
[[짧은 완전열]]의 성질에 따라, 두 주접속의 차는 [[매끄러운 벡터 다발]] 사상 <math>\mathrm TM \to \operatorname{ad}(P)</math>를 정의하며, 이는 [[벡터 값 미분 형식]]
| |||