Cartier modules and cyclotomic spectra

  title={Cartier modules and cyclotomic spectra},
  author={Benjamin Antieau and T. Nikolaus},
  journal={arXiv: Algebraic Topology},
We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of derived V-complete objects in the abelian category of p-typical Cartier modules. 
11 Citations
On the Beilinson fiber square
Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize resultsExpand
Periodic cyclic homology and derived de Rham cohomology
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$Expand
Some recent advances in topological Hochschild homology
We give an account of the construction of the Bhatt–Morrow–Scholze motivic filtration on topological cyclic homology and related invariants, focusing on the case of equal characteristic p and theExpand
On K(1)-local TR
We discuss some general properties of TR and its K(1)-localization. We prove that after K(1)-localization, TR of HZ-algebras is a truncating invariant in the Land–Tamme sense, and deduce h-descentExpand
Coherent cochain complexes and Beilinson t-structures, with an appendix by Achim Krause
We define and study coherent cochain complexes in arbitrary stable ∞-categories, following Joyal. Our main result is that the ∞-category of coherent cochain complexes in a stable ∞-category C isExpand
Hochschild-Witt complex
In arXiv:1602.04254, we have defined polynomial Witt vectors functor from vector spaces over a perfect field $k$ of positive characteristic $p$ to abelian groups. In this paper, we use polynomialExpand
Facets of the Witt Vectors
We give a $K$-theoretic account of the basic properties of Witt vectors. Along the way we re-prove basic properties of the little-known Witt vector norm, give a characterization of Witt vectors inExpand
A slice refinement of B\"okstedt periodicity
Let $R$ be a perfectoid ring. Hesselholt and Bhatt-Morrow-Scholze have identified the Postnikov filtration on $\mathrm{THH}(R;\mathbb Z_p)$: it is concentrated in even degrees, generated by powers ofExpand
Derived Mackey functors and $C_{p^n}$-equivariant cohomology
We establish a novel approach to computing G-equivariant cohomology for a finite group G, and demonstrate it in the case that G = Cpn . For any commutative ring spectrum R, we prove a symmetricExpand
On $K(1)$-local $\mathrm {TR}$
We discuss some general properties of $\mathrm {TR}$ and its $K(1)$-localization. We prove that after $K(1)$-localization, $\mathrm {TR}$ of $H\mathbb {Z}$-algebras is a truncating invariant in theExpand


Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin
With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We constructExpand
The homotopy theory of cyclotomic spectra
We describe spectral model* categories of cyclotomic spectra and p-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. In the homotopy category of cyclotomic spectra,Expand
Motivic structures in non-commutative geometry
We review some recent results and conjectures saying that, roughly speaking, periodic cyclic homology of a smooth non-commutative algebraic variety should carry all the additional "motivic"Expand
Let G be a finite group. We give Quillen equivalent models for the category of G-spectra as categories of spectrally enriched functors from ex- plicitly described domain categories to nonequivariantExpand
The cyclotomic trace and algebraic K-theory of spaces
The cyclotomic trace is a map from algebraic K-theory of a group ring to a certain topological refinement of cyclic homology. The target is naturally mapped to topological Hochschild homology, andExpand
Periodic cyclic homology and derived de Rham cohomology
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$Expand
Revisiting the de Rham-Witt complex
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p$. We introduce a category of cochain complexes equippedExpand
Hyperdescent and étale K-theory
We study the etale sheafification of algebraic K-theory, called etale K-theory. Our main results show that etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which isExpand
Topological Hochschild homology and the Hasse-Weil zeta function
We consider the Tate cohomology of the circle group acting on the topological Hochschild homology of schemes. We show that in the case of a scheme smooth and proper over a finite field, thisExpand
Dieudonné modules and p-divisible groups associated with Morava K -theory of Eilenberg-Mac Lane spaces
We study the structure of the formal groups associated to the Morava K ‐theories of integral Eilenberg‐Mac Lane spaces. The main result is that every formal group in the collectionfK.n/ K.Z;q/;qDExpand