The Stacks project

Lemma 70.13.1. With assumptions and notation as above. The morphism $\psi $ induces a canonical morphism of algebraic spaces over $Y$

\[ r_{\mathcal{L}, \psi } : U(\psi ) \longrightarrow \underline{\text{Proj}}_ Y(\mathcal{A}) \]

together with a map of graded $\mathcal{O}_{U(\psi )}$-algebras

\[ \theta : r_{\mathcal{L}, \psi }^*\left( \bigoplus \nolimits _{d \geq 0} \mathcal{O}_{\underline{\text{Proj}}_ Y(\mathcal{A})}(d) \right) \longrightarrow \bigoplus \nolimits _{d \geq 0} \mathcal{L}^{\otimes d}|_{U(\psi )} \]

characterized by the following properties:

  1. For $V \to Y$ ├ętale and $d \geq 0$ the diagram

    \[ \xymatrix{ \mathcal{A}_ d(V) \ar[d]_{\psi } \ar[r]_{\psi } & \Gamma (V \times _ Y X, \mathcal{L}^{\otimes d}) \ar[d]^{restrict} \\ \Gamma (V \times _ Y \underline{\text{Proj}}_ Y(\mathcal{A}), \mathcal{O}_{\underline{\text{Proj}}_ Y(\mathcal{A})}(d)) \ar[r]^-\theta & \Gamma (V \times _ Y U(\psi ), \mathcal{L}^{\otimes d}) } \]

    is commutative.

  2. For any $d \geq 1$ and any morphism $W \to X$ where $W$ is a scheme such that $\psi |_ W : f^*\mathcal{A}_ d|_ W \to \mathcal{L}^{\otimes d}|_ W$ is surjective we have (a) $W \to X$ factors through $U(\psi )$ and (b) composition of $W \to U(\psi )$ with $r_{\mathcal{L}, \psi }$ agrees with the morphism $W \to \underline{\text{Proj}}_ Y(\mathcal{A})$ which exists by the construction of $\underline{\text{Proj}}_ Y(\mathcal{A})$, see Definition 70.11.3.

  3. Consider a commutative diagram

    \[ \xymatrix{ X' \ar[r]_{g'} \ar[d]_{f'} & X \ar[d]^ f \\ Y' \ar[r]^ g & Y } \]

    where $X'$ and $Y'$ are schemes, set $\mathcal{A}' = g^*\mathcal{A}$ and $\mathcal{L}' = (g')^*\mathcal{L}$ and denote $\psi ' : (f')^*\mathcal{A} \to \bigoplus _{d \geq 0} (\mathcal{L}')^{\otimes d}$ the pullback of $\psi $. Let $U(\psi ')$, $r_{\psi ', \mathcal{L}'}$, and $\theta '$ be the open, morphism, and homomorphism constructed in Constructions, Lemma 70.13.1. Then $U(\psi ') = (g')^{-1}(U(\psi ))$ and $r_{\psi ', \mathcal{L}'}$ agrees with the base change of $r_{\psi , \mathcal{L}}$ via the isomorphism $\underline{\text{Proj}}_{Y'}(\mathcal{A}') = Y' \times _ Y \underline{\text{Proj}}_ Y(\mathcal{A})$ of Lemma 70.11.5. Moreover, $\theta '$ is the pullback of $\theta $.

Proof. Omitted. Hints: First we observe that for a quasi-compact scheme $W$ over $X$ the following are equivalent

  1. $W \to X$ factors through $U(\psi )$, and

  2. there exists a $d$ such that $\psi |_ W : f^*\mathcal{A}_ d|_ W \to \mathcal{L}^{\otimes d}|_ W$ is surjective.

This gives a description of $U(\psi )$ as a subfunctor of $X$ on our base category $(\mathit{Sch}/S)_{fppf}$. For such a $W$ and $d$ we consider the quadruple $(d, W \to Y, \mathcal{L}|_ W, \psi ^{(d)}|_ W)$. By definition of $\underline{\text{Proj}}_ Y(\mathcal{A})$ we obtain a morphism $W \to \underline{\text{Proj}}_ Y(\mathcal{A})$. By our notion of equivalence of quadruples one sees that this morphism is independent of the choice of $d$. This clearly defines a transformation of functors $r_{\psi , \mathcal{L}} : U(\psi ) \to \underline{\text{Proj}}_ Y(\mathcal{A})$, i.e., a morphism of algebraic spaces. By construction this morphism satisfies (2). Since the morphism constructed in Constructions, Lemma 27.19.1 satisfies the same property, we see that (3) is true.

To construct $\theta $ and check the compatibility (1) of the lemma, work ├ętale locally on $Y$ and $X$, arguing as in the discussion following Definition 70.11.3. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 70.13: Invertible sheaves and morphisms into relative Proj

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0D2Z. Beware of the difference between the letter 'O' and the digit '0'.