볼때마다 머리아픔 걍 좀 identity면 안되는거임? 아까 필요해서 써보니까 ideal sheaf I인 closed immersion에 대해선 i_*i^*(F)=F/IF인거같은데 맞겠지 쓰면서 보니까 open/closed immersion이면 i^*i_*=id인데 그럼 된건가? 아무 morphism f에서 f^*f_*나 f_*f^*가 나올일이 있으려나 - dc official App
해당 댓글은 삭제되었습니다.
맞긴 하네 그럼 저기 'properties of tensor product..' 부분을 다 qcoh니까 affine-locally 잘 되겠지 했는데 그냥 IF 정의 (tensor product의 image)에서 바로 나오는구만 - dc App
duality다룰때가 아니라면 보통 immersion일 때 사용한다고 느낌
개강전에 핫숀 3.7까지 보기(실패) - dc App