Related papers: Integral Artin motives I: Smooth objects and the o…
We prove that arbitrary pullbacks, as well as Betti and \'etale realisation functors, are t-exact for the constructible motivic t-structure on the category of cohomological 1-motives over a base scheme.
In this text, we are mainly interested in the existence of the perverse motivic t-structures on the category of Artin \'etale motives with integral coefficients. We construct the perverse homotopy t-structure which is the best possible…
We first study the weight structure on the triangulated category of Artin-Tate motives over a perfect base field k, building on results of Bondarko's. We then study the t-structure on the triangulated category of Artin-Tate motives, when k…
We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…
We analyze the tt-geometry of derived Artin motives, via modular representation theory of profinite groups. To illustrate our methods, we discuss Artin motives over a finite field, in which case we also prove stratification.
We construct the motivic t-structure on 1-motives with integral coefficients over a scheme of characteristic zero or a Dedekind scheme. When we invert the residue characteristic exponents of the base, this t-structure induces a t-structure…
We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct…
This paper studies Artin-Tate motives over number rings. As a subcategory of geometric motives, the triangulated category of Artin-Tate motives DATM(S) is generated by motives of schemes that are finite over the base S. After establishing…
We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.
We introduce the notion of Artin motives and cohomological motives over a scheme X. Given a cohomological motive M over X, we construct its punctual weight zero part $\omega^0_X(M)$ as the universal Artin motive mapping to M. We use this to…
An invariant I of quasiprojective K-varieties X with values in a commutative ring R is "motivic" if I(X)= I(Y)+I(X\Y) for Y closed in X, and I(X x Y)=I(X)I(Y). Examples include Euler characteristics chi and virtual Poincare and Hodge…
We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally,…
With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that…
We prove that the functor associating to a rigid analytic variety the singular complex of the underlying Berkovich topological space is motivic, and defines the maximal Artin quotient of a motive. We use this to generalize Berkovich's…
We introduce and study on examples a notion of the Artin shape for a motive related to a projective homogenous variety. We apply it to the problem of finding the complete motivic decomposition of the variety. Our examples cover unitary…
We formulate a notion of "punctual gluing" of $t$-structures and weight structures. As our main application we show that the relative version of Ayoub's $1$-motivic $t$-structure restricts to compact motives. We also demonstrate the utility…
We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…
We extend the formalism of I to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions of motivic integration in the geometric and arithmetic cases.
We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…
We present a general, functorial approach to Motivic Integration for separated schemes of finite type in lieu of recent work by Hans Schoutens on the subject. Presented is a change of variables formula and a hierarchy of stability…