Related papers: Cyclotomic synthetic spectra

For a prime number $p$ and a $p$-quasisyntomic commutative ring $R$, Bhatt--Morrow--Scholze defined motivic filtrations on the $p$-completions of $\mathrm{THH}(R), \mathrm{TC}^{-}(R), \mathrm{TP}(R),$ and $\mathrm{TC}(R)$, with the…

We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To…

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic…

The aim of this paper is to show that Besser syntomic cohomology is representable by a rational ring spectrum in the motivic homotopical sense. In fact, extending previous constructions, we exhibit a simple representability criterion and we…

If $E$ is a connective ring spectrum, then Pstragowski's category $Syn_E$ of $E$-synthetic spectra is generated by the bigraded spheres $S^{i,j}$. In particular, it is equivalent to the category of modules over a filtered ring spectrum.

We show that the $\infty$-category of synthetic spectra based on Morava E-theory is generated by the bigraded spheres and identify it with the $\infty$-category of modules over a filtered ring spectrum. The latter we show using a general…

We define the motivic filtrations on real topological Hochschild homology and its companions. In particular, we prove that real topological cyclic homology admits a natural complete filtration whose graded pieces are equivariant suspensions…

We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new…

We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

We identify the equivariant structure of the filtered pieces of the motivic filtration defined by Bhatt, Morrow and Scholze on the topological Hochschild cohomology spectrum of polynomial algebras over $\mathbb{F}_p$.

Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…

We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…

We describe a construction of the cyclotomic structure on topological Hochschild homology ($THH$) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant…

We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in…

Let $p$ be an odd prime number and $\mathrm{j}_p$ the $p$-complete connective image of J spectrum. We establish an equivalence of cyclotomic $\mathbb{E}_\infty$-rings $\mathrm{THH}(\mathbb{Z})^{\wedge}_p \simeq…

We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and \'{e}tale cohomologies of…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

We construct a lift of the degree filtration on the integer valued polynomials to (even MU-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree…

We develop the theory of limits and colimits in $\infty$-categories within the synthetic framework of simplicial Homotopy Type Theory developed by Riehl and Shulman. We also show that in this setting, the limit of a family of spaces can be…