Are two sheaves that are locally isomorphic globally isomorphic ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T22:36:00Z http://mathoverflow.net/feeds/question/24361 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic Are two sheaves that are locally isomorphic globally isomorphic ? nicojo 2010-05-12T10:21:48Z 2010-05-12T18:31:09Z <p>Let $X$ be a topological space and let $\mathcal{F}$ and $\mathcal{G}$ be two sheaves over $X$.</p> <p>Of course, if one has a morphism $f : \mathcal{F} \to \mathcal{G}$ such that for all $x\in X$, $f_x : \mathcal{F}_x \to \mathcal{G}_x$ is an isomorphism, then it is known that $f$ itself is an isomorphism.</p> <p>My question is the following: if we don't have such a morphism $f$, but if we know that for all $x\in X$, $\mathcal{F}_x$ and $\mathcal{G}_x$ are isomorphic, is it true that $\mathcal{F}$ and $\mathcal{G}$ are isomorphic ?</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24364#24364 Answer by Martin Brandenburg for Are two sheaves that are locally isomorphic globally isomorphic ? Martin Brandenburg 2010-05-12T10:28:00Z 2010-05-12T14:11:46Z <p>Definitely not. If $X$ is a ringed space, then a $\mathcal{O}_X$-module $F$ is called locally free of rank $1$, if $X$ is covered by open subsets $U_i$ such that $F|_{U_i}$ is free of rank $1$ over $\mathcal{O}_{U_i}$. The correspond to line bundles on $X$. Line bundles form a group, called the Picard group of $X$ and denoted by $\text{Pic}(X)$. This group does not have to vanish: If $X$ is a CW complex and we take the sheaf of continuous functions, then $\text{Pic}(X)$ is isomorphic to $H^1(X,\mathbb{Z}/2)$. For $X=S^1$, the moebius strip is the nontrivial element here. The corresponding example in algebraic geometry is $\text{Pic}(\mathbb{P}^n_k)=\mathbb{Z}$, the generator given by the Serre twist $\mathcal{O}(1)$.</p> <p>Of course, there are more easy counterexamples, but I wanted to indicate that there is a rich theory coming from the observation that two locally isomorphic sheaves are not isomorphic.</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24365#24365 Answer by Robin Chapman for Are two sheaves that are locally isomorphic globally isomorphic ? Robin Chapman 2010-05-12T10:28:11Z 2010-05-12T10:28:11Z <p>Since there are locally free sheaves that are not globally free, the answer is clearly no. Indeed the existence of the term "locally free" is a meta-proof of this. For a concrete example, consider the circle embedded as the central circle in a smooth Mobius strip. Its normal bundle is locally isomorphic to the constant sheaf with fibres $\mathbb{R}$ but it is not a constant sheaf as it has no global sections which are everywhere nonzero.</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24366#24366 Answer by Andrea Ferretti for Are two sheaves that are locally isomorphic globally isomorphic ? Andrea Ferretti 2010-05-12T10:29:05Z 2010-05-12T10:29:05Z <p>No, indeed there exist sheaves which are locally isomorphic to locally constant sheaves, without being locally constant. These are usually called local coefficient systems.</p> <p>It is not hard to see that, for a nice spaces $X$, e.g. a manifold, to give a sheaf locally isomorphic to the locally constant sheaf $\underline{G}$ associated to the group $G$ is the same as to give a homomorphism $\pi(X) \to \mathop{Aut}(G)$. In particular whenever there is a nontrivial homomorphism, there exist nontrivial local coefficient systems.</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24368#24368 Answer by Harry Gindi for Are two sheaves that are locally isomorphic globally isomorphic ? Harry Gindi 2010-05-12T10:37:02Z 2010-05-12T10:43:11Z <p>A conceptual explanation (since the other answers have given counterexamples) for why this is untrue is as follows: A sheaf consists of local data and global data specifying how those local data fit together. Even if all of the local data of two sheaves are isomorphic, there is no reason to believe that those isomorphisms can be fit together in a compatible way. This is why we require that the isomorphisms on stalks arise from a map that is already a morphism of sheaves, since this exactly says that the data fit together in the proper way.</p> <p>We even encounter the same problems when we work with presheaves, for instance. Since presheaves are functors, a morphism of presheaves must be a natural transformation of functors. However, simply having isomorphisms "pointwise", as it were, is not enough. The isomorphisms must also commute with the restriction maps.</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24372#24372 Answer by a-fortiori for Are two sheaves that are locally isomorphic globally isomorphic ? a-fortiori 2010-05-12T11:20:22Z 2010-05-12T11:20:22Z <p>Actually, the examples given in the answers so far are even counter-examples to the weaker statement that two sheaves $F,G$ for which there exists a covering <code>$U_i$</code> such that <code>$F|U_i\cong G|U_i$</code> be isomorphic.</p> <p>For the original question regarding stalks there is a simpler example: Let <code>$X=\{\eta,s\}$</code> be the topological space having <code>$\{\eta\}$</code> as the only non-trivial open set. To give an abelian sheaf $F$ on $X$ is equivalent to give two groups <code>$F(X)=F_s$</code> and <code>$F(\{\eta\})=F_\eta$</code> and a restriction homomorphism <code>$F_s\to F_\eta$</code>. Taking <code>$F_s=F_\eta=A$</code> for some abelian group $A\ne0$ and choosing either <code>$\mathrm{id}_A$</code> or $0$ as restriction defines two non-isomorphic sheaves.</p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24379#24379 Answer by Bugs Bunny for Are two sheaves that are locally isomorphic globally isomorphic ? Bugs Bunny 2010-05-12T12:10:45Z 2010-05-12T12:10:45Z <p>How about a positive answer for a twist:-))? Pick an open cover $X=\cup_i U_i$ and try to reglue $F|_{U_i}$ into a brand new sheaf. To do that you need to pick automorphism $\sigma_{i,j}\in Aut(F|_{U_i \cap U_j})$ that agree on triple intersection. This is some Chech cocycle $Z^1_{U_i} (X, Aut (F))$. Two Chech cocycle will give you the same sheaf if they are different by a coboundary. Hence if $H^1_{U_i} (X, Aut (F))=1$ then any regluing will give the same sheaf.</p> <p>Now you have to take care of all possible covers by going to the limit. Here is your positive answer then: true if and only if $H^1 (X, Aut (F))=1$. </p> http://mathoverflow.net/questions/24361/are-two-sheaves-that-are-locally-isomorphic-globally-isomorphic/24421#24421 Answer by Qfwfq for Are two sheaves that are locally isomorphic globally isomorphic ? Qfwfq 2010-05-12T18:31:09Z 2010-05-12T18:31:09Z <p>No: think of non-isomorphic vector bundles over $X$. They are stalkwise isomorphic even as modules (over $\mathcal{O}_{X,x}$ at various $x \in X$, where $\mathcal{O}_X$ is the sheaf of continuous functions on $X$), hence as abelian groups.</p>