층 (수학): 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Namobot (토론 | 기여)
→‎참고 문헌: 봇: 인용 틀 이름 수정
잔글편집 요약 없음
76번째 줄:
* '''[[콤팩트 지지]] 직상'''({{llang|en|direct image with compact support}}) <math>f_!\colon\operatorname{Sh}(X)\to\operatorname{Sh}(Y)</math>
* '''예외 역상'''({{llang|en|exceptional inverse image}}) <math>Rf^!\colon D\operatorname{Sh}(X)\to D\operatorname{Sh}(Y)</math>
이들은 서로 [[수반 함자]]이다. 여기서 <math>D</math>는 [[유도 범주]](derived category), <math>R</math>은 (우)[[오른쪽 유도 함자]]를 나타낸다.
* <math>f^*\leftrightarrows f_*</math>는 각각 좌/우왼쪽·오른쪽 [[수반 함자]]이다.
* <math>Rf_!\leftrightarrows Rf^!</math>는 각각 좌/우왼쪽·오른쪽 [[수반 함자]]이다.
 
==== 직상과 역상 ====