From ddb075cef35143f5f2f64b997f945d4f500b922b Mon Sep 17 00:00:00 2001 From: Aise Johan de Jong Date: Thu, 29 Apr 2021 16:24:12 -0700 Subject: [PATCH] Small typo in schemes Thanks to Zhaolin https://stacks.math.columbia.edu/tag/01HD#comment-5894 --- schemes.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/schemes.tex b/schemes.tex index d96f4cc6c..6efb1d28b 100644 --- a/schemes.tex +++ b/schemes.tex @@ -274,7 +274,7 @@ \section{Open immersions of locally ringed spaces} \medskip\noindent Suppose we have another morphism -$f'' : (X, \mathcal{O}_X) \to (V, \mathcal{O}_Y)$ such that $f = j \circ f''$. +$f'' : (X, \mathcal{O}_X) \to (V, \mathcal{O}_V)$ such that $f = j \circ f''$. At any point $x \in X$, we have $j(f'(x)) = j(f''(x))$ from which it follows that $f'(x) = f''(x)$ since $j$ is the inclusion map; therefore $f'$ and $f''$ are the same as morphisms of topological spaces. On structure sheaves,