Loading web-font TeX/Math/Italic

The Stacks project

Lemma 71.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 71.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 71.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 71.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 71.11.3. \square


Comments (0)

There are also:

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

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.