Let $X$ be a topological space and $A$ a set with the discrete topology. Consider the presheaf that associates with every open set $U$ of $X$ all the continuous maps $\mathcal{F}(U)$ of the form $U \rightarrow A$. If $U$ is connected, then $\mathcal{F}(U) \cong A$. If $U$ consists of $n$ disconnected components, then $\mathcal{F}(U)$ is isomorphic to the n-fold cartesian product of $A$ with itself. Is this a constant presheaf? Or do we have a constant presheaf only in the case where every open set of $X$ is connected, so that $\mathcal{F}(U) \cong A$?
Definition of Constant Presheaf
2
$\begingroup$
algebraic-geometry
terminology
sheaf-theory
-
1Your sentence «For any open set $U$ of $X$ consider the presheaf thatassociates with $U$ all continuous maps $F(U)$ of the form $I\to A$» has a quantifier («For any open set $U$ of $U$») in the wrong place... Also: you mean «$U$ consists of $n$ *connected* components». – 2012-09-14
-
0I see your point. Let me try to fix this. – 2012-09-14
1 Answers
3
The constant presheaf assigns the same set $A$ to every open set $U$ (including $\emptyset$). That is, it is built from constant maps to the set $A$, not from continuous maps to the discrete topological space $A$.
-
0By the way, $\mathcal{F}(\emptyset) = \emptyset$, right? (since there are no maps from $\emptyset$ to $A$). But does this not contradict the requirement $\mathcal{F}(\emptyset)=A$? – 2012-09-14
-
1@Manos That's not how the constant presheaf is defined. $F(\emptyset) = A$ (despite what Hartshorne might say). – 2012-09-15
-
1@Manos: Of course there is a map $\emptyset\to A$. You need to assign a value to every element of $\emptyset$, a task you have completed before even beginning. On the other hand, there is no map $A\to\emptyset$ unless $A=\emptyset$. The number of maps $A\to B$ is $|B|^{|A|}$ and in this context $n^0=0$ and $0^n=1$ for $n\ne0$ and $0^0=1$ (despite what they say in analysis). – 2012-09-15
-
0@Hagen: Surely you mean "and in this context $n^0 = 1$ and $0^n = 0$ for $n \neq 0$ and $0^0 = 1$". – 2013-04-26