Lemma 27.11.2 (01MZ)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 27: Constructions of Schemes
Section 27.11: Functoriality of Proj
Lemma 27.11.2 (cite)

numberstags

Lemma 27.11.2. Let $A$ , $B$ , and $C$ be graded rings. Set $X = \text{Proj}(A)$ , $Y = \text{Proj}(B)$ and $Z = \text{Proj}(C)$ . Let $\varphi : A \to B$ , $\psi : B \to C$ be graded ring maps. Then we have

$U(\psi \circ \varphi ) = r_\psi ^{-1}(U(\varphi )) \quad \text{and} \quad r_{\psi \circ \varphi } = r_\varphi \circ r_\psi |_{U(\psi \circ \varphi )}.$

In addition we have

$\theta _\psi \circ r_\psi ^*\theta _\varphi = \theta _{\psi \circ \varphi }$

with obvious notation.

Proof. Omitted. $\square$

Comments (2)

Comment #8511 by Jordan on June 19, 2023 at 11:47

Shouldn't it be $U(\psi\circ\varphi)=r_{\psi}^{-1}(U(\varphi))$ ? I'd expect to obtain $U(\psi\circ\varphi)$ by first forming the open $U(\varphi)$ in $Y$ , and then pulling it back to $Z$ to form $r_{\psi}^{-1}(U(\varphi))= U(\psi)\times_{r_{\psi},Y}U(\varphi)$ .

Comment #9116 by Stacks project on May 10, 2024 at 14:25

Thanks and fixed here.

There are also:

2 comment(s) on Section 27.11: Functoriality of Proj

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).

Comments (2)

Post a comment