The Topological Cartier--Raynaud Ring

We prove that the $\infty$-category of $p$-typical topological Cartier modules, recently introduced by Antieau--Nikolaus, over some base $A$ is equivalent to the $\infty$-category of modules over a ring spectrum $\mathcal R_A$, which we call the topological Cartier--Raynaud ring. Our main result is an identification of the homotopy groups of $\mathcal R_A$. In particular, for $A=W(k)$, the Witt vectors over $k$, the homotopy groups $\pi_*\mathcal R_{W(k)}$ recover the classical Cartier--Raynaud ring constructed by Illusie--Raynaud. Moreover, along the way we will describe the compact generator of $p$-typical topological Cartier modules and classifies all natural operations on homotopy groups of $p$-typical topological Cartier modules.