Related papers: Algebraicity in monochromatic homotopy theory
We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.
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…
In this note, we study the $p$-complete topological cyclic homology of the affine line relative to a ring $A$ which is smooth over a perfectoid ring $R$. Denoting by $NTC(A; \mathbb{Z}_p)$ the spectrum which measures the failure of…
We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler…
We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant…
By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m…
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 an $\infty$-category of cyclotomic…
The motivic version of the $c_1$-spherical cobordism spectrum is constructed. A connection of this spectrum with other motivic Thom spectra is established. Using this connection, we compute the $\mathbb{P}^1$-diagonal of the homotopy groups…
We prove a general result that relates certain pushouts of $E_k$-algebras to relative tensors over $E_{k+1}$-algebras. Specializations include a number of established results on classifying spaces, resolutions of modules, and (co)homology…
We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes…
Recently we introduced a class $\widetilde{\mathcal{Z}}$ of $2$-local finite spectra and showed that all spectra $Z\in \widetilde{\mathcal{Z}}$ admit a $v_2$-self-map of periodicity $1$. The aim of this article is to compute the…
We compute the $\mathrm{MU}$-based syntomic cohomologies, mod $(p,v_1,\cdots,v_{n})$, of all $\mathbb{E}_1$ $\mathrm{MU}$-algebra forms of the truncated Brown--Peterson spectrum $\mathrm{BP}\langle n\rangle$. As qualitative consequences, we…
Let $\Lambda$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $\Lambda_k=\Lambda\otimes_K R_k$. We consider the singularity category…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…
We characterize H-spaces which are p-torsion Postnikov pieces of finite type by a cohomological property together with a necessary acyclicity condition. When the mod p cohomology of an H-space is finitely generated as an algebra over the…
In this paper we look at the $E$-completion of topological spaces where $E$ is a $p$-local ring spectrum. After a brief review of the concept of $E$-completion, we specialize to the case where $E=K$, $p$-local complex periodic $K$-theory,…
Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $\pi$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the…
We prove the following result of V. Voevodsky. If $S$ is a finite dimensional noetherian scheme such that $S=\cup_\alpha\Spec(R_\alpha)$ for {\em countable} rings $R_\alpha$, then the stable motivic homotopy category over $S$ satisfies…
We show that there is an equivalence of categories between Lie-Rinehart algebras over a commutative algebra $\mathcal O $ and homotopy equivalence classes of negatively graded Lie $\infty $-algebroids over their resolutions (=acyclic Lie…
We present a universal property of the Bousfield--Kuhn functor $\operatorname{\Phi}_h$ of height $h$, for every positive natural number $h$. This result is achieved by proving that the costabilisation of the $\infty$-category of…