{"id":84,"date":"2010-02-21T16:29:44","date_gmt":"2010-02-21T16:29:44","guid":{"rendered":"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=84"},"modified":"2010-02-21T16:29:44","modified_gmt":"2010-02-21T16:29:44","slug":"spaces-and-points","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=84","title":{"rendered":"Spaces and points"},"content":{"rendered":"<p>Let X be a reduced algebraic space with 1 point. Then is it true that X is representable by the spectrum of a field?<\/p>\n<p>The answer is no in general. The space [Spec(\\bar{Q})\/Gal(\\bar{Q}\/Q)] of <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=02Z6\">Example Tag 02Z6<\/a> in the stacks project is a counter example.<\/p>\n<p>Currently the best positive result (in the stacks project) is <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=047Z\">Lemma Tag 047Z<\/a> which says that this holds when X is a decent algebraic space.<\/p>\n<p>An algebraic space X is called <em>decent<\/em> if every point of X corresponds to a quasi-compact monomorphism Spec(k) &#8212;&gt; X with k a field. This is not currently the <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=03I8\">definition in the stacks project<\/a>, but it can be shown to be equivalent. It turns out that this is a convenient class of algebraic spaces to work with. It contains all schemes, all quasi-separated algebraic spaces, and likely all locally separated algebraic spaces (David Rydh, private communication). On the other hand a decent algebraic space is a bit like a scheme\u00a0and has &#8220;enough points&#8221; in some sense.<\/p>\n<p>Because there are non-representable 1-point spaces it turns out that the notions of &#8220;radicial&#8221; and &#8220;universally injective&#8221; are not the same for morphisms of algebraic spaces. Namely, the morphism [Spec(\\bar{Q})\/Gal(\\bar{Q}\/Q)] &#8212;&gt; Spec(Q) is universally injective but not radicial (with any reasonable definition of radicial I can think of). Again for decent morphisms this does not happen, see <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=0484\">Lemma Tag 0484<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Let X be a reduced algebraic space with 1 point. Then is it true that X is representable by the spectrum of a field? The answer is no in general. The space [Spec(\\bar{Q})\/Gal(\\bar{Q}\/Q)] of Example Tag 02Z6 in the stacks &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=84\">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-84","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\/84","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=84"}],"version-history":[{"count":8,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/84\/revisions"}],"predecessor-version":[{"id":92,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/84\/revisions\/92"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=84"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=84"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=84"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}