볼때마다 머리아픔 걍 좀 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