Lemma 27.12.2 (01N9)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 27: Constructions of Schemes
Section 27.12: Morphisms into Proj
Lemma 27.12.2 (cite)

previous lemma
next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 27.12.2. Let $S$ be a graded ring. Let $X = \text{Proj}(S)$ . The open subscheme $U_ d \subset X$ (27.12.0.1) represents the functor $F_ d$ and the triple $(d, \mathcal{O}_{U_ d}(d), \psi ^ d)$ defined above is the universal family (see Schemes, Section 26.15).

Proof. This is a reformulation of Lemma 27.12.1 $\square$

Comments (0)

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 (0)

Post a comment