{"id":583,"date":"2010-06-29T20:58:44","date_gmt":"2010-06-29T20:58:44","guid":{"rendered":"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=583"},"modified":"2010-06-29T20:58:44","modified_gmt":"2010-06-29T20:58:44","slug":"families-of-algebraic-spaces","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=583","title":{"rendered":"Families of algebraic spaces"},"content":{"rendered":"<p>Let U be a scheme. Let us define a <em>family of d dimensions proper algebraic spaces over U<\/em> to be a morphism X &#8212;> U from an algebraic space X to U which is flat, proper, locally of finite presentation, such that all geometric fibres are equidimensional of dimension d. Let <em>Fam<\/em>_d denote that full subcategory of the stack <em>Spaces<\/em> whose objects X\/U are families of d dimensions proper algebraic spaces. Then as discussed in <a href=\"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=573\">the preceding post<\/a> we conclude that <em>Fam<\/em>_d is a stack over (Sch).<\/p>\n<p>In this post I want to point out that for this to work out it is absolutely necessary that we work inside the category of algebraic spaces, and not with schemes. Let me start discussing the low dimensions.<\/p>\n<p>[d = 0] It is a fact that any family X &#8212;> U of 0-dimensional proper algebraic spaces over a scheme U is automatically represented by a scheme. This follows from <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=03XX\">Proposition Tag 03XX<\/a>.<\/p>\n<p>[d = 1] Let X &#8212;> U be a family of 1-dimensional proper algebraic spaces over a scheme U. Then etale locally on U the space X is projective over U (in particular a scheme). But, even if you assume the fibres of X &#8212;> U are geometrically integral it is <strong>not<\/strong> the case that Zariski locally on U the space X is a scheme. An explicit example is the example of non-effective descent in Bosch-Lutkebohmert-Raynaud, Neron Models, Section 6.7 (since after all in <em>Fam<\/em>_1 we do have effective descent).<\/p>\n<p>[d = 2] Here there are even examples of X &#8212;> U where all fibres are smooth projective surfaces, and U is a smooth curve, but the total space is an algebraic space and not a scheme. The examples comes from degenerating a general degree 513* surface in P^3 to a surface with a single node and doing a small resolution of the node on the total space (after performing a 2:1 base change). Moreover, there is no finite type, faithfully flat base change after which X becomes a scheme.<\/p>\n<p>So you see that in order to do moduli of geometrically very interesting objects it is really convenient to work with algebraic spaces! In fact, if you don&#8217;t then you will not see all of the families that you want to see&#8230;<\/p>\n<p>*Footnote: Degree 514 works also, and degree 21 too, and&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Let U be a scheme. Let us define a family of d dimensions proper algebraic spaces over U to be a morphism X &#8212;> U from an algebraic space X to U which is flat, proper, locally of finite presentation, &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=583\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-583","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/583","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=583"}],"version-history":[{"count":7,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/583\/revisions"}],"predecessor-version":[{"id":590,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/583\/revisions\/590"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=583"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=583"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=583"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}