Related papers: Cyclotomic synthetic spectra

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…

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…

In the simplicial theory of hypercoverings, we replace the indexing category $\Delta$ by the \emph{symmetric simplicial category} $\Delta S$ and study (a class of) $\Delta S$-hypercoverings, which we call \emph{spaces admitting symmetric…

In this survey, we review how the global structure of the stable homotopy category gives rise to the chromatic filtration. We then discuss computational tools used in the study of local chromatic homotopy theory, leading up to recent…

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in…

We study cocartesian fibrations in the setting of the synthetic $(\infty,1)$-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.

The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is…

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on…

We construct a q-deformation of the p-adic regulator of a number field, called the cyclosyntomic regulator, building on the Habiro ring of Garoufalidis-Scholze-Wheeler-Zagier. The key new ingredient in our construction is a refinement of…

Let F be a field of characteristic different than 2. We establish surjectivity of Balmer's comparison map rho^* from the tensor triangular spectrum of the homotopy category of compact motivic spectra to the homogeneous Zariski spectrum of…

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…

We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we…

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 the B\"okstedt generator $\sigma$,…

We introduce the notion of a $c$-category, which is a kind of category whose behaviour is controlled by connective ring spectra. More precisely, any $c$-category admits a finite step resolution by categories of compact modules over…

For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th…

We prove a new convergence result for the slice spectral sequence, following work by Levine and Voevodsky. This verifies a derived variant of Voevodsky's conjecture on convergence of the slice spectral sequence. This is, in turn, a…

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$.…

We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(\phi,N)$-modules.

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…