Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

(Bredon page 11.) Let $A$ be a locally closed subspace of $X$ and let $\mathcal{B}$ be a sheaf on $A$. It is easily seen (since $A$ is locally closed) that there is a unique topology on the point set $\mathcal{B}\cup(X\times\{0\})$ such that $\mathcal{B}$ is a subspace and the projection onto $X$ is a local homeomorphism (we identify $A\times\{0\}$ with the zero section of $\mathcal{B}$).

Why does $A$ locally closed imply a unique topology above? In particular think of $A = \{(x,y) | y>0\}\cup\{(0,0)\} \subset \mathbb{R}^2$. Then $A$ is not locally closed. Are there several choices for a topology on $A$? If not, what kind of spaces will give me trouble?

share|improve this question
    
For those of us that don't have Bredon at hand: what do you mean by $\mathcal{B} \cup$ something? Are you viewing $\mathcal{B}$ as an espace étalé, i.e., some space with a map to $A$ which is a local homeomorphism (and then when you write the union are you referring to the domain of this map)? When you say the zero section, I take it $\mathcal{B}$ is a sheaf of Abelian groups, right? –  Omar Antolín-Camarena May 16 '12 at 13:56
    
@Omar Yes, $\mathcal{B}$ is a topological space with a projection $\pi: \mathcal{B} \to A$ which is a local homeo, such that each $\pi^{-1}(x)$ is an Abelian group and the group operations are continuous. Did that clear things up? –  M.B. May 16 '12 at 14:11

2 Answers 2

up vote 1 down vote accepted

Thanks to Omar's example illustrating the salient point, here's a proof of Bredon's statement.

Let $\mathcal C = \mathcal B \cup (X \times \{0\})$ as a point set. A topology on $\mathcal C$ is generated by the open sets of $\mathcal B$ together with all sets of the form $U\times\{0\}$ for $U\subseteq X$ open. Writing $\pi_\mathcal B:\mathcal B\to A$ and $\pi_0:X\times\{0\}\to X$ for the local homeomorphisms of the sheaves $\mathcal B$ and $X\times\{0\}$ respectively, we wish to define a local homeomorphism $\pi:\mathcal C\to X$. There are no problems with continuity of the group operations, so such a map will make $\mathcal C$ a sheaf.

Let of course \begin{align} \pi(c) =\begin{cases} \pi_{\mathcal{B}}(c) \quad &\text{if } c\in \mathcal{B}\\ \pi_0(c) \quad &\text{if } c\in X\times\{0\}. \end{cases} \end{align}

Let $c\in\mathcal C$. If $c\notin\mathcal B$, then everything is OK, so assume $c\in\mathcal B$. Write $C$ for the neighborhood (in $\mathcal B$) on which $\pi_\mathcal{B}$ is a homeomorphism. Let $D$ be an $X$-open set such that $\pi_\mathcal{B}(C)=D\cap A$.

If we assume that $A$ is locally closed, then there is a $X$-open neighborhood $U$ of $\pi(c)\in A$ such that $U\cap(X\setminus A)$ is open in $U$. Thus so is $U\cap D\cap (X\setminus A)$, and we can write $U\cap D\cap(X\setminus A)=U\cap D\cap V$ for some $X$-open set $V\subseteq X\setminus A$. Then $\pi_0^{-1} (V) = V\times\{0\}$ is open in $\mathcal C$, and $\pi$ is a homeomorphism on the open neighborhood $(\pi_\mathcal{B})|_C^{-1}(U\cap D\cap A)\cup\pi_0^{-1}(V)$ of $c$.

share|improve this answer

The problem with non-locally closed subsets is not that you will have more than one choice for the topology but rather that you will have none. Take $\mathcal{B}$ to the constant sheaf $\mathbb{Z}_A$ and assume there is some valid topology on $\mathcal{C} := \mathcal{B} \cup (X \times \{0\})$. Let $a$ be an arbitrary point of the subspace $A$, and pick a neighborhood $U$ of $a$ in $X$ and a section $s$ of the extension $\mathcal{C}$ such that for all $p \in U \cap A$ we have $s(p)=1$, this is possible since $\mathcal{C}|_A$ is the constant sheaf $\mathbb{Z}_A$. Now, we have that $U \cap (X \setminus A) = \{ t \in U : s(t)=0 \}$ which is open in $U$, proving that $A$ is locally closed.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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