Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

According to wikipedia (constant sheaf) the constant sheaf $\underline{S}$ for an object $S$ is given by defining $\underline{S}(U)$ to be the set of functions $U \to S$, which are constant on each connected component of $U$. I believe this is only true if $S$ is trivial (terminal object) or the space $X$ is locally connected. For example if $X$ is totally disconnected, then $\underline{S}(U)$ consists of all functions $U \to S$, and the canonical map $\underline{S}$ $_x \to S$ won't be injective. I think that we have to define $\underline{S}(U)$ to be the set of locally constant functions $U \to S$. That is, continuous functions $U \to S$, where $S$ is endowed with the discrete topology. Since continuity is a local condition, this is a sheaf and it can be checked that the stalks are all $S$. This is the constant sheaf. Remark that locally constant functions are constant on each connected component, but the converse is not true. Interesting, in the wikipedia article about sheaves you can find the right definition.

Am I right or did I miss something?

share|improve this question

closed as no longer relevant by Martin Brandenburg, David Eppstein, Yemon Choi, Steve Huntsman, Noah Snyder May 2 '10 at 0:03

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

19  
3  
Books also contain false definitions of constant sheaves. For example in Wells's "Differential analysis on complex manifolds", Prentice-Hall (1973), you can read page 39 (page 38 of the third edition : Springer, GTM 65, 2007), Example 1.6: "Let $X$ be a topological space and let $G$ be an abelian group. The assignment $U \to G$ is a sheaf, called the constant sheaf" [ $U$ is a nonempty open set according to the context on page 38]. The word connected doesn't even appear. But it's a fine book all the same... –  Georges Elencwajg May 1 '10 at 12:40
3  
lmgtfy.com/?q=vandalize+every+equation (Warning: many of the links contain content that may offend and is definitely not safe for work). As Vinge wrote, "It is not called the Net of a Million Lies for nothing." –  Steve Huntsman May 1 '10 at 13:09
3  
The standard response to "Wikipedia is wrong": en.wikipedia.org/wiki/Wikipedia:SOFIXIT –  David Eppstein May 1 '10 at 14:45
4  
So I think it is clear by now that wikipedia is wrong, and that you are right. I don't think anyone is going to post an answer to this question beyond what is already in the comments. So shouldn't this question be closed? –  Steven Gubkin May 1 '10 at 17:14

Browse other questions tagged or ask your own question.