arxiv: v3 [math.ct] 22 Jul 2015

Transcription

1 HIGHER GALOIS THEORY MARC HOYOIS arxv: v3 [math.ct] 22 Jul 2015 Abstract. We generalze toposc Galos theory to hgher topo. We show that locally constant sheaves n a locally (n 1)-connected n-topos are equvalent to representatons of ts fundamental pro-n-groupod, and that the latter can be descrbed n terms of Galos torsors. We also show that fnte locally constant sheaves n an arbtrary -topos are equvalent to fnte representatons of ts fundamental pro- -groupod. Fnally, we relate the fundamental pro- -groupod of 1-topo to the constructon of Artn and Mazur and, n the case of the étale topos of a scheme, to ts refnement by Fredlander. Contents 1. Prelmnares on shapes 2 2. Galos theory 6 3. Fnte Galos theory The étale homotopy type of Artn Mazur Fredlander 12 References 14 The goal of ths paper s to generalze Galos theory, as t s understood n the context of Grothendeck topo, to hgher topo. In 1, we revew the noton of shape, or fundamental pro- -groupod, of an -topos. For other equally terse accounts, we refer the reader to Toën and Vezzos [TV03, 5.3] and to Lure [Lur09, 7.1.6]. In 2, we prove our generalzaton of (nfnte) Galos theory to n-topo, for 0 n. Specalzng to n = 1 recovers classcal results of Moerdk [Moe89] and of Kennson [Ken91], but our proofs are qute dfferent as they make essental use of hgher topos theory even n that case (specfcally, of the theory of stacks n groupods). The man result s that locally constant sheaves n a locally (n 1)-connected n-topos are equvalent to representatons of ts fundamental pro-n-groupod. For locally n-connected (and 1-localc) n-topo, ths statement already appears n Grothendeck s famous letter to Breen [Gro75, (C)], but most of our work deals wth the weakenng of the local connectedness assumpton, whch s necessary to recover for nstance the Galos theory of felds. As consequences, we obtan a model for the fundamental pro-n-groupod as a cofltered dagram ndexed by Galos torsors, and we deduce the followng recognton prncple: a locally (n 1)-connected n-topos that s generated by ts locally constant sheaves s equvalent to the classfyng n-topos of a pro-n-groupod wth (n 1)-connected transton maps. In 3, we generalze fnte Galos theory to arbtrary -topo: we show that fnte locally constant sheaves n an -topos are equvalent to fnte representatons of ts fundamental pro- -groupod. In 4, we observe that f C s a Grothendeck ste wth a fnal obect, then a coherent refnement of the constructon of Artn and Mazur [AM69] s a model for the shape of the -topos of hypercomplete sheaves on C. Specalzng to the étale ste of a locally connected scheme X, we show that the étale topologcal type of X defned by Fredlander [Fr82] s a model for the shape of the -topos of hypercomplete étale sheaves on X. Acknowledgements. I am grateful to Tm Porter for brngng Grothendeck s letter [Gro75] to my attenton, and to Eduardo Dubuc for nterestng dscussons about hs constructon of the fundamental pro-groupod of a topos n [Dub08, Dub10]. Date: Aprl 10,

2 2 MARC HOYOIS Notaton. (, 1) S -category of small -groupods Cat (possbly large) -categores Top -topo and geometrc morphsms 1 fnal obect n an -topos Fun(C, D) -category of functors from C to D Map(X, Y ) -groupod of maps from X to Y n an -category C /X, C X/ overcategory, undercategory C n subcategory of n-truncated obects hc homotopy category Set category of smplcal sets Map (X, Y ) smplcal set of maps from X to Y n a Set -enrched category 1. Prelmnares on shapes Let C be an -category. The -category Pro(C) of pro-obects n C and the Yoneda embeddng : C Pro(C) are defned by the followng unversal property: (1) The category Pro(C) admts small cofltered lmts; (2) Let D be an -category whch admts small cofltered lmts, and let Fun (Pro(C), D) be the full subcategory of Fun(Pro(C), D) consstng of functors preservng small cofltered lmts. Then nduces an equvalence Fun (Pro(C), D) Fun(C, D). If C s small, t s clear that Pro(C) can be dentfed wth the smallest full subcategory of Fun(C, S) op contanng representables and closed under cofltered lmts. If C s accessble and admts fnte lmts, then Pro(C) can be dentfed wth the category of left exact accessble functors n Fun(C, S) op [Lur11, Proposton 3.1.6]. The unversal property s then explctly realzed as follows. Recall that S s the base of the unversal left fbraton u: S / S. Thus, any functor f : C S classfes a left fbraton C f/ C gven by the cartesan square C f/ S / C S. f The condton that f s left exact s then equvalent to the condton that C f/ s cofltered [Lur09, Remark ], and the condton that f s accessble mples that C f/ s accessble [Lur09, Proposton ]. Accessble -categores have small left cofnal subcategores snce for A small, A Ind κ (A) s left cofnal. Thus, dagrams ndexed by C f/ wll have a lmt n any category D that admts small cofltered lmts. In ths way any functor C D lfts to a functor Pro(C) D, sendng f to the lmt of the composton C f/ C D. Note that the dagram u: C f/ C corepresents the pro-obect f: f(k) colm X C f/ Map(uX, K). By [Lur09, Proposton ], any pro-obect can be further corepresented by a dagram I C where I s a small cofltered poset. Usng ths fact one can show that, f C s the underlyng -category of a proper model category M, then Pro(C) s the underlyng -category of the strct model structure on Pro(M) defned n [Isa07]. Let G: D C be an accessble functor between presentable -categores, and let F : C Fun(D, S) op be the formal left adont to G. By the adont functor theorem, F factors through D f and only f G preserves small lmts. Clearly, F factors through Pro(D) f and only f G preserves fnte lmts. In ths case the functor F : C Pro(D) s called the pro-left adont to G. Its extenson Pro(C) Pro(D) s a genune left adont to Pro(G). If f : Y X s a geometrc morphsm of -topo, we wll wrte f : Y X for the drect mage functor and f : X Y for the left adont of the latter. Snce f preserves fnte lmts, t admts a pro-left adont u

3 HIGHER GALOIS THEORY 3 f! : Y Pro(X) gven by f! (Y )(X) Map Y (Y, f X). If X s an -topos, we wll usually denote by π : X S the unque geometrc morphsm to S, gven nformally by π (X) = Map(1, X). We defne Π X = π! 1. The obect Π X Pro(S) s called the fundamental pro- -groupod or the shape of the -topos X. As a left exact functor S S, Π X s the composton π π,.e., t sends an -groupod to the global sectons of the assocated constant sheaf. Note that π! X Π (X /X ) snce X ρ! 1 where ρ: X /X X s the canoncal geometrc morphsm. In other words, the functor Π : Top Pro(S) smultaneously extends the functors π! : X Pro(S) for all -topo X. Example 1.1. If T s a topologcal space homotopy equvalent to a CW complex, the shape of Shv(T ) s the weak homotopy type of T [Lur14, Remarks A.1.4 and A.4.7]. As we wll see n Proposton 1.11 below, ths s a refnement of the fact that the sngular cohomology of T wth coeffcents n a local system concdes wth ts sheaf cohomology wth coeffcents n the correspondng locally constant sheaf. A torsor (A, χ) n X s an -groupod A S together wth a map χ: 1 π A n X. We denote by the -category of torsors n X and by Tors(X) = X 1/ X S Tors(X, A) = Tors(X) S {A} Map X (1, π A) the -groupod of A-torsors. By descent, an A-torsor s equvalently an acton P : A X of the -groupod A n X whch s prncpal n the sense that colm α A P α 1. Proposton 1.2. Let f : Y X be a geometrc morphsm of -topo. The followng condtons are equvalent: (1) f s s a shape equvalence,.e., Π (f) s an equvalence n Pro(S). (2) f : Tors(X) Tors(Y) s an equvalence of -categores. (3) For every A S, f : Tors(X, A) Tors(Y, A) s an equvalence of -groupods. Proof. As we recalled above, the Grothendeck constructon provdes an equvalence between accessble functors S S and accessble left fbratons over S, under whch Π X corresponds to Tors(X). Explctly, we have natural equvalences Π X lm (A,χ) Tors(X) (A) and Tors(X) S Π X/. Ths proves (1) (2). A morphsm of left fbratons s an equvalence f and only f t s a fberwse equvalence, so (2) (3). We now construct a rght adont to the functor Π. Recall that, for any -topos X, there s a fully fathful functor X Top /X, U X /U. When X = S, we denote ths functor by ι: S Top, and we call ιa = S /A Fun(A, S) the classfyng -topos of the -groupod A. The -topos ιa classfes A-torsors, meanng that there s an equvalence of -categores (1.3) Fun Top (X, ιa) Tors(X, A), for every -topos X (ths s a specal case of [Lur09, Corollary ]). The dagonal map δ : A A A n S /A s the unversal A-torsor. Snce the -category Top admts small cofltered lmts, ι extends to a functor ι: Pro(S) Top. Explctly, let X Pro(S) be a pro- -groupod gven n the form of a cofltered dagram X : I S. The classfyng -topos ι(x) s then the lmt of the cofltered dagram ι X : I Top.

4 4 MARC HOYOIS Recall that lmts of cofltered dagrams n Top are created by the forgetful functor Top Cat [Lur09, Theorem ]. Thus, an obect L ι(x) s a famly of obects L ι(x ) together wth coherent equvalences f L L for all arrows f : n I. Remark 1.4. Whle the functor ι s fully fathful and colmt-preservng on S, ts extenson to Pro(S) does not have ether property: f X s a pro-set whose lmt s empty, t s clear that ι(x) s the empty -topos, and f ι preserved pushouts of pro- -groupods, t would mply that cofltered lmts preserve pushouts n S. Nevertheless, one can show that ι preserves arbtrary coproducts of pro- -groupods (and, more generally, colmts of levelwse dagrams ndexed by -groupods). Remark 1.5. For X Pro(S), the -topos ιx s typcally not hypercomplete. For example, t s shown n [Lur09, Warnng ] that, for p prme, the classfyng -topos ι(bz p ) s not hypercomplete. If X : I S s a pro- -groupod and C s an -category, t s convenent to wrte Fun(X, C) = colm I Fun(X, C) n other words, we vew both X and C as pro- -categores. The nverse mage functors ι(x ) ι(x) then nduce a canoncal functor Fun(X, S) ι(x); an obect L ι(x) s called splt f t belongs to ts essental mage, and f L s the mage of K ι(x ) we say that L s represented by K. An arbtrary L ι(x) s the fltered colmt of the splt obects represented by L for I [Lur09, Lemma ]. Defnton 1.6. If X s an -topos, ι(π X) s the -topos of local systems on X. Snce Π X s corepresented by the forgetful functor Tors(X) S, a local system on X s a famly of obects L (X,x) ι(x) ndexed by pars (X, x) where X S and x: 1 π X s an X-torsor n X, together wth coherent equvalences f L (X,x) L (Y,y) for all morphsms of torsors f : (X, x) (Y, y). It follows at once from (1.3) that we have an aduncton Top Π ι Pro(S); we wll denote by ϕ: X ι(π X) ts unt. If L s a local system on X, the obect ϕ L X wll be called the underlyng sheaf of L. We wsh to descrbe ϕ L more explctly. Snce a general local system s a colmt of splt local systems, t suffces to descrbe the underlyng sheaves of the latter. Let (X, x: 1 π X) Tors(X) be a torsor. Ths determnes a geometrc morphsm f : X ι(x). If L s represented by K ι(x), we therefore have ϕ L f K. Ths means that ϕ L fts n a cartesan square ϕ L π K x 1 π X. In addton to preservng colmts (beng left adont), the functor Π : Top Pro(S) also preserves some nterestng lmts: Proposton 1.7. (1) If X s the lmt of a cofltered dagram of proper -topo (X ) wth proper transton morphsms, then Π X lm Π X. (2) If X and Y are proper -topo, then Π (X Y) Π X Π Y. Proof. (1) Let π : X S and π : X S be the unque geometrc morphsms. Snce proper geometrc morphsms preserve fltered colmts [Lur09, Remark ], the canoncal map colm π π π π s an equvalence. Ths exactly says that Π X lm Π X. (2) The properness of Y mples, by proper base change, that Π (X Y) Π X Π Y.

5 HIGHER GALOIS THEORY 5 The properness of X mples that Π X preserves fltered colmts. To conclude, note that f X, Y Pro(S) and X preserves fltered colmts, then X Y X Y. Example 1.8. If a topologcal space T s the lmt of a cofltered dagram (T ) of compact Hausdorff spaces, then Π Shv(T ) lm Π Shv(T ). Ths s a consequence of Proposton 1.7 (1) and the followng facts: passng to locales preserves the lmt of the dagram (T ), and maps between compact Hausdorff spaces nduce proper morphsms of -topo [Lur09, Theorem ]. Together wth Example 1.1, we deduce for example that, f T s a compact subset of the Hlbert cube, then the shape of Shv(T ) s corepresented by the dagram R >0 S sendng ɛ to the weak homotopy type of the ɛ-neghborhood of T. Remark 1.9. Snce any compact Hausdorff space s a cofltered lmt of compact metrzable ANRs, whch have the homotopy type of CW complexes, Examples 1.1 and 1.8 show that the shape theory of -topo completely subsumes the classcal shape theory of compact Hausdorff spaces [MS71]. For n 2, consder the aduncton τ n Pro(S) Pro(S n ). We denote by Π n : Top Pro(S n ) the composton τ n Π. Note that Π n X s corepresented by the forgetful functor Tors n (X) S n, where Tors n (X) = Tors(X) S S n. The descrpton of torsors n terms of prncpal actons shows that the functor Π n factors through the reflectve subcategory Top n Top of n-localc -topo. Moreover, f X Pro(S n ) Pro(S), then ιx s a lmt of n-localc -topo and hence s n-localc. Thus, we obtan an nduced aduncton between n-topo and pro-n-groupods. Π n : Top n Pro(S n ) : ι Remark If X s a 1-topos, Π 1 X s equvalent to the fundamental pro-groupod defned by Dubuc n [Dub10, 8], snce both classfy torsors. Earler constructons of Π 1 X were gven n specal cases, notably by Kennson [Ken91] (for X connected), by Bunge [Bun92] (for X locally connected), and by Barr and Daconescu [BD81] (for X locally smply connected). By defnton, Π X corepresents the cohomology of X wth constant coeffcents. Our next observaton s that ths can be extended to cohomology wth coeffcents n the underlyng sheaf of a splt local system. In 2 we wll show that there are many such sheaves: for example, f X s locally connected, A s a locally constant sheaf of abelan groups, and n 0, then the Elenberg Mac Lane sheaf K(A, n) s the underlyng sheaf of a splt local system. Proposton Let X be an -topos and let L Fun(Π X, S). Denote also by L the mage of L n ι(π X). Then ϕ nduces an equvalence Map Fun(Π X,S)(, L) Map X (1, ϕ L). Proof. Suppose that L comes from the obect K S /X labeled by the torsor (X, x) n X. The proposton follows by comparng the two cartesan squares Map Fun(Π X,S)(, L) Map(Π X, K) π ϕ L π π K Map(Π X, X) π π X n whch the lower maps are nduced by x.

6 6 MARC HOYOIS 2. Galos theory Classcal Galos theory states that the étale topos X of a feld k s equvalent to the classfyng topos of the absolute Galos group of k. More precsely: (1) For any separable closure k s of k, there s a canoncal equvalence of pro-groupods BGal(k s /k) Π 1 X. (2) The geometrc morphsm ϕ: X ι(π 1 X) s an equvalence of topo and dentfes locally constant sheaves wth splt local systems. Statement (2) s true more generally of any locally connected topos X generated by ts locally constant obect. There s also an analog of statement (1) for any locally connected topos. In ths secton we prove the expected n-toposc generalzatons of these results for 0 n. The case n = s treated n [Lur14, A.1], but the case of fnte n s more complcated. Let X be an -topos. An obect X X s called locally constant f there exsts an effectve epmorphsm α U α 1 such that X s constant over each U α,.e., such that X U α π X α U α for some X α S. Let 2 n. A geometrc morphsm f : Y X s called n-connected f f s fully fathful on n- truncated obects. An -topos X s called locally n-connected f π : S n X n preserves nfnte products, or, equvalently, f ts pro-left adont s a genune left adont. Note that every -topos s locally ( 1)- connected, snce S 1 = { }. Proposton 2.1. Let X be a locally -connected -topos. Then ϕ: X ι(π X) s -connected and ts mage s the subcategory of locally constant obects n X. Proof. Ths s [Lur14, Theorem A.1.15]. If we were to repeat the proof of Proposton 2.1 n the world of (n + 1)-topo, t would only show that, n a locally n-connected -topos, ϕ dentfes local systems of (n 1)-groupods (whch are always splt) wth locally constant (n 1)-truncated obects. To treat the edge case of local systems of n-groupods, whch need not be splt, new arguments are needed. The proof of the followng result s the same as the frst half of the proof of [Lur14, Theorem A.1.15]. Proposton 2.2. Let X be an -topos and L a splt local system on X. Then the underlyng sheaf ϕ L s locally constant. Proof. Let L be represented by K ι(x) for some torsor (X, x) n X, so that ϕ L s gven by the cartesan square ϕ L π K x 1 π X. Let α U α X be an effectve epmorphsm n S where each U α s contractble. Then α ϕ U α 1 s an effectve epmorphsm. There s a commutatve dagram n Top op S /X X /π X X /1 S /Uα X /π U α X /ϕ U α such that K n the top left corner goes to ϕ L ϕ U α n the bottom rght corner. Snce S /Uα shows that ϕ L ϕ U α s constant over ϕ U α. Thus, ϕ L s locally constant. S, ths Lemma 2.3. Let X be a locally n-connected -topos. Then π : S X preserves the lmts of cofltered dagrams wth n-truncated transton maps.

7 HIGHER GALOIS THEORY 7 Proof. Let K : I S be a cofltered dagram wth n-truncated transton maps. Assume wthout loss of generalty that I has a fnal obect 0. We then have a commutatve square S /K(0) π X /π K(0) S π where the vertcal arrows are the forgetful functors. Snce the latter preserve and reflect cofltered lmts, t wll suffce to show that π : (S /K(0) ) n (X /π K(0)) n preserves lmts. By descent, ths functor can be dentfed wth the functor Fun(K(0), S n ) Fun(K(0), X n ) gven obectwse by π. Ths functor preserves lmts snce they are computed obectwse. Recall that a morphsm of -groupods f : X Y s n-connected f ts fbers are n-connected. Ths s the case f and only f the nduced geometrc morphsm f : ι(x) ι(y ) s n-connected. We call a pro- -groupod n-strct f t can be corepresented by a cofltered dagram n whch the transton maps are n-connected. Lemma 2.4. Let X be a locally n-connected -topos. Then there exsts a coreflectve subcategory of Tors(X) n whch all morphsms are n-connected. Proof. Let (A, χ) be a torsor. For every morphsm of torsors (B, ψ) (A, χ), consder the unque factorzaton B e(b) A where B e(b) s n-connected and e(b) A s n-truncated. Let à be the lmt of the cofltered dagram Tors(X) /(A,χ) S, X (B, ψ) e(b). By constructon, ths s a dagram wth n-truncated transton maps. Hence, by Lemma 2.3, π preserves the lmt of ths dagram. In partcular, there s an Ã-torsor χ: 1 π à whch s the lmt of the torsors 1 π e(b). One verfes easly that (A, χ) (Ã, χ) s a coreflector and that, for every morphsm of torsors (B, ψ) (A, χ), B à s n-connected. Proposton 2.5. Let X be an -topos, let 2 n, and let {X α } be a famly of obects generatng X under colmts. The followng condtons are equvalent: (1) X s locally n-connected. (2) For every α, the pro-n-groupod τ n π! (X α ) s constant. (3) For every α, the pro- -groupod π! (X α ) s n-strct. Proof. By defnton, X s locally n-connected f and only f the composton X π! Pro(S) τ n Pro(S n ) factors through the Yoneda embeddng S n Pro(S n ). Snce the latter preserves colmts, we see that (1) (2). The mplcaton (3) (2) s obvous. Let us prove (1) (3). It s clear that X /U s locally n-connected for every U X, snce X /U X s étale, so t wll suffce to show that Π X s n-strct. Let I Tors(X) be a coreflectve subcategory as n Lemma 2.4. By Joyal s crteron [Lur09, Theorem ], I s a left cofnal subcategory. Hence, Π X s corepresented by the forgetful functor I S and n partcular s n-strct. For n = 1, Proposton 2.5 says that the fundamental pro- -groupod of any -topos X can be corepresented by a cofltered dagram whose transton maps are effectve epmorphsms. Lemma 2.6. If X Pro(S) s n-strct, the canoncal functor s fully fathful. Fun(X, S n ) ι(x) n

8 8 MARC HOYOIS Proof. Let X : I S be a corepresentaton wth n-connected transton maps. We clam that each functor π : Fun(X, S) ι(x) s fully fathful on n-truncated obects. Snce I / I s left cofnal, we may replace I by I / and assume that s a fnal obect. Let p: E I op be the topos fbraton assocated wth the functor ι X : I Top. By the constructon of cofltered lmts of -topo, ι(x) s the -category of cartesan sectons of p. Let θ(x) be the -topos of all sectons of p, and factor π as ρ σ where σ : ι(x) θ(x) s the ncluson and ρ : θ(x) Fun(X, S) s evaluaton at. Snce ρ s fully fathful, t wll suffce to show that, for F Fun(X, S n ), the secton ρ F s already cartesan. Note that, snce I s fnal, we have (ρ F ) = f F where f : s the unque map. Gven f :, g : k, and x X, the component at x of the natural transformaton (ρ F ) g (ρ F ) k n Fun(X, S) s the canoncal map F (fx) lm F (fgy) Map(g 1 (x), F (fx)). y g 1 (x) Ths s an equvalence snce g 1 (x) s n-connected and F (fx) s n-truncated. Lemma 2.7. Let X be an -topos and let E : I J X be a dagram where I has a fnal obect e. Suppose that, for every I and every k n J, the square E(, ) E(, k) s cartesan. Then the canoncal map E(e, ) E(e, k) s an equvalence. colm lm E(, ) lm colm E(, ) Proof. By descent, the square E(, ) colm E(, ) E(e, ) colm E(e, ) s cartesan for every I and J. Takng the lmt over, we obtan a cartesan square lm E(, ) lm colm E(, ) E(e, ) colm E(e, ). By unversalty of colmts, we get the desred equvalence by takng the colmt over of the left column. Lemma 2.8. Let X be an -topos, X a pro- -groupod, ϕ: X ι(x) a geometrc morphsm, and n 2 an nteger. Suppose that (1) X s n-strct. (2) The composton s fully fathful. Then ϕ s n-connected. Fun(X, S n ) ι(x) n ϕ X n

9 HIGHER GALOIS THEORY 9 Proof. By (1), X s corepresented by a cofltered dagram X : I S wth n-connected transton maps. To smplfy the notaton, we mplctly work wth categores of n-truncated obects throughout the proof. Let π : ι(x) ι(x ) be the canoncal proecton, and for n I, let π : ι(x ) ι(x ) be the nduced geometrc morphsm. By Lemma 2.6, π s n-connected,.e., π s fully fathful. Note that π s étale and n partcular π has a left adont π!. Usng these facts, we easly verfy that π has a left adont π! gven by (2.9) π! colm π! π. We can assume that I has a fnal obect e. Let E : I I op Fun(ι(X), ι(x)) be the functor gven by E(, ) = π π! π π. Note that E(, ) E(, ) s an equvalence for any n I. We wll show at the end that E satsfes the assumpton of Lemma 2.7 (when evaluated at any obect n ι(x)). It follows that the canoncal map colm E(, ) lm colm E(, ) s an equvalence. But the left-hand sde s canoncally equvalent to the dentty functor of ι(x), by [Lur09, Lemma ]. In other words, for every L ι(x), L lm π π! L. Applyng Lemma 2.7 to ϕ E, we smlarly deduce that where ϕ = π ϕ. By assumpton (2), ϕ ϕ (L) lm ϕ π! L, s fully fathful. Therefore, ϕ ϕ lm ϕ ϕ π! lm π π π! π. Ths shows that ϕ s fully fathful, as desred. We now come back to the clam that, for every I and k n I, the square π π! π π π π! π kπ k π eπ e! π π π eπ e! π kπ k s cartesan. We see that t suffces to show that the square π kπ k d ι(xk ) π keπ e! π k π keπ e! π k! s cartesan, usng successvely the followng facts: π preserves pullbacks, we have the proecton formula A B π! C π! (π A π B C) (ths follows at once from (2.9)), πk preserves pullbacks, and π and π k are fully fathful. Takng the fber of ths square over a pont n X k and usng descent n S, we are reduced to provng the followng statement: f K s a ponted Elenberg Mac Lane space of degree n + 1 and F : K S n s a functor, then the square lm F F ( ) lm F s cartesan n S n. Ths s an easy exercse. colm F Theorem Let 2 n and let X be a locally n-connected -topos. Then the geometrc morphsm ϕ: X ι(π X) s n-connected and dentfes splt local systems of n-groupods wth locally constant n- truncated sheaves on X.

10 10 MARC HOYOIS Proof. The case n = s Proposton 2.1 (but the followng proof also works for n = ). We already know from Proposton 2.2 that ϕ sends splt local systems to locally constant obects. By Proposton 2.5, Π X s n-strct. By Lemma 2.8, t therefore remans to prove that the composton (2.11) Fun(Π X, S n ) ι(π X) n ϕ X n s fully fathful and that every locally constant obect s n ts mage. Frst we establsh a crucal prelmnary result. By the assumpton of local n-connectedness, the functor π : S n X n preserves lmts. It follows that for n-groupods X and Y, π Map(X, Y ) π (lm X Y ) lm X (π Y ) Hom(π X, π Y ), where Hom s the nternal mappng obect of X. Takng global sectons, we get, for n-groupods X and Y, (2.12) Map Pro(S) (Π X, Map(X, Y )) Map X (π X, π Y ). Let O: X op Cat be the functor U (X /U ) n, and let L: X op Cat be the functor U Fun(π! U, S n ). The morphsm ϕ, beng natural n X, gves rse to a natural transformaton ϕ : L O whose components are the nstances of (2.11) for all étale X-topo. Both O and L are sheaves on X,.e., lmt-preservng functors, the former by descent and the latter because π! s left adont. It wll therefore suffce to prove the followng, for every U X: (a) For every L, M L(U), there exsts a dagram P : A X wth colmt U such that Map L(Pα)(L P α, M P α ) Map O(Pα)(ϕ L P α, ϕ M P α ) s an equvalence, for all α A. (b) For every X O(U) locally constant, there exsts an effectve epmorphsm α U α U such that X U α belongs to the essental mage of L(U α ) O(U α ), for all α. Asserton (b) s obvous snce any constant sheaf belongs to the mage of ϕ. To prove (a), we choose a torsor (A, χ) Tors(X /U ) such that L and M are represented by functors A S n. Let P : A X /U be the assocated prncpal acton, whose colmt s U. Gven α A, the cartesan square P α π ( ) U χ π (A) π (α) shows that L P α and M P α are constant functors π! P α S n. Replacng X by X /Pα, whch s also locally n-connected, we are reduced to provng the followng statement: for every X, Y S n, the map Map Fun(π! 1,S)(X, Y ) Map X (π X, π Y ) s an equvalence. Ths s exactly our prelmnary result (2.12). Remark An example of a 1-topos for whch ϕ s not connected was constructed by Kennson n [Ken91, Example 4.16], showng that the local connectedness assumpton n Theorem 2.10 cannot be dropped. On the other hand, ϕ may be n-connected even f Π n X s not constant: f X = Shv(Q), then ϕ s an equvalence of -topo (but (2.11) fals to be fully fathful for n = 0). If X s an -topos and n 0, denote by EM n (X) the category of Elenberg Mac Lane obects of degree n n X. Corollary Let X be a locally connected -topos and let n 0. Then the functor ϕ : EM n (ι(π X)) EM n (X) s fully fathful and dentfes splt local systems wth locally constant obects. If moreover X s locally smply connected, then all local systems of Elenberg Mac Lane obects are splt.

11 HIGHER GALOIS THEORY 11 Proof. Say n 2. Then we have a commutatve square EM n (ι(π X)) ϕ EM n (X) π n π n Ab(ι(Π X) 0 ) Ab(X 0 ) n whch the vertcal functors are equvalences [Lur09, Proposton ] and the lower row has the desred propertes. Let X be an -topos. A torsor (A, χ) n X s called Galos f the assocated prncpal acton P : A X s a fully fathful functor. In other words, a Galos torsor s a full sub- -groupod of X whose colmt s a fnal obect. For example, f A S, the unversal A-torsor s Galos snce t corresponds to the Yoneda embeddng A ιa. If X s the étale topos of a feld k, then a Galos torsor n X s precsely a fnte Galos extenson of k. In ths case, the followng corollary shows that the absolute Galos group of k computes Π 1 X. Corollary Let X be a locally n-connected -topos and let G Tors n+1 (X) be the full subcategory spanned by the Galos torsors. Then the ncluson G Tors n+1 (X) s left cofnal. Proof. By Lemma 2.4, there exsts a left cofnal subcategory I Tors n+1 (X) n whch all morphsms are n-connected. It wll suffce to show that I G. If (A, χ) s a torsor n I, the assocated prncpal acton s the composton ϕ A ι(a) n ι(π n+1 X) n X n. The second arrow s fully fathful by Lemma 2.6 and the thrd by Theorem An -topos X s called n-galos f t s n-localc, locally (n 1)-connected, and generated under colmts by the mages of ts Galos torsors A X wth A S n. For n = 1, ths recovers the ususal noton of Galos topos [Moe89, 3], except that we do not requre connectedness. We then have the followng generalzaton of [Moe89, Theorem 3.2]: Corollary Let X be an n-localc -topos, 1 n. The followng are equvalent: (1) X s n-galos; (2) X s locally (n 1)-connected and generated under colmts by ts locally constant obects; (3) X s locally (n 1)-connected and generated under colmts and fnte lmts by ts locally constant obects; (4) X s locally (n 1)-connected and ϕ: X ι(π n X) s an equvalence of -topo; (5) There exst an (n 1)-strct pro-n-groupod X and an equvalence X ι(x). Proof. (1) (2). It suffces to note that, f P : A X s a torsor, then P α s locally constant for all α A. (2) (3). Obvous. (3) (4). Follows from Theorem (4) (5). Follows from Proposton 2.5. (5) (1). Let X : I S n be a cofltered dagram wth (n 1)-connected transton maps. It s clear that ι(x) s generated under colmts by the mages of the torsors ϕ X ι(x ) ι(x). These are Galos torsors by Lemma 2.6. That ι(x) s locally (n 1)-connected was verfed at the begnnng of the proof of Lemma Fnte Galos theory In ths short secton, we gve a classfcaton of fnte locally constant sheaves n an -topos. Compared to the classfcaton of n-truncated locally constant sheaves establshed n 2, the man dfference s that we do not need any assumpton of local connectedness. Recall from [Lur11, 2.3] that an -groupod s fntely constructble f t s truncated and coherent,.e., has fnte homotopy groups. We denote by S fc S the full subcategory of fntely constructble -groupods. If X s an -topos, an obect X X s fnte locally constant f there exsts an effectve epmorphsm α U α 1 and fntely constructble -groupods X α S fc such that X U α π X α U α n X /Uα, for all α.

12 12 MARC HOYOIS Let S < S be the full subcategory of truncated -groupods. Snce t s stable under fnte lmts, we have an aduncton τ < Pro(S) Pro(S < ). Lemma 3.1. Let X be an -topos and let A S be coherent. Then the canoncal map s a τ < -equvalence. Π (X /π A) A Π X Proof. By descent, we have Π (X /π A) colm Π X. a A To conclude, we observe that for X Pro(S) and A S coherent, the canoncal map colm A X A X s a τ < -equvalence. Indeed, by [Lur11, Proposton 2.3.9], Map(A, ): S n S preserves fltered colmts for all fnte n. If Y S <, we therefore have Map(colm X, Y ) Map(A, Map(X, Y )) Map(A, colm Map(X, Y )) A whch proves the result. colm Map(A, Map(X, Y )) colm Map(A X, Y ) Map(A X, Y ), Theorem 3.2. Let X be an -topos. Then the geometrc morphsm ϕ: X ι(π X) nduces a fully fathful functor Fun(Π X, S fc ) X whose essental mage s the subcategory of fnte locally constant sheaves on X. Proof. By the proof of Proposton 2.2, ths functor lands n the subcategory of fnte locally constant sheaves. Snce the functors U X /U and U Fun(π! U, S fc ) are sheaves on X, we are reduced as n the proof of Theorem 2.10 to provng the followng statement: for every A, B S fc, the map Map Fun(π! 1,S)(A, B) Map X (π A, π B) s an equvalence. Replacng X by X /π A and usng Lemma 3.1, we can assume that A =. The result then follows from Proposton The étale homotopy type of Artn Mazur Fredlander Let C be a small Grothendeck ste wth a fnal obect. We denote by Shv(C) the -topos of sheaves of -groupods on C and by Shv(C) ts hypercompleton. Let HC(C) be the category of hypercovers of C, n the sense of [DHI04, Defnton 4.2]. Ths s a full subcategory of the category Fun(C op, Set ) of smplcal presheaves on C, and as such t s enrched n smplcal sets. We let πhc(c) be the category obtaned from HC(C) by dentfyng smplcally homotopc morphsms. The constant smplcal presheaf functor Set Fun(C op, Set ) has a (smplcally enrched) left adont, and we denote by ΠC: HC(C) Set ts restrcton to HC(C). We would lke to regard ΠC as a cofltered dagram of -groupods. The ssue that usually arses at ths pont s that the category HC(C) s not cofltered, and whle πhc(c) s cofltered, ΠC does not dentfy smplcally homotopc morphsms. Ths led Artn and Mazur [AM69, 9] to consder nstead the nduced functor πhc(c) hs, whch s a cofltered dagram n the homotopy category hs. However, HC(C) s cofltered as a smplcally enrched category, n the followng sense: Any fnte collecton of hypercovers admts a common refnement. For any ncluson of fnte smplcal sets K L and any map K Map (V, U), there exsts a refnement W V of V such that the nduced map K Map (W, U) extends to L. Both statements follow from [DHI04, Proposton 5.1]. They mply that the -category assocated wth HC(C) s cofltered (by [Lur09, Proposton ] and an easy argument usng Kan s Ex functor). Proposton 4.1. Let C be a small ste wth a fnal obect. Then Π Shv(C) s corepresented by the smplcally enrched cofltered dagram ΠC: HC(C) Set.

13 HIGHER GALOIS THEORY 13 Proof. Ths s a straghtforward consequence of the generalzed Verder hypercoverng theorem [DHI04, Theorem 8.6], appled to a constant smplcal presheaf. Remark 4.2. The pro- -groupod Π Shv(C) does not admt such an explct model n general. Note however that, for any -topos X, the map Π X Π X s a τ < -equvalence, snce truncated obects are hypercomplete. In partcular, Π n X Π n X for any fnte n. Lemma 4.3. Let I and J be cofltered -categores and let f : J I be a functor. Then f s left cofnal f and only f hf : hj hi s left 1-cofnal. Proof. Assume that hf s left 1-cofnal, and let p: I op S be a dagram. We must show that the map colm J pf() colm p() s an equvalence,.e., nduces somorphsms on homotopy groups. Ths follows from the assumpton and the fact that homotopy groups π n : S / S 0 preserve fltered colmts. The other mplcaton s obvous. Corollary 4.4. Let C be a small ste wth a fnal obect, I a cofltered category, and f : I HC(C) a functor such that the composton I I f HC(C) πhc(c) s left 1-cofnal. Then the cofltered dagram ΠC f corepresents Π Shv(C). Proof. By Lemma 4.3, f nduces a left cofnal functor of -categores. The result now follows from Proposton 4.1. We now turn to the étale ste Et X of a scheme X,.e., the category of étale X-schemes equpped wth the étale topology. Let us not dwell on the fact that Et X s not small: suffce t to say, ths can safely be gnored. We denote by Xét the -topos of sheaves of -groupods on Et X and by Xét ts hypercompleton. The abelan cohomology of ether -topos s the étale cohomology of X. If X Zar denotes the -topos of sheaves on the small Zarsk ste of X, there s an obvous geometrc morphsm Xét X Zar whch nduces an equvalence on ( 1)-truncated obects. In partcular, Π 0 (Xét ) Π 0 (X Zar ). By Proposton 2.5, we deduce that Xét s locally connected f and only f the underlyng topologcal space of X s locally connected (as ths property perssts after étale extenson). Note however that Xét s rarely locally smply connected, snce the étale fundamental pro-groupod s often nonconstant. If X s locally connected, then: Every locally constant Elenberg Mac Lane sheaf on Et X s the underlyng sheaf of a unque Elenberg Mac Lane local system (Corollary 2.14). If A s a locally constant sheaf of abelan groups on Et X and L s the correspondng splt local system, then H (Xét, A) H (Π Xét, L) (Proposton 1.11). On the other hand, wth no assumptons on the scheme X, we have: Fnte locally constant sheaves on Et X are classfed by functors Π Xét S fc (Theorem 3.2). In [Fr82, 4], Fredlander defnes the étale topologcal type of a locally connected scheme X: t s a pro-smplcal set gven by a dagram I HC (Et X ) HC(Et X ) ΠEt X Set, where I s some small cofltered poset (whose defnton s specfc to the étale ste) and HC (Et X ) HC(Et X ) s the full subcategory spanned by the basal hypercovers [DHI04, 9] that are moreover degreewse coproducts of connected étale X-schemes. By [DHI04, Theorem 9.6], any hypercover of Et X s refned by a basal hypercover, and snce X s locally connected, t s clear that any such s further refned by a hypercover n HC (Et X ). In partcular, the ncluson πhc (Et X ) πhc(et X ) s left 1-cofnal. The key property of Fredlander s constructon s that the composte functor I HC (Et X ) πhc (Et X ) s left 1-cofnal [Fr82, p. 38]. Combnng these facts and applyng Corollary 4.4, we deduce the followng:

14 14 MARC HOYOIS Corollary 4.5. Let X be a locally connected scheme. Then the étale topologcal type of X, as defned by Fredlander, corepresents the shape of X ét. References [AM69] M. Artn and B. Mazur, Étale Homotopy, Lecture Notes n Mathematcs, vol. 100, Sprnger, 1969 [BD81] M. Barr and R. Daconescu, On locally smply connected toposes and ther fundamental groups, Cahers Top. Géo. Dff. Catégorques 22 (1981), pp [Bun92] M. Bunge, Classfyng toposes and fundamental localc groupods, Category Theory 1991 (R. A. G. Seely, ed.), CMS Conf. Proc., vol. 13, AMS, 1992 [DHI04] D. Dugger, S. Hollander, and D. C. Isaksen, Hypercovers and smplcal presheaves, Math. Proc. Cambrdge Phlos. Soc. 136 (2004), no. 1, pp. 9 51, preprnt arxv:math/ [math.at] [Dub08] E. J. Dubuc, The fundamental progroupod of a general topos, J. Pure Appl. Algebra 212 (2008), no. 11, pp [Dub10], Spans and smplcal famles, 2010, arxv: [math.ct] [Fr82] E. M. Fredlander, Étale Homotopy of Smplcal Schemes, Annals of Mathematcal Studes, vol. 104, Prnceton Unversty Press, 1982 [Gro75] A. Grothendeck, Letter to L. Breen, 1975, Letters/breen1.html [Isa07] D. C. Isaksen, Strct model structures for pro-categores, Categorcal decomposton technques n algebrac topology, Progress n Mathematcs, vol. 215, Brkhauser, 2007, pp , preprnt arxv:math/ [math.at] [Ken91] J. F. Kennson, The fundamental localc groupod of a topos, J. Pure Appl. Algebra 77 (1991), no. 1, pp [Lur09] J. Lure, Hgher Topos Theory, Annals of Mathematcal Studes, vol. 170, Prnceton Unversty Press, 2009 [Lur11], Derved Algebrac Geometry XIII: Ratonal and p-adc Homotopy Theory, 2011, edu/~lure/papers/dag-xiii.pdf [Lur14], Hgher Algebra, 2014, [MS71] S. Mardešć and J. Segal, Shapes of compact and ANR-systems, Fund. Math. 72 (1971), pp [Moe89] I. Moerdk, Prodscrete groups and Galos toposes, Indagat. Math. (Proceedngs) 92 (1989), no. 2, pp [TV03] B. Toën and G. Vezzos, Segal topo and stacks over Segal categores, 2003, arxv:math/ [math.at]