In Hartshorne's Algebraic Geometry Chapter II Proposition 6.15: If $X$ is an integral scheme, the homomorphism $CaCl X \rightarrow Pic X$ is an isomorphism.

In the proof he wants to prove that $\mathcal L \otimes \mathcal K= \mathcal K$. It is clear that on an open cover $\{U_i\}$ $(\mathcal L \otimes \mathcal K)|_{U_i}\cong \mathcal K$.

From this he concludes that $\mathcal L \otimes \mathcal K \cong \mathcal K$, which follows from a general fact that if "$X$ is irreducible, a sheaf whose restriction to each open set of a covering of $X$ is constant, (*) to is in fact a constant sheaf".

Can someone please give a proof of the above fact that locally constant sheaves over an irreducible space is actually constant .

  • I guess Harthsorne wants to say that it is isomorphic to a constant sheaf.

Hint. If $X$ is irreducible, it has a generic point, that is a point $\xi$ contained in every non empty open set. Then, recall that a constant sheaf is a sheaf whose sections (viewed as functions) are locally constant.

  • $\begingroup$ If X is irreducible, then the constant sheaf $\mathcal k$ is actually the constant presheaf which assigns each open set to the function filed $K(X)$ of X. But I don't see how does it answer my question. Can you be more elaborate? $\endgroup$ – Babai Jan 10 '14 at 7:54
  • $\begingroup$ Morally, you want to find an object $A$, and for all $x \in X$ a neighbourhood in which the sheaf is identified with the locally constant $A$-valued functions. But for every $x \in X$, you already have a neighbourhood in which the sheaf is identified with the locally constant $A_x$-valued functions for some object $A_x$. So all you need to do is to show that all of those $A_x$ are in fact the same object. But in all neighbourhood of all point $x \in X$, you have $\xi$ which will force $A_x$ to be everywhere the same. Can you make it formal ? $\endgroup$ – Pece Jan 10 '14 at 13:43

It is quite simple. First for arbitrary non-empty open subsets $V\supseteq{}W$ of $X$ the restriction $r_{V,W}$ on $\mathcal{L}\otimes{}\mathcal{K}$ is an isomorphism what we derive from the fact that the restrictions $r_{V\cap{}U_{i},W\cap{}U_{i}}$ are isomorphism ($W\cap{}U_{i}$, $V\cap{}U_{i}$ are non-empty as $X$ is irreducible) and $\mathcal{L}\otimes{}\mathcal{K}$ is a sheaf. Next for a taken $U=U_{i_{0}}$ we extend the isomorfism $\mathcal{L}|_{U}\otimes{}\mathcal{K}|_{U}\cong{}(\mathcal{L}\otimes{}\mathcal{K})|_{U}\cong\mathcal{K}|_{U}$ to the isomorfism $\mathcal{L}\otimes{}\mathcal{K}\cong\mathcal{K}$ as in the following expression $(\mathcal{L}\otimes{}\mathcal{K})(V)\xrightarrow{r_{_{V,V\cap{}U}}}(\mathcal{L}\otimes{}\mathcal{K})(V\cap{}U)\overset{\sim}{\rightarrow}\mathcal{K}(V\cap{}U)\xrightarrow{\varrho^{-1}_{V,V\cap{}U}}\mathcal{K}(V)$ (the restriction $\varrho_{V,V\cap{}U}$ on $\mathcal{K}$ is an isomorphism because $\mathcal{K}$ is constant and $V\cap{}U$ is non-empty)


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.