{"id":42,"date":"2010-01-29T15:00:00","date_gmt":"2010-01-29T15:00:00","guid":{"rendered":"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=42"},"modified":"2010-01-29T15:16:33","modified_gmt":"2010-01-29T15:16:33","slug":"artins-trick","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=42","title":{"rendered":"Artin’s trick"},"content":{"rendered":"

In this post<\/a> I mentioned a theorem usually attributed to Michael Artin which basically says that an fppf sheaf which has a flat, finitely presented cover by a scheme is an algebraic space. I am still working on adding this to the stacks project, and more or less all the preliminary work is done.<\/p>\n

But what I wanted to say here is that to prove this one does not have to use “Artin’s trick”. What I mean is the argument in Artin’s versal deformations paper that rests on the following fact: Given a morphism f : X –> Y which is flat and of finite presentation then the space H_n(X\/Y) of length n complete intersections in fibers of f is smooth over Y, and moreover \\coprod_n H_n(X\/Y) –> Y is surjective.<\/p>\n

Instead one can use a slicing argument to go down to relative dimension zero (see Lemma Tag 0461<\/a>) and etale localization of groupoids (see Lemma Tag 03FM<\/a>) to get an etale covering by a scheme (by dividing out by the P-part of the groupoid scheme). Note that the last lemma is a version of Keel-Mori, Proposition 4.2 and that they in their proof use some form of Hilbert schemes also… but they needn’t have and standard etale locailzation techniques would have sufficed.<\/p>\n

Morally speaking it is clear that Hilbert schemes needn’t be considered when proving this result since the original flat finitely presented covering X –> Y might have had relative dimension zero with connected fibres, and then only one H_n(X\/Y) is nonempty (locally on Y), namely that one where n is the relative degree and H_n(X\/Y) = Y. In other words you are just directly proving that Y is an algebraic space!<\/p>\n

On the other hand, as Jarod Alper pointed out, when we try to prove the analogous result for algebraic stacks, then we have to construct a smooth cover which will have in general a positive relative dimension over the stack and the remark in the preceding paragraph doesn’t apply. Of course this was the point of Artin’s trick and this is how he used it in his paper.<\/p>\n","protected":false},"excerpt":{"rendered":"

In this post I mentioned a theorem usually attributed to Michael Artin which basically says that an fppf sheaf which has a flat, finitely presented cover by a scheme is an algebraic space. I am still working on adding this … Continue reading →<\/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-42","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\/42","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=42"}],"version-history":[{"count":7,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/42\/revisions"}],"predecessor-version":[{"id":49,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/42\/revisions\/49"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=42"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=42"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=42"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}