층 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
141번째 줄:
이들은 서로 [[수반 함자]]이다. 여기서 <math>D</math>는 [[유도 범주]], <math>R</math>은 [[오른쪽 유도 함자]]를 나타낸다.
* <math>f^*\leftrightarrows f_*</math>는 각각 왼쪽·오른쪽 [[수반 함자]]이다.
* <math>\operatorname Rf_!\leftrightarrows\operatorname Rf^!</math>는 각각 왼쪽·오른쪽 [[수반 함자]]이다.
==== 직상과 역상 ====
155번째 줄:
여기서 <math> f|_{\operatorname{supp}s}\text{ is proper}</math>라는 것은
:<math>f\colon\colon\operatorname{supp}s\to U</math>
가 [[고유 함수]]임을 뜻한다. 콤팩트 지지 직상은 직상의 [[부분 함자]]이며, 만약 <math>f</math>가 [[고유 함수]]라면 콤팩트 지지 직상과 직상은 일치한다.
콤팩트 지지 직상 함자 <math>f_!\colon\operatorname{Sh}(X)\to\operatorname{Sh}(Y)</math>는 [[왼쪽 완전 함자]]이며, 그 오른쪽 전유도 함자({{llang|en|right total derived functor}})
257번째 줄:
* {{nlab|id=direct image with compact support|title=Direct image with compact support}}
* {{nlab|id=exceptional inverse image|title=Exceptional inverse image}}
* {{nlab|id=six operations|title=Six operations}}
* {{nlab|id=Verdier duality}}
== 같이 보기 ==
줄 262 ⟶ 264:
* [[제르브]]
* [[토포스]]
* [[층 코호몰로지]]
[[분류:층론| ]]
| |||