Quasi-coherent sheaves in the Functor-of-points approach - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:22:02Z http://mathoverflow.net/feeds/question/16427 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach Quasi-coherent sheaves in the Functor-of-points approach babubba 2010-02-25T18:12:17Z 2010-03-08T22:44:31Z <p>How do we define quasi-coherent sheaves on schemes?</p> <p>Say we start by defining the category of affine schemes Aff as CRing$^{op}$ (the opposite category of unitary commutative rings). In this context we have an obvious way to define quasi-coherent sheaves:</p> <p>A quasi-coherent sheaf on an affine scheme X=Spec A is just an A-module.</p> <p>If we now define schemes as presheaves on Aff (satisfying some condition), how do we define what a quasi-coherent sheaf is? The same question applies also to the operations of pushforward and pullback, which in Aff have obvious definitions.</p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/16436#16436 Answer by Dinakar Muthiah for Quasi-coherent sheaves in the Functor-of-points approach Dinakar Muthiah 2010-02-25T19:06:12Z 2010-02-25T19:15:19Z <p>You can define a quasicoherent sheaf on a functor $X : \mathrm{AffSch^{op}} \rightarrow \mathrm{Set}$ as a choice of a module $R$ module $F_x$ for every $x \in X(\mathrm{Spec}R)$ along with some compatibility isomorphisms. If $X$ is the functor of points of scheme, and $F$ is a an honest quasicoherent sheaf on this scheme, then $F_x$ is just the pullback to $\mathrm{Spec} R$ via the map $x$. The compatibility isomorphisms that we require are the ones that naturally arise from pseudo-functoriality of the pullback. The details are given in the second page of the following notes of a lecture by Jacob Lurie <a href="http://www.math.harvard.edu/~gaitsgde/grad_2009/SeminarNotes/Nov17-19(Crystals).pdf" rel="nofollow">http://www.math.harvard.edu/~gaitsgde/grad_2009/SeminarNotes/Nov17-19(Crystals).pdf</a>.</p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/16437#16437 Answer by David Zureick-Brown for Quasi-coherent sheaves in the Functor-of-points approach David Zureick-Brown 2010-02-25T19:08:30Z 2010-02-25T19:08:30Z <p>The definition in EGA I of a quasi-coherent sheaf is a little different, they define a quasi-coherent sheaf of modules as a sheaf of modules which locally has a presentation. You can then prove that on an affine scheme there exists a global presentation and use this to recover the `M-tilde' definition. This generalizes to any site (and in particular to algebraic stacks, where it is equivalent to something in the spirit of Dinakar's answer); check the <a href="http://math.columbia.edu/algebraic_geometry/stacks-git/locate.php?tag=03DL" rel="nofollow">stacks project notes</a> for more.</p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/16438#16438 Answer by Zoran Škoda for Quasi-coherent sheaves in the Functor-of-points approach Zoran Škoda 2010-02-25T19:14:16Z 2010-02-25T19:14:16Z <p>The corresponding <a href="http://ncatlab.org/nlab/show/quasicoherent+sheaf" rel="nofollow">nlab page</a> has several approaches to the definition of quasicoherent sheaves of O-modules including some in functor of points approach, in various degrees of abstractness. All these definitions while simultaneously applicable define equivalent categories. This works not only for (qcoh modules) over schemes but over more general functors *(e.g. stacks) on Aff. Look also for some quoted references there, including Orlov's paper mentioned by Zhang in the comment above. </p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/16472#16472 Answer by David Ben-Zvi for Quasi-coherent sheaves in the Functor-of-points approach David Ben-Zvi 2010-02-26T03:27:34Z 2010-02-26T03:27:34Z <p>You can define the category of quasicoherent sheaves on a scheme or stack (or an arbitrary functor) as the limit over all affines Spec R mapping to the stack of the categories R-Mod. You will need some descent theorem however to compare this with a more usual definition. The same definition works for the ($\infty$-categorical refinement of) the derived category of quasicoherent sheaves. (I learned this from Toen's survey on Higher and Derived Stacks).</p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/16482#16482 Answer by Yuhao Huang for Quasi-coherent sheaves in the Functor-of-points approach Yuhao Huang 2010-02-26T06:37:52Z 2010-02-26T06:37:52Z <p>Seems like people answered this question with many high-brow point of views. But I think it is still worth mentioning that given a Functor F from Schemes^{op} to Sets, a down to earth way to talk about it is to give a q.coh. sheaf on F is equivalent to give a q.coh. sheaf on X for any element of F(X), in a compatible way such that pull-backs give compatible data and some cocycle conditions are satisfied.</p> http://mathoverflow.net/questions/16427/quasi-coherent-sheaves-in-the-functor-of-points-approach/17544#17544 Answer by babubba for Quasi-coherent sheaves in the Functor-of-points approach babubba 2010-03-08T22:44:31Z 2010-03-08T22:44:31Z <p>For the non-experts out there, I've found this great expository article by Gomez <a href="http://arxiv.org/PS_cache/math/pdf/9911/9911199v1.pdf" rel="nofollow">http://arxiv.org/PS_cache/math/pdf/9911/9911199v1.pdf</a></p> <p>Quasi-coherent sheaves are defined in Definition 2.45 (the same way Dinakar and Yuhao defined them)</p>