arxiv: v1 [math.ag] 15 Aug 2018

Transcription

1 Periodic cyclic homology and derived de Rham cohomology arxiv: v1 [math.ag] 15 Aug 2018 Benjamin Antieau August 17, 2018 Abstract We use the Beilinson t-structure on filtered complexes and the Hochschild Kostant Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme X with graded pieces given by the Hodge-completion of the derived de Rham cohomology of X. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt Morrow Scholze for p-complete negative cyclic and periodic cyclic homology in the quasisyntomic case. Key Words. Negative cyclic homology, periodic cyclic homology, derived de Rham cohomology, t-structures, filtered complexes. Mathematics Subject Classification D03 14F40. 1 Introduction Let be a quasisyntomic ring and let R be a quasisyntomic -algebra. Bhatt, Morrow, and Scholze construct in [BMS18, Theorem 1.17] a functorial complete exhaustive decreasing multiplicative Z-indexed filtration F BMS HP(; Z p) on the p-adic completion HP(; Z p ) of periodic cyclic homology with graded pieces gr n BMS HP( /; Z p) LΩ [2n], where LΩ is the derived de Rham complex and LΩ is the p-adic completion of the Hodge-completion of this complex. The Hodge filtration Ω n for smooth algebras induces a Hodge filtration LΩ n on the derived de Rham complex and its completed variants. There is a corresponding filtration on negative cyclic homology, with graded pieces given by LΩ n [2n], the p-completion of the Hodge-completion of LΩ n [2n]. For smooth Q-algebras, a similar statement goes bac to Loday [Lod92, ]. One can also derive very general results along these lines in characteristic zero from [TV11]. The authors of [BMS18] suggest that such a filtration should exist outside the p-complete setting. In this note, we use the Beilinson t-structure on filtered complexes [Beĭ87] to prove that this is indeed the case. Theorem 1.1. If is a commutative ring and X is a quasi-compact quasi-separated -scheme, then there are functorial complete decreasing multiplicative Z-indexed filtrations F B HC (X/) and F BHP(X/) on negative cyclic homology and periodic cyclic homology, respectively. These filtrations satisfy the following properties. (a) There are natural equivalences gr n BHC (X/) RΓ(X, LΩ n /[2n]), gr n BHP(X/) RΓ(X, LΩ / [2n]), 1

2 2 1. Introduction where LΩ / is the Hodge-completion of the derived de Rham complex and Hodge filtration on LΩ /. LΩ n / is nth term in the (b) The filtered pieces F n B HC (X/) and F n BHP(X/) are equipped with compatible decreasing filtrations which induce the Hodge filtration on gr n B HC (X/) and gr n BHP(X/) under the equivalences of part (a). (c) If X/ is quasi-lci, 1 then the filtrations F B HC (X/) and F BHP(X/) are exhaustive. Negative cyclic homology and periodic cyclic homology satisfy fpqc descent by [BMS18, Corollary 3.3] as a consequence of the fact that the derived exterior powers Λ i L / of the cotangent complex are fpqc sheaves by n [BMS18, Theorem 3.1]. Since LΩ / has by definition a complete exhaustive decreasing N-indexed filtration with graded pieces Λ i L /, it follows that the Hodge-truncated Hodge-completed derived de Rham complexes LΩ n / are also fpqc sheaves. Thus, to prove the theorem, it suffices to handle the affine case. Theorem 1.1 follows from a much more general theorem, Theorem 4.5, which states that in a suitable -category, of bicomplete bifiltered complexes, the Beilinson filtrations are exhaustive for any quasi-compact quasi-separated -scheme X. Remar 1.2. (i) In case both are defined, the p-adic completion of the filtration of Theorem 1.1 agrees with the filtration of [BMS18, Theorem 1.17]. This follows in the smooth case by examining the proofs of each theorem and in general by mapping the left Kan extension of our proof to the filtration obtained by quasisyntomic descent in their proof. (ii) In [AN18], with Niolaus, we introduce a t-structure on cyclotomic spectra. As one application of the t-structure, we show using calculations of Hesselholt [Hes96], that the methods of this paper can be used to construct a filtration F BTP(X) on topological periodic cyclic homology TP(X) when X is a smooth scheme over a perfect field with graded pieces given by (shifted) crystalline cohomology gr n B TP(X) RΓ crys(x/w ())[2n]. When X = Spec R is smooth and affine, then in fact gr n B TP(X) is given canonically by WΩ R [2n], the shifted de Rham Witt complex. This recovers several parts of [BMS18, Theorems 1.10, 1.12, and 1.15] in the case of a smooth scheme over a perfect field. Outline. In Section 2, we outline the theory of filtrations we will need. We explain the smooth affine case in Section 3. In Section 4, we give the full proof, which follows from the smooth case by taing non-abelian derived functors in an appropriate -category of bifiltrations. Conventions and notation. We wor with -categories throughout, following the conventions of [Lur09] and [Lur17]. Hochschild homology HH() and its relatives are viewed as objects in the derived -category D(), possibly with additional structure. Typically, we view objects of D() as being given by chain complexes up to quasi-isomorphism, but several constructions will lead us to cochain complexes as well. Given an object X D(), we will write H X for its homology groups. We will write X for a given cochain complex model for X. Thus, X is an object of the category Ch() of cochain complexes of -modules. The main example is the de Rham complex Ω for a smooth commutative -algebra R. Acnowledgments. We than Thomas Niolaus for explaining the interaction of the S 1 -action and the Hopf element η and Peter Scholze for bringing this problem to our attention. We also benefited from conversations with Dmitry Kaledin and Ahil Mathew about the Beilinson t-structure. Finally, Elden 1 We say that a -scheme X is quasi-lci if L X/ has Tor-amplitude contained in [0, 1].

3 3 2. Bacground on filtrations Elmanto generously provided detailed comments on a draft of the paper. This wor was supported by NSF Grant DMS Bacground on filtrations Throughout this section, fix a commutative ring. Let D() be the derived -category of, a stable presentable -categorical enhancement of derived category of unbounded chain complexes of -modules. The derived tensor product of chain complexes maes D() into a presentably symmetric monoidal stable -category, meaning that D() is a symmetric monoidal presentable -category in which the tensor product commutes with colimits in each variable. The filtered derived -category of is DF() = Fun(Z op, D()), the -category of sequences X( ): X(n + 1) X(n) in D(). Write X( ) = lim n X(n) lim ( X(n + 1) X(n) ) for the limit of the filtration. A filtered complex X( ) DF() is complete if X( ) 0. Similarly, write X( ) for colim n X(n) colim ( X(n + 1) X(n) ). Given a map X( ) Y, we say that X( ) is a filtration on Y ; if the map is an equivalence, we say that X( ) is an exhaustive filtration on Y. We will refer to general objects X( ) of DF() as decreasing Z-indexed filtrations. We will write gr n X for the cofiber of X(n + 1) X(n), the nth graded piece of the filtration. Several filtrations of interest in this paper are in fact N-indexed, meaning that X(0) X( 1) X( 2), or equivalently that gr n X 0 for n < 0. Day convolution (using the additive symmetric monoidal structure of Z op ) maes DF() into a presentably symmetric monoidal stable -category. The Day convolution symmetric monoidal structure has the property that if X( ) and Y ( ) are filtered objects of D(), then (X Y )( ) is a filtered spectrum with graded pieces gr n (X Y ) i+j=n gri X gr j Y. A filtration X( ) equipped with the structure of a commutative algebra object (or E -algebra object) in DF() is called a multiplicative filtration. One source of decreasing filtrations is via the Whitehead tower with respect to some t-structure on D(). We will use the standard Postniov t-structure, which has D() 0 D() the full subcategory of X such that H n (X) = 0 for n < 0. Similarly, D() 0 is the full subcategory of D() consisting of X such that H n (X) = 0 for n > 0. Given an object X, its n-connective cover τ n X X has H i (τ n X) = H i (X) for i n and H i (τ n X) = 0 for i < n. Example 2.1. If R is a connective commutative algebra object in D(), then the Whitehead tower τ R is a complete exhaustive decreasing multiplicative N-indexed filtration on R with gr n τ R H n (R)[n]. For details and proofs of the statements above, see [GP18]. For more bacground, see [BMS18, Section 5]. Now, we introduce the Beilinson t-structure on DF(). Definition 2.2. Let DF() i DF() be the full subcategory of those filtered objects X( ) such that gr n X D() i n. We let DF() i DF() be the full subcategory of those filtered objects X( ) such that X(n) D() i n. Note the asymmetry in the definition. The pair (DF() 0, DF() 0 ) defines a t-structure on DF() by [Beĭ87]; see also [BMS18, Theorem 5.4] for a proof. We will write τ B n, τ B n, πb n for the truncation and homotopy object functors in the Beilinson t-structure. The connective objects DF() 0 are closed under the tensor product on DF(), and hence the natural map π B 0 : DF() 0 DF() is symmetric monoidal. The heart is the abelian category of cochain complexes of -modules equipped with the usual tensor product of cochain complexes.

4 4 2. Bacground on filtrations Remar 2.3. The Beilinson Whitehead tower τ B X is most naturally a bifiltered object, since each τ n+1 B X τ n B X is a map of objects of DF(). If we forget the residual filtration on τ B X (by taing the colimit), then we obtain a new filtration on X( ). In this paper, we will need this only for N-indexed filtrations. In this case, each n-connective cover τ n B X is also N-indexed, and we can view the resulting filtration (τ n B X)(0) as a new filtration on X(0).2 If X is a commutative algebra object of DF(), then the Beilinson Whitehead tower τ B X is a new multiplicative filtration on X. For our purposes, it will be most important to understand the n-connective cover functors. Given X( ) DF(), the n-connective cover in the Beilinson t-structure τ n B X X( ) induces equivalences gr i τ B nx τ n i gr i X (see [BMS18, Theorem 5.4]). From this, we see that gr i π B n X (H n i (gr i X))[ i]. The cochain complex corresponding to π B n X is of the form H n (gr 0 X) H n 1 (gr 1 X) H n 2 (gr 2 X), where H n (gr 0 X) is in cohomological degree 0 and where the differentials are induced from the boundary maps in homology coming from the cofiber sequences gr i+1 X X(i)/X(i + 2) gr i X. See [BMS18, Theorem 5.4(3)] for details. The next example illustrates our main idea in a general setting. Example 2.4. Let X D() be an object equipped with an S 1 -action. The Whitehead tower τ X defines a complete exhaustive S 1 -equivariant Z-indexed filtration F P X on X with graded pieces grn P X H n(x)[n], equipped with the trivial S 1 -action. Applying homotopy S 1 -fixed points, we obtain a complete Z-indexed filtration F P XhS1 on X hs1 with graded pieces gr n P XhS1 (H n (X)[n]) hs1. Let F B XhS1 be the double-speed Whitehead tower of F P XhS1 in the Beilinson t-structure on DF(), so that F n B XhS1 = τ B 2n F X hs1. By definition, F n B is a filtered spectrum with XhS1 gr i F n BX hs1 τ 2n i gr i PX hs1 τ 2n i (H i (X)[i]) hs1. Hence, gr i gr n BX hs1 { H i (X)[2n i] if n i, 0 otherwise. This shows in fact that gr n B XhS1 [ 2n] π2nf B P XhS1 and hence is in DF(), the abelian category of cochain complexes, and is represented by a cochain complex 0 H n (X) H n+1 (X) H n+2 (X), where H n (X) is in cohomological degree n. The differential is given by Connes Tsygan B-operator. An object X D() with an S 1 -action is the same as a dg module over C (S 1, ), the dg algebra of chains on S 1. The fundamental class B of the circle defines a -module generator of H 1 (S 1, ) and B 2 = 0. The differential in the cochain complex above is given by the action of B. Hence, we have obtained a filtration F B XhS1 on X hs1 with graded pieces given by (H n (X), B)[2n]. Remar 2.5. The same argument shows that there is a filtration F B XtS1 on the S 1 -Tate construction X ts1 with graded pieces gr n B XtS1 (H (X), B)[2n]. We ignore for the time being any convergence issues. 2 Note that this is not an idempotent operation: applying the Beilinson Whitehead tower to τ B X(0) typically produces yet another filtration on X(0).

5 5 3. The smooth case 3 The smooth case The Hochschild Kostant Rosenberg theorem [HKR62] implies that there are canonical isomorphisms Ω n = HH n () when R is a smooth commutative -algebra. In particular, letting F HKRHH() denote the usual Whitehead tower, given by the good truncations τ HH(), we see that there are natural equivalences gr n HKR HH() Ωn [n] for all n 0. Applying homotopy S1 -fixed points, we obtain a complete exhaustive decreasing multiplicative N-indexed filtration F HKR HC () on HC (). Definition 3.1. Let F B HC () be the double-speed Beilinson Whitehead tower for the filtration F HKR HC (), so that F n B HC () = τ B 2n F HKR HC (). For a picture of this filtration, see Figure 1. Example 2.4 implies that this is an multiplicative N-indexed filtration on HC (); each graded piece π B n F HKR HC () gr n B HC ()[ 2n] in DF() is given by a cochain complex of the form 0 Ω n Ωn+1, where Ω n is in cohomological degree n. It is verified in [Lod92, 2.3.3] that the differential is indeed the de Rham differential. This can also be checed by hand in the case of [x] to which the general case reduces. It follows that gr n B HC () Ω n [2n]. The additional filtration on F B HC () reduces to the Hodge filtration on Ω n [2n]. The exhaustiveness and completeness of F B HC () follows from Lemma 3.2 below. The case of HP() is similar. This proves Theorem 1.1 in the case of smooth algebras. 3 We needed the following lemma in the proof. Lemma 3.2. Let X( ) be a complete N-indexed filtration on X = X(0) and let τ B X be the associated Beilinson Whitehead tower in DF(). (i) The truncations τ n B X and τ n 1 B X are complete for all n Z. (ii) The filtration (τ B X)(0) on X X(0) is complete and exhaustive. Proof. Since the full subcategory DF() DF() of complete filtrations is stable, to prove part (i), it is enough to show that τ n 1 B X is complete for all n. However, (τ n 1 B X)(i) D() n 1 i. We find that lim i (τ n 1 B X)(i) is in D() 0. This proves (i). It follows from (i) and the fact that complete filtered spectra are closed under colimits that we can view lim n τ n B X as a complete filtered spectrum Y ( ) with graded pieces gr i Y lim n gr i τ n B X lim n τ n i gr i X. Hence, each gr i Y is -connective. Thus, gr i Y 0 for all i and hence Y ( ) 0 as it is complete. This proves the completeness statement in (ii). Finally, (τ n 1 B X)(0) D() n 1. It follows that (τ n B X)(0) X(0) X is an n-equivalence and exhaustiveness follows by letting n. 4 The general case Our general strategy for the proof of Theorem 1.1 is to left Kan extend from the case of smooth algebras. Because of convergence issues, we are forced to Kan extend in an -category which eeps trac of multiple filtrations. Let be a commutative ring, scalg the -category of simplicial -algebras, and CAlg poly scalg the full subcategory of finitely generated polynomial -algebras. This embedding admits a universal property: 3 Note that for R a smooth -algebra, the de Rham complex Ω is already Hodge-complete.

6 6 4. The general case Figure 1: The Beilinson filtration. The figure shows the E 2 -page of the spectral sequence E s,t 2 = H s (BS 1, HH t ()) HC t s() and which parts of HC () are cut out by τ B 0 HC (), F 2 HKR HC (), and F 3 CW HC (), respectively. For the definition of the CW filtration, see Section 4. given any -category C which admits sifted colimits, the forgetful functor Fun (scalg, C) Fun(CAlg poly, C) is an equivalence, where Fun (scalg, C) is the -category of sifted colimit-preserving functors scalg C. Given F : CAlg poly C, we call the corresponding sifted colimit-preserving functor df : scalg C the left Kan extension or the non-abelian derived functor of F. For details, see [Lur09, Section 5.5.9]. Let R scalg and fix F : CAlg poly C. Then, one extends F to all polynomial rings by taing filtered colimits in C. To compute the value of the left Kan extension df of F on R, one taes a simplicial resolution P R where each P is polynomial (but not necessarily finitely generated), and computes F (P ) in C. Let be a commutative ring, and let R be a simplicial commutative -algebra. Then, HH() is a connective commutative algebra object in D() BS1, the -category of complexes of -modules equipped with S 1 -action. We could apply Example 2.4 to obtain a filtration on HC () = HH() hs1 with graded pieces truncations of the cochain complex (HH (), B). However, in the non-smooth case, this does not capture derived de Rham cohomology. We use the fact that Hochschild homology commutes with sifted colimits (see for example [BMS18, Remar 2.3]) to Kan extend the HKR filtration of [HKR62] from finitely generated polynomial algebras to all simplicial commutative -algebras. This gives functorial complete exhaustive decreasing multiplica-

7 7 4. The general case tive N-indexed S 1 -equivariant multiplicative filtration F HKRHH() on HH() with graded pieces gr t HKR HH() Λt L [t] with the trivial S 1 -action, where L denotes the cotangent complex and Λ t L is the tth derived exterior power of the cotangent complex. Since F t HKRHH() is t-connective for all t, it follows that the HKR filtration is complete. Applying homotopy S 1 -fixed points or Tate, we obtain decreasing multiplicative N-indexed filtrations F HKR HC () and F HKRHP() on negative cyclic homology and periodic cyclic homology HC () = HH() hs1 HP() = HH() ts1. These filtrations are both complete. To see this, note first that the induced HKR filtration F HKR HC() on cyclic homology HC() = HH() hs 1 is complete since F t HKR HC() (Ft HKR HH()) hs 1 is t-connective. Thus, since we have a cofiber sequence F HKR HC()[1] F HKR HC () F HKR HP() in DF(), it suffices to see that the HKR filtration on HC () is complete. But, this follows from the fact that ( ) hs1 commutes with limits. Negative cyclic homology admits a second filtration, coming from the standard cell structure CP 0 CP 1 on BS 1 CP. This second filtration is compatible with the HKR filtration since on Hochschild homology the HKR filtration is S 1 -equivariant. To be precise, we consider the double filtration which has graded pieces F t HKRF s CWHC () = fib((f t HKRHH()) hs1 (F t HKRHH()) hωcps 1 ), gr t HKRgr s CWHC () Λ t L [t 2s]. This bifiltration is multiplicative in the natural sense with respect to the Day convolution symmetric monoidal structure on Fun(N op N op, D()) where we give N op N op the symmetric monoidal structure coming from (the opposite of) addition in the monoid N N. We will let DBF() denote the -category Fun(N op N op, D()) of N op N op -indexed bifiltered complexes of -modules and we will denote by DBF() the full subcategory of DBF() on those bicomplete bifiltered complexes, i.e., those X(, ) such that for each s one has lim t X(s, t) 0 and for each t one has lim s X(s, t) 0. Note that either condition implies that X(, ) is complete in the weaer sense that lim s,t X(s, t) 0. Remar 4.1. Bicomplete bifiltered objects are the same as complete filtered objects in the complete filtered derived category. Lemma 4.2. For any simplicial commutative -algebra R, the filtration F HKR F CW HC () is bicomplete. Proof. Fix s. We have lim t F t HKRF s CWHC () 0 as both ( ) hs1 and ( ) hωcps 1 commute with limits. Now, fix t. Then, we want to show that ( lim F t s HKRF s CWHC () fib (F t HKRHH() hs1 lim(f t s HKRHH()) hωcps 1) 0. But, for any bounded below spectrum with an S 1 -action X, the natural map X hs1 lim s X hωcps 1 is an equivalence. Indeed, this follows by a computation if X has a single non-zero homotopy group, and then it follows for all homologically bounded complexes by induction. Then, it follows in the limit up the Postniov tower since both ( ) hs1 and lim s ( ) hωcps 1 commute with limits.

8 8 4. The general case We can Kan extend HC ( /) with its bifiltration from finitely generated polynomial -algebras to all simplicial commutative -algebras to obtain F HKR F CW dhc (), a bifiltration on derived negative cyclic homology. Let dhc () denote bicompleted derived negative cyclic homology and let F HKR F dhc CW () be the bicomplete bifiltration on bicompleted derived negative cyclic homology, which is the Kan extension of F HKR F CW HC ( /) as a functor CAlg poly DBF() to all simplicial commutative -algebras. Lemma 4.3. For any R scalg, the natural map F HKR F CW dhc () F HKR F CW HC () is an equivalence in DBF(). Proof. Since both bifiltered objects are bicomplete, it is enough to chec on graded pieces. Since the graded pieces functors gr t gr s : DBF() D() commute with colimits, gr t HKR grs dhc CW () is the left Kan extension of R Ω t [t 2s] from finitely generated polynomial algebras to all simplicial commutative -algebras, which is precisely gr t HKR grs CW HC () Λ t L [t 2s]. Remar 4.4. The lemma says that even though HC ( /) does not commute with sifted colimits as a functor scalg D(), it does commute with sifted colimits as a functor scalg DBF() when equipped with its seletal and HKR filtrations. In particular, we can compute HC () by left Kan extending from finitely generated polynomial algebras and then bicompleting. Fix s and consider the Whitehead tower τ B rf HKRF s CWHC () τ B r 1F HKRF s CWHC () in the Beilinson t-structure on filtered complexes, where we are taing Beilinson connective covers in the HKR-direction. Recall that gr t τ rf B HKRF s CWHC () τ t+r gr t HKRF s CWTC () τ t+r fib ((Λ t L [t]) hs1 (Λ t L R/K [t]) hωcps 1) and hence that gr t π B r F HKRF s CWHC () ( ( π t+r fib Λ t L [t]) hs1 (Λ t L [t]) hωcps 1)) [ t + r]. Here, the notation implies that we view π t+r of the object on the right as a complex concentrated in degree t + r. If is smooth, we have Λ t L Ω t. In particular, in this case, we see that { Ω gr t πr B F HKRF s CWHC t () [ t + r] if r is even and r 2t 2s, 0 otherwise. Theorem 4.5. There is a complete exhaustive multiplicative decreasing Z-indexed filtration F B on the bicomplete bifiltered complex F HKR F CW HC (). The graded piece gr u B HC () is naturally equivalent u to LΩ[2u], the Hodge-complete derived de Rham cohomology of R, naively truncated. Moreover, the remaining HKR and CW filtrations on gr u B HC () both coincide with the Hodge filtration. Finally, the underlying filtration F B HC () in the sense of Remar 2.3 is a complete filtration of HC (); if L has Tor-amplitude contained in [0, 1], then the filtration is exhaustive. Proof. When is a finitely generated polynomial algebra, we tae as our filtration F B the double-speed Whitehead filtration τ 2 B F HKR Fs CW HC () in the Beilinson t-structure. By definition of the Beilinson t-structure and the analysis in the paragraph above, π2uf B HKR Fs CW HC () is a chain complex of the form 0 Ω u+s Ωu+s+1, (1)

9 9 4. The general case where Ω u+s sits in homological degree u s. Thus, as in Section 3, for R smooth, gr u BF HKRF s CWHC () π2uf B HKRF s CWHC () Ω u+s [2u]. Both the CW filtration and the HKR filtration induce the Hodge filtration on this graded piece. We claim that for a finitely generated polynomial algebra on d variables, for each u, the bifiltered spectrum F u B F HKR F CW HC () is bicomplete. For each s, this follows from Lemma 3.2. In the other direction, as soon as 2s > 2d u, Equation 1 shows that F u B F HKR Fs CW HC () 0, so completeness in the CW-direction is immediate. We now view the filtration F B as giving us a functor CAlgpoly Fun(Z op, DBF()), which we left Kan extend to a functor scalg Fun(Z op, DBF()). We verify the necessary properties in a series of lemmas. Lemma 4.6. For any R scalg, where the colimit is computed in DBF(). colim u Fu BF HKRF CWHC () F HKRF CWHC (), Proof. The colimit functor Fun(Z op, DBF()) DBF() commutes with colimits, so this follows from Lemma 4.3 once we show that the filtration F u B F HKR F HC () is exhaustive on F HKR F CW HC () for R finitely generated polynomial. This follows from Lemma 3.2. Lemma 4.7. We have lim u F u B F HKR F CW HC () 0, where the limit is computed in DBF(). Proof. By conservativity of the limit-preserving functors gr t gr s : DBF() D(), it is enough to see that lim u gr t τ B 2uF HKRgr s CWHC () 0 for all pairs (s, t). But, this object is (2u t)-connective by definition of the Beilinson t-structure and because of the fact that colimits of (2s t)-connective objects are (2s t)-connective. Thus, the limit vanishes. Lemma 4.8. The graded piece gr u B HC () is the bicomplete bifiltered object obtained by left Kan extending R Ω u [2u] to all simplicial commutative rings, where the filtration is given by F (s,t) Ω u [2u] Ω u+max(s u,t u,0) [2u]. Proof. Indeed, this is clear on finitely generated polynomial algebras by Section 3 so this follows by Kan extension using the fact that gr u : Fun(Z op, DBF()) DBF() commutes with colimits. Thus, we have proved the theorem except for the last sentence. Now, we examine the underlying filtration F B HC () on HC () given by forgetting the HKR and CW filtrations. Lemma 4.9. Let DBF() D() be the functor that sends a bicomplete N op N op -index bifiltered spectrum X(, ) to X(0, 0). This functor preserves limits. Proof. It is the composition of the inclusion functor DBF() DBF() (a right adjoint), and the limit preserving evaluation functor X(, ) X(0, 0) on DBF(). From Lemmas 4.7 and 4.9, it follows that the filtration F u B HC () is a complete filtration on HC (). Exhaustiveness is somewhat subtle.

10 10 4. The general case Lemma If L has Tor-amplitude contained in [0, 1], then the filtration F B HC () on HC () is exhaustive. Proof. Consider the cofiber C u of F u B HC () HC () in DBF(). We find that { gr t HKRgr s CWF u BHC 0 if u > t s, () Λ t L [t 2s] otherwise. Similarly, gr t HKR grs CW HC () Λ t L [t 2s]. It follows that { gr t HKRgr s CWC u Λ t L [t 2s] if t s < u, 0 otherwise. Since L has Tor-amplitude contained in [0, 1], Λ t L has Tor-amplitude contained in [0, t] 4 and hence Λ t L [t 2s] has Tor-amplitude contained in [t 2s, 2t 2s]. In particular, we see that C u has a complete filtration with graded pieces having Tor-amplitude in [t 2s, 2t 2s] for t s < u. In particular, since R is discrete, the graded pieces are 2u-coconnected. Since C u is a limit of 2u-coconnected objects, it follows that π i C u = 0 for i 2u. In particular, colim u C u = 0 and the filtration is exhaustive as claimed. This completes the proof. Now, we give the argument for HP(). Corollary There is a complete filtration F B HP() on HP() with gru B HP() LΩ [2u]. If is quasi-lci, the filtration is exhaustive. Proof. We use the cofiber sequence HC()[1] HC () HP(). Note that HC( /) = HH() hs 1 preserves colimits. The Kan extension of the HKR filtration on HC( /)[1] to from finitely generated polynomial -algebras to all simplicial commutative -algebras thus equips HC( /)[1] with an N-indexed filtration F HKR HC( /)[1] with graded pieces grn HKR HC( /)[1] Λn L [n+1]. Moreover, since F n HKRHC( /)[1] is n-connective, the filtration is complete. By Lemma 3.2, the double-speed Beilinson Whitehead tower induces a complete exhaustive decreasing Z-indexed filtration F B HC( /)[1] on HC ( /)[1]. A straightforward chec implies that the graded pieces are gr u BHC( /)[1] LΩ u 1 [2u 1]. Here, it maes no difference whether we tae the Hodge-completed derived de Rham complex or the non-hodge-completed derived de Rham complex, as the Hodge filtration on LΩ u 1 is finite. Now, we have a cofiber sequence F B HC( /)[1] F B HC () F B HP(). Since the filtrations on HC( /) and HC () are complete, so is the induced filtration on HP(). When is quasi-lci, Theorem 4.5 implies that the filtration on HC () is exhaustive. We have already noted that the filtration on HC() is exhaustive. Hence, the filtration on HP() is exhaustive. The graded pieces gr u BHP() fit into cofiber sequences LΩ u [2u] gr u BHP() LΩ u 1 [2u]. One finds using the remaining HKR filtration that in the smooth case gr u BHP()[ 2u] is a chain complex (it is in the heart of the Beilinson t-structure) and that this sequence is equivalent to the canonical stupid filtration sequence 0 Ω u Ω Ω u 1 0. This completes the proof since now we see in general that gr u B HP() LΩ [2u]. 4 Use that L is quasi-isomorphic to a complex M 0 M 1 where M 0, M 1 are flat, the fact that flats are filtered colimits of finitely generated projectives, the standard filtration on Λ t L with graded pieces Λ j M 0 R Λ t j (M 1 [1]), and the fact that Λ t j (M 1 [1]) (Γ t j M 1 )[t j], where Γ t j is the divided power functor on flats.

11 11 REFERENCES Proof of Theorem 1.1. Theorem 4.5 and Corollary 4.11 establish the theorem for affine -schemes. It follows for general quasi-compact separated schemes because everything in sight is then computed from a finite limit of affine schemes, and the conditions of being complete or exhaustive are stable under finite limits. Finally, it follows for a quasi-compact quasi-separated scheme X by induction on the number of affines needed to cover X. References [AN18] B. Antieau and T. Niolaus, Cartier modules and cyclotomic spectra (2018). In preparation. [Beĭ87] A. A. Beĭlinson, On the derived category of perverse sheaves, K-theory, arithmetic and geometry (Moscow, 1984), Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp [BMS18] B. Bhatt, M. Morrow, and P. Scholze, Topological Hocschild homology and integral p-adic Hodge theory, ArXiv e-prints (2018), available at [GP18] O. Gwilliam and D. Pavlov, Enhancing the filtered derived category, J. Pure Appl. Algebra 222 (2018), no. 11, [Hes96] L. Hesselholt, On the p-typical curves in Quillen s K-theory, Acta Math. 177 (1996), no. 1, [HKR62] G. Hochschild, B. Kostant, and A. Rosenberg, Differential forms on regular affine algebras, Trans. Amer. Math. Soc. 102 (1962), [Lod92] J.-L. Loday, Cyclic homology, Grundlehren der Mathematischen Wissenschaften, vol. 301, Springer-Verlag, Berlin, Appendix E by María O. Ronco. [Lur09] J. Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, [Lur17] 2017., Higher algebra (2017), available at Version dated 18 September [TV11] B. Toën and G. Vezzosi, Algèbres simpliciales S 1 -équivariantes, théorie de de Rham et théorèmes HKR multiplicatifs, Compos. Math. 147 (2011), no. 6, Benjamin Antieau University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science 851 South Morgan Street, Chicago, IL USA benjamin.antieau@gmail.com