2
$\begingroup$

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$?

  • 1
    Your 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
  • 0
    I see your point. Let me try to fix this.2012-09-14

1 Answers 1

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$.

  • 0
    By 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