{"id":4019,"date":"2015-06-16T20:07:11","date_gmt":"2015-06-16T20:07:11","guid":{"rendered":"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=4019"},"modified":"2015-06-16T20:07:11","modified_gmt":"2015-06-16T20:07:11","slug":"update-24","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=4019","title":{"rendered":"Update"},"content":{"rendered":"<p>Since the last <a href=\"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=3935\">update of October 2014<\/a> we have added the following material:<\/p>\n<ol>\n<li>Structure modules over PIDs following Warfield <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0ASL\">Tag 0ASL<\/a><\/li>\n<li>Correct proof of <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/05U9\">Lemma Tag 05U9<\/a> thanks to Ofer Gabber<\/li>\n<li>A flat ring map which is not a directed colimit of flat finitely presented ring maps <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0ATE\">Tag 0ATE<\/a><\/li>\n<li>Glueing dualizing complexes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AU5\">Tag 0AU5<\/a><\/li>\n<li>Trace maps <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AWG\">Tag 0AWG<\/a><\/li>\n<li>Duality for a finite morphism <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AWZ\">Tag 0AWZ<\/a><\/li>\n<li>Grauert-Riemenschneider for surfaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AX7\">Tag 0AX7<\/a><\/li>\n<li>Torsion free modules <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AVQ\">Tag 0AVQ<\/a><\/li>\n<li>Reflexive modules <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AVT\">Tag 0AVT<\/a><\/li>\n<li>Finiteness theorem for f_* <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AW7\">Tag 0AW7<\/a><\/li>\n<li>Fix definition of depth (thanks to Burt) <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/00LE\">Tag 00LE<\/a> and <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AVY\">Tag 0AVY<\/a><\/li>\n<li>Characterizing universally catenary rings <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AW1\">Tag 0AW1<\/a><\/li>\n<li>Improved section on Jacobson spaces thanks to Juan Pablo Acosta Lopez <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/005T\">Tag 005T<\/a><\/li>\n<li>Faithfully flat descent of ML modules thanks to Juan Pablo Acosta Lopez <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/05A5\">Tag 05A5<\/a><\/li>\n<li>Improvements to the chapter on Chow homology <a href=\"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=3989\">discussed here<\/a><\/li>\n<li>Degrees of vector bundles on curves <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AYQ\">Tag 0AYQ<\/a><\/li>\n<li>Degrees of zero cycles <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AZ0\">Tag 0AZ0<\/a> and how this relates to degrees of vector bundles and with numerical intersections<\/li>\n<li>Quotient by category of torsion modules thanks to Ingo Blchschmidt <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B0J\">Tag 0B0J<\/a><\/li>\n<li>New chapter on intersection theory <a href=\"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=3996\">discussed here<\/a><\/li>\n<li>Example of different colimit topologies <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B2Y\">Tag 0B2Y<\/a><\/li>\n<li>Section on topological groups, rings, modules <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B1Y\">Tag 0B1Y<\/a><\/li>\n<li>Section on tangent spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B28\">Tag 0B28<\/a><\/li>\n<li>A bunch of material on (quasi-)projectivity, for example <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B41\">Tag 0B41<\/a> and <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B44\">Tag 0B44<\/a><\/li>\n<li>Glueing in a modification <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B3W\">Tag 0B3W<\/a> at a point of a scheme<\/li>\n<li>Improved material on sober spaces thanks to Fred Rohrer <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/004U\">Tag 004U<\/a><\/li>\n<li>Riemann-Roch and duality for curves <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B5B\">Tag 0B5B<\/a><\/li>\n<li>Fix idiotic mistake about graded projective modules, thanks to Rishi Vyas <a href=\"https:\/\/github.com\/stacks\/stacks-project\/commit\/425b751d9bf892cef67826623c17280e481170dc\">read his explanation on github<\/a><\/li>\n<li>Base change map in duality <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AA5\">Tag 0AA5<\/a> is often an isomorphism (<a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AA8\">Tag 0AA8<\/a>) and commutes with base change <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0AWG\">Tag 0AWG<\/a><\/li>\n<li>Bunch of changes thanks to <a href=\"https:\/\/github.com\/stacks\/stacks-project\/commits?author=darijgr\">Darij Grinberg<\/a><\/li>\n<li>Material on group schemes over fields <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/047J\">Tag 047J<\/a><\/li>\n<li>Material on (locally) algebraic group schemes over fields <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BF6\">Tag 0BF6<\/a><\/li>\n<li>Thickenings of quasi-affine schemes are quasi-affine <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B7L\">Tag 0B7L<\/a><\/li>\n<li>Minimal closed subspaces which aren&#8217;t schemes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B7X\">Tag 0B7X<\/a><\/li>\n<li>Monomorphisms of algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B89\">Tag 0B89<\/a><\/li>\n<li>Change of base field and schematic locus <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B82\">Tag 0B82<\/a><\/li>\n<li>Separated group algebraic spaces over fields are schemes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B8G\">Tag 0B8G<\/a><\/li>\n<li>Picard scheme of smooth projective curves over algebraically closed fields <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0B92\">Tag 0B92<\/a><\/li>\n<li>Improved discussion of invertible modules&#8230; (too ashamed to put a link here)<\/li>\n<li>Jacobson algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BA2\">Tag 0BA2<\/a><\/li>\n<li>Nagata spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BAT\">Tag 0BAT<\/a><\/li>\n<li>For an algebraic space: locally Noetherian + decent => quasi-separated <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BB6\">Tag 0BB6<\/a><\/li>\n<li>Various improvements on rational and birational maps <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/01RR\">Tag 01RR<\/a>, <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/01RN\">Tag 01RN<\/a>, and <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BAJ\">Tag 0BAJ<\/a><\/li>\n<li>Dimension formula for algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BAW\">Tag 0BAW<\/a><\/li>\n<li>Generically finite morphisms of algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BBA\">Tag 0BBA<\/a><\/li>\n<li>Birational morphisms of algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0ACU\">Tag 0ACU<\/a><\/li>\n<li>Elementary etale neighbourhoods on algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/03IG\">Tag 03IG<\/a><\/li>\n<li>Complements of affine opens have codimension 1 <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BCQ\">Tag 0BCQ<\/a><\/li>\n<li>Norms of invertible modules <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BCX\">Tag 0BCX<\/a> which allows us to descend ample invertible modules<\/li>\n<li>Descending (quasi-)projectivity through field extensions <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BDB\">Tag 0BDB<\/a><\/li>\n<li>Section on splitting complexes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BCF\">Tag 0BCF<\/a> for better handling of local structure of perfect complexes<\/li>\n<li>Section on stably free modules <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BC2\">Tag 0BC2<\/a><\/li>\n<li>Jumping loci for perfect complexes on schemes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BDH\">Tag 0BDH<\/a><\/li>\n<li>Applications of cohomology and base change <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BDM\">Tag 0BDM<\/a><\/li>\n<li>Theorem of the cube <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BEZ\">Tag 0BEZ<\/a><\/li>\n<li>Weil divisors on locally Noetherian schemes <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BE0\">Tag 0BE0<\/a><\/li>\n<li>The Weil divisor class associated to an invertible module <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/02SE\">Tag 02SE<\/a><\/li>\n<li>K\\&#8221;unneth formula for schemes over a field <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BEC\">Tag 0BEC<\/a><\/li>\n<li>Algebraic group schemes are quasi-projective <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BF7\">Tag 0BF7<\/a><\/li>\n<li>Numerical intersections <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BEL\">Tag 0BEL<\/a><\/li>\n<li>Section on abelian varieties <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BF9\">Tag 0BF9<\/a> containing just enough for our use later<\/li>\n<li>Tried to improve the exposition of convergence for spectral sequences using terminology mostly as in Weibel; still very far from perfect<\/li>\n<li>Long overdue characterization of algebraic spaces <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BGQ\">Tag 0BGQ<\/a><\/li>\n<li>Chapters on resolution of surface singularities <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0ADX\">one for schemes<\/a> and <a href=\"http:\/\/stacks.math.columbia.edu\/tag\/0BH7\">one for algebraic spaces<\/a>\n<\/ol>\n<p>Enjoy!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Since the last update of October 2014 we have added the following material: Structure modules over PIDs following Warfield Tag 0ASL Correct proof of Lemma Tag 05U9 thanks to Ofer Gabber A flat ring map which is not a directed &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=4019\">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-4019","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\/4019","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=4019"}],"version-history":[{"count":2,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/4019\/revisions"}],"predecessor-version":[{"id":4021,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/4019\/revisions\/4021"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4019"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4019"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}