Coherent sheaves on projective space over a general ring - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T11:36:36Z http://mathoverflow.net/feeds/question/58156 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/58156/coherent-sheaves-on-projective-space-over-a-general-ring Coherent sheaves on projective space over a general ring Martin Brandenburg 2011-03-11T14:21:15Z 2011-03-11T18:39:43Z <p>Let $K$ be a field and $n \geq 0$. Serre proved that $\text{Qcoh}_f(\mathbb{P}^n_K)$ is equivalent to the localization of $\text{grMod}_f(K[x_0,...,x_n])$, in which the inclusions $M_{\geq a} \to M$ become inverted. Here the index $f$ means "finitely presented".</p> <p>What happens if we replace $K$ by an arbitrary ring? If it fails in general, what happens for nice rings, for example finitely generated reduced algebras over a field, or just $\mathbb{Z}$? If it even fails in that case, are the categories equivalent after passing to the ind-categories?</p> <p>Let me elaborate a bit the question: Let $R$ be a ring. Define the following category $C$. Objects are finitely presented graded $R[x_0,...,x_n]$-modules (it's OK for me to restrict to $R$ noetherian, so that in this case these are just the finitely generated graded modules). Alternatively and perhaps a little bit more naturally in this context, we could take graded modules $M$ as objects such that there is some $a$ such that $M_{\geq a}$ is finitelys presented. A morphism in $C$ is an equivalence class of homomorphisms of graded modules. Here two homomorphisms $f,g : M \to N$ are equivalent iff they are equals in all large degrees, i.e. if there is some integer $a$ such that $f_{\geq a} = g_{\geq a}$. Then we have a functor $C \to \text{Qcoh}_f(\mathbb{P}^n_R), M \mapsto \widetilde{M}$. If $R$ is a field, then in Serre's FAC (Faisceaux Algebriques Coherents, III.3., Prop. 5 and Prop. 6) states that this functor is an equivalence of categories. Perhaps we can just use the same proof to generalize it to other rings, too?</p> http://mathoverflow.net/questions/58156/coherent-sheaves-on-projective-space-over-a-general-ring/58185#58185 Answer by Torsten Wedhorn for Coherent sheaves on projective space over a general ring Torsten Wedhorn 2011-03-11T18:39:43Z 2011-03-11T18:39:43Z <p>Serre's proof can indeed be generalized to noetherian rings - or even noetherian schemes - once you have proved that for a projective morphism between (locally) noetherian schemes the higher direct images of coherent sheaves are again coherent. You find all the arguments in EGA III, Section 2.3, in particular Scholie (2.3.3) answers your question affirmatively for noetherian rings.</p>