diff options
authorGravatar Tim Hosgood <timhosgood@gmail.com> 2021-08-06 18:45:04 +0100
committerGravatar Tim Hosgood <timhosgood@gmail.com> 2021-08-06 18:45:04 +0100
commit04b8dc4ced6f64ca7a548c06e1d36a8d888db26b (patch)
parent6166684119278bc7edb581de710d5cf5d138795a (diff)
tiny bitII.3
1 files changed, 24 insertions, 1 deletions
diff --git a/ega2/ega2-3.tex b/ega2/ega2-3.tex
index 270dfbc..a5315f9 100644
--- a/ega2/ega2-3.tex
+++ b/ega2/ega2-3.tex
@@ -73,9 +73,32 @@ If $f$ is the structure morphism $X\to Y$, then it is immediate that, for every
+Let $f\in\Gamma(Y,\sh{S}_d)$ for $d>0$.
+Then there exists an open subset $X_f$ of the underlying space of $X=\Proj(\sh{S})$ that satisfies the following property:
+for every open affine $U$ of $Y$, we have $X_f\cap\varphi^{-1}(U)=D_+(f|U)$ in $\varphi^{-1}(U)$ identified with $X_U=\Proj(\Gamma(U,\sh{S}))$, where $\varphi$ denotes the structure morphism $X\to Y$.
+Furthermore, the prescheme induced on $X_f$ is affine over $Y$, and is canonically isomorphic to $\Spec(\sh{S}^{(d)}/(f-1)\sh{S}^{[d]})$ \sref{II.1.3.1}.
+We have $f|U\in\Gamma(U,\sh{S}_d)=(\Gamma(U,\sh{S}))_d$.
+If $U$ and $U'$ are open affines of $Y$ such that $U'\subset U$, then $f|U'$ is the image of $f|U$ under the restriction homomorphism
+ \Gamma(U,\sh{S}) \to \Gamma(U',\sh{S})
+and so $D_+(f|U')$ is equal (with the notation of \sref{II.3.1.1}) to the prescheme induced on the inverse image $\rho_{U',U}^{-1}(D_+(f|U))$ in $X_{U'}$ \sref{II.2.8.1};
+whence the first claim.
+Furthermore, the prescheme induced on $D_+(f|U)$ by $X_U$ is canonically identified with $\Spec((\Gamma(U,\sh{S}))_{f|U})$, with these identifications being compatible with the restriction homomorphisms \sref{II.2.8.1};
+the second claim then follows from \sref{II.2.2.5} and from the commutativity of the diagram \sref{II.}.
+We also say that $X_f$ (as an open subset of the underlying space $X$) is the set of $x\in X$ where $f$ \emph{does not vanish}.
% \subsection{Sheaf on $\operatorname{Proj}(\mathcal{S})$ associated to a graded $\mathcal{S}$-module}
% \label{subsection:II.3.2}