"synthetic" reasoning applied to algebraic geometry - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T13:53:13Z http://mathoverflow.net/feeds/question/606 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/606/synthetic-reasoning-applied-to-algebraic-geometry "synthetic" reasoning applied to algebraic geometry Urs Schreiber 2009-10-15T16:09:36Z 2010-01-08T15:40:25Z <blockquote> A hyperlinked and more detailed version of this question is at <a href="http://ncatlab.org/nlab/show/synthetic+differential+geometry+applied+to+algebraic+geometry" rel="nofollow">nLab:synthetic differential geometry applied to algebraic geometry</a>. Repliers are kindly encouraged to copy-and-paste relevant bits of their reply here into that wiki page. </blockquote> <p>The axioms of synthetic differential geometry are intended to pin down the minimum abstract nonsense necessary for talking about the differential aspect of differential geometry using concrete objects that model infinitesimal spaces.</p> <p>But the typical models for the axioms – the typical smooth toposes – are constructed in close analogy to the general mechanism of algebraic geometry: well-adapted models for smooth toposes use sheaves on C ∞Ring op (the opposite category of smooth algebras) where spaces in algebraic geometry (such as schemes) uses sheaves on CRing op.</p> <p>In fact, for instance also the topos of presheaves on k−Alg op, which one may think of as being a context in which much of algebraic geometry over a field k takes place, happens to satisfy the axioms of a smooth topos (see the examples there).</p> <p>This raises some questions.</p> <p>Quesions:</p> <p>To which degree do results in algebraic geometry depend on the choice of site CRing op or similar?</p> <p>To which degree are these results valid in a much wider context of any smooth topos, or smooth topos with certain extra assumptions?</p> <p>In the general context of structured (∞,1)-toposes and generalized schemes: how much of the usual lore depends on the choice of the (simplicial)ring-theoretic Zariski or etale (pre)geometry (for structured (∞,1)-toposes), how much works more generally?</p> <p>More concretely:</p> <p>To which degree can the notion of quasicoherent sheaf generalize from a context modeled on the site CRing to a more general context. What is, for instance, a quasicoherent sheaf on a derived smooth manifold? If at all? What on a general generalized scheme, if at all?</p> <p>Closely related to that: David Ben-Zvi et al have developed a beautiful theory of integral transforms on derived ∞-stacks.</p> <p>But in their construction it is always assumed that the underlying site is the (derived) algebraic one, something like simplicial rings.</p> <p>How much of their construction actually depends on that assumption? How much of this work carries over to other choices of geometries?</p> <p>For instance, when replacing the category of rings /affine schemes in this setup with that of smooth algebra / smooth loci, how much of the theory can be carried over?</p> <p>It seems that the crucial and maybe only point where they use the concrete form of their underlying site is the definition of quasicoherent sheaf on a derived stack there, which uses essentially verbatim the usual definition QC(−):Spec(A)↦AMod.</p> <p>What is that more generally? What is AMod for A a smooth algebra? (In fact I have an idea for that which I will describe on the wiki page in a moment. But would still be interested in hearing opinions.)</p> <p>Maybe there is a more intrinsic way to say what quasicoherent sheaves on an ∞-stack are, such that it makes sense on more general generalized schemes.</p> http://mathoverflow.net/questions/606/synthetic-reasoning-applied-to-algebraic-geometry/777#777 Answer by unknown (google) for "synthetic" reasoning applied to algebraic geometry unknown (google) 2009-10-16T18:57:10Z 2009-10-16T18:57:10Z <p>One idea you might have to give a general (site-independent) definition of quasi-coherent sheaves is to use the internal language of a topos. "Coherent" should then be expressed internally as "finitely presented"(+other conditions maybe) - but topos theorists have not yet found an expression of finiteness, which would in the scheme case capture the right thing. In principle however the strategy could work (not for (oo,1)-toposes though, until we have an adequate language for them). </p> <p>See this discussion, from Lawvere's first two posts downwards:</p> <p><a href="http://www.mta.ca/~cat-dist/catlist/1999/finite-topos" rel="nofollow">http://www.mta.ca/~cat-dist/catlist/1999/finite-topos</a></p> http://mathoverflow.net/questions/606/synthetic-reasoning-applied-to-algebraic-geometry/11155#11155 Answer by Urs Schreiber for "synthetic" reasoning applied to algebraic geometry Urs Schreiber 2010-01-08T15:40:25Z 2010-01-08T15:40:25Z <p>I think I found the answer to the question: it's easy using the basic insight from Lurie's Deformation Theory.</p> <p>I have written up what I think the answer is here: <a href="http://ncatlab.org/schreiber/show/%E2%88%9E-vector+bundle" rel="nofollow">oo-vector bundle</a>.</p>