image sheaf와 kernel sheaf가 같아야 한다는 게 정의인데
이걸 실질적으로 어떤 상황에 적용해서 보이려니까
전혀 감이 안 오더라고요
이런 계산을 해놓은 예시가 있을까요?
아니면 좀 쉽게 보일 수 있는 방법이 있을까요?
stalk를 생각한다는 것 말고 또 있을까요?
이걸 실질적으로 어떤 상황에 적용해서 보이려니까
전혀 감이 안 오더라고요
이런 계산을 해놓은 예시가 있을까요?
아니면 좀 쉽게 보일 수 있는 방법이 있을까요?
stalk를 생각한다는 것 말고 또 있을까요?
그거 Sheaf 말고 module부터 보는걸 추천함
Hilton's A course of homological algebra를 보시고, 만일 대수위상수학을 아신다면 Bedon's sheaf theory를 찾아보시길 강추해요
브래든의 책은 "sheaf"라는 기호가 오타로 잘못 쓰인데도 자주 보여서 각별히 조심하셔야 합니다. 그냥 안 봐도 되기는 해요. 참고만 하세요
Stalk level로 내려가지 않고 exact한 거 보이기 어렵지.
반대로 생각하면 stalk level로 내려가면 module애서의 exactness 확인하면 되는 거니까 오히려 더 접근가능하지.
stalk로 내려가는게 제일 편함