The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

Lemma 6.30.5. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $U \in \mathcal{B}$. Let $\mathcal{F}$ be a sheaf of sets on $\mathcal{B}$. The map

\[ \mathcal{F}(U) \to \prod \nolimits _{x \in U} \mathcal{F}_ x \]

identifies $\mathcal{F}(U)$ with the elements $(s_ x)_{x\in U}$ with the property

  • For any $x \in U$ there exists a $V \in \mathcal{B}$, with $x \in V \subset U$ and a section $\sigma \in \mathcal{F}(V)$ such that for all $y \in V$ we have $s_ y = (V, \sigma )$ in $\mathcal{F}_ y$.

Proof. First note that the map $\mathcal{F}(U) \to \prod \nolimits _{x \in U} \mathcal{F}_ x$ is injective by the uniqueness in the sheaf condition of Definition 6.30.2. Let $(s_ x)$ be any element on the right hand side which satisfies $(*)$. Clearly this means we can find a covering $U = \bigcup U_ i$, $U_ i \in \mathcal{B}$ such that $(s_ x)_{x \in U_ i}$ comes from certain $\sigma _ i \in \mathcal{F}(U_ i)$. For every $y \in U_ i \cap U_ j$ the sections $\sigma _ i$ and $\sigma _ j$ agree in the stalk $\mathcal{F}_ y$. Hence there exists an element $V_{ijy} \in \mathcal{B}$, $y \in V_{ijy}$ such that $\sigma _ i|_{V_{ijy}} = \sigma _ j|_{V_{ijy}}$. Thus the sheaf condition $(**)$ of Definition 6.30.2 applies to the system of $\sigma _ i$ and we obtain a section $s \in \mathcal{F}(U)$ with the desired property. $\square$


Comments (2)

Comment #3233 by on

Xena says "Maybe ``forall y in U intersect V'' would be better in (*)".

Comment #3332 by on

OK, I think the more natural change is to require which I clearly just forgot to type. Thanks Xena! Fix is here.

There are also:

  • 6 comment(s) on Section 6.30: Bases and sheaves

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 009M. Beware of the difference between the letter 'O' and the digit '0'.