Skip to content

Commit 685eb90

Browse files
committedSep 2, 2013
Fix equivalence relation defining the stalk
Thanks to Bas Edixhoven http://stacks.math.columbia.edu/tag/0078#comment-281
1 parent 33026d4 commit 685eb90

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed
 

‎sheaves.tex

+4-4
Original file line numberDiff line numberDiff line change
@@ -923,10 +923,10 @@ \section{Stalks}
923923
x\in U, s\in \mathcal{F}(U)
924924
\}/\sim
925925
$$
926-
with equivalence relation given by $(U, s) \sim (U', s')$
927-
if and only if $s|_{U\cap U'} = s'|_{U\cap U'}$. By abuse of
928-
notation we will often denote $(U, s)$, $s_x$,
929-
or even $s$ the corresponding element in $\mathcal{F}_x$.
926+
with equivalence relation given by $(U, s) \sim (U', s')$ if and only if
927+
there exists an open $U'' \subset U \cap U'$ with $x \in U''$ and
928+
$s|_{U''} = s'|_{U''}$. By abuse of notation we will often denote
929+
$(U, s)$, $s_x$, or even $s$ the corresponding element in $\mathcal{F}_x$.
930930
Also we will say $s = s'$ in $\mathcal{F}_x$ for two local sections
931931
of $\mathcal{F}$ defined in an open neighbourhood of $x$ to denote that
932932
they have the same image in $\mathcal{F}_x$.

0 commit comments

Comments
 (0)
Please sign in to comment.