The Stacks project

27.16 Relative Proj as a functor

We place ourselves in Situation 27.15.1. So $S$ is a scheme and $\mathcal{A} = \bigoplus _{d \geq 0} \mathcal{A}_ d$ is a quasi-coherent graded $\mathcal{O}_ S$-algebra. In this section we relativize the construction of $\text{Proj}$ by constructing a functor which the relative homogeneous spectrum will represent. As a result we will construct a morphism of schemes

\[ \underline{\text{Proj}}_ S(\mathcal{A}) \longrightarrow S \]

which above affine opens of $S$ will look like the homogeneous spectrum of a graded ring. The discussion will be modeled after our discussion of the relative spectrum in Section 27.4. The easier method using glueing schemes of the form $\text{Proj}(A)$, $A = \Gamma (U, \mathcal{A})$, $U \subset S$ affine open, is explained in Section 27.15, and the result in this section will be shown to be isomorphic to that one.

Fix for the moment an integer $d \geq 1$. We denote $\mathcal{A}^{(d)} = \bigoplus _{n \geq 0} \mathcal{A}_{nd}$ similarly to the notation in Algebra, Section 10.56. Let $T$ be a scheme. Let us consider quadruples $(d, f : T \to S, \mathcal{L}, \psi )$ over $T$ where

  1. $d$ is the integer we fixed above,

  2. $f : T \to S$ is a morphism of schemes,

  3. $\mathcal{L}$ is an invertible $\mathcal{O}_ T$-module, and

  4. $\psi : f^*\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0}\mathcal{L}^{\otimes n}$ is a homomorphism of graded $\mathcal{O}_ T$-algebras such that $f^*\mathcal{A}_ d \to \mathcal{L}$ is surjective.

Given a morphism $h : T' \to T$ and a quadruple $(d, f, \mathcal{L}, \psi )$ over $T$ we can pull it back to the quadruple $(d, f \circ h, h^*\mathcal{L}, h^*\psi )$ over $T'$. Given two quadruples $(d, f, \mathcal{L}, \psi )$ and $(d, f', \mathcal{L}', \psi ')$ over $T$ with the same integer $d$ we say they are strictly equivalent if $f = f'$ and there exists an isomorphism $\beta : \mathcal{L} \to \mathcal{L}'$ such that $\beta \circ \psi = \psi '$ as graded $\mathcal{O}_ T$-algebra maps $f^*\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} (\mathcal{L}')^{\otimes n}$.

For each integer $d \geq 1$ we define

\begin{eqnarray*} F_ d : \mathit{Sch}^{opp} & \longrightarrow & \textit{Sets}, \\ T & \longmapsto & \{ \text{strict equivalence classes of } (d, f : T \to S, \mathcal{L}, \psi ) \text{ as above}\} \end{eqnarray*}

with pullbacks as defined above.

Lemma 27.16.1. In Situation 27.15.1. Let $d \geq 1$. Let $F_ d$ be the functor associated to $(S, \mathcal{A})$ above. Let $g : S' \to S$ be a morphism of schemes. Set $\mathcal{A}' = g^*\mathcal{A}$. Let $F_ d'$ be the functor associated to $(S', \mathcal{A}')$ above. Then there is a canonical isomorphism

\[ F'_ d \cong h_{S'} \times _{h_ S} F_ d \]

of functors.

Proof. A quadruple $(d, f' : T \to S', \mathcal{L}', \psi ' : (f')^*(\mathcal{A}')^{(d)} \to \bigoplus _{n \geq 0} (\mathcal{L}')^{\otimes n})$ is the same as a quadruple $(d, f, \mathcal{L}, \psi : f^*\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} \mathcal{L}^{\otimes n})$ together with a factorization of $f$ as $f = g \circ f'$. Namely, the correspondence is $f = g \circ f'$, $\mathcal{L} = \mathcal{L}'$ and $\psi = \psi '$ via the identifications $(f')^*(\mathcal{A}')^{(d)} = (f')^*g^*(\mathcal{A}^{(d)}) = f^*\mathcal{A}^{(d)}$. Hence the lemma. $\square$

Lemma 27.16.2. In Situation 27.15.1. Let $F_ d$ be the functor associated to $(d, S, \mathcal{A})$ above. If $S$ is affine, then $F_ d$ is representable by the open subscheme $U_ d$ (27.12.0.1) of the scheme $\text{Proj}(\Gamma (S, \mathcal{A}))$.

Proof. Write $S = \mathop{\mathrm{Spec}}(R)$ and $A = \Gamma (S, \mathcal{A})$. Then $A$ is a graded $R$-algebra and $\mathcal{A} = \widetilde A$. To prove the lemma we have to identify the functor $F_ d$ with the functor $F_ d^{triples}$ of triples defined in Section 27.12.

Let $(d, f : T \to S, \mathcal{L}, \psi )$ be a quadruple. We may think of $\psi $ as a $\mathcal{O}_ S$-module map $\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n}$. Since $\mathcal{A}^{(d)}$ is quasi-coherent this is the same thing as an $R$-linear homomorphism of graded rings $A^{(d)} \to \Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n})$. Clearly, $\Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n}) = \Gamma _*(T, \mathcal{L})$. Thus we may associate to the quadruple the triple $(d, \mathcal{L}, \psi )$.

Conversely, let $(d, \mathcal{L}, \psi )$ be a triple. The composition $R \to A_0 \to \Gamma (T, \mathcal{O}_ T)$ determines a morphism $f : T \to S = \mathop{\mathrm{Spec}}(R)$, see Schemes, Lemma 26.6.4. With this choice of $f$ the map $A^{(d)} \to \Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n})$ is $R$-linear, and hence corresponds to a $\psi $ which we can use for a quadruple $(d, f : T \to S, \mathcal{L}, \psi )$. We omit the verification that this establishes an isomorphism of functors $F_ d = F_ d^{triples}$. $\square$

Proof. We are going to use Schemes, Lemma 26.15.4.

First we check that $F_ d$ satisfies the sheaf property for the Zariski topology. Namely, suppose that $T$ is a scheme, that $T = \bigcup _{i \in I} U_ i$ is an open covering, and that $(d, f_ i, \mathcal{L}_ i, \psi _ i) \in F_ d(U_ i)$ such that $(d, f_ i, \mathcal{L}_ i, \psi _ i)|_{U_ i \cap U_ j}$ and $(d, f_ j, \mathcal{L}_ j, \psi _ j)|_{U_ i \cap U_ j}$ are strictly equivalent. This implies that the morphisms $f_ i : U_ i \to S$ glue to a morphism of schemes $f : T \to S$ such that $f|_{I_ i} = f_ i$, see Schemes, Section 26.14. Thus $f_ i^*\mathcal{A}^{(d)} = f^*\mathcal{A}^{(d)}|_{U_ i}$. It also implies there exist isomorphisms $\beta _{ij} : \mathcal{L}_ i|_{U_ i \cap U_ j} \to \mathcal{L}_ j|_{U_ i \cap U_ j}$ such that $\beta _{ij} \circ \psi _ i = \psi _ j$ on $U_ i \cap U_ j$. Note that the isomorphisms $\beta _{ij}$ are uniquely determined by this requirement because the maps $f_ i^*\mathcal{A}_ d \to \mathcal{L}_ i$ are surjective. In particular we see that $\beta _{jk} \circ \beta _{ij} = \beta _{ik}$ on $U_ i \cap U_ j \cap U_ k$. Hence by Sheaves, Section 6.33 the invertible sheaves $\mathcal{L}_ i$ glue to an invertible $\mathcal{O}_ T$-module $\mathcal{L}$ and the morphisms $\psi _ i$ glue to morphism of $\mathcal{O}_ T$-algebras $\psi : f^*\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} \mathcal{L}^{\otimes n}$. This proves that $F_ d$ satisfies the sheaf condition with respect to the Zariski topology.

Let $S = \bigcup _{i \in I} U_ i$ be an affine open covering. Let $F_{d, i} \subset F_ d$ be the subfunctor consisting of those pairs $(f : T \to S, \varphi )$ such that $f(T) \subset U_ i$.

We have to show each $F_{d, i}$ is representable. This is the case because $F_{d, i}$ is identified with the functor associated to $U_ i$ equipped with the quasi-coherent graded $\mathcal{O}_{U_ i}$-algebra $\mathcal{A}|_{U_ i}$ by Lemma 27.16.1. Thus the result follows from Lemma 27.16.2.

Next we show that $F_{d, i} \subset F_ d$ is representable by open immersions. Let $(f : T \to S, \varphi ) \in F_ d(T)$. Consider $V_ i = f^{-1}(U_ i)$. It follows from the definition of $F_{d, i}$ that given $a : T' \to T$ we gave $a^*(f, \varphi ) \in F_{d, i}(T')$ if and only if $a(T') \subset V_ i$. This is what we were required to show.

Finally, we have to show that the collection $(F_{d, i})_{i \in I}$ covers $F_ d$. Let $(f : T \to S, \varphi ) \in F_ d(T)$. Consider $V_ i = f^{-1}(U_ i)$. Since $S = \bigcup _{i \in I} U_ i$ is an open covering of $S$ we see that $T = \bigcup _{i \in I} V_ i$ is an open covering of $T$. Moreover $(f, \varphi )|_{V_ i} \in F_{d, i}(V_ i)$. This finishes the proof of the lemma. $\square$

At this point we can redo the material at the end of Section 27.12 in the current relative setting and define a functor which is representable by $\underline{\text{Proj}}_ S(\mathcal{A})$. To do this we introduce the notion of equivalence between two quadruples $(d, f : T \to S, \mathcal{L}, \psi )$ and $(d', f' : T \to S, \mathcal{L}', \psi ')$ with possibly different values of the integers $d, d'$. Namely, we say these are equivalent if $f = f'$, and there exists an isomorphism $\beta : \mathcal{L}^{\otimes d'} \to (\mathcal{L}')^{\otimes d}$ such that $\beta \circ \psi |_{f^*\mathcal{A}^{(dd')}} = \psi '|_{f^*\mathcal{A}^{(dd')}}$. The following lemma implies that this defines an equivalence relation. (This is not a complete triviality.)

Lemma 27.16.4. In Situation 27.15.1. Let $T$ be a scheme. Let $(d, f, \mathcal{L}, \psi )$, $(d', f', \mathcal{L}', \psi ')$ be two quadruples over $T$. The following are equivalent:

  1. Let $m = \text{lcm}(d, d')$. Write $m = ad = a'd'$. We have $f = f'$ and there exists an isomorphism $\beta : \mathcal{L}^{\otimes a} \to (\mathcal{L}')^{\otimes a'}$ with the property that $\beta \circ \psi |_{f^*\mathcal{A}^{(m)}}$ and $\psi '|_{f^*\mathcal{A}^{(m)}}$ agree as graded ring maps $f^*\mathcal{A}^{(m)} \to \bigoplus _{n \geq 0} (\mathcal{L}')^{\otimes mn}$.

  2. The quadruples $(d, f, \mathcal{L}, \psi )$ and $(d', f', \mathcal{L}', \psi ')$ are equivalent.

  3. We have $f = f'$ and for some positive integer $m = ad = a'd'$ there exists an isomorphism $\beta : \mathcal{L}^{\otimes a} \to (\mathcal{L}')^{\otimes a'}$ with the property that $\beta \circ \psi |_{f^*\mathcal{A}^{(m)}}$ and $\psi '|_{f^*\mathcal{A}^{(m)}}$ agree as graded ring maps $f^*\mathcal{A}^{(m)} \to \bigoplus _{n \geq 0} (\mathcal{L}')^{\otimes mn}$.

Proof. Clearly (1) implies (2) and (2) implies (3) by restricting to more divisible degrees and powers of invertible sheaves. Assume (3) for some integer $m = ad = a'd'$. Let $m_0 = \text{lcm}(d, d')$ and write it as $m_0 = a_0d = a'_0d'$. We are given an isomorphism $\beta : \mathcal{L}^{\otimes a} \to (\mathcal{L}')^{\otimes a'}$ with the property described in (3). We want to find an isomorphism $\beta _0 : \mathcal{L}^{\otimes a_0} \to (\mathcal{L}')^{\otimes a'_0}$ having that property as well. Since by assumption the maps $\psi : f^*\mathcal{A}_ d \to \mathcal{L}$ and $\psi ' : (f')^*\mathcal{A}_{d'} \to \mathcal{L}'$ are surjective the same is true for the maps $\psi : f^*\mathcal{A}_{m_0} \to \mathcal{L}^{\otimes a_0}$ and $\psi ' : (f')^*\mathcal{A}_{m_0} \to (\mathcal{L}')^{\otimes a_0}$. Hence if $\beta _0$ exists it is uniquely determined by the condition that $\beta _0 \circ \psi = \psi '$. This means that we may work locally on $T$. Hence we may assume that $f = f' : T \to S$ maps into an affine open, in other words we may assume that $S$ is affine. In this case the result follows from the corresponding result for triples (see Lemma 27.12.4) and the fact that triples and quadruples correspond in the affine base case (see proof of Lemma 27.16.2). $\square$

Suppose $d' = ad$. Consider the transformation of functors $F_ d \to F_{d'}$ which assigns to the quadruple $(d, f, \mathcal{L}, \psi )$ over $T$ the quadruple $(d', f, \mathcal{L}^{\otimes a}, \psi |_{f^*\mathcal{A}^{(d')}})$. One of the implications of Lemma 27.16.4 is that the transformation $F_ d \to F_{d'}$ is injective! For a quasi-compact scheme $T$ we define

\[ F(T) = \bigcup \nolimits _{d \in \mathbf{N}} F_ d(T) \]

with transition maps as explained above. This clearly defines a contravariant functor on the category of quasi-compact schemes with values in sets. For a general scheme $T$ we define

\[ F(T) = \mathop{\mathrm{lim}}\nolimits _{V \subset T\text{ quasi-compact open}} F(V). \]

In other words, an element $\xi $ of $F(T)$ corresponds to a compatible system of choices of elements $\xi _ V \in F(V)$ where $V$ ranges over the quasi-compact opens of $T$. We omit the definition of the pullback map $F(T) \to F(T')$ for a morphism $T' \to T$ of schemes. Thus we have defined our functor

27.16.4.1
\begin{equation} \label{constructions-equation-proj} F : \mathit{Sch}^{opp} \longrightarrow \textit{Sets} \end{equation}

Proof. Let $U_ d \to S$ be the scheme representing the functor $F_ d$ defined above. Let $\mathcal{L}_ d$, $\psi ^ d : \pi _ d^*\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} \mathcal{L}_ d^{\otimes n}$ be the universal object. If $d | d'$, then we may consider the quadruple $(d', \pi _ d, \mathcal{L}_ d^{\otimes d'/d}, \psi ^ d|_{\mathcal{A}^{(d')}})$ which determines a canonical morphism $U_ d \to U_{d'}$ over $S$. By construction this morphism corresponds to the transformation of functors $F_ d \to F_{d'}$ defined above.

For every affine open $\mathop{\mathrm{Spec}}(R) = V \subset S$ setting $A = \Gamma (V, \mathcal{A})$ we have a canonical identification of the base change $U_{d, V}$ with the corresponding open subscheme of $\text{Proj}(A)$, see Lemma 27.16.2. Moreover, the morphisms $U_{d, V} \to U_{d', V}$ constructed above correspond to the inclusions of opens in $\text{Proj}(A)$. Thus we conclude that $U_ d \to U_{d'}$ is an open immersion.

This allows us to construct $X$ by glueing the schemes $U_ d$ along the open immersions $U_ d \to U_{d'}$. Technically, it is convenient to choose a sequence $d_1 | d_2 | d_3 | \ldots $ such that every positive integer divides one of the $d_ i$ and to simply take $X = \bigcup U_{d_ i}$ using the open immersions above. It is then a simple matter to prove that $X$ represents the functor $F$. $\square$

Lemma 27.16.6. In Situation 27.15.1. The scheme $\pi : \underline{\text{Proj}}_ S(\mathcal{A}) \to S$ constructed in Lemma 27.15.4 and the scheme representing the functor $F$ are canonically isomorphic as schemes over $S$.

Proof. Let $X$ be the scheme representing the functor $F$. Note that $X$ is a scheme over $S$ since the functor $F$ comes equipped with a natural transformation $F \to h_ S$. Write $Y = \underline{\text{Proj}}_ S(\mathcal{A})$. We have to show that $X \cong Y$ as $S$-schemes. We give two arguments.

The first argument uses the construction of $X$ as the union of the schemes $U_ d$ representing $F_ d$ in the proof of Lemma 27.16.5. Over each affine open of $S$ we can identify $X$ with the homogeneous spectrum of the sections of $\mathcal{A}$ over that open, since this was true for the opens $U_ d$. Moreover, these identifications are compatible with further restrictions to smaller affine opens. On the other hand, $Y$ was constructed by glueing these homogeneous spectra. Hence we can glue these isomorphisms to an isomorphism between $X$ and $\underline{\text{Proj}}_ S(\mathcal{A})$ as desired. Details omitted.

Here is the second argument. Lemma 27.15.5 shows that there exists a morphism of graded algebras

\[ \psi : \pi ^*\mathcal{A} \longrightarrow \bigoplus \nolimits _{n \geq 0} \mathcal{O}_ Y(n) \]

over $Y$ which on sections over affine opens of $S$ agrees with (27.10.1.3). Hence for every $y \in Y$ there exists an open neighbourhood $V \subset Y$ of $y$ and an integer $d \geq 1$ such that for $d | n$ the sheaf $\mathcal{O}_ Y(n)|_ V$ is invertible and the multiplication maps $\mathcal{O}_ Y(n)|_ V \otimes _{\mathcal{O}_ V} \mathcal{O}_ Y(m)|_ V \to \mathcal{O}_ Y(n + m)|_ V$ are isomorphisms. Thus $\psi $ restricted to the sheaf $\pi ^*\mathcal{A}^{(d)}|_ V$ gives an element of $F_ d(V)$. Since the opens $V$ cover $Y$ we see “$\psi $” gives rise to an element of $F(Y)$. Hence a canonical morphism $Y \to X$ over $S$. Because this construction is completely canonical to see that it is an isomorphism we may work locally on $S$. Hence we reduce to the case $S$ affine where the result is clear. $\square$

Definition 27.16.7. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of graded $\mathcal{O}_ S$-algebras. The relative homogeneous spectrum of $\mathcal{A}$ over $S$, or the homogeneous spectrum of $\mathcal{A}$ over $S$, or the relative Proj of $\mathcal{A}$ over $S$ is the scheme constructed in Lemma 27.15.4 which represents the functor $F$ (27.16.4.1), see Lemma 27.16.6. We denote it $\pi : \underline{\text{Proj}}_ S(\mathcal{A}) \to S$.

The relative Proj comes equipped with a quasi-coherent sheaf of $\mathbf{Z}$-graded algebras $\bigoplus _{n \in \mathbf{Z}} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(n)$ (the twists of the structure sheaf) and a “universal” homomorphism of graded algebras

\[ \psi _{univ} : \mathcal{A} \longrightarrow \pi _*\left( \bigoplus \nolimits _{n \geq 0} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(n) \right) \]

see Lemma 27.15.5. We may also think of this as a homomorphism

\[ \psi _{univ} : \pi ^*\mathcal{A} \longrightarrow \bigoplus \nolimits _{n \geq 0} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(n) \]

if we like. The following lemma is a formulation of the universality of this object.

Lemma 27.16.8. In Situation 27.15.1. Let $(f : T \to S, d, \mathcal{L}, \psi )$ be a quadruple. Let $r_{d, \mathcal{L}, \psi } : T \to \underline{\text{Proj}}_ S(\mathcal{A})$ be the associated $S$-morphism. There exists an isomorphism of $\mathbf{Z}$-graded $\mathcal{O}_ T$-algebras

\[ \theta : r_{d, \mathcal{L}, \psi }^*\left( \bigoplus \nolimits _{n \in \mathbf{Z}} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(nd) \right) \longrightarrow \bigoplus \nolimits _{n \in \mathbf{Z}} \mathcal{L}^{\otimes n} \]

such that the following diagram commutes

\[ \xymatrix{ \mathcal{A}^{(d)} \ar[rr]_-{\psi } \ar[rd]_-{\psi _{univ}} & & f_*\left( \bigoplus \nolimits _{n \in \mathbf{Z}} \mathcal{L}^{\otimes n} \right) \\ & \pi _*\left( \bigoplus \nolimits _{n \geq 0} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(nd) \right) \ar[ru]_\theta } \]

The commutativity of this diagram uniquely determines $\theta $.

Proof. Note that the quadruple $(f : T \to S, d, \mathcal{L}, \psi )$ defines an element of $F_ d(T)$. Let $U_ d \subset \underline{\text{Proj}}_ S(\mathcal{A})$ be the locus where the sheaf $\mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(d)$ is invertible and generated by the image of $\psi _{univ} : \pi ^*\mathcal{A}_ d \to \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(d)$. Recall that $U_ d$ represents the functor $F_ d$, see the proof of Lemma 27.16.5. Hence the result will follow if we can show the quadruple $(U_ d \to S, d, \mathcal{O}_{U_ d}(d), \psi _{univ}|_{\mathcal{A}^{(d)}})$ is the universal family, i.e., the representing object in $F_ d(U_ d)$. We may do this after restricting to an affine open of $S$ because (a) the formation of the functors $F_ d$ commutes with base change (see Lemma 27.16.1), and (b) the pair $(\bigoplus _{n \in \mathbf{Z}} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(n), \psi _{univ})$ is constructed by glueing over affine opens in $S$ (see Lemma 27.15.5). Hence we may assume that $S$ is affine. In this case the functor of quadruples $F_ d$ and the functor of triples $F_ d$ agree (see proof of Lemma 27.16.2) and moreover Lemma 27.12.2 shows that $(d, \mathcal{O}_{U_ d}(d), \psi ^ d)$ is the universal triple over $U_ d$. Going backwards through the identifications in the proof of Lemma 27.16.2 shows that $(U_ d \to S, d, \mathcal{O}_{U_ d}(d), \psi _{univ}|_{\mathcal{A}^{(d)}})$ is the universal quadruple as desired. $\square$

Lemma 27.16.9. Let $S$ be a scheme and $\mathcal{A}$ be a quasi-coherent sheaf of graded $\mathcal{O}_ S$-algebras. The morphism $\pi : \underline{\text{Proj}}_ S(\mathcal{A}) \to S$ is separated.

Proof. To prove a morphism is separated we may work locally on the base, see Schemes, Section 26.21. By construction $\underline{\text{Proj}}_ S(\mathcal{A})$ is over any affine $U \subset S$ isomorphic to $\text{Proj}(A)$ with $A = \mathcal{A}(U)$. By Lemma 27.8.8 we see that $\text{Proj}(A)$ is separated. Hence $\text{Proj}(A) \to U$ is separated (see Schemes, Lemma 26.21.13) as desired. $\square$

Lemma 27.16.10. Let $S$ be a scheme and $\mathcal{A}$ be a quasi-coherent sheaf of graded $\mathcal{O}_ S$-algebras. Let $g : S' \to S$ be any morphism of schemes. Then there is a canonical isomorphism

\[ r : \underline{\text{Proj}}_{S'}(g^*\mathcal{A}) \longrightarrow S' \times _ S \underline{\text{Proj}}_ S(\mathcal{A}) \]

as well as a corresponding isomorphism

\[ \theta : r^*\text{pr}_2^*\left(\bigoplus \nolimits _{d \in \mathbf{Z}} \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(d)\right) \longrightarrow \bigoplus \nolimits _{d \in \mathbf{Z}} \mathcal{O}_{\underline{\text{Proj}}_{S'}(g^*\mathcal{A})}(d) \]

of $\mathbf{Z}$-graded $\mathcal{O}_{\underline{\text{Proj}}_{S'}(g^*\mathcal{A})}$-algebras.

Proof. This follows from Lemma 27.16.1 and the construction of $\underline{\text{Proj}}_ S(\mathcal{A})$ in Lemma 27.16.5 as the union of the schemes $U_ d$ representing the functors $F_ d$. In terms of the construction of relative Proj via glueing this isomorphism is given by the isomorphisms constructed in Lemma 27.11.6 which provides us with the isomorphism $\theta $. Some details omitted. $\square$

Lemma 27.16.11. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of graded $\mathcal{O}_ S$-modules generated as an $\mathcal{A}_0$-algebra by $\mathcal{A}_1$. In this case the scheme $X = \underline{\text{Proj}}_ S(\mathcal{A})$ represents the functor $F_1$ which associates to a scheme $f : T \to S$ over $S$ the set of pairs $(\mathcal{L}, \psi )$, where

  1. $\mathcal{L}$ is an invertible $\mathcal{O}_ T$-module, and

  2. $\psi : f^*\mathcal{A} \to \bigoplus _{n \geq 0} \mathcal{L}^{\otimes n}$ is a graded $\mathcal{O}_ T$-algebra homomorphism such that $f^*\mathcal{A}_1 \to \mathcal{L}$ is surjective

up to strict equivalence as above. Moreover, in this case all the quasi-coherent sheaves $\mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}(n)$ are invertible $\mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}$-modules and the multiplication maps induce isomorphisms $ \mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}(n) \otimes _{\mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}} \mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}(m) = \mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}(n + m)$.

Proof. Under the assumptions of the lemma the sheaves $\mathcal{O}_{\underline{\text{Proj}}(\mathcal{A})}(n)$ are invertible and the multiplication maps isomorphisms by Lemma 27.16.5 and Lemma 27.12.3 over affine opens of $S$. Thus $X$ actually represents the functor $F_1$, see proof of Lemma 27.16.5. $\square$


Comments (0)


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 01NS. Beware of the difference between the letter 'O' and the digit '0'.