# Cartier modules and cyclotomic spectra

@article{Antieau2018CartierMA, title={Cartier modules and cyclotomic spectra}, author={Benjamin Antieau and T. Nikolaus}, journal={arXiv: Algebraic Topology}, year={2018} }

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

- Mathematics
- 2020

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 results… Expand

Periodic cyclic homology and derived de Rham cohomology

- Mathematics
- 2018

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

- Mathematics
- 2021

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 the… Expand

On K(1)-local TR

- 2021

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-descent… Expand

Coherent cochain complexes and Beilinson t-structures, with an appendix by Achim Krause

- Mathematics
- 2021

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 is… Expand

Hochschild-Witt complex

- Mathematics
- 2016

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 polynomial… Expand

Facets of the Witt Vectors

- Mathematics
- 2019

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 in… Expand

A slice refinement of B\"okstedt periodicity

- Mathematics
- 2020

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 of… Expand

Derived Mackey functors and $C_{p^n}$-equivariant cohomology

- Mathematics
- 2021

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 symmetric… Expand

On $K(1)$-local $\mathrm {TR}$

- Mathematics
- Compositio Mathematica
- 2021

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 the… Expand

#### References

SHOWING 1-10 OF 64 REFERENCES

Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin

- Mathematics
- 2016

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 construct… Expand

The homotopy theory of cyclotomic spectra

- Mathematics
- 2013

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

- Mathematics
- 2010

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

MODELS OF G-SPECTRA AS PRESHEAVES OF SPECTRA

- Mathematics
- 2013

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 nonequivariant… Expand

The cyclotomic trace and algebraic K-theory of spaces

- Mathematics
- 1993

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, and… Expand

Periodic cyclic homology and derived de Rham cohomology

- Mathematics
- 2018

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

- Mathematics
- 2018

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 equipped… Expand

Hyperdescent and étale K-theory

- Mathematics
- 2019

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 is… Expand

Topological Hochschild homology and the Hasse-Weil zeta function

- Mathematics
- 2016

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, this… Expand

Dieudonné modules and p-divisible groups associated with Morava K -theory of Eilenberg-Mac Lane spaces

- Mathematics
- 2007

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/;qD… Expand