Definition 27.7.1 (062Q)—The Stacks project

Loading web-font TeX/Math/Italic

Definition 27.7.1. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent graded $\mathcal{O}_ S$ -algebra. Assume that $\mathcal{O}_ S \to \mathcal{A}_0$ is an isomorphism ¹. The cone associated to $\mathcal{A}$ or the affine cone associated to $\mathcal{A}$ is

$C(\mathcal{A}) = \underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A}).$

[1] Often one imposes the assumption that

$\mathcal{A}$ is generated by

$\mathcal{A}_1$ over

$\mathcal{O}_ S$ . We do not assume this in order to be consistent with [II, (8.3.1), EGA].

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