User steven gro - MathOverflowmost recent 30 from http://mathoverflow.net2013-05-22T01:53:25Zhttp://mathoverflow.net/feeds/user/24978http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/101630/cohomology-groups-interpreted-as-sheafsCohomology groups interpreted as sheafsSteven Gro2012-07-08T08:57:20Z2012-07-08T11:46:19Z
<p>Hi Folks,</p>
<p>I just came across a few lines where a (sheaf-)cohomology group of a scheme is treated as a sheaf. I've never seen this in Hartshorne.
Could you give any reference for this?</p>
<p>Thanks</p>
<p>Steven</p>
http://mathoverflow.net/questions/101630/cohomology-groups-interpreted-as-sheafs/101636#101636Comment by Steven GroSteven Gro2012-07-08T11:16:45Z2012-07-08T11:16:45ZThanks for your wonderful answer. Just a small correction: It's Section 8 :-)http://mathoverflow.net/questions/101630/cohomology-groups-interpreted-as-sheafsComment by Steven GroSteven Gro2012-07-08T10:10:43Z2012-07-08T10:10:43ZHey Dan, thanks for your answer. To specify my question:
The text I am reading is: <a href="http://www.math.utah.edu/~bertram/courses/hilbert/ps/hilbert.ps" rel="nofollow">math.utah.edu/~bertram/courses/hilbert/ps/…</a>
On page 6 Bertram is proving the existence of the hilbert scheme and defines a grassmannian $G(P'(d_0),H^0 (\mathbb{P}^{m}_{A}, \mathcal{O}^{n}_{\mathbb{P}^{m}_{A}} (l + d_0)))$. I think that he is using $H^0 (\mathbb{P}^{m}_{A}, \mathcal{O}^{n}_{\mathbb{P}^{m}_{A}} (l + d_0)))$ as a sheaf, otherwise this notation wouldn't fit his definition of the grassmannian from the beginning of the document. Thanks in advance to all of you!