Related papers: Integral Artin motives I: Smooth objects and the o…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

We construct the reduction of an exact category with a twist functor with respect to an element of its graded center in presence of an exact-conservative forgetful functor annihilating this central element. The procedure allows, e.g., to…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

We prove \cite[Conjecture~5.17]{Clausen} on the local light--profinite structure of smooth $p$-adic analytic Artin stacks. The argument proceeds in several reductions. First, by proving a generalization of van~Dantzig theorem for groupoids,…

We introduce coefficient systems of pro-\'etale motives and pro-\'etale motivic spectra with coefficients in any condensed ring spectrum and show that they afford the six operations. Over locally \'etale bounded schemes, \'etale motivic…

The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the…

In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…

Over a scheme of finite type over a field of characteristic zero, we prove that Nori an Voevodsky categories of relative Artin motives, that is the full subcategories generated by the motives of \'etale morphisms in relative Nori and…

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…

Let $\mathcal{X} \to Y$ be a birational modification of a variety by an Artin stack. In previous work, under the assumption that $\mathcal{X}$ is smooth, we proved a change of variables formula relating motivic integrals over arcs of $Y$ to…

Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also…

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

We construct a theory of motivic integration for smooth rigid varieties. As an application new invariants of degenerations are obtained.

We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X.…

In the first half of this article we define a new weight homology functor on Voevodsky's category of effective motives, and investigate some of its properties. In special cases we recover Gillet-Soul\'e's weight homology, and Geisser's…

We construct an integral $p$-adic cohomology that compares with rigid cohomology after inverting $p$. Our approach is based on the log-Witt differentials of Hyodo-Kato and log-\'etale motives of Binda-Park-{\O}stv{\ae}r. In case $k$…

We observe an inductive structure in a large class of Artin groups and exploit this information to deduce the Farrell-Jones isomorphism conjecture for several classes of Artin groups of finite real, complex and affine types.

In this note we show that an Artin stack with finite inertia stack is etale locally isomorphic to the quotient of an affine scheme by an action of a general linear group.

We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…

We construct a covariant realization functor, denoted \textsc{Solidm}, from the category of motives with modulus to the derived category of solid modules in the sense of Clausen--Scholze. For any smooth modulus pair (X, D), the dual of…