Arxiv:1709.04275V4 [Math.AG] 1 May 2020 Ujc Nbt Ubrter N Leri Emty N[ in Geometry

arXiv:1709.04275v4 [math.AG] 1 May 2020 ujc nbt ubrter n leri emty n[ In geometry. algebraic and theory number both in subject udmna ruswssillcig h xsec fsuch character positive of in existence schemes, proper The and smooth lacking. on sheaves still was groups fundamental fcontinuous of noteramo ubrter.Mr eety .Gltu a Galatius contin of S. theory recently, deformation More [ (derived) the theory. studying number by work of realm the into 1.1. osrc h ouisae niindb .Dlge param Deligne, P. by envisioned space, moduli the construct GV18 Let ..Poeaelsesevson sheaves lisse Pro-etale stacks geometric and contexts 2.4. Geometric spaces 2.3. Hom 2.2. morphisms Preliminaries of space the of 2.1. Representability 2. Acknowledgments Conventions and 1.3. Notations results 1.2. Main 1.1. Introduction 1. .Enriched 3. ..Erce pro- Enriched 3.3. ..Mi results References systems Main local perfect of cohomology 5.4. Étale 5.3. ..Peiiaiso enriched on Preliminaries 3.1. ..Dfrainter of theory Deformation theorem 5.2. Representability moduli the of 5.1. Representability 5. ..Erce pro- Enriched 3.2. ..Lfigrslsfrcontinuous for results Lifting objects enriched 4.3. Truncated functor the of 4.2. Construction 4.1. .Mdl fdrvdcontinuous derived of Moduli 4. ..Erce ind-pro- Enriched 3.4. anresults. Main .Nntees osrcino lblmdl pc para space moduli global a of construction a Nonetheless, ]. X eoe h eomto hoyo continuous of theory deformation the recover epoethat prove we etlgroup mental LocSys wfl.Frt ecntuttemdl tc parametrizin stack moduli the construct we First, twofold. A easot n rprshm vra lerial lsdfie closed algebraically an over scheme proper and smooth a be BSTRACT p p,n ai ersnain faslt aosgop,bringing groups, Galois absolute of representations -adic OUIOF MODULI ∞ ( Let . X -categories π h td fcontinuous of study The LocSys ) 1 ét ssi nesnilwythe way essential an in uses ( p p X X nloetpretmodules perfect -nilpotent -nilpotent ) easot n rprshm vra lerial lsdfie closed algebraically an over scheme proper and smooth a be u osrcinraie uhojc sa as object such realizes construction Our . p p,n - ∞ ( X -categories p p ) AI ERSNAIN FAPOIIEGROUP PROFINITE A OF REPRESENTATIONS -ADIC ai otnosrepresentations continuous -adic disacnncldrvdsrcue hsdrvdstructu derived This structure. derived canonical a admits ∞ X ∞ -categories ét p -categories ai representations -adic p ai ersnain fpont pcs38 spaces profinite of representations -adic p Q ai ersnain féaefnaetlgop a been has groups fundamental étale of representations -adic p p .I 1. ai ersnain,suidi [ in studied representations, -adic aayi nlgeo ui-ri ersnaiiy prov representability, Lurie-Artin of analogue -analytic OG ANTÓNIO JORGE C NTRODUCTION ONTENTS rank g 1 Maz89 eterizing Q n si,wscnetrdb .Dlge n[ in Deligne, P. by conjectured was istic, osrpeettoso boueGli rus see groups, Galois absolute of representations uous p continuous aayi tc,denoted stack, -analytic betadisrl ncutn arithmetic counting in role its and object dA ekts eeaie uho Mazur’s of much generalized Venkatesh A. nd ,B au rtsuidteosrcintheory obstruction the studied first Mazur B. ], eeiigcniuu ersnain fétale of representations continuous meterizing p ai tl is hae on sheaves lisse étale -adic p ai ersnain fteéaefunda- étale the of representations -adic GV18 h ehiuso eomto theory deformation of techniques the d h ups ftecrettx is text current the of purpose The ld. d h olo h rsn eti to is text present the of goal The ld. .Orpofo emtiiyof geometricity of proof Our ]. LocSys ealwu ointrinsically to us allow re p,n di [ in ed ( X ) Secondly, . PY17 X n td its study and Del15 ]. central a ]. ℓ -adic 16 17 21 56 54 51 44 19 44 44 19 36 33 33 25 23 7 5 5 5 4 1 1 corresponding deformation theory. More precisely, we will construct a functor LocSys (X): Afdop → Grpd, p,n Qp where AfdQp denotes the category of Qp-affinoid spaces and Grpd the category of groupoids, given by the formula op A ∈ Afdk 7→ LocSysp,n(X)(A) ∈ Grpd.

Here LocSysp,n(X)(A) denotes the groupoid of conjugation classes of continuous group homomorphisms ét ρ: π1 (X) → GLn(A). op We endow GLn(A) with the topology induced by the non-archimedean topology on A ∈ Afdk . Our ﬁrst main result is the following: Theorem 1.1.1 (Theorem 2.3.11, Proposition 2.4.6, Corollary 2.4.7). The moduli functor LocSys (X): Afdop → Grpd, p,n Qp is representable by a Qp-analytic stack. More precisely, there exists a k-analytic space LocSysp,n(X) ∈ Ank together with a canonical smooth map π : LocSysp,n(X) → LocSysp,n(X), which exhibits LocSysp,n(X) as a smooth atlas for LocSysp,n(X). More concretely, π exhibits LocSysp,n(X) an as the Qp-analytic quotient stack of LocSysp,n(X) under the conjugation action of GLn on LocSysp,n(X). Moreover, the groupoid

LocSysp,n(X)(A) ∈ Grpd, can be naturally identiﬁed with the groupoid of rank n pro-étale A-local systems on X. The Qp-analytic space LocSysp,n(X) is ﬁrst constructed via its functor of points: (1.1.1) LocSys (X): A ∈ Afdop 7→ Hom πét(X), GL (A) ∈ Set. p,n Qp cont 1 n

The proof that the above formula defines a functor which is representable by a Qp-analytic space will occupy the first part of §2. Our proof is inspired by the complex case, see [Sim94]. ét Nonetheless, the fact that we have to keep track of both the profinite and Qp-analytic topologies on π1 (X) and GLn(A), respectively, renders our arguments considerably more involved. We will exploit, at length, the fact that an the Qp-analytic topology on the group GLn (A), A ∈ AfdQp , admits a natural description in terms of ind-pro objects. Indeed, the pro-structure arises from the choice of a formal model A0 for A. The ind-structure is induced by the formula,

A ≃ A0 ⊗Zp Qp

≃ colim A0. mult by p

The second half of §2 is devoted to present the theory of Qp-analytic stacks and show that LocSysp,n(X) can be an identiﬁed with the Qp-analytic stack quotient of LocSysp,n(X), under the conjugation action of GLn . We will further use the the results of [BS13], to naturally identify families of points of LocSysp,n(X) with rank n pro-étale local systems on X. Having constructed the global moduli space LocSysp,n(X), we then proceed to study the corresponding deformation theory. In order to do so, we will show that LocSysp,n(X) admits a canonical derived enhancement. More precisely, we prove:

Theorem 1.1.2. Let dAfdQp denote the ∞-category of derived Qp-afﬁnoid spaces, introduced in [PY16, 7.3]. We have the following:

(i) (Proposition 5.4.2) The Qp-analytic stack LocSys (X): Afdop → Grpd p,n Qp admits a natural derived enhancement RLocSys (X): dAfdop → S, p,n Qp where S denotes the ∞-category of spaces. 2 (ii) (Proposition 5.2.13 and Proposition 5.3.10) The derived moduli stack RLocSysp,n(X) admits a global analytic cotangent complex, denoted Lan . Given a continuous representation RLocSysp,n(X) ét ρ: π1 (X) → GLn(Qp), we can naturally identify the analytic cotangent complex at ρ with ∨ Lan ≃ C∗ X, Ad(ρ) [−1] ∈ Mod , RLocSysp,n(X),ρ ét Qp ∨ where Mod denotes the stable ∞-category of Q -modules, and C∗ X, Ad(ρ) denotes the dual of Qp p ét the complex of global étale cochains on the associated adjoint representation Ad(ρ) := ρ ⊗ ρ∨, regarded naturallly as a pro-étale local system on X. (iii) (Theorem 5.4.5) Moreover, the functor RLocSys (X): dAfdop → S p,n Qp

is representable by a derived (geometric) Qp-analytic stack whose 0-truncation canonically agrees with LocSysp,n(X). We observe that the computation of the analytic cotangent complex, Lan , provided in Theorem 1.1.2 RLocSysp,n(X) is not surprising and matches the complex analytic case, see [Toë06, Derived mapping stacks, p.41]. A main difficulty in proving Theorem 1.1.2 is to extend the definition of continuity to derived coefficients. We

first observe that given Z ∈ dAfdQp , a derived Qp-affinoid space, the derived ring of global sections O C A := RΓ(Z, Z ) ∈ AlgQp , ét admits higher homotopy groups. Since the pro-étale fundamental group, π1 (X) only classifies pro-étale local systems on X with discrete coefficients we will need to replace it with the pro-étale homotopy type, which we denote by Shét(X). The latter is naturally an object in the ∞-category of profinite spaces, denoted Profc(S), cf. [Lur09a, Theorem 3.6.5]. C A more serious problem is the fact that the object A ∈ AlgQp does not come equipped with any meaning- ful additional topological structure. Therefore, we have to define a reasonable notion of a derived continuous representation ét ρ: Sh (X) → BGLn(A).

For this purpose, we will consider the object BGLn(A) roughly as an object naturally enriched in the ∞-category of ind-pro-spaces, Ind(Pro(S)). We then deﬁne a derived continuous representation ét ρ: Sh (X) → BGLn(A), as a morphism of monoid-like objects enriched in Ind(Pro(S)). In order to make the above heuristics into valid statements we need to study in detail the theory of Ind(Pro(S))- enriched ∞-categories. This is the main bulk of the secondpart of the paper. In §3, we study the theory of enriched ∞-categories. Our main example of application corresponds to the ∞-category of perfect complexes over A. After having constructed the required enrichment on Perf(A), we continue with our study of derived continuous representations in §4. We will prove a main ingredient, of independent interest, namely a derived analogue of the well-known result that a continuous representation

ét ρ: π1 (X) → GLn(E),

where E is a finite field extension of Qp, can be lifted (up to conjugation) to an integral continuous representation, ′ ét ρ : π1 (X) → GLn(OE). The reader can find more details in Theorem 4.3.5. Another crucial ingredient for us is the derived Raynaud localization theorem, cf. [Ant18, Theorem 4.4.10]. Finally, in §5, we recall the non-archimedean analogue of the Artin-Lurie representability theorem, proved in [PY17, Theorem 7.1]. We will then proceed to study in the detail the deformation theory of LocSysp,n(X). We will then deduce, out of combining these ingredients together, the representability statement stated in Theorem 1.1.2 (iii). 3 1.2. Notations and Conventions. Inthe bodyof the textwe will needto enlargea starting Grothendieck universe, and we often omit such procedure. Fortunately, this is innocuous for us.

(i) Let k denote either a finite field extension or a complete algebraically closed field extension of Qp. We denote by Ok its ring of integers and p ∈ Ok a uniformizer for k. Given n ≥ 1, we shall denote by Ok,n n the reduction mod p of the valuation ring Ok. (ii) We denote Ank the category of strict k-analytic spaces and Afdk the full subcategory spanned by strict k-affinoid spaces, see Definition 2.1.14. (iii) We refer the reader to [Ber93, §2.6] for a definition of the Berkovich’s analytification functor. We denote an GLn denotes the analytification of the usual general linear group scheme, GLn, over k. (iv) In this paper we extensively use the language of ∞-categories. Most of the times, we reason model inde- pendently. However, whenever one needs to argue by means of an explicit model, we will use the theory of quasi-categories developped in [Lur09b]. We use caligraphic letters C, D to denote ∞-categories. We perf denote Cat∞ the ∞-category of (small) ∞-categories. We further denote by Cat∞ the ∞-category of idempotent complete ∞-categories whose equivalences correspond to Morita equivalences. We will denote by S the ∞-category of spaces, Sfc the ∞-category of finite constructible spaces, cf [Lur09a, §3.1]. (v) Given C ∈ Cat∞, we denote by Ind(C) and Pro(C) the corresponding ∞-categories of ind-objects and pro-objects on C, respectively. When C = Sfc, the ∞-category Pro(Sfc) is referred as the ∞-category of profinite spaces. ⊗ (vi) Let C denote a symmetric monoidal ∞-category. We shall denote by 1C the unit for the symmetric monoidal structure on C. When C is clear from the context, we simply denote 1C by 1. (vii) Let V⊗ denote a presentably symmetric monoidal ∞-category. We shall denote the ∞-category of V⊗- ⊗ enriched ∞-categories by Cat∞(V ). We will mainly follow [GH15] as the foundational framework for the theory of enriched ∞-categories. (viii) Let R be a simplicial commutative ring, which we also refer to as derived ring. We will denoteby CAlgR the ∞-category of simplicial R-algebras. The latter can be realized as the ∞-category associated to the usual category of simplicial R-algebras equipped with its usual model structure. For simplicity, we shall refer to objects of CAlgR as derived R-algebras. (ix) We shall denote by C ad the -category of topologically almost of finite presentation derived O - AlgOk ∞ k adic algebras. We refer the reader to [Ant18, Definition 3.1.5] for the definition of derived Ok-adic algebra and [Ant18, Definition 3.2.1] for the notion of topologically almost of finite presentation derived Ok-adic algebra. + (x) Let R denote a derived ring. We denote ModR the derived ∞-category of R-modules, Coh (R) ⊆ ModR the full subcategory spanned by almost perfect R-modules and Perf(R) the full subcategory of perfect A-modules. Let M, N ∈ ModR, we denote the (derived) tensor product by M ⊗R N ∈ ModR. (xi) Given C ad , we denote by : O C . More generally, given A ∈ AlgOk An = A ⊗Ok k,n ∈ AlgOk,n M ∈ ModA and n ≥ 1, we denote by Mn := M ⊗A An the base change of M along the canonical morphism Ok → Ok,n. ad + (xii) Let C . Given O we shall usually use gothic symbols M N A ∈ AlgOk M,N ∈ Coh (A ⊗ k k) , ∈ Coh+(A) to denote formal models for M and N, respectively. More specifically, M ∈ Coh+(A)

satisﬁes M ⊗Ok k ≃ M and similarly for N and N. (xiii) Let R ∈ CAlg. The ∞-category of R-modules, ModR, is naturally R-linear. For this reason, it admits a natural enrichment over ModR, itself. Given M, N ∈ ModR we shall denote by

Map (M,N) ∈ ModR, ModR the mapping R-module. For each i ∈ Z, its underlying spectrum has homotopy groups given by

πi(Map (M,N)) ≃ π0(Map (M,N[−i])). ModR ModR (xiv) In this paper we will make fundamental use of the theory of derived k-analytic geometry, developed in [PY16, PY17]. We shall denote by dAfdk the ∞-category of derived k-afffinoid spaces, introduced in [PY16, Definition 7.3]. Given Z ∈ dAfdk a derived k-affinoid space we shall denote by O : A1 an RΓ(Z, Z ) = MapdAnk (Z, ( k) )

∈ CAlgk, its derived ring of global sections, see [PY16, ]. 4 1.3. Acknowledgments. I would like to express my deep gratitude to my advisor B. Toen for all his advice and by sharing many ideas and suggestions concerning the contents of this text. I am grateful to M. Porta from who I learned derived non- archimedean geometry and for useful mathematical suggestions along these last years. I would also like to thank to M. Robalo, A. Vezzani, B. Hennion, D. Gepner, M. d’Addezio, V.Daruvar, C. Simpson, V. Melani, P. Scholze, B. Bhatt, B. Conrad, B. Stroh, and J. Tapia for useful commentaries and suggestions during the elaboration of the text. The author also expresses his gratitude to the math departments of Université Paris 13 and Université de Strasbourg, where I could discuss and share many of the ideas presented in this text.

2. REPRESENTABILITY OF THE SPACE OF MORPHISMS Let G be a profinite group topologically of finite generation. For example, one can consider G to be the étale fundamental group of a proper and smooth scheme over an algebraically closed field, see [GR, Thm 2.9, Exposé 10]. We define the functor LocSys (G): Afdop → Set, p,n Qp given on objects by the formula

Sp(A) ∈ Afdk 7→ HomcontG, GLn(A) ∈ Set. We denote by HomcontG, GLn(A) the set of continuous group homomorphisms

G → GLn(A), where GLn(A) is endowed with the p-adic topology induced by the one on the k-affinoid algebra A. We will prove that LocSysp,n(G) is representable by a k-analytic space, i.e. LocSysp,n(X) ∈ Ank. The proof of representability is established first when G is a free profinite group. This is the main result of §2.2. The case where G is merely a topologically finitely generated profinite group follows by the previous result, see Corollary 2.2.18. We will further show in Theorem 2.3.11, that LocSysp,n(G) defines a smooth atlas for the moduli of continuous representations of G, LocSysp,n(G). Consequently, it follows that LocSysp,n(G) is representable by a geometric stack with respect to the k-analytic geometric context. See Definition 2.3.3 for the definition of the latter term.

2.1. Preliminaries. We shall ﬁrst make a brief review of certain basic notions of k-analytic geometry, that will be useful for us.

Deﬁnition 2.1.1. Let n ≥ 1 be an integer. The Tate k-algebra on n generators with radius (r1,...,rn) is deﬁned as −1 −1 i1 in i1 in khr1 T1,...,rn Tni := { X ai1,...,in T1 ...Tn ∈ k[[T1,...Tn]]| ai1,...,in r1 ...rn → 0}, i1,...,in whose multiplicative structure is induced by the multiplicativestructure on the formal power series ring k[[T1,...Tn]].

−1 −1 Definition 2.1.2. A k-affinoid algebra is a quotient of a Tate algebra khr1 T1,...,rn Tni by a finitely generated ideal I. Definition 2.1.3. Let A be a k-affinoid algebra we say that A is a strict k-affinoid algebra if we can choose such a presentation for A as before with all the ri = 1. We denote by CAfdk the category of strict k-affinoid algebras together with continuous k-algebra homomorphisms between them.

−1 −1 Remark 2.1.4. The k-algebra khr1 T1,...,rn Tni admits a canonical k-Banach structure induced by the usual −1 −1 Gauss norm. Moreover, any finitely generated ideal I ⊂ khr1 T1,...,rn Tni is closed. As a consequence, any k-affinoid algebra A admits a k-Banach structure, depending on the choice of a presentation of A. Nonetheless it is possible to show that any two such k-Banach structures, on A, are equivalent. Therefore, the latter inherits a −1 −1 canonical topology, induced from the canonical topology on khr1 T1,...,rn Tni. Strict k-affinoid algebras correspond to the affine objects in (rigid) k-analytic geometry: Definition 2.1.5. The category of k-affinoid spaces is defined as the opposite category op Afdk := (CAfdk) . 5 Remark 2.1.6. Let A ∈ CAfdk denote a k-affinoid algebra. Given a presentation for A

A =∼ khT1,...,Tmi/I one is able to construct a formal model for A. More precisely, we consider the p-adic complete Ok-adic algebra topological of ﬁnite presentation

A0 := OkhT1,...Tmi/I ∩ OkhT1,...Tmi.

It is then clear that A0 satisﬁes

A ≃ A0 ⊗Ok k.

Notation 2.1.7. We will often denote by A0 a formal model for A, i.e., a (p-adically complete) Ok-algebra of topological ﬁnite presentation such that we have an isomorphism

A ≃ A0 ⊗Ok k

≃ colim A0. mult by p

Remark 2.1.8. The ring A0, above, is an open subring of A. For this reason, the topology of A can be thought as an ind-pro topology, in which the pro-structure comes from the fact that formal models are p-adically complete and the ind-structure arises after localizing at p. Definition 2.1.9. Given a k-affinoid algebra A, we let M(A) denote the set of semi-multiplicative seminorms on A. Given x ∈ M(A) we can associate to it a (closed) prime ideal of A. Namely, it corresponds to the kernel of the induced morphism x: A → R. The fact that it defines a prime ideal of A follows from the multiplicativity of x ∈ M(A). The elements x ∈ M(A) are usually referred to as closed points of Sp(A). Notation 2.1.10. We shall denote by H(x) the completion of the residue field Frac(A/p), where p := ker(x). The field H(x) possesses a canonical valuation, denoted | • |x, induced by the one on A. Given a ∈ A we denote by |a|x ∈ R the evaluation of | • |x on the image of a in H(x). Definition 2.1.11. Let φ: A → A′ denote a bounded morphism of k-affinoid algebras. Let x ∈ M(A) denote a closed point of Sp(A). We say that x is inner with respect to A if there exists a continuous surjective map −1 −1 ′ ϕ: Ahr1 T1,...,rn Tni → A , ′ of k-affinoid algebras such that the norm on A , induced by ϕ, agrees with the usual one and |Ti|x′ < ri, for each i. In Berkovich’s non-archimedean geometry it is possible to define the notion of relative interior, which will be very useful for us: Definition 2.1.12. Let φ : A → A′, denote a bounded morphism of k-affinoid algebras. The relative interior of φ, denoted by Int(M(A′)/M(A)), is by definition the set of points ′ ′ ′ ′ ′ IntM(A )/M(A) := {x ∈ M(A )| A → H(x ) is inner with respect to A}.

Construction 2.1.13. Let A ∈ CAfdk. Fix an Ok-adic algebra, A0, such that

A0 ⊗Ok k ≃ A. n The topology on A0 admits the family {p A0}n≥1 as a fundamentalfamily of open neighborhoodsaround 0 ∈ A0. Consequently, for m ≥ 0, we have a fundamental family of normal open subgroups m+1 Id + p · Mn(A0) E GLn(A0), which induce the p-adic topology on GLn(A0). We have further canonical isomorphisms m m GLn(A0)/Id + p · Mn(A0) ≃ GLn(A0/p A0). m Indeed, the canonical group homomorphism gm : GLn(A0) → GLn(A0/p A0) sends the subgroup m Id + p · Mn(A0), m to the identity on GLn(A0/p A0). Moreover, one checks directly that if M ∈ GLn(A0) is such that

gm(M)=Id, 6 m then the matrix M −Id is necessarily divisible by p component-wise. Moreover, since A0 is p-adically complete and GLn(•) commutes with limits we obtain a natural isomorphism m GLn(A0) =∼ lim GLn(A0)/ Id + p Mn(A0) . m≥1 m The same reasoning holds for the topological group Id + p · Mn(A0), for m ≥ 1. More precisely, we have isomorphisms m m m+s Id + p · Mn(A0) =∼ lim Id + p · Mn(A0)/(Id + p · Mn(A0) . s≥1 Definition 2.1.14. A k-analytic space is defined as a locally ringed space which locally is equivalenttoa k-affinoid space. We denote by Ank the category of k-analytic spaces and morphisms between these. One is then able to globalizemost of the previousnotions, in particular it is possible to give a global definition of the relative interior of a morphism between k-analytic spaces. We refer the reader to [Ber93],[Con08]and[Bos05] for a more detailed exposition on rigid geometry, from different points of view. 2.2. Hom spaces. Definition 2.2.1. Let FinGrp denote the category of finite groups. The category of profinite group is defined as the pro-completion of Pro(FinGrp).

Notation 2.2.2. We denote by Fr a fixed free profinite group of rank r. It can be explicitly realized as the profinite b completion of a free group on r generators, denoted Fr. The latter is a dense full subgroup of Fr. We will thus fix b throughout the text a continuous dense group inclusion homomorphism Fr → Fr. This provide us with a set of b topological generators e1,...,er ∈ Fr. b For each r ≥ 1, the groups Fr ∈ Pro(FinGrp) satisfy the universal property given by the formula b ∼ r HomPro(FinGrp)(Fr, G) = G , for any G ∈ Pro(FinGrp). b Notation 2.2.3. Let us fix Jr a final family of normal open subgroups of finite index in Fr, i.e., such that we have a continuous group isomorphism, b

limU∈Jr Fr/U ≃ Fr. b b Remark 2.2.4. Given U ∈ Jr, the quotient group

Fr/U ≃ Γ, b is finite and thus it is of finite presentation. Moreover, thanks to the Nielsen-Schreier theorem, cf. [RS08, The- orem 3.3.1], the group U is topologically finitely generated free profinite by elements σ1,...σl ∈ U. Consider furthermore the dense group inclusion homomorphism

Fr → Fr, b then U ∩ Fr → U is a discrete subgroup of U which is again dense in U. Therefore, we can assume without loss of generality that σ1,...,σl ∈ U ∩ Fr.

nji Notation 2.2.5. Let A denote a k-afﬁnoid algebra. Let σ = i ei ∈ Fr be a general element of the proﬁnite Q b group Fr. Suppose furthermore we are given a continuous group morphism b ρ: Fr → GLn(A). b Let M1 := ρ(e1),...,Mr := ρ(er). We denote by

nji σM1,...Mr := Y Mi ∈ GLn(A), i whenever the right hand side is well deﬁned, (which is always the case when the displayed product is ﬁnite).

l Definition 2.2.6. Let U ∈ Jr and fix {σi}i=1 ∈ U ∩ Fr a finite number of topological generators for U. We define the functor b l LocSysp,n(U, {σi}i=1): CAfdk → Set, given on objects by the formula, l A 7→ LocSysp,n(U, {σi}i=1)(A) r := {(M1,...,Mr) ∈ GLn(A) : for each i ∈ [1,l], |σi(M1,...,Mr) − Id| ≤ |p|}.

7 l When A0 is a formal model for A, we denote by LocSysp,n(U, {σi}i=1)(A0) the set of those (M1,...,Mr) ∈ r GLn(A0) such that σ(M1,...,Mr)=Id, mod p.

Remark 2.2.7. By the fact that each σi ∈ U ∩Fr it follows that these can be expressed as a ﬁnite productinvolving b (powers) of the ej ∈ Fr. For this reason, given any M1,...,Mr ∈ GLn(A), the elements b σi(M1,...,Mr) ∈ GLn(A), are well deﬁned. op Remark 2.2.8. Let U ∈ Jr, A ∈ Afdk and A0 be a formal model for A. Then the set l LocSysp,n(U, {σi}i=1)(A0) ∈ Set does not depend on the choice of the topological generators for U. Indeed, if τ1,...,τm are different generators for U we can express each σi as a non-linear combination of the τ1,...,τm, and vice-versa. Since Id+p·Mn(A0) l is an (open) subgroup of GLn(A0) we deduce that the elements {σi(M1,...,Mr)}i=1 belong to Id+ p · Mn(A0) m if and only if the elements in the system {τj (M1,...,Mr)}j=1, do.

l Notation 2.2.9. Following Remark 2.2.8, we will denote the set LocSysp,n(U, {σi}i=1)(A0) simply by LocSysp,n(U)(A0) ∈ Set.

Lemma 2.2.10. Let A ∈ CAfdk be a k-afﬁnoid algebra and A0 an Ok-formal model for A. Then, for each r ≥ 1, there is a bijection ∼ HomcontFr, GLn(A0) = colim LocSysp,nU(A0), b U∈Jr of sets. Proof. The hom-space HomcontFr, GLn(A0)) ∈ Set, b denotes the set of continuous group homomorphisms in the category of pro-discrete groups. Consequently, we have a bijection of the form ∼ k+1 HomcontFr, GLn(A0) = lim colim HomGrpΓU , GLn(A0/p A0), b k U∈Jr

where ΓU := Fr/U. It therefore sufﬁces to show that there exists a bijection of the form b k+1 ∼ lim colim HomGrpΓU , GLn(A0/p A0) = colim LocSysp,nU(A0). k U∈Jr U∈Jr We ﬁrst assert that there exists a canonical morphism k+1 φ : lim colim HomGrpΓU , GLn(A0/p A0) → colim LocSysp,nU(A0). k U∈Jr U∈Jr In order to prove this assertion we start by observing that a group morphism k+1 ρk :ΓUk → GLn(A0/p A0),

with Uk ∈ Jr, is completely determined by the image of the r generators of ΓUk . Furthermore, these correspond k+1 to r matrices in GLn(A0/p A0). Therefore, given such a system of compatible group homomorphisms {ρk}k, r one can associate an r-vector (M1,...,Mr) ∈ GLn(A0) , whose mod p reduction satisﬁes

σi(M1,...,Mr)= Id.

By σ1,...,σl ∈ U1 ∩ Fr we denote a choice of a ﬁnite set of topological generators for U1. Thus (M1,...,Mr) ∈ LocSysp,n(U1)(A0).

This shows the existence of the desired map. For each U ∈ Jr, we construct maps k+1 ψU : LocSys U (A0) → lim colim HomGrp Γ, GLn(A0/p A0) , p,n ′ k U ∈Jr

such that when we assemble these together we obtain the desired inverse for φ. In order to construct ψU , we start by ﬁxing topological generators l {σi}i=1 ∈ U ∩ Fr, 8 for U. Let (M1,...,Mr) ∈ LocSysp,nU(A0). As we have seen, these matrices deﬁne a continuous group homomorphism

Fr → GLn(A0/pA0). b Thanks to Lemma 2.2.11, below, the matrices

σ1(M1,...,Mr),...,σl(M1,...,Mr) ∈ Id + p · Mn(A0) determine a continuous group homomorphism

ρ1 : U → Id + p · Mn(A0). Then the inverse image ′ −1 2 U2 := ρ1 Id + p · Mn(A0) is an open normal subgroup of U, of finite index. As U itself is an open subgroup of Fr of finite index, we ′ b conclude that U2 is also a finite index subgroup of Fr. As open normal subgroups of finite index in Fr define a b 2b final family for Fr, we further deduce that there exists U2 ∈ Jr such that ρ1(U2) is a subgroupof Id+p ·Mn(A0). b Consequently, the matrices (M1,...,Mr) ∈ LocSysp,n(U)(A0) define a group homomorphism 2 ρ2 : Fr/U2 → GLn(A0/p A0). b By iterating the process, we obtain a sequence of continuous group homomorphisms i i {ρi : Fr/Ui → GLn(A0/p A0)}i ∈ lim colim Homgrp(ΓU , GLn(A0/p A0)). b i U∈Jr

Assembling these together, we obtain a continuous group homomorphism ρ ∈ Homcont(Fr, GLn(A0). It follows easily by our construction that, b colim(ψU ): colim LocSysp,nU(A0) → HomcontFr, GLn(A0), U∈Jr U∈Jr b is the inverse map of φ, as desired.

Lemma 2.2.11 (Burnside problem for topologically nilpotent p-groups). Let A0 bea p-adic complete Ok-algebra. For each m ≥ 1, we have a natural bijection m+1 ∼ m+1 r HomcontFr, Id + p · Mn(A0) = Id + p · Mn(A0) . b Proof. Let s> 0 be an integer. Notice that the quotient groups, m m+s+1 Id + p · Mn(A0)/(Id + p · Mn(A0), are torsion, i.e., every element has finite order. We conclude that m+1 ∼ m+1 HomcontZ, Id + p · Mn(A0) = Id + p · Mn(A0), b where Z denotes the profinite completion of Z. This finishes the proof when r = 1. The same holds for general b Fr, i.e., we have a canonical equivalence, b m+1 ∼ m+1 m HomcontFr, Id + p · Mn(A0) = Id + p · Mn(A0) . b In order to prove this last assertion it suffices to show that any finitely generated subgroup of the quotient m m+s+1 Id + p · Mn(A0)/(Id + p · Mn(A0), is finite (i.e. the Burnside problem admits an affirmative answer in this particular case). In order to justify the given assertion we fix G a finitely generated subgroup of m m+l+1 Id + p · Mn(A0)/(Id + p · Mn(A0). m+1 m+1 By assumption it is generated by matrices of the form Id + p N1,..., Id + p Ns. Therefore a general element of G can be written as, m+1 m+l−1 Id + p (n1,1N1,1 + ··· + n1,sNs,1)+ ··· + p (na−1,1Na−1,1 + ··· + na−1,sl−1 Na−1,sl−1 ), a−1 where the Ni,j , for i, j ∈ [1,a − 1] × [1,s ], denote non-linear products of the Ni having at most a − 1 terms, counted with multiplicity, where a denotes the least integer such that m×(a+1) ≥ l. By the Pigeonhole principle l−1 there are only finite number of such choices for the integers ni,j for (i, j) ∈ [1,l − 1] × [1,s ] and the result follows. 9 op Proposition 2.2.12. Let A ∈ CAfdk denote a k-affinoid algebra then we have a natural bijection, ∼ l HomcontFr, GLn(A) = colim LocSysp,nU, {σi}i=1(A), b (U,σ1,...,σl) l where U ∈ Jr and {σi}i=1 denote a choice of topological generators for U.

Proof. Let ρ : Fr → GLn(A) be a continuous homomorphism of topological groups and let e1,...,er be the b fixed topological generators of Fr. Let b Mi := ρ(ei) ∈ GLn(A) for each 1 ≤ i ≤ r. The group Id + p · Mn(A0) is open in GLn(A0) and the latter open in GLn(A). We thus deduce that the inverse image −1 U := ρ Id + p · Mn(A0) is an open subgroup of Fr and it has thus finite index in Fr. Moreover, as Jr is a final family for Fr one can b b b suppose without loss of generality, up to shrinking U, that U ∈ Jr. Thus we might as well assume that U is −1 normal in Fr. Choose a finite set of topological generators for ρ Id + p · Mn(A0). We deduce that the b (M1,...,Mr) satisfy the family of inequalities l {σi(M1,...,Mr) ≤ |p|}i=1. Therefore l (M1,...,Mr) ∈ colim LocSys U, {σi} (A), l p,n i=1 (U,{σi}i=1) with U ∈ Jr and σ1,...,σl topological generators for U. This proves the direct inclusion. We also deduce that we have a well defined map of sets

l ρ ∈ Homcont(Fr, GLn(A)) 7→ (ρ(e1),...,ρ(er)) ∈ colim LocSysp,nU, {σi}i=1(A). b (Uσ1,...,σl) Let us construct an inverse map. Consider r (M1,...,Mr) ∈ GLn(A) , such that

σi(M1,...,Mr) ∈ Id + p · Mn(A0).

Here we assume that the {σi}i∈[1,l], all lie in the dense subgroup Fr ⊂ Fr. Let U denote the finite index normal b open subgroup of Fr, generated by the {σi}i∈[1,l]. We remark thatb U is free profinite by the version of Nielsen-Schreier theorem for open subgroups of free profinite groups, see [RS08, Theorem 3.3.1]. By Lemma 2.2.11, we deduce that r (σ1(M1,...,Mr),...,σl(M1,...,Mr)) ∈ GLn(A) defines a continuous group homomorphism

ρ¯ : U ≃ Fl → Id + p · Mn(A0). b Therefore, we have the following diagram in the category of topological groups,

Fr Fr U b (M1,...,Mr) = GLn(A) GLn(A) Id + pMn(A0).

We want to show that we can fill the above diagram with a continuous morphisms Fr → GLn(A) making the b whole diagram commutative. Since U is of finite index in Fr, we can choose elements b g1,...gm ∈ Fr ⊂ Fr b such that these form a (faithful) system of representatives for the finite group Fr/U. For i ∈ [1,m], write b n : ji gi = Y eji , ji 10 where this product is finite and unique by the assumption that the gi ∈ Fr. Every element of h ∈ Fr can be written b as h = giσ, for some gi as above and σ ∈ U. Let us then define n ρ(h) := M ji ρ¯(σ) ∈ GL (A). Y ji n ji We are left to verify that the association

h ∈ Fr 7→ ρ¯(h) ∈ GLn(A), b gives a well deﬁned continuous group homomorphism. Let

ns g := Y es ∈ Fr ⊂ Fr, s b ′ ′ and σ ∈ U such that gσ = h = giσ. We ﬁrst prove that

ns ′ ρ¯(h)= Y Ms ρ¯(σ ). s ′ Suppose that σ, σ ∈ U ∩ Fr, then it follows that h ∈ Fr. The result now follows, in this case, since we have ﬁxed a group homomorphism

(M1,...,Mr): Fr → GLn(A), which is necessarily continuous. Otherwise, assume that it is not the case that ′ σ, σ ∈ U ∩ Fr. ′ Let (σn)n and (σn′ )n′ be sequences of elements in U ∩ Fr converging to σ and σ , respectively. We observe that this is possible since Fr is dense in Fr and U ∩ Fr is a free (discrete) group whose proﬁnite completion is canonically equivalent to U, thus dense inbU. For this reason, we obtain that −1 ′ g giσ = σ ,

−1 ′ ni nji and we get moreover that g giσn converges to σ . Write g = e and, for each i, gi = e . The Qi i Qji ji elements −ni−1 nji (Y Mi )(Y Mji )ρ(σm) ∈ GLn(A) , j ji converge to ρ(σ′) by continuity of ρ. They also converge to the element

−ni−1 nji (Y Mi )(Y Mji )ρ(σ) ∈ GLn(A). j ji

This last assertion follows by continuity of the group multiplication on GLn(A). Since the topology on A comes from a norm on A, making the latter a Banach k-algebra, we conclude that A is Hausdorff and so it is GLn(A). This implies that converging sequences in GLn(A) admit a unique limit. We conclude therefore that,

′ −ni−1 nji ρ(σ ) = (Y Mi )(Y Mji )ρ(σ). j ji We obtain then the desired equality,

−ni−1 ′ nji (Y Mi )ρ(σ ) = (Y Mji )ρ(σ). j ji

This proves that ρ: Fr → GLn(A) is a well defined map. We wish to show that it is a continuous group homo- b morphism. Our definitions make clear that to prove multiplicativity of ρ it suffices to show that for every g ∈ Fr and σ ∈ U we have, ρ(gσg−1)= ρ(g)ρ(σ)ρ(g−1).

Choose again a converging sequence (σn)n, in Fr ∩ U, such that σn converges to σ. Then, for each n, we have −1 −1 ρ(gσng )= ρ(g)ρ(σn)¯ρ(g ). Passing to the limit implies that we obtain the desired equality. We are reduced to show that ρ is continuous. Let V be an open subset of GLn(A). The intersection V ∩ (Id + pMn(A0) is open in GLn(A). Thus, −1 −1 ρ (V ∩ (Id + p · Mn(A0)) = ρ (V ∩ (Id + p · Mn(A0)), 11 is open in U. Therefore, the quotient U/(V ∩ (Id + p · Mn(A0)) is discrete, since U is of finite index in Fr. We conclude that, b −1 −1 U/ρ (V ∩ (Id + p · Mn(A0)) → Fr/ρ (V ), exhibits the quotient b −1 U/ρ (V ∩ (Id + p · Mn(A0)), −1 as a subgroup of finite index in Fr/ρ (V ). Thus the latter is necessarily discrete. The result now follows, since −1 b we have that ρ (V ) is an open subset in Fr. b Notation 2.2.13. We shall denote by l LocSys (Fr)(A) := colim LocSys U, {σi} (A) p,n l p,n i=1 b (U,{σi}i=1) ∼ = HomcontFr, GLn(A). b an Remark 2.2.14. Recall the analytification functor, introduced in [Ber93, §2.6]. Let GLn denote the analytification of the general linear group scheme GLn over Spec(k). Proposition 2.2.12 allows us to write LocSysp,n(Fr) b as a union of subfunctors of GLan, namely {LocSys (U, {σ }l )} . This is similar to the situation in the n p,n i i=1 U∈Fr complex case. b

l op Lemma 2.2.15. The functor LocSysp,n(U, {σi}i=1): Afdk → Set is representable by a (strict) k-analytic space. 0 1 GLan Proof. Let GLn = SpkhTij i[ det ] denote the closed unit disk in n . Let l 0 LocSysp,nU, {σi}i=1 ∈ Fun(Ank, Set) l 0 an denote the pullback of LocSysp,nU, {σi}i=1, along the inclusion morphism GLn ֒→ GLn . Consider the following cartesian diagram l 0 LocSysp,n(U, {σi}i=1,B) SpBB

l 0 0 r LocSysp,nU, {σi}i=1 (GLn) . op Where B ∈ Afdk is a k-afﬁnoid algebra and 0 r 0 r (M1,...,Mr) ∈ GLn(B) = GLn(B ) , 0 r corresponds to a given morphism of k-analytic spaces Sp(B) → (GLn) . It follows that l 0 op LocSysp,n(U, {σi}i=1,B) ∈ FunAfdk , Set, corresponds to the subfunctor of Sp(B), whose value on any k-afﬁnoid algebra A is in bijection with the set 0 X l (A) := {f : B → A : for each i, |σi(M1,...,Mr) − Id| ≤ |p|, in A}. U,{σi }i=1,B Therefore, at the level of points, the functor l 0 LocSysp,nU, {σi}i=1,B parametrizes those points x ∈ Sp(B) such that, for each i,

|σ(M1,...,Mr) − Id|(x) ≤ |p|(x), It is clear from our description, that this latter functor is representable by a Weierstrass subdomain of Sp(B). As 0 r l (GLn) is a (strict) k-affinoid space, it follows that LocSysp,nU, {σi}i=1 is representable in the category Afdk, 0 (consider in the above diagram with Sp(B) = GLn and (M1,...,Mr) the r-vector whose matrix components 0 correspond to identity morphism of GLn). × Let ci ∈ |k | be a decreasing sequence of real numbers converging to 0, there is a natural isomorphism 0 r 0 r (GLn) ≃ colim(GLn)c , i i where 0 r denotes a copy of 0 r indexed by . The inclusion morphisms in the corresponding diagram (GLn)ci (GLn) ci sends 0 r to the closed disk of radius −1 inside of 0 r . Henceforth we have canonical isomorphisms (GLn)ci ci (GLn)ci+1 l ∼ l 0 LocSysp,n U, {σi}i=1 = colim LocSysp,n(U, {σi}i=1) . i ci 12 The latter is a union of k-affinoid subdomains where the image of an element in the filtered diagram lies in the l relative interior, of the successive one. We thus conclude that LocSysp,nU, {σi}i=1 is itself representable by an k-analytic space. The following formal statement will be helpful in the proof of our main theorem:

Proposition 2.2.16. Let {Xi}i∈I denote a ﬁltered diagram of k-analytic subdomains of a k-analytic space Y. If for every i ∈ I, there exists an index j ∈ I together with a morphism i → j in J such that the image of the transition morphism fi,j : Xi → Xj , lies in the relative interior Int(Xj /Y), then the colimit X := colimi∈I Xi exists in the category Ank and the induced morphism X → Y, exhibits X as a k-analytic subdomain of Y.

Proof. By our assumptions, for each i ∈ I, Xi is a k-analytic subdomain of Y. For this reason, the k-analytic subdomain Xi represents a functor, also denoted op Xi : Afdk → Set, which is a sub-functor of the one represented by Y. This last assertion follows readily from the deﬁnitions. We will actually need to prove a slightly more general assertion than the stated one, namely: let X := colimi∈I Xi as op functors Afdk → Set. It follows from the construction that we have a natural morphism f : X → Y, which exhibits the former as a sub-functor of the later. We will show that X is representable by a k-analytic space and f exhibits the later as a k-analytic subdomain of Y. Moreover, X coincides with the ﬁltered colimit of the (Xi,i ∈ I), computed in Ank. Thanks to [Con08, Exercise 4.5.3], it follows that the relative interior

IntXi/Y ֒→ Y is an open subset of Y. As a consequence, to X we canonically associate a topological subspace top top X := colim Xi i∈I top =∼ colim Int Xi/Y , i∈I where the superscript (-)top denotes the underlying topological space of a k-analytic space. By our previous considerations, Xtop is an open subset of Ytop. Consequently, the former is necessarily an Hausdorff space. We will construct a canonical k-analytic structure on it and show that such k-analytic space represents the functor X, above. Since, each Xi ∈ Ank, i ∈ I is a k-analytic space, we can take the maximal atlas and quasi-net on it consisting of k-affinoid subdomains of top Xi, which we denote by Ti. As X can be realized as a filtered union of the Xi we claim that the union of the top top quasi-nets Ti induces a quasi-net T on X . In order to prove this we shall show that given a point x ∈ X we top need to be able to find a finite collection V1,...,Vn of compact Hausdorff subsets of X such that

x ∈ \ Vi, i top and furthermore V1 ∪···∪ Vn is an open neighborhood of x inside X . In order to show such condition on T, we notice ﬁrst that that we can choose a sufﬁciently large index i ∈ I such that

x ∈ Xi, X Y Xtop lies in the relative interior Int i/ . Indeed, there exists some sufﬁciently large i ∈ I such that x ∈ i . By our assumptions, there exists i → j in I such that top top Xi → Xj , has image in the relative interior Int(Xj /Y). Thus x ∈ Int(Xj/Y), as desired. By the k-analytic structure on

Xj ∈ Ank, we conclude that we can take V1,...,Vn k- affinoid subdomains of Xj satisfying the above condition, as desired. 13 top We are reduced to show that the union V1 ∪···∪ Vn is open in X . As before, we can assume that the Vi are subdomains of a given Xi, for a sufficiently large i ∈ I. Furthermore, by applying the same reasoning as before, we can further suppose that the Vi lie in the relative interior Int(Xi, Y). For this reason, the union V1 ∪···∪ Vn X Y Xtop lies itself in the relative interior Int i/ . By our choice of the Vi’s, their union is open in i and thus open in Int(Xi/Y), as it is contained in the latter. Since Int(Xi/Y. is open in Y, we conclude that the union V1 ∪···∪ Vn is open in Y and consequently also open in the subspace Xtop, itself. Clearly, T induces quasi-nets on the intersections W ∩ W ′, for any W, W ′ ∈ T. Indeed, this is an immediate consequence of the fact that we can always choose a sufficiently ′ large index i ∈ I such that W, W ⊂ Xi. top We have just proved that the union of the maximal atlas on each Xi induces a well defined atlas on X , with respect to T. We conclude that the topological space Xtop is endowed with a natural structure of k-analytic space (in fact, a k-analytic subdomain of Y, since our choices are all compatible with the inclusion Xtop → Ytop). Let us denote by X′ the k-analytic space (Xtop, T). We shall show that X′ represents the functor op X: Afdk → Set. As k-affinoid spaces are quasi-compact we conclude that any map Sp(A) → X′ factors through some Xi, as their union equals the union of the respective relative interiors, which are open k- analytic subspaces of X′. It thus follows that X′ represents the functor given by filtered colimit

X ≃ colim Xi, i∈I as desired. Theorem 2.2.17. For each r ≥ 1, the functor op LocSysp,n(Fr) : Afdk → Set, b given on objects by the formula

A ∈ Afdk 7→ {(M1,...,Mr) ∈ GLn(A): there exists i, |σi(M1,...Mr) − Id| ≤ |p|} ∈ Set, is representable by a (strict) k-analytic space. ′ Proof. We start by observe that if U ⊂ U is an inclusion of groups, both lying in Jr, then they induce an inclusion of functors l ′ s .LocSysp,nU, {σi}i=1 ֒→ LocSysp,nU , {τi}i=1 Let us employ the same notations as we did previously for

σi(M1,...,Mr) ∈ Id + p · Mn(A0), where the σi denote a choice of generators for U, lying in the dense subgroup U ∩ Fr. It follows that, we have ′ τj (M1,...,Mr) ∈ Id + p · Mn(A0), ′ ′ for a choice of generators for U , lying in U ∩ Fr. Thanks to Lemma 2.2.15, it follows that the functor l op LocSysp,nU, {σi}i=1: Afdk → Set, ′ is representable by a k-analytic subdomain of LocSysp,nU , τ1,...,τs. We wish to show that ∼ l LocSysp,n Fr = colim LocSysp,n U, {σi}i=1 , J l b (U∈ r,{σi}i=1) is representable by a k-analytic space. We will prove that the inclusions l ′ s LocSysp,nU, {σi}i=1 ֒→ LocSysp,nU , {τi}i=1 are inclusions of k-analytic subdomains as in Proposition 2.2.16, whenever U denotes a sufficiently large (finite) index subgroup of Fr. Given a k-affinoid algebra A and b l (M1,...,Mr) ∈ LocSysp,nU, {σi}i=1(A), 14 we can write, for each i, σi(M1,...,Mr)=Id+ p · Ni, for suitable matrices Ni ∈ Mn(A0). Moreover, the r-tuple (M1,...,Mr) defines a continuous group homomorphism

ρ: Fr → GLn(A). b ′ By Lemma 2.2.11, quotients of the pro-p-group Id + p · Mn(A0) are of p-torsion. Let U ∈ Jr be such that ′ −1 2 U ⊂ ρ (Id + p · Mn(A0)). ′ Given τ1,...,τs generators for U , as above, we have 2 |τi(M1,...,Mr) − Id| ≤ |p | < |p|, for each i ∈ [1,s]. This implies that ′ s an r (M1,...,Mr) ∈ IntLocSysp,nU , {τi}i=1/(GLn ) . We are thus precisely in the conditions of Proposition 2.2.16, and the result follows. Corollary 2.2.18. Let G be a profinite group, topologically of finite type. Then the functor op LocSysp,n(G) : Afdk → Set, given on objects by the formula op A ∈ Afdk → HomcontG, GLn(A) ∈ Set, is representable by a k-analytic space. Proof. Let us fix a continuous surjection of profinite groups

q : Fr → G, b for some integer r ≤ 1. Let H denote the kernel of q. Thanks to Theorem 2.2.17, we know that LocSysp,n(Fr) is representable by a k-analytic stack. We have an inclusion at the level of functors of points b q∗ : LocSysp,n(G) → LocSysp,n(Fr), b induced by precomposing continuous homomorphisms ρ: G → GLn(A) with q. We show that the morphism q∗ is representable and a closed immersion. Let Sp A be a k-affinoid space and suppose given a morphism of k-analytic spaces, ρ: Sp(A) → LocSysp,n(G), corresponding to a continuous representation ρ: G → GLn(A). We want to compute the fiber product Sp(A) × LocSysp,n(G). LocSysp,n(Fbr) Notice that Sp(A) is quasi-compact and that we have an isomorphism at the underlying topological spaces, ∼ l an r LocSysp,n(Fr) = colim IntLocSysp,n(U, {σi}i=1)/(GLn ) . b U,σ1,...,σl It follows that q∗(ρ): Sp A → LocSysp,n(Fr), b l J factors through a k-analytic subspace of the form LocSysp,nU, {σi}i=1, for suitable U ∈ r and σ1,...,σl ∈ U. By applying again the same reasoning we can assume further that ρ: Sp(A) → LocSysp,n(Fr), b l 0 factors through some LocSysp,nU, {σi}i=1 , as in the proof of Lemma 2.2.15. The latter is k-affinoid, say 0 ∼ XU,{σi} = Sp(B), for some k-affinoid algebra B. Let 0 denote the fiber product, XG,U,σ1,...,σl

l 0 LocSysp,nG, U, {σi}i=1 LocSysp,n(G) .

l 0 LocSysp,nU, {σi}i=1 LocSysp,n(Fr) b 15 By construction, the set l 0 LocSysp,n(G, U, {σi}i=1) (A) ∈ Set l 0 corresponds to those (M1,...,Mr) ∈ LocSysp,n(U, {σi}i=1) (A) such that

h(M1,...,Mr)= Id,

for every h ∈ H ∩ Fr ⊂ H. We conclude that we have an equivalence of fiber products, Z := Sp A × LocSysp,n(G) LocSysp,n(Fbr) l 0 =∼ Sp A × 0 LocSys G, U, {σi} . LocSys U,{σ }l p,n i=1 p,n i i=1 Every k-affinoidalgebra is Noetherian, cf. [Con08, Theorem1.1.5]. Forthis reason, we concludethat Z parametrizes points which are determined by finitely many equations with coefficients in A ∈ CAfdk (these are induced from the relations defining H inside Fr). The latter assertion implies that Z is a closed subspace of Sp A and thus representable. The result now follows.b Remark 2.2.19. Let G be a profinite group as above. There exists a canonical action of the k-analytic group an GLn on LocSysp,n(G), via conjugation. Conjugacy classes of elements in LocSysp,n(G), under the conjugation an action of GLn , correspond to rank n continuous representations of G. 2.3. Geometric contexts and geometric stacks. Our next goal is to give an overview of the general framework that allow us to define the notion of a geometric stack in the k-analytic setting. Our motivation comes from the need to define the moduli stack of continuous representations of a profinite group G,asa k-analytic stack. Definition 2.3.1. A geometric context (C, τ, P) consists of an ∞-site (C, τ), cf. [Lur09b, Definition 6.2.2.1], and a class P of morphisms in C verifying: (i) Every representable sheaf is a hypercomplete sheaf on (C, τ). (ii) The class P is closed under equivalences, compositions and pullbacks. (iii) Every τ-covering consists of morphisms in P. (iv) Let f : X → Y be a morphism in C. Suppose that we are given a τ-covering {Ui → X}, such that each composition Ui → Y belongs to P. Then f belongs to P. Notation 2.3.2. Let (C, τ) denote an ∞-site. We denote by Shv(C, τ) the ∞-category of sheaves on (C, τ). Itcan be realized as a presentable left localization of the ∞-category of presheaves on C, PSh(C), cf. [Lur09b, Lemma 6.2.2.7]. Given a geometric context (C, τ, P) it is possible to form an ∞-category of geometric stacks Geom(C, τ, P) via an inductive definition as follows: Definition 2.3.3. A morphism in F → G in Shv(C, τ) is (−1)-representable if for every map X → G, where X is a representable object of Shv(C, τ), the base change F ×G X is also representable. Let n ≥ 0, we say that F ∈ Shv(C, τ) is n-geometric if it satisfies the following two conditions: (i) It admits an n-atlas, i.e. a surjective morphism p : U → F , where U is representable, p is (n − 1)- representable and it lies in P. (ii) The diagonal map F → F × F is (n − 1)-representable. Definition 2.3.4. We say that F ∈ Shv(C, τ) is locally geometric if F can be written as an union of n-geometric stacks F = Si Gi, for possible varying n. We further require that each morphism Gi → F is an open immersion. The following is a desirable feature of a geometric context: Definition 2.3.5. Let (C, τ) be an ∞-site. The ∞-category C is closed under τ-descent if for any morphism F → Y satisfying: (i) Both F, Y ∈ Shv(C, τ); (ii) Y is representable; (iii) For any τ-covering {Yi → Y } the pullback F ×Y Yi is representable. The object F is also representable. Remark 2.3.6. When the geometric context is closed under τ-descent the definition of a geometric stack becomes simpler since it turns out to be ambiguous to require the representability of the diagonal map, [PY16, Corollary 8.6]. 16 Example 2.3.7. We are mainly interested in the geometric context (Afdk, τét, Psm). Here τét denotes the quasi- étale topology on Afdk, and Psm denotes the collection of quasi-smooth morphisms, cf. [Ber94, §3]. Such geometric context is closed under τét-descent, cf. [PY16, Proposition 8.7].

Notation 2.3.8. We will refer to geometric stacks for the geometric context (Afdk, τét, Psm) simply by k-analytic stacks. Let G be a smooth group object in the ∞-category Shv(C, τ). Suppose that G acts on a representable object X. The quotient stack of X by the G-action is defined as the (homotopy) colimit of the diagram, ... G2 × X G × XX. We denote such (homotopy) colimit by [X/G]. Lemma 2.3.9. Let (C, τ, P) be a geometric context satisfying τ-descent. Let G be a smooth group object in the ∞-category Shv(C, τ) acting on a representable object X. Then the quotient [X/G] is a geometric stack. Proof. It suffices to verify condition (1) of Definition 2.12. By definitoin of [X/G] we have a canonical morphism X → [X/G] which is easily seen to be (-1)-representable and smooth. Therefore, [X/G] is a 0-geometric stack. Definition 2.3.10. Let G be a profinite group of topological finite presentation. We define the k-analytic stack of continuous representations of G as an LocSysp,n(G) := [LocSysp,n(G)/GLn ] ∈ StAfdk, τét, Psm. We now obtain the important result: Theorem 2.3.11. Let G be a profinite group of topological finite presentation. Then the functor

LocSysp,n(G): Afdk → S, is representable by a geometric stack. Proof. The result is a direct consequence of Lemma 2.3.9 together with Corollary 2.2.18. Corollary 2.3.12. Let X be a smooth and proper scheme over an algebraically closed ﬁeld. Then the k-analytic ét stack parametrizing continuous representations of π1 (X) is representable by a geometric stack. Proof. It follows immediately by Theorem 2.3.11 together with the fact that under such assumptions on X its ét étale fundamental group π1 (X) is topologically of ﬁnite generation.

2.4. Pro-etale lisse sheaves on Xét. Let X be a proper and smooth scheme over an algebraically closed field K. Fix a geometric point x: Spec K → X. Thanks to [GR, Thm 2.9, Exposé 10], the étale fundamental group 1 1 πét(X) := πét(X, x), is profinite topologically of finite generation. Moreover, [BS13, Lemma 7.4.10] implies that the pro-étale and ét étale fundamental groups, of X, agree. For this reason, the étale fundamental group π1 (X) parametrizes rank n pro-étale Qp-local systems on X,[BS13, Lemma 7.4.7]. Our goal is to generalize the latter assertion to the case where we replace the field Qp by an affinoid Qp-algebra, A. We refer the reader to [BS13, Definition 4.1.1] for the definition of the pro-étale site on X, Xpro-étale. Definition 2.4.1 (Noohi group). Let G be a topological group and consider the category of G-sets, denoted G-Set. Consider the forgetful functor FG : G-Set → Set.

We say that G is a Noohi group if there is a canonical equivalence G ≃ Aut(FG), where Aut(FG) is topologized via the compact-open topology on Aut(S), for each S ∈ Set. Lemma 2.4.2. Let G be a topological group such that it contains an open Noohi subgroup U ≤ G. Then G is itself a Noohi group. Proof. This is [BS13, Lemma 7.1.8].

Lemma 2.4.3. Let A be an k-afﬁnoid algebra, then GLn(A) is a Noohi group. 17 Proof. Let A0 be a formal model for A. By our choice, A0 is a p-adically complete ring. We have furthermore a sequence of natural isomorphisms k GLn(A0) =∼ limGLn(A0/p A0) k k =∼ limGLn(A0)/ Id + p Mn(A0) . k

In particular, GLn(A0) is a pro-discrete group, as in [Noo04, Deﬁnition 2.1]. Moreover, the system m {GLn(A0)}∪{Id + p · Mn(A0)}m≥1, forms a basis of open normal subgroups of GLn(A0). For this reason, GLn(A0) is a Noohi group, cf. [Noo04, Proposition 2.14]. As A0 is an open subring of A, we conclude that

GLn(A0) ≤ GLn(A), is an open subgroup. It then follows by [BS13, Lemma 7.1.8] that GLn(A) is a Noohi group, as desired. O F Construction 2.4.4. Let A denote a p-adically complete k-algebra. Let GLn(A) denote the pre-sheaf on the pro-étale site Xproét deﬁned by the formula

T ∈ Xpro-étale 7→ Mapcont(|T |, GLn(A)), where |T | denotes the underlying topological space of the scheme T . The above formula actually deﬁnes a sheaf (of groups) on the pro-étale topology on X,cf.[BS13, Lemma 4.2.12].

Definition 2.4.5. The category of pro-étale free of rank n A-local systems on X, denoted LocX,n(A), is defined F as the category of GLn(A)-torsors on Xpro-étale. The following Proposition is an immediate generalization of[BS13, Lemma 7.4.7]. We present its proof for the sake of completeness. Proposition 2.4.6. Let A be a k-affinoid algebra. Then there is a natural equivalence of groupoids,

LocSysp,n(X)(A) ≃ LocX,n(A).

Proof. Let A0 be a formal model for A. As in the proof of Lemma 2.4.3, GLn(A0) is a pro-discrete subgroup (thus a Noohi subgroup) of GLn(A). It thus follows from [BS13, Lemma 7.4.6] that we are allowed to replace A by A0, in the statement of the Lemma. Let, ét ρ : π1 (X) → GLn(A), be a continuous representation. We define −1 U := ρ (GLn(A0)). ét In particular, U is an open subgroup of π1 (X). It thus defines a pointed covering XU → X such that ét ∼ π1 (XU ) = U. The induced representation, ét π1 (XU ) → GLn(A0), ′ produces a well-defined element M ∈ LocXU ,n(A0). Hence, after inverting p, it induces a local system M ∈ ′ LocXU (A). Such element M comes equipped with descent data for XU → X and therefore comes from a unique element N(ρ) ∈ LocX,n(A). Conversely, fix some element N ∈ LocX,n(A) which corresponds to a well defined F GLn(A)-torsor. Let S ∈ GLn(A)-Set, we then have an induced representation, F F ρS : GLn(A) → Aut(S), of pro-étale local systems. The pushout of N along ρS defines thus an element NS ∈ LocX,n(A). Moreover, its stalk at the base point is isomorphic to S. Moreover, this association is functorial in S. It thus defines a functor

GLn(A)-Set → LocX,n(A), compatible with the ﬁber functor. By Lemma 2.4.3, GLn(A) is a Noohi group. We can thus associate to it a continuous homomorphism ét ρN : π1 (X) → GLn(A). This construction provides us with an inverse for the previously deﬁned functor. The result now follows. 18 op Corollary 2.4.7. The non-archimedean stack LocSysp,n(X) represents the functor Afdk → S given on objects by the formula,

A 7→ LocX,n(A) ∈ S. Proof. It follows by the construction of quotient stack combined with Proposition 2.4.6.

3. ENRICHED ∞-CATEGORIES 3.1. Preliminaries on enriched ∞-categories. In this §, we will state and prove certain results about enriched ∞-categories, that will be convenient for us. Our main reference is [GH15]. We do not attempt to give a full account of the results contained in the given citation. Instead, we only recall a few notions that will be important for our study:

⊗ ⊗ Deﬁnition 3.1.1. Let V be a presentably symmetric monoidal ∞-category. We denote by Algcat(V ), the ∞-category of categorical algebras on V⊗,asin[GH15, Deﬁnition 4.3.1].

Deﬁnition 3.1.2. A V-enriched ∞-category corresponds to a complete object in Algcat(V). We refer the reader to [GH15, Deﬁnition 5.2.2], for the notion of complete objects.

⊗ V Definition 3.1.3. Following [GH15, Definition 5.4.3] we denote by Cat∞(V ) := Cat∞ the ∞-category of V- ⊗ enriched ∞-categories. The latter corresponds to the full subcategory of Algcat(V ), which is the (presentable) localization at the family of essentially surjective fully faithful functors,cf.[GH15, Corollary 5.6.3 and Corollary 5.6.4]. Notation 3.1.4. When the symmetric monoidal structure on V is clear from the context, we simply denote ⊗ Cat∞(V ) by Cat∞(V). We now introduce the notion of space of objects, as in [GH15, Definition 5.1.1]:

⊗ Definition 3.1.5. Consider the unit 1V⊗ ∈ V . There is an essentially unique way to extend 1V⊗ to an associative algebra object 0 op ⊗ EV⊗ : ∆ → V . ⊗ On the other hand, this defines a natural object in the ∞-category Cat∞(V ). We then define the space of objects of C, denoted ι0(C), as 0 C ⊗ ⊗ C ι0( ) := MapCat∞(V )(EV , ) ∈ S. The following statement will prove to be very useful in our further study: Lemma 3.1.6. Let V⊗ be a presentably symmetric monoidal ∞-category. Suppose we are given a small diagram ⊗ F : I → Cat∞(V ). If the limit C := limF, I ⊗ exists in the ∞-category Cat∞(V ) then the space of objects ι0C can be naturally identified with the limit

limi(ι0(Ci)) ∈ S, ⊗ where, for each i ∈ I, Ci := F (i), in Cat∞(V ). Proof. In this case, we have a chain of equivalences in V⊗ ι(C) ≃ 0 ≃ Map ⊗ E ⊗ , C) Cat∞(V ) V 0 ≃ limMapCat (V⊗) EV⊗ , Ci i∈I ∞

≃ lim(ι0(Ci)). i∈I This ﬁnishes the proof of the statement.

We will also need to recall [GH15, Definition 5.1.3]: 19 Definition 3.1.7. Let V⊗ denote a presentably symmetric monoidal ∞-category. The ∞-category of categorical ⊗ algebras Algcat(V ) is naturally tensored over Algcat(S),cf.[GH15, Corollary 4.3.17]. Let [1] denote the ordered category {0, 1} regarded as an ∞-category. We denote by ⊗ [1]V := [1] ⊗ 1V⊗ ∈ Algcat(V ), ⊗ Let C ∈ Cat∞(V ). We define the space of morphisms of C as the mapping space

Map ⊗ ([1]V, C). Algcat(V ) We refer the reader to [GH15, Lemma 5.1.4.] for a justiﬁication of this deﬁnition. Notation 3.1.8. The inclusion morphisms {0} → [1] ←{1} induce a natural source-target morphism 0 ×2 (s,t): Map ⊗ ([1]V⊗ , C) → Map ⊗ (E ⊗ , C) . Algcat(V ) Algcat(V ) V Given x, y ∈ ι(C) we denote by

⊗ C : ⊗ ⊗ C 0 ×2 Map ([1]V , ) = MapAlg (V )([1]V , ) ×Map V⊗ (E ,C) {(x, y)}, x ` y/C cat Algcat ( ) V⊗ the space of morphisms in C with source x ∈ ι(C) and target y ∈ ι(C). We shall also denote by

C(x, y) := Map ([1] ⊗ , C), x ` y/C V

MapC(x, y) := C(x, y). Lemma 3.1.9. Let V⊗ be a presentably symmetric monoidal ∞-category. Suppose we are given a small diagram ⊗ F : I → Cat∞(V ). Then the limit C := limF, I ⊗ exists in the ∞-category Cat∞(V ). Furthermore, given any two objects x, y ∈ C, we have an equivalence of mapping objects ⊗ C(x, y) ≃ limCi(xi,yi) ∈ V , i∈I where, for each i ∈ I, Ci := F (i) and xi, yi denote the images of both x and y under the projection functor C → Ci, respectively. ⊗ Proof. The existence statement follows from presentability of Cat∞(V ), cf. [GH15, Corollary 5.4.5]. In this case, we have a chain of equivalences in V⊗ C(x, y) ≃

≃ Map [1]V, C) x ` y/C)

≃ limMap [1]V, Ci (by Lemma 3.1.6) i∈I xi ` yi/C

≃ limCi(xi,yi). i∈I This finishes the proof of the statement. We now recall the definition of fully faithful functors, cf. [GH15, Definition 5.3.1] Definition 3.1.10. Let F : C → D be a functor between V⊗-enriched ∞-categories. We say that that F is fully faithful if for every C,D ∈ ι0(C), the canonical morphism

MapC(C,D) → MapD(F (C), F (D)), is an equivalence in V. We will also need to introduce the notion of the space of equivalences in enriched ∞-categories, cf. [GH15, Definition 5.1.6]: Definition 3.1.11. Let V⊗ denote a presentably symmetric monoidal ∞-category. We define the trivial V⊗- enriched ∞-category E1 as the composite 1 op op V⊗ V⊗ ∆[1] → ∆ −−−→ , op C C V⊗ where ∆[1] is defined as in [GH15, Definition 4.1.1]. Let ∈ at∞( ). We define the space of equivalences in C as 1 Map ⊗ (E , C) ∈ S. Algcat(V ) See [GH15, Proposition 5.1.11] for a justification of this definition. 20 We also introduce the notion of essentially surjective functor, cf. [GH15, Definition 5.3.3]. Definition 3.1.12. A functor F : C → D between V⊗-enriched ∞-categories is essentially surjective if and only if for every D ∈ ι0D, there exists C ∈ ι0C such that there exists an equivalence E1 → D, whose both target and source are equivalent to D and F (C), respectively. The following result will prove to be very useful in our study: Proposition 3.1.13. Let V⊗ denote a presentably symmetric monoidal ∞-category. Let F : C → D be a functor ⊗ ⊗ between V -enriched ∞-categories. Then F is an equivalence in Cat∞(V ) if and only if it is both essentially surjective and fully faithful. Proof. The content of the proposition is contained in [GH15, Corollary 5.6.3 and Corollary 5.6.4].

Proposition 3.1.14. Let V⊗ denote a presentably Cartesian symmetric monoidal ∞-category. Then we have a natural fully faithful embedding ⊗ ⊗ F : MonE1 (V ) → Cat∞(V ). Proof. Since the symmetric monoidal structure on V⊗ is Cartesian, it is clear from the definitions, cf. [GH15, Definition 4.3.1], that we have a natural fully faithful functor V⊗ V⊗ F : MonE1 ( ) → Algcat( ). ⊗ ⊗ It suffices to show that F factors through the right adjoint inclusion functor Cat∞(V ) ⊆ Algcat(V ). Let ⊗ M ∈ MonE1 (V ). Thanksto [GH15, Proposition 5.1.11], it follows that F (M) has contractible spaces of objects and equivalences. The result now follows from [GH15, Corollary 5.2.10] combined with [GH15, Proposition 5.4.4].

⊗ ⊗ Remark 3.1.15. Let V denote a presentably Cartesian symmetric monoidal ∞-category. Given M ∈ MonE1 (V ), ⊗ we can regard the latter as an V -∞-category whose space of objects is contractible. If we denote 1 ∈ ι0(F (M)) the underlying object, we have that

M ≃ MapF (M)(1, 1) ∈ V⊗. 3.2. Enriched pro-p-nilpotent ∞-categories. In this §, we will introduce the ∞-category of enriched pro-p- nilpotent ∞-categories. We will compare our deﬁnitions with other known constructions. The material in this section will be mainly used to study enrichments of the ∞-categories of Ok-adic perfect modules.

Definition 3.2.1. We define the ∞-category of p-nilpotent Ok-modules, denoted nil ModOk ⊆ ModOk , as the full subcategory of ModOk spanned by p-nilpotent Ok-modules, see [Lur16, Definition 7.1.1.1] for a definition of the latter. Remark 3.2.2. The -category nil is a stable -category. ∞ ModOk ∞ Definition 3.2.3. The -category of pro-objects of -nilpotent O -modules is definedas the -category nil . ∞ p k ∞ Pro(ModOk ) nil Lemma 3.2.4. The -category admits a naturally symmetric monoidal structure induced from the O - ∞ ModOk ⊗ k product on . Similarly, the -category nil admits a canonical symmetric monoidal structure ModOk ∞ Pro(ModOk ) such that the canonical inclusion functor nil nil ModOk ⊆ Pro(ModOk ), is symmetric monoidal. Proof. The -category nil admits a natural symmetric monoidal structure induced from the usual one on ∞ ModOk nil O . We first show that given , their tensor product Mod k M,N ∈ ModOk

M ⊗Ok N ∈ ModOk , 21 is still nilpotent. This last assertion follows from the chain of equivalences

(M ⊗Ok N) ⊗Ok k ≃ (M ⊗Ok k) ⊗k (N ⊗Ok k) ≃ 0, where the last equivalence follows from nilpotence of both M and N. Moreover, [Lur16, Proposition 8.2.2.5] implies that nil admits a uniquely deﬁned unit object, denoted Onil. ModOk k Thanks to the dual of [Lur12b, Corollary 6.3.1.13] the -category of pro-objects nil admits a ∞ Pro(ModOk ) uniquely deﬁned, up to contractible indeterminacy, symmetric monoidal structure for which, given M := limαMα and N := lim N in Modpro-nil, we have the formula β β Ok

M ⊗ N ≃ limα, β Mα ⊗Onil Nβ) k in the ∞-category Modpro-nil. The second assertion of the Lemma follows from the previous considerations. Ok Remark 3.2.5. Thanks to the dual of [Lur12b, Proposition 1.1.3.6] it follows that nil is a stable - Pro(ModOk ) ∞ category. Remark 3.2.6. Let O : O nil . The latter admits a natural structure of a commutative k = { k,n}n≥1 ∈ Pro(ModOk ) algebra object on nil , with respect to the symmetric monoidal structure considered on Lemma 3.2.4. Pro(ModOk ) pro-nil Deﬁnition 3.2.7. We shall denote by Mod := ModO (Pro (ModO )nil ), the ∞-category of pro-p-nilpotent Ok k k Ok-modules. Remark 3.2.8. Notice that, in particular, the forgetful functor G: Modpro-nil → Pro(Modnil ) is conservative Ok Ok and admits a (symmetric monoidal) left adjoint, cf. [Lur12b, Theorem 6.2.2.5]. Corollary 3.2.9. The inclusion functor Modnil ⊆ Modpro-nil induces a well deﬁned, up to contractible indeter- Ok Ok minacy, functor i : Cat (Modnil ) → Cat (Modpro-nil). nil ∞ Ok ∞ Ok Proof. It follows immediately from [GH15, Corollary 5.7.6] combined with Lemma 3.2.4.

pro-nil Lemma 3.2.10. Consider the materialization functor MatO : Mod → ModO given on objects by the k Ok k formula pro-nil {M } ∈ Mod 7→ lim M ∈ ModO . n Ok n n k

Then the functor MatOk is lax symmetric monoidal.

Proof. We ﬁrst observe that the functor MatOk can be described as the composite nil pro-nil Map nil (O , −) ◦ G: Mod → ModO , Pro(ModO ) k Ok k k where G is as in Remark 3.2.8. The latter being lax symmetric monoidal we are reduced to show that nil nil nil O O MapPro(ModO )( k , −): Pro(ModOk ) → Mod k , k is lax symmetric monoidal. Let nil . Then the transition morphisms {Mn}n, {Nm}m ∈ Pro(ModOk )

{Mn}n → Mn,

{Nm}β → Nm, induce canonically deﬁned morphisms

(3.2.1) limnMn → Mn,

(3.2.2) limmNm → Nm, in the ∞-category ModOk . By taking tensor products in (3.2.1) above, we obtain a canonical morphism

limn(Mn) ⊗Ok limm(Nm) → limn,m(Mn ⊗Ok Nn), in ModOk . This observation provides us with a natural morphism

θM,N : MatOk ({Mn}) ⊗Ok MatOk ({Nm}) → MatOk ({Mn}⊗Ok {Nm}), in the ∞-category ModOk . The morphisms {θM,N } assemble thus inducing the lax symmetric monoidal structure on MatOk , the result now follows. 22 Construction 3.2.11. Consider the forgetful functor F : ModOk → Sp. The functor F is lax symmetric monoidal since it is right adjoint to the base change functor

−⊗ Ok : Sp → ModOk . The latter being symmetric monoidal. Precomposing with the lax symmetric monoidal functor Ω∞ : Sp⊗ → S×,

we obtain a lax symmetric monoidal functor ModOk → S. ∞ Lemma 3.2.12. The composite functor Ω ◦ F ◦ MatOk induces a well defined functor Matcat : Cat (Ind(Modpro-nil)) → Cat . Ok ∞ Ok ∞ Proof. It is an immediate consequence of [GH15, Corollary 5.7.6] combined with Construction 3.2.11. Definition 3.2.13. We shall refer to the functor cat as the categorical O -linear materialization functor. MatOk k Proposition 3.2.14. The materialization functor cat commutes with cofiltered limits. MatOk Proof. Let F : I → Cat (Modpro-nil) be a cofiltered diagram of Modpro-nil-enriched ∞-categories. Denote by ∞ Ok Ok C := F (i) ∈ Cat (Modpro-nil). We set C := lim F ∈ Cat (Modpro-nil). By the universal property of limits i ∞ Ok I ∞ Ok we have a canonical functor cat C cat C θ : MatOk ( ) → limI MatOk ( i), of (usual) ∞-categories. We claim that θ is an equivalence of ∞-categories. We start by proving fully faithfulness of θ. First observe that the composite functor ∞ pro-nil Ω ◦ F ◦ MatO : Mod → S, k Ok commutes with cofiltered limits. It is clear that MatOk does commutes with cofiltered limits. The conclusion now follows from the fact that both F and Ω∞ are right adjoint functors. Fully faithfulness now follows from Lemma 3.1.9 combined with Remark 3.2.8. Essential surjectivity follows from Lemma 3.1.6 combined with [GH15, Lemma 5.1.2] together with [Lur09b, Theorem 3.3.3.2]. 3.3. Enriched pro-p-nilpotent perfect modules. We study the different enrichments on the ∞-category of perfect -modules, denoted , for C ad . Recall from the definition of C ad that is necessarily A Perf(A) A ∈ AlgOk AlgOk A (p)-complete. For this reason, we have the following statement: Lemma 3.3.1. Let C ad . Then the natural functor A ∈ AlgOk + + f : Coh (A) → limn≥1Coh (An), is an equivalence of ∞-categories. The analogous statement holds for the stable ∞-category of perfect A- modules, Perf(A).

Proof. Let in : A → An denote the natural morphism, for each n ≥ 1. We denote by

in,∗ : ModAn → ModA, the associated forgetful functor. Since in is a complete intersection morphism, the functor in,∗ restricts to well deﬁned functor + + in,∗ : Perf(An) → Perf(A), in,∗ : Coh (An) → Coh (A), right adjoint to the base change functor −⊗A An. For this reason, the functor + + F : Coh (A) → limn≥1Coh (An), given on objects by the formula + + M ∈ Coh (A) 7→ {M ⊗Ok Ok,n}n≥1 ∈ limn≥1Coh (A), admits a natural right adjoint. Indeed, the latter can be described by the formula + + {Mn}n≥1 ∈ limn≥1Coh (An) 7→ limn≥1(in,∗(Mn)) ∈ Coh (A). Let us denoted such functor by + + G: limn≥1Coh (An) → Coh (A). 23 We claim that both F and G are fully faithful, which proves the claim. To show this we claim that for every M ∈ Coh+(A) the natural morphism

M → limn≥1in,∗(M ⊗A An), is an equivalence in Coh+(A). Consider the Koszul resolution

tn M −→ M → in,∗(M ⊗A An). By passing to the limit over n ≥ 1, we obtain a ﬁber sequence of the form

limtM → M → limn≥1in,∗(M ⊗A An).

We claim that limtM ≃ 0. Let N ∈ Perf(A) such that we have a morphism h: N → M whose coﬁber, denoted P , is m-truncated for some m ≥ 0. Then

limtN → limtM → limtP, is a fiber sequence such that limtP is (m − 1)-truncated (indeed, in the ∞-category ModA limits have at most non-vanishing lim1). By varying N ∈ Perf(A) such that the cofiber of h, P , is m-connective, for increasing m ≥ 0, we reduce ourselves to prove the statement in the case where M = N is perfect itself. Since N ∈ Perf(A), we have that N can be realized as a finite sequence of finite colimits and retracts of A ∈ ModA. Since limt commutes with finite colimits and retracts, we reduce ourselves to prove that

limtA ≃ 0.

But this follows from the fact that the morphism A → limn≥1in,∗An is an equivalence, since A is itself (p)- complete. Let us now prove that both f and g are fully faithful. Let M,N ∈ Coh+(A), then we have a chain of natural equivalences

MapCoh+(A)(M,N) ≃ limn≥1MapCoh+(A)(M,in,∗(N ⊗A An))

+ ≃ limn≥1MapCoh (An)(M ⊗A An,N ⊗A An)

+ ≃ Maplimn≥1Coh (An)(f(M),f(N)). By a similar reasoning as before we conclude that g is itself fully faithful. Indeed, the only non-trivial step is to + show that given {Mn}n≥1 ∈ limn≥1Coh (An), then

limn≥1in,∗(Mn) ⊗A Am ≃ im,∗(Mm), for every m ≥ 1. But this is clear by the existence of a ﬁber sequence

tm limn≥1Mn −−→ limn≥1Mn → im,∗(Mm), which identiﬁes the latter with im,∗(limn≥1im,∗(Mn) ⊗A Am), as desired. It is clear from the preceding considerations that the analogous statement holds when we Coh+ replaced by Perf. Construction 3.3.2. Let n ≥ 1, be an integer. Consider the functor

gn : ModOk,n → ModOk , right adjoint to the base change functor −⊗Ok Ok,n : ModOk → ModOk,n . The functor gn factors through the full subcategory of nilpotent objects nil ModOk ⊆ ModOk . For this reason, for every C ad and the -category , (resp., + ) are naturally A ∈ AlgOk n ≥ 1 ∞ Perf(An) Coh (An) enriched over the -category nil . Thanks to Construction 3.3.2 it follows that we can consider , ∞ ModOk Perf(An) (resp., Coh+(A )) as enriched over the symmetric monoidal ∞-category Modpro-nil. n Ok Deﬁnition 3.3.3. Let A ∈ CAlgad and n ≥ 1, and consider Perf(A ) ∈ Cat (Modpro-nil) via Construc- Ok n ∞ Ok tion 3.3.2. We deﬁne

Perf(A) := limn≥1Perf(An), in Cat (Modpro-nil). Similarly, we deﬁne Coh+(A) := lim Coh+(A ). We refer theseas the pro-p-nilpotent ∞ Ok n≥1 n enriched ∞-category of perfect A-modules and pro-p-nilpotent enriched ∞-category of almost perfect A-modules, respectively. 24 Remark 3.3.4. Thanks to Lemma 3.1.9 it follows that given objects M, N ∈ Perf Ok (A) we have an equivalence of pro-objects

MapPerf O (M,N) ≃{Map (Mn,Nn)}n≥1 k (A) Perf(An) in the ∞-category Modpro-nil, where Map denotes the Modnil -enriched mapping object. Ok Ok Lemma 3.3.5. Let C ad . The O -linear materializations A ∈ AlgOk k cat Perf cat Coh+ C S MatOk ( Ok (A)) and MatOk ( (A) ∈ at∞( ) are naturally equivalent to Perf(A) and Coh+(A), respectively. Proof. The assertion is a direct consequence of Proposition 3.2.14 combined with Lemma 3.3.1. 3.4. Enriched ind-pro-p-∞-categories. Deﬁnition 3.4.1. Let O ∈ Modpro-nil denote the unit object. Then multiplication by p deﬁnes an endomorphism k Ok

p: Ok → Ok. For this reason, given any M ∈ Modpro-nil, we have an induced endomorphism of multiplication by p, which we Ok denote by p: M → M. Construction 3.4.2. Consider now the ∞-category Ind Modpro-nil of ind-objects on the presentable stable ∞- Ok category Modpro-nil. Consider the functor Ok pro-nil pro-nil −⊗O k : Ind Mod → Ind Mod k Ok Ok given informally on objects by the formula

M 7→ M ⊗O k := colim M, k mult p where the latter denotes the filtered colimit induced by multiplication by the p-map p: M → M. Lemma 3.4.3. The ∞-category Ind(Modpro-nil) admits a natural symmetric monoidal structure induced from the Ok natural symmetric monoidal structure on Modpro-nil. Moreover, the functor Ok pro-nil pro-nil −⊗O k : Mod → Ind(Mod ) k Ok Ok admits an essentially unique natural extension to a symmetric monoidal functor ⊗ pro-nil ⊗ pro-nil ⊗ (−⊗O k) : (Mod ) → Ind(Mod ) . k Ok Ok Proof. The symmetric monoidal structure on Ind Modpro-nil is induced by the symmetric monoidal structure Ok on Modpro-nil, by extending it via filtered colimits. This defines a well defined symmetric monoidal structure on Ok Ind Modpro-nil , cf.[Lur12b, Corollary 6.3.1.13]. By a direct computation, given M,M ′ ∈ Modpro-nil we have Ok Ok natural equivalences ′ ′ (M ⊗Ok k) ⊗ (M ⊗Ok k) ≃ M ⊗ M ⊗Ok k ∈ Ind(Modpro-nil), Ok which establishes the second assertion of the Lemma. pro-nil pro-nil Corollary 3.4.4. The symmetric monoidal functor − ⊗O k : Mod → Ind(Mod ) induces a well k Ok Ok defined functor pro-nil pro-nil −⊗O k : Cat (Mod ) → Cat (Ind(Mod )), k ∞ Ok ∞ Ok to which we refer as the base change functor along Ok → k. Proof. It is a direct consequence of [GH15, Corollary 5.7.6] combined with Lemma 3.4.3. Definition 3.4.5. Let C ad . We denote by A ∈ AlgOk + + Coh (A ⊗Ok k) := Coh (A) ⊗Ok k, pro-nil in Cat (Ind(Mod )), where −⊗O k is the functor introduced in Corollary 3.4.4. ∞ Ok k 25 Construction 3.4.6. Consider the k-linear materialization functor Mat : Ind(Modpro-nil) → S, k Ok given on objects by the formula pro-nil M ∈ Ind(Mod ) 7→ Map pro-nil (Ok,M) ∈ S. Ok Ind(ModO ) k The latter functor agrees with the extension under filtered colimits of the lax symmetric monoidal functor, Ω∞ ◦

F ◦ MatOk , introduced in Lemma 3.2.12. For this reason, Matk is itself lax-symmetric monoidal. Thanks to [GH15, Corollary 5.7.6], we have a well deﬁned induced functor (3.4.1) Matcat : Cat (Ind(Modpro-nil)) → Cat . k ∞ Ok ∞ cat We shall refer to Matk as the categorical k-linear materialization functor. We now prove the following result: Proposition 3.4.7. Let C ad be a derived O -adic algebra. Then we have a natural equivalence of A ∈ AlgOk k ∞-categories cat + + Matk (Coh (A ⊗Ok k)) ≃ Coh (A ⊗Ok k). Before giving the proof of Proposition 3.4.7 we will need to introduce some few auxiliary considerations: Remark 3.4.8. Let M ∈ Modpro-nil. Observe that multiplication by p induces a well deﬁned morphism of Ok mapping spaces

θM (p): Map pro-nil (N,M) → Map pro-nil (N,M) ModO ModO k k sending every morphism f : M → N to the composite f p N −→ M −→ M, in Modpro-nil. Let N ∈ Modpro-nil be arbitrary. The ﬁltered colimit Ok Ok pro-nil colim M ∈ Ind(ModO ), mult by p k induces an equivalence

(3.4.2) Map pro-nil (N,M ⊗O k) ≃ colim Map pro-nil (N,M), Ind(ModO ) k ModO k θM (p) k of mapping spaces. Indeed, it is a direct consequence of the fact that N ∈ Modpro-nil is, by deﬁnition, a compact Ok object in Ind(Modpro-nil). Similarly, we have a natural equivalence Ok

Map pro-nil (N ⊗O k,M ⊗O k) ≃ lim colim Map pro-nil (N,M) Ind(ModO ) k k ModO k θN (p) θM (p) k

Lemma 3.4.9. Let M,M ′ ∈ Modpro-nil. Then there exists a natural morphism Ok

Map pro-nil N ⊗O k,M ⊗O k → colim Map pro-nil N,M Ind(ModO ) k k ModO k θM′ (p) k which is furthermore an equivalence of mapping spaces. Proof. Let M,N ∈ Modpro-nil, we have a chain of natural morphisms of mapping spaces Ok

(3.4.3) Map pro-nil (N ⊗O k,M ⊗O k) ≃ lim colim Map pro-nil (N,M) Ind(ModO ) k k ModO k θM (p) θM (p) k

(3.4.4) → colim Map pro-nil (N,M). ModO θM (p) k We must show that the second natural morphism displayed in (3.4.3) is an equivalence. We start by observing that the canonical morphism

θN (p): colim Map pro-nil (N,M) → colim Map pro-nil (N,M), ModO ModO θM (p) k θM (p) k is an equivalence. Indeed, by Ok-linearity we have that θM (p) ≃ θN (p) in the mapping space

MapS(Map pro-nil (N,M), Map pro-nil (N,M)). ModO ModO k k 26 Furthermore, for every

f ∈ Map pro-nil (N,M), ModO k the composites f p f N −→ M −→M , N −→ N −→ M,

agree, up to contractible space of choices. But θM (p) is an equivalence in the colimit

colim Map pro-nil (N,M), ModO θM (p) k by construction. We conclude that the transition morphisms in the diagram

θN (p) θN (p) ... −−−−→ colim Map pro-nil (N,M) −−−−→ colim Map pro-nil (N,M), ModO ModO θM (p) k θM (p) k are equivalences. We now conclude that the corresponding limit is equivalent to

colim Map pro-nil (M,N) ∈ S, ModO θM (p) k itself, via the natural map displayed in (3.4.3), as desired.

Proof of Proposition 3.4.7. We have a natural equivalence cat Coh+ + , as in Lemma3.3.5. θ : MatOk ( (A)) ≃ Coh (A) + + We have a further natural functor Coh (A) → Coh (A ⊗Ok k) induced by the the natural inclusion Modpro-nil → Ind(ModPro-nil). Ok Ok By applying the k-linear materialization functor we obtain a natural functor of ∞-categories cat + cat + Matk (Coh (A)) → Matk (Coh (A ⊗Ok k)), (notice that cat Coh+ cat Coh+ , by construction). Moreover, by construction, the - Matk ( (A)) ≃ MatOk ( (A)) ∞ cat + category Matk (Coh (A ⊗Ok k)) is naturally k-linear. Thanks to [Lur12b, Theorem 6.3.4.6] we obtain a well deﬁned induced functor cat + cat + θ : Matk (Coh (A)) ⊗Ok k → Matk (Coh (A ⊗Ok k)). Thanks to [AP19, Corollary 3.8], we conclude that + + Coh (A) ⊗Ok k ≃ Coh (A ⊗Ok k). For this reason, the analogue of Lemma 3.3.5 for Coh+ implies that we are reduced to prove that θ is an equivalence of ∞-categories. Fully faithfulness of θ follows from the explicit description of enriched mapping objects provided in Lemma 3.4.9 together with [AP19, Corollary 3.17]. In order to show that θ is essentially surjec- + tive we refer to [AP19, Theorem 3.23] which implies that every M ∈ Coh (A ⊗Ok k) admits a formal model M ∈ Coh+(A), implying essential surjectivity of θ. The result is now proved.

ad + Remark 3.4.10. Let C . It was proven in [AP19, Corollary 3.7] that O is a Verdier A ∈ AlgOk Coh (A ⊗ k k) + localization, of stable ∞-categories, of Coh (A) under the base change functor along A → A ⊗Ok k. It turns out that the analogous statement holds for Perf(A) and Perf(A ⊗Ok k), up to take idempotent completion, see [TT90, Theorem 5.1] for a proof in the discrete setting which also applies in the case of derived coefﬁcients. The previous remark motivates the following deﬁnition:

ad pro-nil Deﬁnition 3.4.11. Let A ∈ CAlg be a derived O -algebra. Denote by Perf(A ⊗O k) the Ind(Mod )- Ok k k Ok + + enriched subcategory of Coh (A ⊗Ok k) spanned by those M ∈ Coh (A ⊗Ok k) such that its image under the cat + materialization Matk is a dualizable object of the ∞-category Coh (A ⊗Ok k). Corollary 3.4.12. Let C ad . Then one has a natural equivalence of stable -categories A ∈ AlgOk ∞ cat Matk (Perf(A ⊗Ok k)) ≃ Perf(A ⊗Ok k). cat + Proof. Thanks to Proposition 3.4.7, it follows that Matk (Perf(A ⊗Ok k) is a full subcategory of Coh (A ⊗Ok k). By our deﬁnition of Perf k(A ⊗Ok k) it follows that such full subcategory is necessarily contained in

Perf(A ⊗Ok k) and it spans the latter. The result now follows, as desired. 27 Warning 3.4.13. The enriched mapping objects in Perf(A ⊗Ok k) depends on the choice of a lifting, i.e. if ′ ad ′ C is such that O O , as derived rings, one could have, a priori, that A ∈ AlgOk A ⊗ k k ≃ A ⊗ k k ′ Perf k(A ⊗Ok k) and Perf k(A ⊗Ok k) are non-equivalent. However, one is able to prove that whenever A is n-truncated the above does not depend on the choice of a formal model, see Proposition 3.4.17. <∞ Deﬁnition 3.4.14. We denote by CAlgad the full subcategory of CAlgad spanned by those A ∈ CAlgad , Ok Ok Ok for which there exists m ≥ 0 sufﬁciently large such that

πn(A) ≃ 0, <∞ for every n>m. We will refer to objects of CAlgad as truncated derived O -adic algebras. Ok k Our current goal is to prove that the functor Perf : CAlgad → Cat Ind(Modpro-nil) does not depend on k Ok ∞ Ok the choice of formal model, as long as we restrict ourselves to truncated derived Ok-adic algebras. We will need a few preliminary lemmas before proving this result: Lemma 3.4.15. Let D be an idempotent complete stable ∞-category and let G ∈ Ind(D). Express G as a colimit of the form G ≃ colim Gα, with Gα ∈ D, α∈I indexed by a ﬁltered ∞-category, I. Then G ≃ 0

if and only if for every object F ∈ D, every index α ∈ I and every morphism fα : F → Gα there exists an index β := β(F, α) > α in I, such that the composite

F → Gα → Gβ, is null-homotopic. Proof. The direct implication follows from the fact that the ∞-category Ind(D) is compactly generated by objects of D. Let us prove the converse. Assume that G ≃ 0 in the ∞-category Ind(D). Write G = colimα∈I Gα, where I is a ﬁltered ∞-category and, for each α, Gα ∈ D. Let F ∈ D be an object. Then we have a chain of equivalences

colim MapD(F, Gα) ≃ Map D (F, G) α Ind( ) ≃ 0. We conclude that there exists a certain index α for which the structural morphism

Gα → G, factors the zero morphism F → G, F → Gα. Moreover, the latter becomes null-homotopic in the colimit. We thus conclude that there exists β > α in I such that the composite F → Gα → Gβ is null-homotopic, as desired. Lemma 3.4.16. Let C ad . For each , and then the natural morphism of -modules A ∈ AlgOk n ≥ 1 M, N ∈ ModA A

θM,N : Map (M,N) ⊗A An → Map (Mn,Nn), ModA ModAn is an equivalence.

Proof. The morphism θM,N is uniquely determined by the universal property of the natural morphism A → An. Consider the fiber sequence pn (3.4.5) An[−1] → A −→ A, in the ∞-category ModAn . By tensoring (3.4.5) with the A-module Map (M,N) we obtain a fiber sequence ModA of the form θp Map (M,N) ⊗A An[−1] → Map (M,N) −→ Map (M,N), ModA ModA ModA 28 in ModA. Moreover, the above fiber sequence is naturally equivalent to

θp Map (M,N ⊗A An)[−1] → Map (M,N) −→ Map (M,N). ModA ModA ModA

By the universal property of base change along the morphism A → An we have a natural equivalence

Map (M,Nn) ≃ Map (Mn,Nn). ModA ModAn The conclusion now follows by shifting the ﬁber sequence

θp Map (Mn,Nn)[−1] → Map (M,N) −→ Map (M,N). ModAn ModA ModA

We are now able to prove the independency of Perf k on truncated formal models: <∞ Proposition 3.4.17. Let A, A′ ∈ CAlgad be truncated derived O -adic algebras. Suppose that there exists Ok k an equivalence ′ A ⊗Ok k ≃ A ⊗Ok k,

in the ∞-category CAlgk. Then we have an equivalence ′ Perf k(A ⊗Ok k) ≃ Perf k(A ⊗Ok k), in the ∞-category Cat Ind(ModPro-nil) . ∞ Ok Proof. Let ′ C ad as in the statement of the proposition. Thanks to [Ant18, Corollary 4.4.11], we can A, A ∈ AlgOk suppose that there exists a morphism ′ in the -category C ad <∞ such that the rigidiﬁcation of f : A → A ∞ ( AlgOk ) Spf(f): Spf(A′) → Spf(A), is an equivalence in the ∞-category dAfdk. In particular, f becomes an equivalence after base change along the natural morphism Ok → k. Thanks to Proposition 3.1.13 we are reduced to show that the canonical functor ∗ ′ (3.4.6) (f ⊗Ok k) : Perf k(A ⊗Ok k) → Perf k(A ⊗Ok k), ∗ is both essentially surjective and fully faithful. We ﬁrst prove that (f ⊗Ok k) is essentially surjective. Thanks ∗ to [GH15, Lemma 5.3.4] we are reduced to verify that (f ⊗Ok k) is essentially surjective after applying the materialization functor, introduced in (3.4.1). Thanks to Corollary 3.4.12 we are reduced to show that the usual base change functor ∗ ′ (f ⊗Ok k) : Perf(A ⊗Ok k) → Perf(A ⊗Ok k), ′ C is essentially surjective. Since, by assumption, (f ⊗Ok k): A ⊗Ok k → A ⊗Ok k is an equivalence in Algk, it is clear that base change along f ⊗Ok k, on perfect modules, is an equivalence. In particular, it is essentially surjective.

We are thus reducedto show that the functordisplayed in (3.4.6) is fully faithful. Let M, N ∈ Perf k(A⊗Ok k) be two objects. By construction, these correspond to M ≃ colim M, N ≃ colim N, mult by p mult by p + for suitable M, N ∈ Coh (A). Since A is truncated, both M and N are truncated A ⊗Ok k-modules. For this reason, up to taking truncations, we can assume that M and N are truncated almost perfect A-modules. We need to show that the functor displayed in (3.4.6) induces an equivalence ′ ′ (3.4.7) θ : colim lim Map + Mn, Nn → colim lim Map + ′ Mn, Nn θ(p) n≥1 Coh (An) θ(p) n≥1 Coh (An) in the ∞-category Ind(Modpro-nil). We have denoted Ok

Mn := M ⊗A An, and Nn := N ⊗A An, ′ ′ ′ ′ ′ ′ M := (M ⊗A A ) ⊗A′ An, and N := (N ⊗A A ) ⊗A′ An. The ∞-category Modpro-nil is a stable ∞-category. It thus suffices to prove that the morphism Ok ′ ′ ′ θ : lim Map + Mn, Nn → lim Map + ′ Mn, Nn , n≥1 Coh (An) n≥1 Coh (An) 29 in Modpro-nil, has cofiber annihilated after multiplication by a sufficiently large power of p. We further observe Ok that we have an equivalence of pro-objects

′ ′ (3.4.8) coﬁb(θ ) ≃ limcoﬁb(θn), n≥1

in Modpro-nil, where θ′ denotes the canonical morphism Ok n ′ ′ ′ (3.4.9) θn : Map + Mn, Nn → Map + ′ Mn, Nn , Coh (An) Coh (An) nil in . Indeed cofiltered limits commute with fibers in -categories of pro-objects. Since O is an ModOk ∞ (f ⊗ k k) equivalence in CAlgk, it follows from [AP19, Corollary 3.17] that p (3.4.10) ′ ′ colim MatOk (cofib(θ )) −→ MatOk (cofib(θ )) → ... ) ≃ 0, in ModA. Since both M, N are truncated coherent A-modules, it follows from Lemma 3.4.15 that there exists a sufficiently large n ≥ 1 such that n ′ p · πm(MatOk (cofib(θ ))) ≃ 0, for every m ∈ Z. Consequently, the object

n ′ (p ) ⊗Ok Mat(coﬁb(θ )) ≃ 0. By applying Lemma 3.4.16, it follows for every m ≥ 1, that

n ′ (p ) ⊗Ok coﬁb(θm) ≃ 0,

in ModA. Therefore, once again by Lemma 3.4.15 it follows that the ind-system

′ p ′ p colim {coﬁb(θm)}m −→{coﬁb(θm)}m −→ ... is equivalent to the zero object, in Ind(Modpro-nil). The assertion now follows from (3.4.8). Ok

<∞ Corollary 3.4.18. Let A ∈ CAlgad . Suppose we are given bounded below M, N ∈ Coh+(A) such that Ok

M ⊗Ok k ∈ Perf(A ⊗Ok k), N ⊗Ok k ∈ Perf(A ⊗Ok k). Then the mapping object

pro-nil Map M ⊗O k,N ⊗O k ∈ Ind(Mod ) Perf (A) k k Ok does not depend on the choice of formal models M and N ∈ Coh+(A). Proof. It sufﬁces to prove the assertion separately in the variable M and N. Suppose we are given M ′ ∈ Coh+(A) such that ′ M ⊗Ok k ≃ M ⊗Ok k, Thanks to [Ant18, Proposition A.2.1] we can reduce to the case where there exists a morphism M → M ′ in + Coh (A) such that (f ⊗Ok k) is an equivalence in the ∞-category Perf k(A ⊗Ok k). In this case, the reasoning ∗ used to deal with fully faithfulness of (f ⊗Ok k) , in the proof of Proposition 3.4.17, can be adapted to the current context. To prove independency on the choice of the formal model N ∈ Coh+(A), we apply the same argument.

ad pro-nil Remark 3.4.19. The association A ∈ CAlg 7→ Perf(A ⊗O k) ∈ Cat Ind(Mod ) is functorial. Ok k ∞ Ok Therefore, the usual functor C ad C st Perf : AlgOk → at∞ can be upgraded naturally to a functor Perf : CAlgad → Cat (Ind(Modpro-nil)). k Ok ∞ Ok We now study some properties of the functor Perf C ad C : k : AlgOk → at∞ Proposition 3.4.20. The functor Perf C ad C is inﬁnitesimally cartesian. k : AlgOk → at∞ 30 Proof. Let C ad . Consider an O -adic derivation A ∈ AlgOk k ad d: LA → M, in the ∞-category Coh+(A). By the universal property of the adic cotangent complex, cf.[Ant18, Proposition 3.4.3], this corresponds to a morphism in the -category C ad . Consider the pullback diagram A → A ⊕ M ∞ AlgOk

Ad[M] A

d d A0 A ⊕ M

in C ad . Thanks to Proposition 3.1.13 we are required to prove that the induced functor AlgOk

(3.4.11) FA,d : Perf k Ad[M] ⊗O k → Perf k(A ⊗O k) ×Perf O Perf k(A ⊗O k), k k k((A⊕M)⊗ k k) k is both essentially surjective and fully faithful. If followsby [GH15, Lemma 5.3.4 combined with Lemma 5.1.2], that we can check essential surjectiveness after applying the categorical k-linear materialization functor Matcat : Cat Ind(Modpro-nil) → Cat , k ∞ Ok ∞ deﬁned in (3.4.1). Furthermore, after applying Matcat the functor displayed in (3.4.11) is equivalent to the canonical functor

FA,d : Perf(Ad[M] ⊗O k) → Perf(A ⊗O k) × O Perf(A ⊗O k). k k Perf((A⊕M)⊗ k k) k The essential surjectivity of the latter follows by [Lur12a, Proposition 3.4.10]. We are thus reduced to show that

the functor FA,d is fully faithful. Let N, P ∈ Perf k(Ad[M] ⊗Ok k). Thanksto [Ant18, Proposition A.3.2] there + are N, P ∈ Coh (Ad[M]) and equivalences

N ⊗Ok k ≃ N, P ⊗Ok k ≃ P,

in Perf k(Ad[M]). We are thus required to prove that the canonical morphism

(3.4.12) colim MapCoh+(A [M])(N, P) → X0 ×X0,1 X1 θ(p) d is an equivalence in Ind(Modpro-nil). Here we have denoted Ok

+ X0 := colim MapCoh (A)(N ⊗Ad[M] A, P ⊗Ad[M] A) θ(p)

+ X0,1 := colim MapCoh (A⊕M)(N ⊗Ad[M] (A ⊕ M), P ⊗Ad[M] (A ⊕ M) θ(p)

+ X1 := colim MapCoh (A)(N ⊗Ad[M] A, P ⊗Ad[M] A) . θ(p) We now observe that the fact that ﬁltered colimits commute with ﬁnite limits in Ind-complete ∞-categories combined with Lemma 3.1.9 imply that the morphism displayed in (3.4.12) is an equivalence, as desired.

We now proceed to deﬁne an Ind(Pro(S))-enrichment on Perf(A ⊗Ok k). This is achieved as follows: Lemma 3.4.21. The natural inclusion functor nil inil : ModOk → ModOk , is lax symmetric monoidal. Proof. Let Onil nil denote the unit for the corresponding symmetric monoidal structure. We have a natural k ∈ ModOk nil nil morphism Ok → Ok, by construction. Moreover, given any M,N ∈ Mod we have natural maps nil M ⊗Onil N ≃ M ⊗Onil (O ⊗O N) k k k k nil ≃ (M ⊗Onil O ) ⊗O N k k k

≃ M ⊗Ok N, see [Lur16, Definition 8.2.2.1 combined with Proposition 8.2.2.5] for a justification of the first equivalence. The result now follows. 31 Construction 3.4.22. Consider the lax symmetric monoidal functor Ω∞ : Mod⊗ → S×, Ok Ok obtained by precomposing the usual forgetful ModOk → Sp with the lax symmetric monoidal functor Ω∞ : Sp⊗ → S×. By Lemma 3.4.21, we have a lax symmetric monoidal inclusion functor

nil ModOk ⊂ ModOk . Thus, by composition, we obtain a natural lax symmetric monoidal functor

Ω∞,nil : Modnil,⊗ → S×. Ok Ok By passing to ind-pro completions we obtain a canonically deﬁned lax symmetric monoidal functor × (3.4.13) Ω∞,Ind : Ind(Modpro-nil)⊗ → Ind Pro(S) . Ok Ok × Lemma 3.4.23. The functor Ω∞,Ind : Ind(Modpro-nil)⊗ → Ind Pro(S) induces a well deﬁned functor Ok Ok Ω∞ : Cat (Ind(Modpro-nil)) → Cat (Ind(Pro(S))). cat ∞ Ok ∞ Proof. It follows from Construction 3.4.22 combined with [GH15, Corollary 5.7.6].

ad ∞ Notation 3.4.24. Let C . By abuse of notation we will denote Perf O simply by A ∈ AlgOk Ωcat( k(A ⊗ k k))

Perf k(A ⊗Ok k) ∈ Cat∞(Ind(Pro(S))). ad Definition 3.4.25. Let be a morphism in C . We say that is a rig-equivalence if O is an f : A → B AlgOk f f ⊗ k k equivalence in the ∞-category CAlgk. Corollary 3.4.26. The functor Perf C ad C S is infinitesimally cartesian. Moreover, k : AlgOk → at∞(Ind(Pro( ))) its restriction to the full subcategory C ad <∞ C ad is invariant under rig-equivalences. ( AlgOk ) ⊆ AlgOk Proof. The first statement followsby the precise same proof as in Proposition 3.4.20. The second assertion follows from Proposition 3.4.17.

Notation 3.4.27. Consider the ∞-category dAfdk of derived k-affinoid spaces introduced in [PY16, Definition <∞ 7.3]. We denote dAfdk the full subcategory spanned by those truncated derived k-affinoid spaces. Remark 3.4.28. The rigidification functor rig C ad op introduced in [Ant18, §4] induces, by (−) : AlgOk → dAfdk restriction, a well defined functor <∞ op (−)rig : CAlgad → dAfd<∞ . Ok k <∞ Moreover, the derived Raynaud localization theorem [Ant18, Theorem 4.4.10] and its proof imply that dAfdk is a localization of the -category C ad <∞ at the saturated class of rig-equivalences morphisms. We charac- ∞ ( AlgOk ) ′ terize those as morphisms A → A which become an equivalence after base change along Ok → k. This assertion follows by derived Tate aciclicity theorem, cf. [PY18, Theorem 3.1].

The functor Perf C ad <∞ C S actually descend to the -category <∞: k : ( AlgOk ) → at∞(Ind(Pro( ))) ∞ (dAfd) Proposition 3.4.29. Let <∞ denote the saturated class of rig-strong morphisms in C ad <∞. Then the S ( AlgOk ) functor Perf C ad C S k : AlgOk → at∞(Ind(Pro( ))) <∞ sends morphisms in S to equivalences of ∞-categories in Cat∞(Ind(Pro(S))). In particular, one has a canonical induced functor <∞ op C S Perf : dAfdk → at∞(Ind(Pro( ))). Proof. The ﬁrst part of the statement follows from Corollary 3.4.18. The second part of the statement follows from the derived Raynaud localization theorem, [Ant18, Corollary 4.4.12]. 32 4. MODULIOFDERIVEDCONTINUOUS p-ADIC REPRESENTATIONS 4.1. Construction of the functor. Consider the ∞-category of ind-pro objects on S, Ind(Pro(S)). We equip it with its natural Cartesian symmetric monoidalstructure, Ind(Pro(S))×. Consider the ∞-category of Ind(Pro(S))×- enriched ∞-categories, Cat∞(Ind(Pro(S)). Construction 4.1.1. We have a natural symmetric monoidal materialization functor Mat: Ind(Pro(S))× → S×, given by the formula

X ∈ Ind(Pro(S)) 7→ MapInd(Pro(S))(∗,X). The fact that Mat is symmetric monoidal comes from the fact that ﬁltered colimits commute with ﬁnite products. By [GH15, Corollary 5.7.6], we obtain an induced categorical materialization functor cat Mat : Cat∞(Ind(Pro(S))) → Cat∞.

Proposition 4.1.2. The ∞-category Cat∞(Ind(Pro(S)) admits a natural structure of an (∞, 2)-category. Proof. This is the content of [GH15, Example 7.4.11]. In fact, the latter states a stronger statement, namely × that Cat∞(Ind(Pro(S)) admits a Ind(Pro(S)) -(∞, 2)-structure. Consequently, we obtain a natural (∞, 2)- categorical structure on Cat∞(Ind(Pro(S)) via the materialization functor, introduced in Construction 4.1.1.

Definition 4.1.3. Let C, D ∈ Cat∞(Ind(Pro(S)). We denote by ContFunC, D := FunC, D) ∈ Cat∞, the ∞-category of continuous functors from C to D, where Fun denotes the functor ∞-category obtained via Proposition 4.1.2 Notation 4.1.4. Let Sfc denote the ∞-category of finite spaces, see [Lur09a, Definition 2.4.1]. We denote by Pro(Sfc) the ∞-category of profinite spaces. Definition 4.1.5. Let X ∈ Pro(Sfc) be a profinite space. We say that X is connected if

π0(MapPro(Sfc)(∗,X)) ≃∗. fc Remark 4.1.6. Let X ∈ Pro(S ) denote a connected proﬁnite space. We can consider the E1-monoid like object

×2 (4.1.1) ... Ω(X) Ω(X) ∗ ∈ MonE1 (Ind(Pro(S))), where we apply the loop functor Ω: S → S component-wise. Thanks to Proposition 3.1.14 it follows that we can consider naturally X ∈ Cat∞(Ind(Pro(S)), via the diagram displayed in (4.1.1). Notation 4.1.7. We shall abusively use the symbol X to denote the diagram displayed in (4.1.1), considered naturally as an object in Cat∞(Ind(Pro(S))). Deﬁnition 4.1.8. Let Sfc denote a proﬁnite space. Given any C ad , we denote by X ∈ Pro( ) A ∈ AlgOk C PerfSysp(X)(A ⊗Ok k) := ontFun(X, Perf(A ⊗Ok k))

∈ Cat∞, the ∞-category of continuous A ⊗Ok k-adic representations of X. Similarly, we shall denote by C PerfSysp(X)(A) := ontFun(X, Perf Ok (A))

∈ Cat∞, the ∞-category of continuous A-adic representations. Remark 4.1.9. Notice that the proof of Proposition 4.1.2, or more precisely[GH15, Example 7.4.11], implies that

the ∞-category PerfSys (X)(A ⊗O k) is enriched over Mod O . Similarly, PerfSys (X)(A) is naturally p k A⊗ k k p enriched over ModA. Deﬁnition 4.1.10. Let Sfc and C ad . We refer to the -category PerfSys as the X ∈ Pro( ) A ∈ AlgOk ∞ p(X)(A)

∞-category of derived A ⊗Ok k-adic continuous representations of X. When X ≃∗ we have the following expectable statement: 33 Lemma 4.1.11. Let C ad . Then there exists a natural equivalence A ∈ AlgOk

PerfSysp(∗)(A) ≃ Perf(A ⊗Ok k) of stable ∞-categories.

Proof. It suffices to prove that PerfSysp(∗)(A ⊗Ok k) is equivalent to the materialization of Perf k(A ⊗Ok k). This follows from the fact that ∗ ∈ Ind(Pro(S))× is the unit object combined with Proposition 4.1.2. fc Notation 4.1.12. Let X ∈ Pro(S ) be a connected profinite space. Denote by πX : ∗ → X the uniquely defined, up to a contractible space of indeterminacy, morphism in Pro(Sfc). We shall denote by ∗ πX : PerfSysp(A ⊗Ok k) → PerfSysp(∗)(A ⊗Ok k)

≃ Perf(A ⊗Ok k), the corresponding composite functor in Cat∞. Notation 4.1.13. Let C ad . Let M Coh+ and Perf . We shall denote by A ∈ AlgOk ∈ (A) M ∈ k(A ⊗Ok k)

End(M) := MapPerf O (M,M) and End(M) := MapCoh+ (M, M) k(A⊗ k k) (A) in Ind(Pro(S)). Moreover, composition in Perf k(A ⊗Ok k) induces a naturally deﬁned E1-monoid like structure on End(M). We shall also denote by End : End ×2 End S B (M) = ... (M) (M) ∗ ∈ MonE1 (Ind(Pro( ))) × the corresponding E1-monoid like object in Ind(Pro(S)) . Similarly, the object End(M) can be naturally upgraded to a well deﬁned object

BEnd(M) ∈ MonE1 (Ind(Pro(S))). Remark 4.1.14. Let C ad and M Coh+ . Then multiplication by A ∈ AlgOk ∈ (A) p p: End(M) → End(M), is not a morphismof E1-monoid like objects. Nonetheless, whenever M is a formal modelfor M ∈ Perf k(A⊗Ok k), the object

End(M) ≃ End(M) ⊗Ok k, (Lemma 3.4.9) × does admit a E1-monoid like structure in the symmetric monoidal Cartesian ∞-category Ind(Pro(S)) . fc ad Notation 4.1.15. Let S be a connected proﬁnite space and C . Let Perf O , X ∈ Pro( ) A ∈ AlgOk M ∈ k(A ⊗ k k) we shall often denote abusively

Map E S (ΩX, End(M)) := Map E S (X, BEnd(M)) Mon 1 (Ind(Pro( ))) Mon 1 (Ind(Pro( ))) fc ad Proposition 4.1.16. Let S be a connected proﬁnite space. Let C and Perf O X ∈ Pro( ) A ∈ AlgOk M ∈ k(A ⊗ k k). The ﬁber of the functor ∗ π : PerfSysp(X)(A ⊗Ok k) → Perf(A ⊗Ok k), is canonically equivalent to the mapping space

Map E S ΩX, End(M) ∈ S. Mon 1 (Ind(Pro( ))) Proof. Consider the Bar-construction

BEnd(M) ∈ MonE1 (Ind(Pro(S))), naturally considered as an object in Cat∞(Ind(Pro(S)), via Proposition 3.1.14. We thus have a natural fully faithful functor of enriched ∞-categories

FM : BEnd(M) → Perf k(A ⊗Ok k). The ﬁber of ∗ π : PerfSysp(X)(A ⊗Ok k) → Perf(A ⊗Ok k) over M ∈ Perf k(A ⊗Ok k), is then naturally equivalent to the functor ∞-category

(4.1.2) ContFun(X, BEnd(M)) ∈ Cat∞.

Since both X and BEnd(M) lie in the full subcategory of E1-monoid like objects

MonE1 (Ind(Pro(S))) ⊆ Cat∞(Ind(Pro(S))), 34 it follows that we have a natural equivalence

ContFun(X, BEnd(M)) ≃ Map E S (X, BEnd(M)), Mon 1 (Ind(Pro( ))) as desired.

∗ Corollary 4.1.17. The functor πX : PerfSysp(A⊗Ok k) → Perf(A⊗Ok k) is a coCartesian ﬁbration associated to the functor

F : Perf(A ⊗Ok k) → Cat∞,

which sends every perfect A ⊗Ok k-module to the space

M ∈ Perf(A ⊗O k) 7→ Map E S (X, End(M)) ∈ S, k Mon 1 (Ind(Pro( )))

of continuous (A ⊗Ok k)-adic representations of X. Proof. It is an immediate consequence of Proposition 4.1.16. Corollary 4.1.18. Let C ad <∞. The functor A ∈ ( AlgOk ) ∗ πX : PerfSysp(X)(A ⊗Ok k) → Perf(A ⊗Ok k), is conservative.

′ Proof. Let f : ρ → ρ in PerfSysp(X)(A ⊗Ok k) such that ∗ ′ πX (f): M → M , is an equivalence in Perf(A ⊗Ok k). Since A is truncated it follows that both perfect (A ⊗Ok k)-modules M and ′ ∗ M are truncated as well. For this reason, Corollary 3.4.18 and its proof imply that πX (f) induces an equivalence f : End(M) ≃ End(M ′), e in Ind(Pro(S)). Since the forgetful functor

forget: MonE1 (Ind(Pro(S))) → Ind(Pro(S)), is conservative, we conclude that f induces an equivalence of E1-monoid like objects e End(M) → End(M ′).

′ Let g : End(M ) → End(M) be an inverse to f in MonE1 (Ind(Pro(S))). Then g necessarily ﬁts into a commutative diagram of the form e ρ X BEnd(M′) ρ′ g

BEnd(M), ′ in MonE1 (Ind(Pro(S))). This provides an inverse to f : ρ → ρ .

Definition 4.1.19. We define the Cat∞-valued functor of continuous k-adic representations of X as the functor <∞ PerfSys (X)(−): CAlgad → Cat , p Ok ∞ given on objects by the formula ad <∞ A ∈ CAlg 7→ PerfSys (X)(A ⊗O k) ∈ Cat . Ok p k ∞ An important consequence of Proposition 3.4.29 is the following result: <∞ Proposition 4.1.20. The functor PerfSys (X): CAlgad → Cat descends to a well defined functor p Ok ∞ <∞ op C PerfSysp(X): dAfdk → at∞, which is given on objects by the formula <∞ C O C Z ∈ dAfdk 7→ ontFunX, Perf(RΓ(Z, Z )) ∈ at∞. Proof. The result is a direct consequence of the analogous statement for Perf which is the content of Proposi- tion 3.4.29. 35 4.2. Truncated enriched objects. In this §, we will develop some framework to deal with Postnikov towers in the ∞-category Ind(Pro(S)). Consider the usual n-th truncation functor

τ≤n : S → S. We obtain a canonical extension by coﬁltered limits

τ≤n : Pro(S) → Pro(S).

Given {Xi}i ∈ Pro(S) we have that

τ≤n({Xi}i) ≃{τ≤nXi}i ∈ Pro(S). We have the following result:

Lemma 4.2.1. Let {Xi}i∈I ∈ Pro(S) be a pro-space such that for every i ∈ I, we have that

Xi ∈ S≤n, is a n-truncated space. Then for every {Yj }j ∈ Pro(S) there exists a natural equivalence

MapPro(S)({Yj }j, {Xi}i) ≃ MapPro(S)({τ≤nYj }j , {Xi}i), of mapping spaces. Proof. It follows by the explicit description of mapping spaces in Pro(S) as limit-colimit combined with the universal property of τ≤n : S → S. We will also need to introduce a relative version: Definition 4.2.2. Let f : X → Y be a morphism in Pro(S) be two pro-spaces indexed by the same diagram Iop, where I is a filtered ∞-category. Let n ≥ 1, we define the pointwise relative n-th truncation of f as n τ≤n(f): X → Y, n where for each i ∈ I, τ≤n(f)i : Xi → Yi coincides with the relative n-th truncation of the morphism fi : Xi → Yi, [Lur09b, Definition 5.5.6.8 and Proposition 5.5.6.18]. Lemma 4.2.3. Let f : X → Y be a morphism satisfying the conditions of Definition 4.2.2. Then the fiber of

fib(τ≤n(f)) ∈ Pro(S), is naturally equivalent to τ≤n(fib(f)). Proof. Since fibers commute with cofiltered limits we have that

ﬁb(τ≤n(f)) ≃ ﬁb(limi∈Iop τ≤n(f)i)

≃ limi∈Iop ﬁb(τ≤n(f)i)

≃ limi∈Iop τ≤n(ﬁb(fi))

≃ τ≤n(ﬁb(f)), as desired.

Similarly, by extending via ﬁltered colimits we obtain a canonical functor τ≤n : Ind(Pro(S)) → Ind(Pro(S)). In this case, we have the analogue: Lemma 4.2.4. Let X ∈ Ind(Pro(S)) such that

X ≃ τ≤nX, in Ind(Pro(S)). Then for every Y ∈ Ind(Pro(S)) we have that

MapInd(Pro(S))(Y,X) ≃ MapInd(Pro(S))(τ≤n(Y ),X), in S. Proof. The proof follows as in the case of Lemma 4.2.3

We now specialize the above considerations to our setting: let C ad denote a truncated derived O -adic A ∈ AlgOk k algebra. 36 + Lemma 4.2.5. Let M ∈ Perf(A ⊗Ok k). Then for every for every formal model M ∈ Coh (A) and n ≥ 1, both objects

τ≤n(End(M)) and τ≤n(End(M)), admit natural E1-monoid-like structures induced by the ones on End(M) and End(M), respectively. Proof. We have an equivalence

τ≤n(End(M)) ≃ colim τ≤n(End(M)) mult p in Ind(Pro(S)). Moreover, the functor

forget: MonE1 (Ind(Pro(S))) → Ind(Pro(S)) is conservative and preserves filtered colimits. Since the cartesian monoidal structure on Ind(Pro(S)) is stable under filtered colimits it follows that if τ≤n(End(M)) admits a natural E1-monoid like structure, then so does the filtered colimit τ≤n(End(M)), in Ind(Pro(S)). For this reason, we are reduced to prove the statement of the lemma for τ≤n(End(M)). The latter folllows from the fact that the transition maps

···→ End(M ⊗Ok Ok,n) → End(M ⊗Ok (Ok)n−1) →···→ End(M ⊗Ok (Ok)2) → End(M ⊗Ok (Ok)1) in Pro(S), are morphisms of E1-like objects. Indeed, the above diagram can be regarded naturally as a diagram in the full subcategory MonE1 (S) ⊆ MonE1 (Pro(S)). It follows that after applying the usual truncation functor

τ≤n : S → S, we obtain a diagram in

···→ τ≤nEnd(M⊗Ok Ok,n) → τ≤nEnd(M⊗Ok Ok,n−1) →···→ τ≤nEnd(M⊗Ok Ok,2) → τ≤nEnd(M⊗Ok Ok,1), in MonE1 (S). By passing to the limit, we obtain that the object τ≤n(End(M)) can be naturally upgraded into an object in the ∞-category MonE1 (Pro(S)), as desired. Lemma 4.2.6. The canonical morphism q : End(M) → End(M) admits a ﬁber equivalent to

pn ﬁb(q) ≃ colim(ﬁb(End(M) −→ End(M))), n≥1 in MonE1 (Ind(Pro(S))). Proof. The forgetful functor

forget: MonE1 (Ind(Pro(S)) → Ind(Pro(S)), is conservative and commutes with limits. Therefore, we are reduced to compute the fiber fib(q) in Ind(Pro(S)). Since End(M) ≃ colim End(M), p combined with the fact that filtered colimits preserve finite limits we conclude that computing the fiber of q, in n MonE1 (Ind(Pro(S))), reduces to compute the fiber of the multiplication by p of End(M), for each n ≥ 1. The claim of the lemma now follows.

Definition 4.2.7. We define the relative n-truncation qn : End(M)≤n → End(M) of the morphism as the colimit n colim τ≤n(p ) ∈ Ind(Pro(S)). n≥1 Remark 4.2.8. Thanks to Lemma 4.2.5 and Lemma 4.2.6 we deduce that n colimτ≤n(p ), n≥1 admits a canonical structure of E1-monoid like object in Ind(Pro(S)), induced from the E1-monoid like structure on each fiber fib(pn). Notation 4.2.9. Consider the suspension functor Σ: S → S. We shall abusively denote by Σ: Ind(Pro(S)) → Ind(Pro(S)) the extension of the latter along ind-pro objects in S. 37 Lemma 4.2.10. Let n ≥ 0. Consider the natural morphism

qn : End(M)≤n → End(M). Then we have a natural equivalence

ﬁb(qn) ≃ τ≤n(ﬁb(End(M) → End(M))),

in the ∞-category MonE1 (Ind(Pro(S))). Moreover, for each n ≥ 0, we have natural morphisms

jn+1 : End(M)≤n+1 → End(M)≤n, whose fiber is naturally equivalent to n+1 fib(jn+1) ≃ Σ (πn+1(fib(q))), in MonE1 (Ind(Pro(S))). Proof. Since the forgetful functor

forget: MonE1 (Ind(Pro(S))) → Ind(Pro(S)), is conservative and commutes with fibers, we are reduced to compute fib(qn) and fib(jn+1) in Ind(Pro(S)). The first assertion follows from Lemma 4.2.3 combined with the fact that filtered colimits preserve fibers and truncations. The existence of the morphism of jn+1 is guaranteed by the universal property of the truncation functor. To compute fib(jn+1) we notice that the latter fits into a fiber sequence of the form

fib(jn+1) → fib(qn+1) → fib(qn). n+1 Since fib(qn+1) ≃ τ≤n+1(fib(q)) and fib(qn) ≃ τ≤n(fib(q)), we deduce that fib(jn+1) ≃ Σ (πn+1(fib(q))), as desired.

Remark 4.2.11. Let n ≥ 0. Thanks to Lemma 4.2.10 the fiber fib(jn+1) is ind-p-nilpotent. Indeed, since the morphism q : End(M) → End(M), is an equivalence after passing to the colimit under multiplication by p, we deduce from Lemma 4.2.6 that fib(jn+1), is a colimit of p-nilpotent objects. 4.3. Lifting results for continuous p-adic representations of profinite spaces. In this §, we generalize to the setting of higher algebra the following standard result: let G be a profinite group and

ρ: G → GLn(Qp), be a continuous representation of G. Then, up to conjugation, ρ factors through the canonical inclusion

GLn(Zp) ⊆ GLn(Qp). Our goal is to prove an analogue when we replace BG by an object X ∈ Pro(Sfc) and we allow more general coefficients than simply a finite extension E of Qp. A priori, one cannot expect to have such an analogue in this degree of generality. For this reason, we will need to introduce the following definition: Definition 4.3.1. Let X ∈ Pro(Sfc) be a connected profinite space. We say that X is p-adically cohomological compact if, for any discrete p-torsion Z -module N ∈ Mod♥ , we have an equivalence of mapping spaces p Zp

MapMonE (Pro(S)) ΩX,N ≃ colim MapMonE (Pro(S)) ΩX,Nα , 1 α 1 for any presentation of N ≃ colim N as a filtered colimit of finite type (discrete) Z -modules N ∈ Mod♥ . α α p α Zp Remark 4.3.2. It is possible to give an analogous definition in the case where X ∈ S. The latter is equivalent to require that X admits a cellular decomposition with finitely many cells, in each dimension. Nonetheless, X itself might have infinitely many non-zero (finite) homotopy groups. Definition 4.3.3. Let f : Y → X be a morphism in Pro(Sfc). We say that f is a finite morphism if its fiber fib(f) ∈ Pro(Sfc), is equivalent to a finite constructible space, i.e., an object in Sfc. Example 4.3.4. (i) Let Y → X is a finite morphism in Pro(Sfc). If we assume that X is p-adically cohomological compact, then so it is Y . More generally, the notion of p-adic compactness is stable under fiber sequences. 38 (ii) Suppose X ∈ Pro(Sfc) is the étale homotopy type of a smooth variety over an algebraically closed ét field. Then X is p-adicallly cohomological compact. This is a consequence of the fact that π1 (X) is topologically of finite type. Indeed, in such case every continuous representation ρ: Ω(Shét(X)) → N, ét ét factors through the canonical morphism can: Ω(Sh (X)) → π1 (X) (obtained by applying π0 pro- component-wise). The result now follows from the observation that such ρ is determined by the image of a finite set of topological generators, and their images land in a sufficiently large Nα ⊆ N. Fix now Sfc a connected -adically compact profinite space. Let C ad <∞. The main X ∈ Pro( ) p A ∈ ( AlgOk ) result of this § can be formulated as:

Theorem 4.3.5. Suppose we are given ρ ∈ PerfSysp(X)(A ⊗Ok k) such that ∗ M := π (ρ) ∈ Perf(A ⊗Ok k), + fc admits a formal model M ∈ Coh (A). Then there exists Y ∈ MonE1 (Pro(S )) together with a ﬁnite morphism of enriched E1-monoid-like objects f : Y → ΩX in Pro(Sfc), such that we have a commutative diagram

ρ′ Y End(M)

ρ ΩX End(M)

in the ∞-category MonE1 (Ind(Pro(S))). Proof. The fact that C ad is assumed to be truncated, implies that so it is . For this reason, we A ∈ AlgOk M can assume that also M ∈ Coh+(A) is truncated (otherwise we replace M by a sufﬁciently large truncation). Therefore, there exists a sufﬁciently large m> 0 such that

(4.3.1) τ≤mEnd(M) ≃ End(M) and τ≤mEnd(M) ≃ End(M). fc We now proceed to construct such a proﬁnite E1-monoid like object Y ∈ MonE1 (Pro(S )), satisfying the conditions of the statement. We argue by induction on the relative Postnikov tower of the canonical morphism q : End(M) → End(M).

For each n ≥ 0, we construct morphisms Y≤n → X which factor ρ along the natural morphism

qn : End(M)≤n → End(M).

Moreover, we shall prove that Y≤n → X admits a ﬁnite ﬁber. Let n =0, and consider the 0-th relative truncation of q End(M) → End(M)≤0 → End(M),

in the ∞-category MonE1 (Ind(Pro(S))). By construction, the morphism q0 : End(M)≤0 → End(M) ﬁts into a pullback square of the form

End(M)≤0 π0(End(M)) (4.3.2)

End(M) π0(End(M)),

in MonE1 (Ind(Pro(S))). Indeed, the latter assertion follows by a direct computationof the ﬁbersof each displayed vertical morphism, using the description of qn provided in Lemma 4.2.10. Thanks to Lemma 4.2.4, the composite ρ ΩX −→ End(M) → π0(End(M)), factors as a morphism ρ0 : π0(ΩX) → π0(End(M)),

in MonE1 (Ind(Pro(S))). We can naturally identify π0(ΩX) = π1(X) with a proﬁnite group and π0(End(M)) with a topological group (the topology on the latter being induced by the ind-pro-structure). Moreover, we can 39 also regard π0(End(M)) as an open subgroup of π0(End(M)). Since π1(X) is a proﬁnite group, it follows that the inverse image −1 ρ0 (π0(End(M))) ≤ π1(X), corresponds to an open subgroup of π1(X). Let U ⊳ π1(X) be an open normal subgroup such that

ρ0(U) ⊆ π0(End(M)) ⊆ π0(End(M)), and such that π1(X)/U =∼ G, where G is a ﬁnite group. Consider the pullback diagram

Y≤0 U

ΩX π1(X)

fc now taken in the ∞-category MonE1 (Pro(S )). By construction, the morphism Y≤0 → ΩX admits a ﬁnite constructible ﬁber, namely BG. Furthermore, we have an equivalence

(4.3.3) ΩX ≃ Y≤0/BG fc in the ∞-category MonE1 (Pro(S )). Moreover, we have a commutative diagram

Y≤0 π0(End(M))

ΩX π0(End(M)),

in MonE1 (Ind(Pro(S))). The pullback diagram (4.3.2) implies that we have a commutative diagram of the form

Y≤0 End(M)≤0

ΩX End(M), as desired. The base step of our inductive reasoning is thus finished. Let n ≥ 0, and suppose we have constructed fc a profinite space Y≤n ∈ Pro(S ) fitting into a commutative diagram

Y≤n End(M)≤n

hn , ρ ΩX End(M)

in MonE1 (Ind(Pro(S))), such that fc ﬁb(hn) ∈ Pro(S ), is ﬁnite constructible. Let qn+1 : End(M)≤n+1 → End(M) be as in Lemma 4.2.10. We have a commutative diagram of the form

jn+1 jn j1 End(M)≤n+1 End(M)≤n ... End(M)≤0

q0 End(M)

in MonE1 (Ind(Pro(S))). Moreover, Lemma 4.2.10 implies that n+1 ﬁb(jn+1) ≃ colim Σ πn+1(ﬁb(q)). k Consider the following pullback diagram

Y≤n+1 End(M)≤n+1 e πn jn+1 ,

Y≤n End(M)≤n 40 in the ∞-category MonE1 (Ind(Pro(S))). By construction, the ﬁber of the morphism πn : Y≤n+1 → Y≤n is equivalent to e

fib(πn) ≃ fib(jn+1), in MonE1 (Ind(Pro(S))). The fiber sequence

fib(πn) → Y≤n+1 → Y≤n, e is thus classified by a morphism n+2 ϕn : Y≤n → Σ πn+1(fib(q)), in MonE1 (Ind(Pro(S))). We observe that πn+1(fib(q)) is a discrete group and the monoid structure on n+2 Σ πn+1(fib(q)) ∈ MonE1 (Ind(Pro(S))) is necessarily commutative, as n +2 ≥ 2. Thanks to Lemma 4.2.6 it follows that n+2 n+2 m (4.3.4) Σ πn+1(fib(q)) ≃ colim Σ πn+1(fib(p )), m n+2 n in MonE1 (Ind(Pro(S))). By the fact that Σ πn+1(fib(p )) is a commutative monoid-like object, it follows that each transition morphism n+2 m n+2 m+1 Σ πn+1(fib(p )) → Σ πn+1(fib(p ))

is a morphism of E1-monoid like objects in Ind(Pro(S)). For this reason, we conclude that n+2 ϕn : Y≤n → Σ πn+1(fib(q)), n+2 k admits a factorization Y≤n → Σ πn+1(fib(p )), in MonE1 (Ind(Pro(S))), for sufficiently large k ≥ 1. This induces a fiber sequence of the form n+2 k Σ πn+1(fib(p )) → Y ≤n+1 → Y≤n, in MonE1 (Ind(Pro(S))). Moreover, we have a natural composite

Y ≤n+1 → Yn+1 → End(M)≤n+1. e As X is p-adically cohomological compact and the morphism Y≤n → ΩX admits a finite constructible fiber, it follows that Y≤n is itself p-adically cohomological compact. We can furthermore regard k πn+1(fib(p : End(M) → End(M))), naturally as a discrete Z/pk-module. We can thus write k πn+1(fib(p ) ≃ colim Nα, α k ♥ as a filtered colimit of discrete Z/p -modules, Nα ∈ ModZ/pk . By p-adic cohomological compactness, we obtain an equivalence of mapping spaces n+2 k Map E Sfc Y≤n, Σ πn+1(End(M)/Ω(p )) ≃ Mon 1 (Pro( )) n+2 ≃ colim MapMonE (Pro(Sfc)) Y≤n, Σ Nα . α 1

Therefore, the map ϕn above factors through a morphism n+2 ϕβ,n : Y≤n → Σ Nβ, fc in MonE1 (S ), for some large enough index β. Such factorization produces an extension

n+2 jn+1 Σ Nβ → Y≤n+1 −−−→ Y≤n, fc in the ∞-category MonE1 (Pro(S )). Moreover, by construction, it follows that the composite

Y≤n+1 → Y≤n →···→ ΩX → End(M) factors through the canonical morphism End(M)≤n+1 → End(M). The inductive step is thus completed. In order to finish the proof of the statement it suffices now to observe that there exists a sufficiently large m ≥ 1 such that

End(M)≤m ≃ End(M). 41 This is a consequence of the fact that M is m-truncated combined with the construction of End(M)≤m provided in Lemma 4.2.10. We have thus produced a ﬁnite morphism Y≤m → ΩX ﬁtting into a commutative diagram Y End(M)

ΩX End(M)

in the ∞-category MonE1 (Ind(Pro(S))), as desired. ad Remark 4.3.6. Recall that given for any C the natural morphism of derived rings O A ∈ AlgOk f : A → A ⊗ k A induces a base change functor ∗ f : Perf Ok (A) → Perf k(A ⊗Ok k), in Cat∞(Ind(Pro(S))). Therefore,we have an inducedpullbackfunctor at the level of ∞-categories of continuous representations ∗ f : PerfSysp(X)(A) → PerfSysp(X)(A ⊗Ok k). Deﬁnition 4.3.7. Let Sfc and C ad be as above. We say that PerfSys is X ∈ Pro( ) A ∈ AlgOk ρ ∈ p(X)(A ⊗Ok k) liftable if it lies in the essential image of the base change functor

PerfSysp(X)(A) → PerfSysp(X)(A ⊗Ok k). Fix C ad <∞. As a consequence of Theorem 4.3.5 we have the following crucial statement: A ∈ ( AlgOk ) Corollary 4.3.8. Let X ∈ Pro(Sfc) be a connected and p-adically cohomological compact proﬁnite space. Then ′ every object ρ ∈ PerfSysp(X)(A ⊗Ok k) is a retract of a liftable ρ ∈ PerfSysp(X)(A ⊗Ok k). In particular, the pullback functor ∗ f : PerfSysp(X)(A) → PerfSysp(X)(A ⊗Ok k), induces an equivalence

PerfSysp(X)(A) ⊗Ok k ≃ PerfSysp(X)(A ⊗Ok k), perf in Cat∞ . ∗ Proof. Let ρ ∈ PerfSysp(X)(A ⊗Ok k), M := π (ρ) ∈ Perf(A ⊗Ok k) and let g : Y → X be a ﬁnite morphism in Pro(Sfc). Suppose further that Y connected and the composite g ΩY −→ ΩX → End(M) admits a factorization via End(M) → End(M), where M ∈ Coh+(A) is a formal model for M. Such datum exists thanks to Theorem 4.3.5. The proof of the latter implies that we have a commutative diagram of the form

gn gn−1 j0 Y ≃ Y≤n+1 Y≤n ... Y≤0

g0 X in the ∞-category Pro(Sfc), for which we have

X ≃ Y≤0/Γ, in Pro(Sfc), where Γ is a suitable ﬁnite group (not necessarily abelian), see (4.3.3). In particular, we have an equivalence of ∞-categories BΓ PerfSysp(X)(A ⊗Ok k) ≃ PerfSysp(Y≤0)(A ⊗Ok k) ,

of A ⊗Ok k-linear stable ∞-categories. Moreover, the proof of Theorem 4.3.5 implies that for each integer 0 ≤ i ≤ n − 1 we can choose the morphism

gi : Y≤i+1 → Y≤i,

in such a way that gi is a Mi[n + 2]-torsor, where Mi is a ﬁnite abelian group. As A ⊗Ok k is k-linear and k is a

ﬁeld of characteristic zero, it follows that we have an equivalence of A ⊗Ok k-linear stable ∞-categories

PerfSysp(Y≤0)(A⊗Ok ) ≃ PerfSysp(Y≤i)(A ⊗Ok k), 42 for each integer 0 ≤ i ≤ n. One thus deduces inductively an equivalence of (A ⊗Ok k)-linear ∞-categories BΓ PerfSysp(X)(A ⊗Ok k) ≃ PerfSysp(Y )(A ⊗Ok k) . We are thus provided with an adjunction

∗ g : PerfSysp(X)(A) PerfSysp(Y )(A): g∗

where g∗ denotes the restriction functor along g : Y → X. Given ρ ∈ PerfSysp(Y )(A) we have an equivalence ∗ g ρ ≃ ρ ⊗Ok k[Γ],

∗ where k[Γ] denotes the free k-algebra on the finite group Γ. Moreover, the representation ρ is a retract of g∗g ρ, given by the trivial morphism of groups {1} → Γ. ∗ ∗ Observe further that the representation g∗(g (ρ)) is liftable by the choice of Y , since g (ρ) was already so. This finishes the proof of the first assertion of the Corollary.

Let us now prove that PerfSysp(X)(A ⊗Ok k) is equivalent to the idempotent completion of

PerfSysp(X)(A) ⊗Ok k.

It sufﬁces, to prove that PerfSysp(X)(A ⊗Ok k) is idempotent complete. By the ﬁrst part of the proof we reduce ourselves to show that given any idempotent morphism

f : ρ → ρ, for which ρ is liftable, both ﬁb(f) and coﬁb(f) do exist in the ∞-category PerfSysp(X)(A ⊗Ok k). Let ∗ M := π (ρ) ∈ Perf(A ⊗Ok k). By evaluation, f induces an idempotent morphism

f : M → M, e in Perf(A ⊗Ok k). We might not be able to ﬁnd a lift of f directly on Perf(A). Nonetheless [AP19, Corollary 3.17] combined with [Lur09b, Proposition 4.4.5.20] implye that there exists a formal model M ∈ Coh+(A) for M, for which the diagram

f : Idem → Perf(A ⊗Ok k), e induced by f, lifts to a formal model diagram f : Idem → Coh+(A). It followse that f induces a well deﬁned diagram

cont f : Idem → ContFun(X, Coh+(A)), corresponding to an idempotent morphism cont f : ρ → ρ, cont where ρ: Ω(X) → End(M) denotes a (suitable) continuous A-adic representation of X. Moreover, f admits both a ﬁber and a coﬁber in ContFun(X, Coh+(A)). Namely,

Ω(X) → End(ﬁb(f)) and Ω(X) → End(coﬁb(f)).

The result now follows from the observationthat the image, under (exact) base change functor along A → A⊗Ok k, cont cont of both fib(f ) and cofib(f ) lie in the full subcategory C + PerfSysp(X)(A ⊗Ok k) ⊂ ontFun(X, Coh (A ⊗Ok k)), and they correspond to the fiber and cofiber of the idempotent morphism f, respectively. 43 5. REPRESENTABILITY OF THE MODULI op S 5.1. Representability theorem. As we shall see, the moduli stack LocSysp,n(X): Afdk → admits a natural derived extension which is representable by a derived (geometric) k-analytic stack. In order to prove this assertion, we will use in a crucial way the k-analytic analogue of the Artin-Lurie representability theorem, proved in [PY17, Theorem 7.1]. As it will be of fundamental importance we shall motivate such result.

Definition 5.1.1. Denote by (dAfdk, τét, Psm) the derived k-analytic geometric context where τét denotes the étale topology on dAfdk and Psm denotes the class of smooth morphisms on dAfdk, see [PY16, Definition 5.1] and [PY17, Definition 5.46].

Deﬁnition 5.1.2. Let F ∈ dStdAfdk, τét be a stack. We say that F is a derived k-analytic stack if it is representable by a geometric stack with respect to (dAfdk, τét, Psm).

Theorem 5.1.3. [PY17, Theorem 7.1] Let F ∈ dSt(dAfdk, τét). The following assertions are equivalent: (i) F is a geometric stack; (ii) The truncation t≤0(F ) ∈ St(Afdk, τét) is geometric, F admits a cotangent complex and it is cohesive and nilcomplete. We shall review the main deﬁnitions:

Deﬁnition 5.1.4. Let F ∈ dStdAfdk, τét. We say that F admits a global analytic cotangent complex if the following two conditions are veriﬁed:

(i) Given Z ∈ dAfdk and z : Z → F a morphism, the functor an + DerF (Z, −): Coh (Z) → S, given by the formula M 7→ ﬁbzF (Z[M]) → F (Z), an + is corepresented by an eventually connective object LF,z ∈ Coh (Z). (ii) For any morphism f : Z → Z′ of derived k-afﬁnoid spaces and any morphism z′ : Z → F we have a canonical equivalence, ∗ an an f LF,z′ ≃ LF,z where z := z′ ◦ f.

Deﬁnition 5.1.5. Let F ∈ dSt(dAfdk, τét). We say that F is cohesive or inﬁnitesimally cartesian if for every ≥1 Z ∈ dAfdk, every F ∈ Coh (Z) and any derivation an d: LX → F, the natural map F Zd[F[−1]] → F (Z) ×F (Z[F]) F (Z) is an equivalence in the ∞-category S.

Definition 5.1.6. Let F ∈ dStdAfdk, τét. We say that F is convergent if for every derived k-affinoid space Z the canonical morphism, F (Z) → limF (t≤nZ), n≥0 is an equivalence in the ∞-category S. 5.2. Deformation theory of p-adic continuous representations. In this §, we define the moduli of derived continuous p-adic representations of a profinite space X and we show that it admits a derived structure under mild assumptions on X ∈ Pro(Sfc). Definition 5.2.1. Let X ∈ Pro(Sfc). The moduli of derived continuous p-adic representations of X is defined as the right Kan extension, along the canonical inclusion functor <∞ j : dAfdk → dAfdk, of the étale hyper-sheafification of the moduli functor ≃ <∞ op S PerfSysp(X) := (−) ◦ PerfSysp(X): dAfdk → . We have the following description: 44 Lemma 5.2.2. Let Z ∈ dAfdk. Then we have a natural equivalence

PerfSysp(X)(Z) ≃ limnPerfSysp(X)(t≤nZ)

in the ∞-category S. In particular, the functor PerfSysp(X) is nilcomplete. Proof. We shall denote by T <∞ op Z := (dAfdk )Z/, ′ and define TZ the full subcategory of TZ spanned by those objects of the form t≤nY → Z, for each n ≥ 0. By the end formula for right Kan extensions, cf. [Lur09b, 4.3.2.17.], it suffices to show that the inclusion functor ′ TZ → TZ , is a final functor. Thanks to the dual statement of [Lur09b, Theorem 4.1.3.1] we are reduced to show that for every op (Y → Z) in TZ , the ∞-category ′ (TZ )/Y , ′ has weakly contractible enveloping groupoid. We can identify the ∞-category (TZ )/Y with the ∞-category of op factorizations of the morphism (Y → Z) . Thanks to the universal property of the functor τ≤n combined with the fact that Y is truncated it follows that there exists a sufficiently large integer m such that (Y → X)op, factors uniquely as op (Y → t≤mX → X) . ′ Therefore the ∞-category (TX )/Y is cofiltered and thus weakly contractible, as desired. op Proposition 5.2.3. The functor PerfSysp(X): dAfdk → S is cohesive. ≃ Proof. The right adjoint (−) : Cat∞ → S commutes with small limits and in particular with finite limits. More- over, PerfSysp(X) is nilcomplete, thus we can restrict ourselves to prove the assertion when restricted to truncated objects. As a consequence, it suffices to show that the functor <∞ PerfSysp(X): dAfdk → Cat∞ <∞ an is infinitesimally cartesian. Let Z ∈ dAfdk and let d: LZ → M be a k-analytic derivation of Z, and M ∈ Coh+(Z). Thanks to [Ant18, Theorem A.2.1] we can lift d to a formal derivation ′ ad d : LA → M, in + , where C ad <∞ satisfies Coh (A) A ∈ ( AlgOk ) (Spf A)rig ≃ Z. rig For this reason Zd[M] can be obtained as the rigidification Spf(Ad′ [M]) ∈ dAfdk. Therefore, the canonical functor

PerfSys (X)(Ad′ [M]⊗O k) → PerfSys (X)(A⊗O k)×PerfSys M O PerfSys (X)(A⊗O k) p k p k p(X)((A⊕ )⊗ k k) p k is an equivalence, which is an immediate consequence of Proposition 3.4.20.

We now proceed to study the associated tangent complex of PerfSysp(X). In order to do so, we will need to state and prove the following technical result: Proposition 5.2.4. Let C ad and denote by rig its rigidification. F ∈ St( AlgOk , τét, Psm) F ∈ St(dAfdk, , τét, Psm) ad Suppose that F admits an adic cotangent complex, LF,x, at a point x: Spf(A) → F, rig an then F admits an analytic cotangent complex, LF rig ,xrig , at the rigidification xrig : Spf(A)rig → F rig. Moreover, we have a canonical equivalence ad rig an (LF,x) ≃ LF rig ,xrig , in the ∞-category Coh+(Spf(A)rig). 45 ad + Proof. The existence of LF,x implies that for every M ∈ Coh (A) we have functorial equivalences ad MapCoh+(A)LF,x,M ≃ fibxF (A ⊕ M) → F (A). Thanks to [AP19, Theorem 3.7] the ∞-category Coh+(Spf(A)rig) is a Verdier quotient of Coh+(A). Further- more, it follows from [AP19, Lemma 3.14] and its proof that the we have an adjunction

rig + + + (−) : IndCoh (A) IndCoh (X): (−) , between presentable ∞-categories, where (−)rig is an accessible localization functor and (−)+ is consequently fully faithful. We have an equivalence of mapping spaces rig rig + MapCoh+(X)LF,x,M ≃ MapInd(Coh+(A))LF,x, (M ) . Since (M rig)+ ∈ Ind(Coh+(A)) we can write it as a ﬁltered colimit rig + (M ) ≃ colim Mi i ≃ colim M, + M∈Coh (A)/Mrig + where the last equivalence follows by adjunction. Since LF,x is a compact object of Ind(Coh (A)), we have rig + MapInd(Coh+(A)) LF,x, (M ) ≃ colim MapCoh+(A) LF,x,Mi . i Let N ∈ Coh+(Spf(A)rig). Put X = Spf(A)rig. We have a chain of equivalences ′ ′ colim colim ﬁbx′ F (A ⊕ Mi) → F (A ) ≃ ′ ad + ′ A ∈(CAlgO )/X Mi∈Coh (A )/N k

≃ colim colim Map + ′ LF,x,Mi ′ ad + ′ Coh (A ) A ∈(CAlgO )/X Mi∈Coh (A )/N k + ≃ colim Map + ′ LF,x,N ′ ad Ind(Coh (A )) A ∈(CAlgO )/X k rig ≃ colim Map + L ,N ′ ad Coh (X) F,x A ∈(CAlgO )/X k rig ≃ MapCoh+(X)(LF,x,N. Both colimit indexing ∞-categories are filtered and x′ denotes the composite x: Spf A′ → Spf A → F. Notice that in the above colimit diagrams it suffices to consider only colimits indexed by the full subcategories of formal models for X and lying under A. Furthermore, we have an equivalence ′ ′ ′ ′ ′ colim colim fibx′ F (A ⊕ Mi) → F (A ) ≃ colim fibx′ F (A ⊕ M ) → F (A ) , ′ ad + ′ C A ∈(CAlgO )/X Mi∈Coh (A )/N k where C denotes the ∞-category of admissible formal models for X[N]. This last assertion follows from the observation that a formal model for X[N] consists of the given of an admissible formal model for X together with a formal model for N. We have thus a chain of natural equivalences ′ ′ ′ colim fibx′ F (A ⊕ M ) → F (A ) ≃ C ′ ′ ′ ≃ fibxrig colim F (A ⊕ M ) → F (A ) C rig rig ≃ fibxrig F (X[N]) → F (X). Thus, we obtain rig rig an fibxrig F (X[N]) → F (X) ≃ MapCoh+(X)LF rig ,xrig ,N as desired. + Notation 5.2.5. Let Z ∈ dAfdk and ρ ∈ PerfSysp(X)(Z). Suppose we are given M ∈ Coh (Z), we shall denote by T : PerfSysp(X),ρ(M) = fib(PerfSysp(X)(Z[M]) → PerfSysp(X)(Z)) ∈ S,

46 the tangent space of PerfSysp(X) at ρ and M. When M = RΓ(Z, OZ )[1], we shall simply denote T : T O PerfSysp(X),ρ = PerfSysp(X),ρ(RΓ(Z, Z )[1]). Let X ∈ Pro(Sfc) denote a p-adically compact proﬁnite space. We can compute its tangent complex as follows: + Proposition 5.2.6. Let Z ∈ dAfdk and M ∈ Coh (Z). Suppose we are given a morphism

ρ: Z → PerfSysp(X).

Then we have a natural equivalence of almost perfect RΓ(Z, OZ )-modules, (5.2.1) T (M) ≃ Map 1,ρ ⊗ ρ∨) ⊗ M[1]. PerfSysp(X),ρ PerfSysp(X)(Z) ∨ Moreover, the RΓ(Z, OZ )-module Map 1,ρ ⊗ ρ ) is equivalent to a perfect RΓ(Z, OZ )-module. PerfSysp(X)(Z) Before giving the proof of Section 5.2 we need to introduce a few preliminary considerations: Notation 5.2.7. Let C ad . We shall denote by triv PerfSys the unit of the symmetric A ∈ AlgOk A ∈ p(X)(A) monoidal -category PerfSys ⊗. In particular, given any morphism in C ad , we have ∞ p(X)(A) f : A → B AlgOk that the base change functor ∗ f : PerfSysp(X)(A) → PerfSysp(X)(B), can be explicitly described by the formula

ρ ∈ PerfSysp(X)(A) 7→ ρ ⊗trivA trivB ∈ PerfSysp(X)(B). Let C ad and . Before proving Section 5.2 we shall need a preliminary lemma: A ∈ AlgOk M ∈ Perf(A) ′ Proposition 5.2.8. Let ρ ∈ PerfSysp(X)(A) and ρ ∈ PerfSysp(X)(A ⊕ M) together with a morphism ′ θ : ρ → ρ ⊗trivA trivA⊕M , in the ∞-category PerfSysp(X)(A ⊕ M). Assume further that θ becomes an equivalence, after base change along the canonical morphism A ⊕ M → A.

Then θ is an equivalence in the ∞-category PerfSysp(X)(A ⊕ M). Proof. It sufﬁces to prove the result in the case where ′ θ : ρ → ρ ⊗trivA (trivA⊕M ), coincides with the identity morphism

id: ρ ⊗trivA trivA⊕M → ρ ⊗triv(A) trivA⊕M .

Consider the cofiber cofib(θ) ∈ PerfSysp(X)(A ⊕ M). The latter is a dualizable object in the ∞-category PerfSysp(X)(A ⊕ M). Moreover, its image in PerfSysp(X)(A) is equivalent to the zero object. We wish to prove that the coevaluation morphism ∨ coev: trivA⊕M → cofib(θ) ⊗ cofib(θ) , is the zero map in the ∞-category PerfSysp(X)(A). Consider the inclusion morphism

trivA → trivA⊕M , in ModA. By naturality of the tensor product functor, we obtain a commutative diagram of the form

coev⊗trivA ∨ trivA (coﬁb(θ) ⊗ coﬁb(θ) ) ⊗ trivA

coev ∨ trivA⊕M coﬁb(θ) ⊗ coﬁb(θ) .

Notice that coev ⊗ trivA corresponds to the coevaluation morphism of the dualizable object

coﬁb(θ) ⊗trivA⊕M trivA ∈ PerfSysp(X)(A). Thus it must coincide with the identity morphism

cofib(θ) ⊗ trivA → cofib(θ) ⊗ trivA. 47 The latter is the zero morphism, by our assumption on θ. It thus follows that the A-linear morphism ∨ trivA → cofib(θ) ⊗ cofib(θ) , is the zero morphism. By adjunction, the coevaluation map ∨ coev: trivA⊕M → cofib(θ) ⊗ cofib(θ) is the zero morphism, as well. Thus cofib(θ) ≃ 0 in the ∞-category PerfSysp(X)(A ⊕ M), as desired. Proof of Section 5.2. We first observe that the derived Tate acyclicity theorem, cf.[PY18, Theorem 3.1.], implies that we have a canonical equivalence of ∞-categories + + Coh (Z) ≃ Coh (RΓ(Z, OZ )). We will use this fact without further mention it. Consider the right fibration of spaces

λM : PerfSysp(X)(Z[M]) → PerfSysp(X)(Z), which classiﬁes a functor

λM : PerfSysp(X)(Z) → S, whose value at ρ ∈ PerfSysp(X)(Z) is equivalent to T S PerfSysp(X),ρ ∈ . Since the formula displayed in (5.2.1) is closed under taking ﬁbers of idempotent morphisms, we reduce ourselves, via Corollary 4.3.8, to the case where

ρ ∈ PerfSysp(X)(Z), is liftable. Thanks to the proof of [TT90, Theorem 5.1], it follows that ∗ N := π (ρ) ∈ Perf(RΓ(Z, OZ )), admits a formal model N , up to retract, for some derived O -adic algebra C ad such that ∈ Perf(A) k A ∈ AlgOk Spf(A)rig ≃ Z.

Again by the closure of (5.2.1) under retractions combined with the fact that Perf(RΓ(Z, OZ )) is idempotent complete, we are reduced to the case where N admits a formal model N ∈ Perf(A). Let M ∈ Coh+(A) denote a + formal model for M ∈ Coh (RΓ(Z, OZ )). Thanks to second assertion in Corollary 4.3.8 it sufﬁces to prove the statement of in the A-adic case. Observe further that Proposition 5.2.8 and its proof allow us to identify the left hand side of (5.2.1) with the morphism

Ω(pM (ρ)) ≃ ﬁbid Map M ρ ⊗ (A ⊕ M),ρ ⊗ (A ⊕ M) ρ PerfSysp(A⊕ ) → Map (ρ,ρ). PerfSysp(X)(A)

We shall denote the right hand side simply by Map/ρρ ⊗A (A ⊕ M),ρ ⊗A (A ⊕ M). Since the underlying A-module of ρ ⊗A (A ⊕ M) can be identiﬁed with ρ ⊕ ρ ⊗A M, we have a chain of natural equivalences of mapping spaces

Map/ρρ ⊗A (A ⊕ M),ρ ⊗A (A ⊕ M) ≃

≃ Map ρ ⊗A (A ⊕ M),ρ ⊗A (A ⊕ M) PerfSysp(X)(A)/ρ

≃ Map ρ,ρ ⊗A (A ⊕ M) . PerfSysp(X)(A)/ρ

Notice that the latter mapping space is pointed at the zero morphism. Since ρ ∈ PerfSysp(X)(A) is a dualizable object we have an equivalence of mapping spaces Map ρ,ρ ⊗ M ≃ Map ρ ⊗ ρ∨, M . PerfSysp(A) A PerfSysp(A)

Consider the pullback diagram of derived Ok-adic algebras A ⊕ M A . A A ⊕ M[1] 48 ≃ As PerfSysp(X) is cohesive and the right adjoint (−) : Cat∞ → S commutes with limits we obtain a pullback diagram of the form

PerfSysp(X)(A ⊕ M) PerfSysp(X)(A) ,

PerfSysp(X)(A) PerfSysp(A ⊕ M[1]).

in S. By taking the corresponding ﬁbers at ρ ∈ PerfSysp(X)(A), we obtain a pullback diagram of spaces T M PerfSysp(X),ρ( ) ∗ .

T M ∗ PerfSysp(X),ρ( [1]) By our previous computations, replacing M with the shift M[1] produces the chain of equivalences

pM (ρ) ≃ Ω(pM[1](ρ)) ≃ Map ρ ⊗ ρ∨, M[1] , PerfSysp(X)(A) as desired.

Remark 5.2.9. Let ρ ∈ PerfSysp(X)(Z), with Z ∈ dAfdk. The above proposition implies that the tangent complex Tan can be computed as the (derived) global sections PerfSysp(X) an T ≃ RΓcont(X, Ad(ρ))[1], PerfSysp(X),ρ where the right hand side computes the continuous cohomology of X with coefficients in Ad(ρ). This recovers the usual definition whenever X =BG, where G is a profinite group.

In order to prove that PerfSysp(X) admits a cotangent complex (dual to its tangent complex) one must impose further finiteness conditions on X ∈ Pro(Sfc): Definition 5.2.10. Let Sfc be a connectedprofinitespace. Let C ad and PerfSys . X ∈ Pro( ) A ∈ AlgOk ρ ∈ p(X)(A) We say that X is locally p-adic cohomological perfect at ρ if the enriched mapping A-module

Map trivA,ρ ∈ Sp, PerfSysp(X)(A) is a perfect A-module. We say that X is p-adically cohomological perfect if it is locally p-adically cohomological perfect for every C ad and PerfSys . A ∈ AlgOk ρ ∈ p(X)(A) Remark 5.2.11. Let Sfc be a connected profinite space. Let C ad and PerfSys . X ∈ Pro( ) A ∈ AlgOk ρ ∈ p(X)(A) By p-adic completeness, in order to check that X is locally p-adically cohomology perfect at ρ it suffices to prove that, for every n ≥ 1, Map trivA ,ρ ⊗triv trivA PerfSysp(X)(An) n A n is a perfect An-module. op Under such assumption on X we shall prove that the functor PerfSysp(X): dAfdk → S admits a well defined (global) cotangent complex. We first need an auxiliary lemma: Lemma 5.2.12. Let A be a derived ring. Let C be an A-linear stable presentable ∞-category and C ∈ C a compact object of C. Then for every object M ∈ ModA, we have an equivalence of enriched mapping objects

MapCC,M ⊗ 1C ≃ MapCC, 1C ⊗A M, in the ∞-category ModA. Here 1C ∈ C denotes the unit for the symmetric monoidal structure on C.

Proof. Let D ⊆ ModA denote the full subcategory spanned by those A-modules M such that the assertion holds true. Clearly A ∈ D. Since A ∈ ModA generates the ∞-category ModA under small colimits and shifts, it sufﬁces to show that D is closed under small colimits and shifts. Stability of D under shifts is clear. Suppose now that

M ≃ colim Mi, i∈I 49 where Mi ∈ D and I is a ﬁltered ∞-category. Then by our compactness assumption it follows that we have a chain of equivalences

MapC(C,M) ≃ MapC C, colim Mi ⊗ 1C i

≃ colim MapC C,Mi ⊗ 1C i

≃ colim MapC C, 1C ⊗A Mi i

≃ MapC C, 1C ⊗A (colim Mi) i ≃ MapCC, 1C ⊗A M.

Thus D is closed under filtered colimits. It suffices to show that D is closed under finite colimits. Since ModA is a stable ∞-category it suffices to show that D is closed under finite coproducts and cofibers. Let f : C → D be a morphism in D, we wish to show that cofib(f) ∈ D. Thanks to [Lur12b, Theorem 1.1.2.14] we have an equivalence cofib(f) ≃ fib(f)[1]. As a consequence, we can write

MapCC, cofib(f) ≃ MapCC, fib(f)[1] ≃ fibMapCC,f[1] ≃ cofibMapCC,f ≃ MapCC, 1C ⊗A cofib(f). The case of coproducts follows along the same lines and it is easier. From this we conclude that

D ≃ ModA, as desired. Proposition 5.2.13. Let X ∈ Pro(Sfc) be a p-adically cohomological perfect profinite space. Then for every Z ∈ dAfdk and every ρ ∈ PerfSysp(X)(Z) the RΓ(Z, OZ )-module ∨ Map triv ,ρ ⊗ ρ∨[1] ∈ Mod , PerfSysp(X)(Z) Z A is perfect and it corepresents the functor F : Coh+(Z) → S, given by the formula + S M ∈ Coh (Z) 7→ fibρPerfSysp(X)(Z[M]) → PerfSysp(X)(Z) ∈ . Proof. The above formula is closed under Postnikov towers, so we must only prove the assertion in the case where is a eventually truncated derived -affinoid space. Let C ad be a derived O -adic algebra such Z ∈ dAfdk k A ∈ AlgOk k that Spf(A)rig ≃ Z, ′ in dAfdk. Suppose first that ρ ∈ PerfSysp(X)(Z) is liftable. And let ρ ∈ PerfSysp(X)(A) lifting such ρ. Notice that Corollary 4.3.8 implies the existence of a natural equivalence ∨ ′ ′ ∨ MapPerfSys (X)(Z)(triv,ρ ⊗ ρ [1]) ≃ colim Mat MapPerfSys (X)(A)(trivA,ρ ⊗ (ρ ) [1]) , p mult by p p For this reason, in the case where ρ is liftable, we reduce ourselves to prove the statement of the lemma for a lift ′ ρ ∈ PerfSysp(X)(A). Denote by

ModSysp(X)(A) := Ind(PerfSysp(X)(A)). The latter is a presentable stable ∞-category which is furthermore A-linear. Lemma 5.2.12 implies that, for every M ∈ ModA, we have a chain of equivalences ∨ ∨ Map ρ ⊗ ρ ,M[1] ≃ Map ρ ⊗ ρ , trivA[1] ⊗A M ModSysp(X)(A) ModSysp(X)(A) ≃ Map triv ,ρ ⊗ ρ∨[1] ⊗ M. ModSysp(X)(A) A A Furthermore, it follows by our hypothesis on X that C := Map triv ,ρ ⊗ ρ∨[1] ∈ Mod , ModSysp(X)(A) A A 50 is a perfect A-module. Assemblying the above considerations together we thus obtain a chain of natural equivalences Map C∨,M ≃ Map A, C ⊗ M ModA ModA A ′ ′ ∨ ≃ Map trivA,ρ ⊗ (ρ ) [1]) ⊗A M, PerfSysp(X)(A) and the result now follows by the explicit formula for the tangent complex provided in Section 5.2. For a general

ρ ∈ PerfSysp(X)(Z), Corollary 4.3.8 implies that

∨ ∨ Map triv O ,ρ ⊗ ρ [1] , PerfSysp(X)(Z) RΓ(Z, Z )

′ ′ ∨ ∨ ′ is a retract of some Map triv O ,ρ ⊗ (ρ ) [1] , for some liftable ρ . The result now PerfSysp(X)(Z) RΓ(Z, Z ) follows from the fact that perfect RΓ(Z, OZ )-modules are closed under retracts.

5.3. Étale cohomology of perfect local systems. As we saw in the previous section in order to construct the cotangent complex of PerfSysp(X) one needs to require X to be p-adically perfect. In this §, we will show that such condition is always verified in the case where X is the étale homotopy type of a smooth and proper scheme. Let us fix notations: from now on we shall denote by X a geometrically connected proper and smooth scheme over an algebraically closed field K. Let

πX : X → SpecK denote the structural morphism. For each integer n ≥ 1, we have a canonical equivalence of ∞-categories

n Shv(SpecK, Z/p Z) ≃ ModZ/pnZ. We have a pullback functor

∗ n n p : Shvét(SpecK, Z/p Z) → Shvét(X, Z/p Z), which associates to each Z/pnZ-module M the étale constant sheaf on X with values in M.

n Proposition 5.3.1. Let X be a proper normal scheme over an algebraically closed ﬁeld K. Then RΓ(X´et, Z/p Z) is a perfect complex of Z/pnZ-modules. Proof. This is a direct consequence of the more general results [GL14, Proposition 4.2.15] in the ℓ 6= p case and [Sch13, Theorem 5.1] in the p-adic case.

Deﬁnition 5.3.2. Let A be a derived ring. We say that A is Noetherian if it satisﬁes the following conditions:

(i) π0(A) is a Noetherian ring; (ii) For each i ≥ 0, πi(A) is an π0(A)-module of ﬁnite type.

Deﬁnition 5.3.3. Let A be a derived ring and M ∈ ModA an A-module. We say that M has tor-amplitude ≤ n if, for every discrete A-module N, the homotopy groups

πi(M ⊗A N) ∈ ModA vanish for every integer i>n.

Lemma 5.3.4. Let A be a Noetherian simplicial ring and M ∈ ModA be a connective A-module. Then M is a perfect A-module if and only if the following two conditions are satisﬁed:

(i) For each i, πi(M) is of ﬁnite type over π0(A); (ii) M is of ﬁnite Tor-dimension. Proof. This is [Lur12b, Proposition 7.2.4.23].

Lemma 5.3.5 (Projection Formula). Let X be a scheme over an algebraicallyclosed ﬁeld K. Let A be a simplicial n Z/p Z-algebra and F ∈ Shvét(X, A). Then, for any M ∈ ModA, we have a natural equivalence, ∗ π∗(F ⊗A π (M)) ≃ π∗(F) ⊗A M, in the derived ∞-category ModA, where π denotes the structural morphism π : X → Spec K. 51 Proof. Let C ⊂ ModA be the full subcategory spanned by those A-modules M such that there exists a canonical equivalence RΓ(Xét,M) ≃ RΓ(Xét, A) ⊗A M. It is clear that A ∈ C and C is closed under small colimits, since both tensor product and the direct image functor π∗ commute with small colimits. Furthermore, the fact that the ∞-category ModA is compactly generated by the unit object A implies the result.

n Deﬁnition 5.3.6. Let A ∈ CAlgZ/pnZ be a simplicial Z/p Z-algebra. Let F ∈ Shv(Xét, A). We say that F is a local system of perfect A-modules on Xét if there exists an étale covering f : Y → X such that ∗ ∗ f (F) ≃ πY (N),

where N ∈ ModA is a perfect A-module and πY : Y → Spec K denotes the structural morphism. n Remark 5.3.7. Let A be a derived Z/p Z-algebra and let N ∈ Shv(Xét, A) be a local system of perfect A- modules on Xét. Thanks to [GL14, Proposition 4.2.2] it follows that N can be written as a (ﬁnite sequence) of retracts of the form f!(A) ∈ Shv(Xét, A), where n n f! : Shv(Yét, Z/p Z) → Shv(Xét, Z/p Z), denotes the exceptional direct image functor associated to a given étale map f : Y → X, see [GL14, Example 4.1.10] for a deﬁnition of the latter. We will not need this result in our study.

n Remark 5.3.8. Thanks to [GL14, Remark 4.1.6] the ∞-category Shvét(X, Z/p Z) admits a canonical t-structure. Lemma 5.3.9. Let f : Y → X denote an étale morphism. Then the pullback functor ∗ n n f : Shvét(X, Z/p Z) → Shvét(Y, Z/p Z), is t-exact.

n ♥ ∗ n Proof. Let F ∈ Shvét(X, Z/p Z) denote a discrete étale sheaf on X. Then f (F) ∈ Shvét(Y, Z/p Z) is on objects by the formula

(U → Y ) ∈ Yét 7→ F(U) ∈ ModZ/pnZ. It is then clear that f ∗(F) is a discrete étale sheaf on Y , as well. The claim now follows.

n Proposition 5.3.10. Let A ∈ CAlgZ/pnZ be a Noetherian simplicial Z/p Z-algebra. Let F be a local system of perfect A-modules on X´et. Then the (derived) global sections RΓ(Xét, F) ∈ ModA, is a perfect A-module.

Proof. Let F be a local system of perfect A-modules on Xét. Our goal is to show that

RΓ(Xét, F) ∈ ModA, lies in the full subcategory Perf(A). By Lemma 5.3.4 it suffices to show that, for each i ∈ Z, the cohomology groups −i H (Xét, F) := πi(RΓ(Xét, F)), are finite π0(A)-modules and RΓ(Xét, F) ∈ ModA, is of finite Tor-amplitude over A. Up to performing a suitable shift of RΓ(Xét, F), we can assume that F is a connective perfect A-module on Xét. In order to prove the claim, we will directly verify the conditions of Lemma 5.3.4. We start by verifying condition i) in loc. cit.: Let f : Y → X be an étale morphism such that ∗ ∗ f (F) ≃ πY (N), for some N ∈ Perf(A) and let πY : Y → Spec K denote the structural morphism. Thank to Lemma 5.3.9, for each i ≥ 0, one has a chain of natural equivalences ∗ ∗ f (πi(F)) ≃ πi(f (F)) ∗ ≃ πi(πY (N)) ∗ ≃ πY (πi(N)), 52 where the last equivalence follows from [GL14, Warning 4.1.8] and the definition of ∗ n πY : ModZ/pnZ → Shvét(X, Z/p Z).

For this reason, πi(F) is still a local system on Xét. As X is smooth it is in particular a normal scheme. Conse- quently, we can assume without loss of generality, that the étale map f : Y → X is a Galois covering. It follows, by Galois descent, that we have a natural equivalence ∗ RΓ(Xét, πi(F)) ≃ RΓ(G, RΓgrp(Yét, πY (πi(N)))), of A-modules, where G denotes the finite group of automorphisms of the Galois covering f : Y → X and RΓgrp(G, −) the functor of group cohomology associated to G. ∗ Assume first that RΓ(Yét, πY (πi(N))) is an A-module whose homotopy groups are finitely generated over π0(A). Granting this assumption, it follows by the fact that G is finite, that the group cohomology of G with Z-coefficients is finitely generated and of torsion. By analyzing the corresponding Hochschild-Serre spectral sequence ∗ ∗ (5.3.1) πj (RΓgrp(G, πi(RΓ(Yét, πY (N)))) ⇒ πi+j (RΓgrp(G, RΓ(Yét, πY (N)))), we deduce that the homotopy groups ∗ πi(RΓ(G, RΓ(Vét, πY (N))), are finitely generated over π0(A), as well. The abovereasoning allow us to reduce to the case where F is constant, i.e., ∗ F ≃ πX (N), with N ∈ Perf(A). By the projection formula, Lemma 5.3.5, we have that ∗ (5.3.2) RΓ(Xét, πX (πi(N))) ≃ RΓ(Xét, π0(A)) ⊗π0(A) πi(N).

Thus to prove finiteness of the left hand side of (5.3.2) it suffices to prove it in the case where π0(A) ≃ πi(N). By the same reasoning, we have that n RΓ(Xét, π0(A)) ≃ RΓ(Xét, Z/p Z) ⊗Z/pnZ π0(A). n Thus, to prove the claim, we are reduced to know that RΓ(Xét, Z/p Z) has finitely generated homotopy groups. The latter claim is now a consequence of Proposition 5.3.1. Consider now the fiber sequence associated to the n-th step of the Postnikov tower for F,

τ≤n+1F → τ≤nF → πn+1(F)[n + 2]. By induction we conclude that, for every n ≥ 0, both complexes

RΓ(Xét, τ≤nF) and RΓ(Xét, πn+1(F))[n + 2] ∈ ModA have finitely generated homotopy π0(A)-modules. Since the functor RΓ(Xét, −) is exact, it follows that also the complex RΓ(Xét, τ≤n+1F), has finite type homotopy groups, as well. Consider now the fiber sequence

τ>nF → F → τ≤nF, of étale sheaves. The étale site of X is of ﬁnite cohomological dimension, cf. [dJ+, Tag 095U, Lemma 88.2]. It thus follows that, for any given integer i, there is a sufﬁciently large integer n such that F πi(RΓ(Xét, τ>n( )) ∈ Modπ0(A), vanishes. Therefore, by exactness of RΓ(Xét, −) we conclude that

πi(RΓ(Xét, F)) ≃ πi(RΓ(Xét, τ≤n(F)), for some sufficiently large n. We conclude thus that πi(RΓ(Xét, F)) is a finitely generated π0(A)-module, for every i ∈ Z. This establishes condition (i) of Lemma 5.3.4, in general. In order to establish the Lemma we are left to prove that RΓ(Xét, F), is a finite tor-amplitude A-module. Let M ∈ ModA denote a discrete A-module, (which can be naturally consid- + ered as a π0(A)-module). By [dJ , Tag 095U, Lemma 88.2], it follows that the A-module ∗ ∗ πX,∗πX (M) ≃ RΓ(Xét, πX (M)), 53 has non-zero homotopy groups lying in a fixed finite set of indices. Let f : Y → X be a Galois covering of X, of finite group G of automorphisms, such that ∗ ∗ f (F) ≃ πY (N), for some N ∈ Perf(A). Moreover, we can always assume Y to be connected (otherwise, we take a connected component of U mapping surjectively onto X). Then, by means of the projection formula, we conclude that ∗ ∗ ∗ RΓ(Yét,f (F)) ⊗A M ≃ RΓ(Yét,f (F) ⊗A πY (M)) ∗ ∗ ≃ RΓ(Yét, πY (N) ⊗A πY (M)), ∗ can be obtained by a finite sequence of retracts and finite colimits of πX,∗πX (M), since N belongs to the full subcategory Perf(A) ⊆ ModA generated by A under finite colimits and retracts. By the previous paragraph, we conclude that the non-zero homotopy groups of the A-module ∗ ∗ RΓ(Yét,f (F) ⊗A πY (M)), lie in a finite set of indices, whose amplitudeis boundedby 2dim(X) plus the finite tor-amplitude of N ∈ Perf(A). We now observe that we have a sequence of natural equivalences ∗ RΓ(Xét, F) ⊗A M ≃ RΓ(Xét, F ⊗A πX (M)) ∗ ∗ ≃ RΓgrp(G, RΓ(Yét,f (F) ⊗A πY (M))), of A-modules. Since group cohomology is a left t-exact functor it follows from the preceding paragraph that the above module is bounded on the left. We further deduce that, for each i, ∗ ∗ ∗ RΓgrp(G, πi(RΓ(Yét,f (F) ⊗A πY (M)))) ≃ RΓ(Xét, F ⊗A πX (M))

≃ RΓ(Xét, F) ⊗A M is bounded on the right by the bound 2dim(X)+1, cf. [dJ+, Tag 095U, Lemma 88.2]. The result now follows by the previous discussion, in constant case, and by analyzing the associated Hochschild-Serre spectral sequence displayed in (5.3.1).

fc Corollary 5.3.11. The profinite space Shét(X) ∈ Pro(S ) is p-adically cohomological perfect. Proof. It is an immediate consequence of Proposition 5.3.10 together with Remark 5.2.11. 5.4. Main results. Let X be a geometrically connected proper and smooth scheme over an algebraically closed field. To such X we can associate it a profinite space, namely its étale homotopy type Shét(X) ∈ Pro(Sfc), cf. [Lur09a, §3.6]. By construction, Shét(X) ∈ Pro(Sfc) classifies étale local systems on X. Moreover, we have a canonical identification ét ét π1Sh (X) ≃ π1 (X), of profinite groups. Therefore, it is natural to consider the moduli stack ét PerfSyspSh (X) ∈ dStdAfdk, τét, as a derived extension of the moduli LocSysp,n(X) ∈ StAfdk, τét, Psm. ét Definition 5.4.1. Let RLocSysp,n(X) ⊆ PerfSyspSh (X) denote the substack spanned by continuous p-adic representations of Shét(X) ∈ Pro(Sfc), with values in rank n free modules. Proposition 5.4.2. We have a canonical equivalence of stacks

t≤0(RLocSysp,n(X)) ≃ LocSysp,n(X),

in the ∞-category St(Afdk, τét).

Proof. Let A ∈ Afdk, then RLocSysp,n(X)(Sp(A)) can be identiﬁed with the space ét RLocSys (X)(Sp(A)) ≃ Map E S Sh (X), BEnd(A) , p,n Mon 1 (Ind(Pro( )))

of continuous E1-monoid like morphisms Shét(X) → BEnd(A). 54 As A ∈ Afdk is discrete, it follows that the underlying ind-pro-space of BEnd(A) is discrete. Therefore, by the universal property of 1-st truncation we have a chain of equivalences ét Map E S Sh (X), BEnd(A) ≃ Mon 1 (Ind(Pro( ))) ét ≃ Map E S τ≤1(Sh (X)), BEnd(A) Mon 1 (Ind(Pro( ))) ét ≃ Map E S Bπ (X), BEnd(A) Mon 1 (Ind(Pro( ))) 1 ét grp ≃ MapMonE (Ind(Pro(S))) Bπ1 (X), BGLn(A) , 1 ét S where the last equivalence follows from the fact that π1 (X) is an actual group object in MonE1 (Ind(Pro( ))). ét Indeed, every morphism π1 (X) → End(A) factors through the sub-group of units of End(A). The latter coincides precisely with GLn(A), equipped with the induced k-analytic topology. For this reason, we have a natural morphism ét ét grp θ : Homcont(π1 (X), GLn(A)) → MapMonE (Ind(Pro(S))) Bπ1 (X), BGLn(A) , 1 ét obtained by sending each continuous morphism f : π1 (X) → GLn(A) to the corresponding morphism of E1- monoid group like objects ét Bπ1 (X) → BGLn(A), in Ind(Pro(S)). Moreover, it is clear that the morphism θ is invariant under GLn(A)-conjugation. Therefore, we obtain a well deﬁned induced morphism ét grp θ : LocSysp,n(X)(A) → MapMonE (Ind(Pro(S))) Bπ1 (X), BGLn(A) . 1 ét Let grp Since is discrete, there exists a continuous group ρ ∈ MapMonE (Ind(Pro(S))) Bπ1 (X), BGLn(A) . GLn(A) 1 ét homomorphism f : π1 (X) → GLn(A) which realizes ρ, under θ. Moreover, such choice only depends on the conjugacy class of f. The result follows.

Theorem 5.4.3. The moduli stack RLocSysp,n(X) ∈ dSt(dAfdk, τét) admits a cotangent complex. Given ρ ∈ RLocSysp,n(X)(Z), with Z ∈ dAfdk, we have a natural equivalence ∨ Lan ≃ C∗(X, Ad(ρ), [−1], LocSysp,n(X),ρ ét in , where ∗ denotes the étale cohomology of with coefﬁcients in the adjoint repre- ModRΓ(Z,OZ ) CétX, Ad(ρ) X sentation Ad(ρ) := ρ ⊗ ρ∨. Proof. Since X is smooth and properoveran algebraically closed ﬁeld it follows that Shét(X) is p-cohomologically compact and p-cohomologically perfect. Therefore, PerfSysp(X) admits a cotangent complex and by restriction so does LocSysp,n(X). Moreover, the tangent complex of LocSysp,n(X) at the morphism

ρ: Z → LocSysp,n(X) can be identified with the mapping space an T ≃ Map triv O ,ρ ⊗ ρ [1]. LocSysp,n(X),ρ PerfSysp(X)(Z) RΓ(Z, Z ) We are thus reduced to prove that ∗ Map triv O ,ρ ⊗ ρ [1] ≃ C (X, Ad(ρ) [1]. PerfSysp(X)(Z) RΓ(Z, Z ) ét But this follows by the universal property of Shét(X) together with the fact that global sections of local systems with torsion coefficients on Shét(X) classify étale cohomology on X, with torsion coefficients, [Hoy18, Theorem 4.3]. The result follows now for liftable such ρ and for general ρ by Theorem 4.3.5.

Proposition 5.4.4. The moduli stack RLocSysp,n(X) is cohesive and nilcomplete.

Proof. This is a direct consequence of the analogous statement for PerfSysp(X). As a consequence we obtain our main result:

Theorem 5.4.5. The moduli stack LocSysp,n(X) ∈ dStdAfdk, τét is representable by a derived k-analytic stack. Proof. The proof follows by the Representability theorem, Theorem 5.1.3, together with Proposition 5.4.2, Corol- lary 2.2.18, Theorem 5.4.3 and Proposition 5.4.4. 55 REFERENCES [Ant18] Jorge António. p-adic derived formal geometry and derived raynaud localization theorem. arXiv preprint arXiv:1805.03302, 2018. [AP19] Jorge António and Mauro Porta. Derived non-archimedean analytic hilbert space. arXiv preprint arXiv:1906.07044, 2019. [Ber93] Vladimir G Berkovich. Étale cohomology for non-archimedean analytic spaces. Publications mathématiques de l’IHÉS, 78(1):5– 161, 1993. [Ber94] Vladimir G Berkovich. Vanishing cycles for formal schemes. Inventiones mathematicae, 115(1):539–571, 1994. [Bos05] Siegfried Bosch. Lectures on formal and rigid geometry. Springer, 2005. [BS13] Bhargav Bhatt and Peter Scholze. The pro-\’etale topology for schemes. arXiv preprint arXiv:1309.1198, 2013. [Con08] Brian Conrad. Several approaches to non-archimedean geometry. In ??-adic geometry, pages 9–63, 2008. [Del15] Pierre Deligne. Comptage de faisceaux l-adiques. Astérisque, 369:285–312, 2015. [dJ+] J de Jong et al. Stacks project, pdf version. [GH15] David Gepner and Rune Haugseng. Enriched ∞-categories via non-symmetric ∞-operads. Advances in Mathematics, 279:575–716, 2015. [GL14] Dennis Gaitsgory and Jacob Lurie. Weils conjecture for function ﬁelds. Preprint, 2014. [GR] A Grothendieck and M Raynaud. Revêtements etales et groupe fondamental: Séminaire de géométrie algébrique de bois-marie 1960/61. Lecture Notes in Mathematics, 224:176. [GV18] Soren Galatius and Akshay Venkatesh. Derived galois deformation rings. Advances in Mathematics, 327:470–623, 2018. [Hoy18] Marc Hoyois. Higher galois theory. Journal of Pure and Applied Algebra, 222(7):1859–1877, 2018. [Lur09a] Jacob Lurie. Derived algebraic geometry xiii: Rational and p-adic homotopy theory, 2009. [Lur09b] Jacob Lurie. Higher topos theory. Number 170. Princeton University Press, 2009. [Lur12a] Jacob Lurie. Dag-xiv: Representability theorems. Preprint available from authors website as http://math. harvard. edu/lurie/papers/DAG-XIV. pdf, 2012. [Lur12b] Jacob Lurie. Higher algebra, 2012. [Lur16] Jacob Lurie. Spectral algebraic geometry. Preprint, 2016. [Maz89] Barry Mazur. Deforming galois representations. In Galois Groups over Q, pages 385–437. Springer, 1989. [Noo04] Behrang Noohi. Fundamental groups of algebraic stacks. Journal of the Institute of Mathematics of Jussieu, 3(1):69–103, 2004. [PY16] Mauro Porta and Tony Yue Yu. Derived non-archimedean analytic spaces. arXiv preprint arXiv:1601.00859, 2016. [PY17] Mauro Porta and Tony Yue Yu. Representability theorem in derived analytic geometry. arXiv preprint arXiv:1704.01683, 2017. [PY18] Mauro Porta and Tony Yue Yu. Derived hom spaces in rigid analytic geometry. arXiv preprint arXiv:1801.07730, 2018. [RS08] Luis Ribes and Benjamin Steinberg. A wreath product approach to classical subgroup theorems. arXiv preprint arXiv:0812.0027, 2008. [Sch13] Peter Scholze. p-adic hodge theory for rigid-analytic varieties. In Forum of Mathematics, Pi, volume 1. Cambridge University Press, 2013. [Sim94] Carlos Simpson. Moduli of representations of the fundamental group of a smooth projective variety ii. Publications Mathématiques de l’IHÉS, 80:5–79, 1994. [Toë06] Bertrand Toën. Higher and derived stacks: a global overview. arXiv preprint math/0604504, 2006. [TT90] Robert W Thomason and Thomas Trobaugh. Higher algebraic k-theory of schemes and of derived categories. In The Grothendieck Festschrift, pages 247–435. Springer, 1990.

JORGE ANTÓNIO,IRMA, UMR 7501 7 RUE RENÃL’-DESCARTES 67084 STRASBOURG CEDEX E-mail address: [email protected]