4번째 문단에서 저 exact sequence에 tilde를 취하면
\widetilde{F(U)} \to \widetilde{F(D(g_1)) \oplus F(D(g_2))} \to \widetilde{F(D(g_1g_2))}아닌가요?
왜 다음 문단에서 pushforward functor가 붙어있는지 모르겠습니다.
혹시 설명해주실 수 있나요?
출처는 ellingsrud, ottem의 introduction to schemes입니다
\widetilde{F(U)} \to \widetilde{F(D(g_1)) \oplus F(D(g_2))} \to \widetilde{F(D(g_1g_2))}아닌가요?
왜 다음 문단에서 pushforward functor가 붙어있는지 모르겠습니다.
혹시 설명해주실 수 있나요?
출처는 ellingsrud, ottem의 introduction to schemes입니다
같은 공간에 살고 있는 sheaf들 사이에만 sheaf morphism이 존재하니까.
그럼 저렇게 pushforward붙여도 윗줄이 exact한 건 안 변하나요?
global section functor는 left exact니까
global section functor가 그냥 any open subset U의 section들 취하는 functor 말씀하시는 거 맞죠?