Related papers: Berkovich $2$-motives and normed ring stacks

To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…

This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…

In this paper, we develop an enhancement of derived algebraic geometry to apply to $\mathbb{A}^1$-homotopy theory introduced by Morel and Voevodsky. We call the enhancement "motivic derived algebraic geometry". We shall actually formulate…

For a variety with a Whitney stratification by affine spaces, we study categories of motivic sheaves which are constant mixed Tate along the strata. We are particularly interested in those cases where the category of mixed Tate motives over…

We formalize an abstraction of Grothendieck's philosophy of motives and construct a category of derived motivic spectra in the Segal category $\mathbb{R} \underline{\text{Hom}} ((\text{dSt}_k)^{\text{op}}_{/F}, \text{Top})$ ($\text{dSt}_k$…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a…

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…

The goal of this paper is to study non-$\mathbb{A}^1$-invariant motivic cohomology, recently defined by Elmanto, Morrow, and the first-named author, for smooth schemes over possibly non-discrete valuation rings. We establish that the cycle…

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…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,\chi}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including…

We show the compactly supported motive of the moduli stack of degree $n$ rational curves on the weighted projective stack $\mathcal{P}(a,b)$ is of mixed Tate type over any base field $K$ with $\text{char}(K) \nmid a,b$ and has class…

This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta…

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…

We associate weight complexes of (homological) motives, and hence Euler characteristics in the Grothendieck group of motives, to arithmetic varieties and Deligne-Mumford stacks; this extends the results in the paper "Descent, Motives and…