{"id":1150,"date":"2016-06-26T21:21:35","date_gmt":"2016-06-27T02:21:35","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=1150"},"modified":"2017-11-01T13:59:44","modified_gmt":"2017-11-01T18:59:44","slug":"an-exceptional-review-of-a-paper-by-bhatt-and-scholze-on-etale-topology","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2016\/06\/26\/an-exceptional-review-of-a-paper-by-bhatt-and-scholze-on-etale-topology\/","title":{"rendered":"An exceptional review of a paper by Bhatt and Scholze on \u00e9tale topology"},"content":{"rendered":"

Another great\u00a0review. \u00a0Here Pieter Belmans<\/a> reviews\u00a0a paper by Bhatt<\/a> and Scholze<\/a> on \u00e9tale topology<\/a>. \u00a0Before describing the authors’ work, Belmans tells us where \u00e9tale topology comes from and why some news ideas\u00a0might be necessary. \u00a0He then gives a quick description of what Bhatt and Scholze are doing and why it is a good thing. \u00a0Once the history and context are in place, Belmans goes through\u00a0the contents of the paper, with plenty of comments to help the reader. \u00a0He concludes by giving\u00a0a reference to the Stacks Project<\/a>, where you can find out lots more about pro-\u00e9tale cohomology.<\/p>\n

Belmans is a mathematician and a coder. He is very involved in the Stacks Project<\/a>. \u00a0 On a smaller scale, he\u00a0wrote a handy\u00a0python script<\/a> that helps MathSciNet users obtain BibTeX versions of the references in a LaTeX file. \u00a0This is an update to a clunky shell script<\/a> to do the same thing.<\/p>\n

\n

MR3379634<\/strong>
\nBhatt, Bhargav<\/a>(1-MI)<\/a>; Scholze, Peter<\/a>(D-BONN)<\/a>
\nThe pro-\u00e9tale topology for schemes.<\/span> (English, French summary)<\/span>
\nAst\u00e9risque<\/em><\/a> No. 369<\/a> (2015), <\/a>99\u2013201. ISBN: 978-2-85629-805-3
\n14F05 (14F20 14F35 14H30 18B25)<\/a><\/p>\n

One of the reasons for the introduction of the \u00e9tale topology was the definition of the $\\ell$<\/span>-adic Weil cohomology theory. In trying to mimic the approach from algebraic topology by using constant sheaves on varieties over some (algebraically closed) field $k$<\/span>, the need for a topology finer than the Zariski topology arises, and the \u00e9tale topology is a reasonable candidate for this. Unfortunately one easily shows that things only work as intended for torsion sheaves, while the goal is to obtain coefficients in a field (of characteristic zero), such as $\\overline{\\Bbb{Q}}_{\\ell}$<\/span>, where $\\ell$<\/span> is prime to the characteristic of $k$<\/span>. So taking sheaf cohomology of the constant sheaf associated to $\\overline{\\Bbb{Q}}_\\ell$<\/span> does not yield satisfactory results. Nevertheless, it is possible to rectify the situation, by defining $\\ell$<\/span>-adic cohomology as the inverse limit of the cohomology of $\\Bbb{Z}\/\\ell^n\\Bbb{Z}$<\/span> in the \u00e9tale topology, and tensoring it with $\\overline{\\Bbb{Q}}_\\ell$<\/span>. It can be shown that this indeed satisfies the axioms for a Weil cohomology theory.<\/p>\n

The price one pays for this approach is that one is not working directly with \u00e9tale sheaves of $\\Bbb{Z}_\\ell$<\/span>– or $\\overline{\\Bbb{Q}}_\\ell$<\/span>-modules, but rather with pro-sheaves of $\\Bbb{Z}\/\\ell^n\\Bbb{Z}$<\/span>-modules. Therefore the usual yoga of setting up sheaf cohomology does not work: one does not get abelian categories and injective resolutions for free. Also checking that the functors constructed in this ad hoc fashion indeed satisfy the axioms for a Weil cohomology theory is hard, because they are not derived functors as such. This becomes only more problematic when one tries to study $\\ell$<\/span>-adic sheaves in a relative setting, where one would like to have an appropriate triangulated category that behaves like the derived category of sheaves. These were obtained by Deligne and later T. Ekedahl [in The Grothendieck Festschrift, Vol. II<\/span>, 197\u2013218, Progr. Math., 87, Birkh\u00e4user Boston, Boston, MA, 1990; MR1106899<\/a>] along the lines of Grothendieck’s ad hoc definition, whilst U. Jannsen’s continuous \u00e9tale cohomology [Math. Ann. 280<\/span> (1988), no. 2, 207\u2013245; MR0929536<\/a>] gives a theory of $\\ell$<\/span>-adic cohomology for non-algebraically closed base fields, where Mittag-Leffler-type conditions are not readily available.<\/p>\n

The paper under review shows how one can overcome these difficulties by changing the underlying site. Indeed, the main result is that $\\ell$<\/span>-adic cohomology truly is sheaf cohomology in the pro-\u00e9tale topos, and that the derived category one obtains naturally in this way is indeed equivalent to the triangulated category constructed in an ad hoc fashion. The reason for this is that this new site has better behaviour with respect to inverse limits, thereby eliminating many of the technicalities one encounters in the classical approach.<\/p>\n

In section 2 the theory of weakly \u00e9tale and pro-\u00e9tale morphisms of rings is introduced in a detailed fashion. A weakly \u00e9tale morphism of rings (also called absolutely flat) is a flat morphism whose diagonal is also flat. A pro-\u00e9tale morphism is an inductive limit of \u00e9tale morphisms of rings. One easily shows that \u00e9tale implies pro-\u00e9tale implies weakly \u00e9tale implies formally \u00e9tale. So these two new notions are weakenings of the finiteness conditions for \u00e9tale morphisms, and various properties are proven.<\/p>\n

In section 3 the notion of replete and locally weakly contractible topos is introduced. A replete topos is one where surjections are closed under sequential limits. It is precisely this property that makes inverse limits behave just like in the category of sets. One sees by virtue of an easy example that the usual topologies (such as Zariski, \u00e9tale or fppf) certainly do not satisfy this property, whilst the fpqc topology (with the usual appropriate set-theoretical precautions) defines a replete topos.<\/p>\n

The notion of locally weakly contractible topos is a strengthening of repleteness, and ensures for instance that the derived category of abelian objects is compactly generated. In the next section it will be shown that the pro-\u00e9tale topology defines such a locally weakly contractible topos. Another important property of replete toposes is that their derived categories are left-complete, which ensures unbounded cohomological descent, without any conditions on the cohomological dimension, which are usually needed for the \u00e9tale site. The remainder of the section is dedicated to studying the behaviour of (derived) completions of rings, first in absolute generality and later specialised to the case of Noetherian constant rings.<\/p>\n

In section 4 one is given the definition of the pro-\u00e9tale topology for schemes: one takes the category of weakly \u00e9tale schemes over the base, and takes covers from the fpqc topology (suitably taking care of set-theoretical issues, as for the fpqc topology). The reason for using weakly \u00e9tale morphisms is that being pro-\u00e9tale is not Zariski local on the target, but the authors show that every weakly \u00e9tale morphism $f\\colon Y\\to X$<\/span> is Zariski locally on $X$<\/span> and locally for the pro-\u00e9tale topology on$Y$<\/span> a pro-\u00e9tale morphism of rings. In other words: the pro-\u00e9tale site is an analogue of the small \u00e9tale site, but the objects are weakly \u00e9tale whilst the coverings are fpqc coverings. The main result is that the pro-\u00e9tale site is subcanonical, generated by affines, and that the topos is locally weakly contractible as defined in the previous section.<\/p>\n

Section 5 is dedicated to the comparison of the \u00e9tale and the pro-\u00e9tale topos. Because every \u00e9tale map is also weakly \u00e9tale, we get a morphism of toposes${\\nu\\colon\\textrm{Shv}(X_{\\text{pro-\u00e9t}})\\to\\textrm{Shv}(X_{\\textrm{\u00e9t}})}$<\/span>. It is shown that $\\nu^*$<\/span> is fully faithful for sheaves of sets and sheaves of abelian groups, and for bounded below complexes. For unbounded complexes the issue regarding left-completeness appears, and extra care is needed, but one can show that (an appropriate subcategory of) the unbounded derived category from the pro-\u00e9tale site realises the left completion of the unbounded derived category from the \u00e9tale site. Finally a comparison with Ekedahl’s and Jannsen’s theory is given.<\/p>\n

The main motivation for the work can be found in section 6, where the notions of constructible sheaves on the two toposes are compared. It is shown how the pro-\u00e9tale approach has completely analogous recollement properties for closed subschemes (resp. descriptions of derived categories supported on locally closed constructible subsets). Then constructibility in the \u00e9tale topology is recalled, and it is shown how constructible complexes form precisely the compact objects of the derived category of $A$<\/span>-modules, where $A$<\/span> is a ring such that affines have bounded cohomological dimension with respect to this ring. Over an algebraically closed field this condition is satisfied for torsion coefficients, which is precisely what makes the usual theory work as intended. The authors then compare all this to constructibility in the pro-\u00e9tale topology, in particular on Noetherian schemes. Finally it is shown how one obtains a six-functor formalism and that the machinery for$\\overline{\\Bbb{Q}}_\\ell$<\/span>-sheaves indeed gives equivalent triangulated categories.<\/p>\n

Finally, section 7 develops the theory of fundamental groups in the pro-\u00e9tale topology. In the \u00e9tale context one has a profinite fundamental group defined in SGA1 and a prodiscrete fundamental group defined in SGA3. The main result is that these are the profinite (resp. prodiscrete) completions of the pro-\u00e9tale fundamental group; hence this theory recovers the earlier constructions.<\/p>\n

The text is very well written, and contains many instructive examples and references. It gives ample motivation for the approach that is taken, and the resulting machinery is indeed beautiful, with the strong relation to (and various improvements of) the classical theory being the main theme of the work. At the moment it is the main reference text on the definition of the pro-\u00e9tale topology, besides the development of some of the tools and results in the Stacks Project, tag 0965.<\/p>\n

Reviewed by Pieter Belmans<\/a><\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

Another great\u00a0review. \u00a0Here Pieter Belmans reviews\u00a0a paper by Bhatt and Scholze on \u00e9tale topology. \u00a0Before describing the authors’ work, Belmans tells us where \u00e9tale topology comes from and why some news ideas\u00a0might be necessary. \u00a0He then gives a quick description … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":86,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-1150","post","type-post","status-publish","format-standard","hentry","category-exceptional-reviews"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p6C2KK-iy","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1150","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/users\/86"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/comments?post=1150"}],"version-history":[{"count":21,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1150\/revisions"}],"predecessor-version":[{"id":1850,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1150\/revisions\/1850"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=1150"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=1150"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=1150"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}