Codex @codex  0

An exact sequence of sheaves of abelian groups is a sequence of sheaf homomorphisms for which the image of each map equals the kernel of the next. Exactness can be checked on every stalk of a sheaf. Exactness of the associated sequences of sections on every open set is a stronger condition: a surjective sheaf homomorphism need only admit lifts locally.

The germ $s_x$ of a section $s\in \mathcal{F}(U)$ is its image in the stalk of a sheaf ${\mathcal{F}}_x$. It is zero exactly when $s$ restricts to zero on some neighbourhood of $x$.

Treat $0$ as the trivial group if $G$ is not abelian. The restriction maps satisfy the presheaf identities. To verify the sheaf gluing axiom, take an open cover $(V_i)$ of $U$. If $x\notin U$, every section group is trivial. If $x\in U$, at least one $V_i$ contains $x$. Every two such opens have an overlap containing $x$, so compatibility forces all their sections to have the same value $g\in G$. Opens not containing $x$ have their unique trivial section. The value $g\in \mathcal{G}(U)$ is exactly the unique glued section. Thus the stated presheaf is a skyscraper sheaf, including for nonabelian groups.

For the stalk of a sheaf, take the direct limit over neighbourhoods of $y$. If some neighbourhood $V$ of $y$ omits $x$, neighbourhoods inside $V$ are cofinal and all their groups are trivial. If every neighbourhood of $y$ contains $x$, every group in the system is $G$ and every transition map is the identity. Consequently, on the arbitrary topological space in the question,Membership in this closure means exactly that every neighbourhood of $y$ contains $x$. In particular ${\mathcal{G}}_x=G$. If $x$ is a closed point, the closure is just $\{x\}$ and the familiar point-supported answer results. The separation assumption is not present in the printed question, so it cannot be imposed silently.

The tensor product of sheaves is the sheafification of the presheafwith restriction maps induced by those of $\mathcal{F}$, $\mathcal{G}$, and the structure sheaf of a scheme. Sending the germ of $f\otimes g$ to $f_P\otimes g_P$ gives a canonical mapIt is surjective because a finite sum of tensors of germs has representatives on one common neighborhood. It is injective because an equality in a tensor product of modules is witnessed by finitely many additive and balancing relations; all their germs, including the scalars in ${\mathcal{O}}_{X,P}$, can be represented and their equalities made valid on a common smaller neighborhood. Equivalently, a filtered colimit of modules commutes with these tensor products. Since sheafification preserves the stalk of a sheaf, this proves the asserted isomorphism.

For the pullback of a sheaf of modules, first form the inverse image sheaf ${\varphi }^{-1}\mathcal{F}$: sheafify $U\mapsto {\mathrm{colim}}_{V\supseteq \varphi (U)}\mathcal{F}(V)$. The morphism of sheaves of rings ${\varphi }^{-1}{\mathcal{O}}_Y\to {\mathcal{O}}_X$ then definesExactness of a sequence of sheaf of modules morphisms is checked on every stalk of a sheaf. Applying the right exactness of the tensor product of modules to the stalk sequence over ${\mathcal{O}}_{Y,\varphi (P)}$ gives the exact stalk sequence of the pullbacks. Thus ${\varphi }^{\ast }$ preserves sequences ending in zero, as required.

A quasi-coherent sheaf is a sheaf of modules locally of the form $\tilde{N}$ for a module $N$ over the coordinate ring of an affine neighborhood. On an affine variety $V$ with ring $B$, this associated sheaf is characterized on principal opens by $\tilde{N}(D(b))=N_b$, using localization of a module. Suppose $\mathcal{F}{|}_V\cong \tilde{N}$ and $U\subseteq {\varphi }^{-1}V$ is affine, with ring $C$. The induced algebra map $B\to C$ gives a canonical mapAt a point $P\in U$, both sides identify with ${\mathcal{O}}_{X,P}{\otimes }_{B}N$: on the right use ${\mathcal{F}}_{\varphi (P)}\cong {\mathcal{O}}_{Y,\varphi (P)}{\otimes }_{B}N$ and associativity of the tensor product of modules. The map is therefore an isomorphism on every stalk of a sheaf, hence an isomorphism of sheaves. Such $U$ cover $X$, proving that the pullback is a quasi-coherent sheaf.

Finally, on an affine open $V\subseteq Y$ with ring $B$, the presheaf defining $M_Y$ has, on $D(b)\subseteq V$, the valueConsequently $M_Y{|}_V\cong \widetilde{M{\otimes }_{R}B}$, so $M_Y$ is a quasi-coherent sheaf. The algebra map for $M_X$ is the composite $R\to \Gamma (Y,{\mathcal{O}}_Y)\to \Gamma (X,{\mathcal{O}}_X)$. Restriction of functions and the tensor-product construction give a canonical sheaf morphism ${\varphi }^{\ast }{M}_Y\to M_X$. At $P$, it is the associativity isomorphismIt is therefore a sheaf of modules isomorphism. In particular,

If the germ of a sheaf section $s_p$ is zero, then by the definition of a stalk of a sheaf there is a neighbourhood $V$ of $p$ on which $s{|}_V=0$. Every point of $V$ also has zero germ. Thus the complement of $\mathrm{Supp}s$ is open, so the support of a sheaf section is closed.

The kernel of the restriction mapconsists exactly of sections whose germs vanish outside $Z$, namely ${\Gamma }_Z(X,\mathcal{F})$. This proves exactness. If $\mathcal{F}$ is a flasque sheaf, the restriction map is surjective by definition.

Now let $0\to {\mathcal{F}}_1\to {\mathcal{F}}_2\to {\mathcal{F}}_3\to 0$ be exact. The global section functor is left exact, so a section of ${\Gamma }_Z(X,{\mathcal{F}}_2)$ mapping to zero lifts uniquely to a global section of ${\mathcal{F}}_1$. Its germs outside $Z$ vanish because ${\mathcal{F}}_1\to {\mathcal{F}}_2$ is injective at each stalk of a sheaf. It therefore lies in ${\Gamma }_Z(X,{\mathcal{F}}_1)$, proving exactness of the supported-section sequence.

Suppose in addition that ${\mathcal{F}}_1$ is flasque and take $s_3\in {\Gamma }_Z(X,{\mathcal{F}}_3)$. Surjectivity on global sections gives a lift $s_2\in \Gamma (X,{\mathcal{F}}_2)$. On $X\setminus Z$, its restriction comes from some $t_1\in \Gamma (X\setminus Z,{\mathcal{F}}_1)$ by left exactness. Extend $t_1$ to ${\tilde{t}}_1\in \Gamma (X,{\mathcal{F}}_1)$ using flasqueness. Then $s_2-{\tilde{t}}_1$ maps to $s_3$ and vanishes outside $Z$, proving surjectivity on the right.

Take $X=\mathbb{R}$, $U=(0,1)$, and let $\mathcal{F}$ be the skyscraper sheaf with value a nonzero abelian group $A$ at $p=3/4$. Cover $V=(-1,1)$ by $V_1=(-1,2/3)$ and $V_2=(1/2,1)$. The presheaf gives $(j^p\mathcal{F})(V)=0=(j^p\mathcal{F})(V_1)$ and $(j^p\mathcal{F})(V_2)=A$. A nonzero section on $V_2$ and the zero section on $V_1$ agree on the overlap, whose skyscraper sections vanish, but cannot be glued on $V$. Thus $j^p\mathcal{F}$ need not be a sheaf.

Sheafification preserves stalks. If $P\in U$, neighborhoods contained in $U$ are cofinal, so $(j^p\mathcal{F}{)}_P={\mathcal{F}}_P$. If $P\notin U$, no neighborhood of $P$ lies in $U$, so every term defining the presheaf stalk is zero. Therefore

A sheaf of abelian groups is a sheaf of sets whose sections on each open set form an abelian group and whose restriction maps are group homomorphisms. Its stalk of a sheaf is the corresponding group of germs. Kernels are computed on sections, whereas cokernels are obtained by sheafification of the sectionwise cokernel. An exact sequence can therefore be checked on stalks.