Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T07:22:23Z http://mathoverflow.net/feeds/question/14486 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) Harry Gindi 2010-02-07T12:04:42Z 2010-02-20T14:28:30Z <h2>Speculation and background</h2> <p>Let $\mathcal{C}:=CRing^{op}_{Zariski}$, the affine Zariski site. Consider the category of sheaves, $Sh(\mathcal{C})$. </p> <p>According to nLab, schemes are those sheaves that "have a cover by Zariski-open immersions of affine schemes in the category of presheaves over Aff."</p> <p>In SGA 4.1.ii.5 Grothendieck defines a further topology on $Sh(\mathcal{C})$ using a "familles couvrantes", which are families of morphisms <code>$\{U_i \to X\}$</code> such that the induced map $\coprod U_i \to X$ is an epimorphism. Further, he gives another definition. A family of morphisms <code>$\{U_i \to X\}$</code> is called "bicouvrante" if it is a "famille couvrante" and the map $\coprod U_i \to \coprod U_i \times_X \coprod U_i$ is an epimorphism. [Note: This is given for a <em>general</em> category of sheaves on a site, not sheaves on our affine Zariski site.]</p> <p>Speculation: I assume that the nLab definition means that we have a (bi)covering family of open immersions of representables, but as it stands, we do not have a sufficiently good definition of an open immersion, or equivalently, open subfunctor.</p> <p>It seems like the notion of a bicovering family is very important, because this is precisely the condition we require on algebraic spaces (if we replace our covering morphisms with etale surjective morphisms in a smart way and require that our cover be comprised of representables).</p> <h2>Questions</h2> <p>What does "open immersion" mean precisely in categorical langauge? How do we define a scheme <em>precisely</em> in our language of sheaves and grothendieck topologies? Preferably, this answer should not depend on our base site. The notion of an open immersion should be a notion that we have in any category of sheaves on any site.</p> <p>Eisenbud and Harris fail to answer this question for the following reason: they rely on classical scheme theory for their definition of an open subfunctor (same thing as an open immersion). If we wish to construct our theory of schemes with no logical prerequisites, this is circular.</p> <p>Once we have this definition, do we require our covering family of open immersions to be a "covering family" or a "bicovering family"?</p> <p>Further, how can we exhibit, in precise functor of points language, the definition of an algebraic space? </p> <p>This last question should be a natural consequence of the previous questions provided they are answered in sufficient generality.</p> http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi/14532#14532 Answer by Jonathan Wise for Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) Jonathan Wise 2010-02-07T18:54:08Z 2010-02-07T19:56:50Z <p>I'm having a little trouble teasing out exactly what your question is, so I'll just write some things about sheaves that seem related and hope they are helpful.</p> <p>Suppose $C$ is a site. Let $\hat{C}$ be its category of presheaves and $\tilde{C}$ its category of sheaves. The topology defined in SGA 4, II.5 is on $\hat{C}$, not on $\tilde{C}$ as you suggest in your question. Its purpose is to give a topology on $\hat{C}$ such that the category of sheaves on $\hat{C}$ (that is, contravariant functors satisfying descent on the category of contravariant functors on $C$) should coincide with the category of sheaves on $C$ (i.e., $\tilde{\hat{C}} = \tilde{C}$).</p> <p>You've got the condition for being bicovering backwards: a map of presheaves $H \rightarrow G$ is called bicovering if it is covering (with respect to the topology on $C$) and its diagonal $H \rightarrow H \times_G H$ is also covering. (What it means for a map of sheaves to be covering is that for any map $X \rightarrow G$ with $X$ representable, the sieve of $X$ induced by $H \times_G X$ should be covering.)</p> <p>A Grothendieck topology on $C$ is described by asking certain <i>subfunctors</i> (sieves) of objects of $C$ to be covering. If $H$ is a subfunctor of $G$ then the relative diagonal map is automatically an epimorphism since it is an isomorphism (by definition). The covering sieves of $X$ are the subfunctors of $X$ that become isomorphic to $X$ upon passing to associated sheaves.</p> <p>The bicovering business arises when one wants to study which arbitrary morphisms of presheaves (not just inclusions) become isomorphisms upon passing to associated sheaves. The notion of a covering morphism of presheaves explains which morphisms become surjections of sheaves. The question then remains: which morphisms become injections? A map of sheaves is an injection if and only if its relative diagonal is a surjection, so the condition is that the relative diagonal be a covering map.</p> http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi/14566#14566 Answer by Shizhuo Zhang for Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) Shizhuo Zhang 2010-02-07T22:36:55Z 2010-02-07T22:36:55Z <p>Check out the paper of Kontsevich-Rosenberg <a href="http://www.mpim-bonn.mpg.de/preprints/send?bid=2331" rel="nofollow">noncommutative space.</a>, they defined formally open immersion and open immersion completely functorial way. This definition is nothing to do with "noncommutative" </p> <p>Definition: Formally open immersion is formally smooth monomorphism.</p> <p>But one thing need to point out, they are working on Q-category which is a generalization of Grothendieck topologies(destination is dealing with topology without base change property).But just disregard this notion and work in usual grothendieck topology as you want</p> http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi/14585#14585 Answer by James Borger for Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) James Borger 2010-02-08T01:40:28Z 2010-02-08T01:40:28Z <p>I'm not sure if this will satisfy you, but a map of schemes is an open immersion if and only if it is an etale monomorphism. Etale means, by definition, formally etale and locally of finite presentation, both of which conditions have simple formulations in terms of functors of points, from Rings to Sets. Likewise, a map of schemes is a monomorphism if and only if the map of underlying functors is a monomorphism.</p> http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi/15272#15272 Answer by LRG for Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) LRG 2010-02-14T17:01:27Z 2010-02-14T17:01:27Z <p>A morphism of sheaves $f: X \to Y$ in the fpqc topology on $Aff$ [covers are <em>finite</em> universally epimorphic families $(Spec(R_i)\to Spec(R))_i$ in $Aff$ with each morphism $Spec(R_i)\to Spec(R)$ flat] is representable by open immersions of schemes if and only if:</p> <p>1) for all local schemes $Spec(R)$ with closed point $Spec(k)$ (in the category $Sh/Y$) the natural map $Hom_Y(Spec(R), X) \to Hom_Y(Spec(k), X)$ is bijection [or with condition 3) below, just surjective].</p> <p>2) it is locally finitely presented (in the presheaf theoretical sense).</p> <p>3) it is a monomorphism.</p> <p>Notes: a) Conditions 1) and 2) only are equivalent to the map being representable by "local isomorphisms of schemes" for example the map $X \to \mathbf{A}^1$ where $X$ is the affine line with the original double and the map just folds in the double point. However, these maps are 'no good' (i.e. they do not satisfy fpqc descent).</p> <p>b) A scheme is a sheaf $X$ in the fpqc topology on $Aff$ such that there exists a cover (in the canonical topology on $Sh$) by affine schemes $(Spec(R_i)\to X)_i$ with each map $Spec(R_i)\to X$ satisfing the conditions above.</p> <p>c) I haven't checked but I'm pretty sure this will work with the other natural topologies (fppf, etale, Zariski).</p> http://mathoverflow.net/questions/14486/precise-definition-of-a-scheme-key-question-how-to-define-an-open-subfunctor-wi/15896#15896 Answer by Daniel Bergh for Precise definition of a scheme (Key question: How to define an open subfunctor without resorting to classical scheme theory) Daniel Bergh 2010-02-20T14:28:30Z 2010-02-20T14:28:30Z <p>I'm not sure if this is what you are after, but when I started to look at Grothendieck-topologies I thought of being an open immersion as a topological property; somehow it should be possible to recover all open immersions from the topology, and if we changed the topology to the etalé site, the same method should give us the etalé maps as "open immersions". </p> <p>Unfortunately, I doubt this is possible (it would be kind of nice if it were, so please correct me if I'm wrong). The reason why I was fooled to try, was probably due to the topological flavour of the term <em>open</em> immersion. But passing to the Grothendieck topology loses information about our model covering maps we started with. For instance, if {U_i -> U} is a covering, then a sheaf F would satisfy the sheaf condition also for the set {U_i -> U} U {A -> U}, the latter being an arbitrary morphism.</p> <p>Instead I think it is more correct to think of the property of being an open immersion as something that we know what it is in our base category (affine schemes) and want to generalise to our new, larger category.</p> <p>That said, we must look for the correct definition of open immersion in our base category. We want it to be something that is the "complement" of a closed immersion. Let F be a subfunctor of spec A. Pulling it back along spec A/I -> spec A should give us the zero scheme. Now define the complement of spec A/I as the most general subfunctor F of spec A satisfying this (i.e take the categorical limit). I've not done the details, but I suspect this gives the right concept and that a concrete description of what the subfunctor looks like would be as in exercise VI.6 in E-H. Extending it to representable morphisms of sheaves (in any reasonable topology) is now straight forward using pull-backs.</p>