Skip to content

Commit

Permalink
Fix typos in examples
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 19, 2022
1 parent 3af212a commit b17f8d0
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ Nuno Cardoso
Scott Carnahan
Kęstutis Česnavičius
Antoine Chambert-Loir
Wei Chen
Will Chen
William Chen
Raymond Cheng (程毅)
Expand Down
8 changes: 4 additions & 4 deletions examples.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1818,10 +1818,10 @@ \section{Taking scheme theoretic images}
scheme theoretic image of $f$
is not equal to the closure of the image of $f$.
\item The formation of the scheme theoretic image does not commute
with restriction to the open subscheme $U = \Spec(k[t. 1/t]) \subset Y$.
Namely, the preimage of $U$ in $X$ is empty and hence the scheme theoretic
image of $f|_{f^{-1}(U)} : f^{-1}(U) \to U$ is the empty scheme
(and this is not equal to $X \cap U$).
with restriction to the open subscheme $V = \Spec(k[t, 1/t]) \subset Y$.
Namely, the preimage of $V$ in $X$ is empty and hence the scheme theoretic
image of $f|_{f^{-1}(V)} : f^{-1}(V) \to V$ is the empty scheme.
This is not equal to $Y \cap V$.
\end{enumerate}


Expand Down

0 comments on commit b17f8d0

Please sign in to comment.