Related papers: Synthetic spectra and the cellular motivic categor…

We prove a topological reconstruction result for the category of cellular $A$-equivariant motivic spectra over the complex numbers where $A$ is a finite abelian group: after completion at an arbitrary prime, this is equivalent to the…

Our main purpose is to describe the category of isotropic cellular spectra over flexible fields. Guided by [6], we show that it is equivalent, as a stable $\infty$-category equipped with a $t$-structure, to the derived category of left…

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

To any Adams-type spectrum $E$, Pstr\k{a}gowski produced a symmetric monoidal stable $\infty$-category $Syn_E$ whose objects are, in a sense, ''formal Adams spectral sequences''. $Syn_E$ comes equipped with a lax symmetric monoidal functor…

For any motivic $\mathbb{E}_\infty$-ring spectrum $A$ we construct an equivalence $\rho$ between the $\infty$-category of cellular motivic $A$-module spectra and modules over an $\mathbb{E}_1$-algebra $\Theta$ in $\mathbb{Z} $-graded…

To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish…

Let k be an algebraically closed field of characteristic zero. Let SH(k) denote the motivic stable homotopy category of T-spectra over k and SH the classical stable homotopy category. Let c:SH -> SH(k) be the functor induced by sending a…

We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also…

We present some data on the cohomology of the motivic Steenrod algebra over an algebraically closed field. We discuss several features of the associated Adams spectral sequence, including the basic construction and convergence properties.…

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 discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/\tau$, whose MGL-homology has bounded…

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

In this paper, we introduce the category of real isotropic motivic spectra, and show that the real realization functor from motivic spectra over $\mathbb{R}$ to classical spectra factors through it. We then describe its cellular subcategory…

We define an $\infty$-category $\mathrm{CycSyn}$ of $p$-typical cyclotomic synthetic spectra and prove that the motivic filtration on $\mathrm{THH}(R;\mathbf{Z}_p)$, defined by Bhatt, Morrow, and Scholze when $R$ is quasisyntomic and by…

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…

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.…