Related papers: Constructible 1-motives and exactness

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 define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…

We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and…

In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers--Loeser motivic integration.

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…

We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over…

We prove that the projectors arising from the decomposition theorem applied to a projective map of quasi projective varieties are absolute Hodge, Andr\'e motivated, Tate and Ogus classes. As a by-product, we introduce, in characteristic…

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 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…

Let EHM be Nori's category of effective homological mixed motives. In this paper, we consider the thick abelian subcategory EHM_1 generated by the i-th relative homology of pairs of varieties for i = 0,1. We show that EHM_1 is naturally…

We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the etale cohomology of complex algebraic varieties, up…

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…

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 present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

We consider the category of Deligne 1-motives over a perfect field k of exponential characteristic p and its derived category for a suitable exact structure after inverting p. As a first result, we provide a fully faithful embedding into an…

For each fs log scheme $(X,\mathcal M_X)$ over a field $k$ we construct a geometrical Voevodsky motive $[X]^{log}\in DM_{gm}(k,\mathbb Q)$. We prove that, for $k=\mathbb C$, the Betti realization of $[X]^{log}$ is the log Betti cohomology…

We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural isomorphisms. It is induced by a higher dimensional example of…

We define 1-motives of a variety X over a perfect field of positive characteristic which realize the etale cohomology groups of X in dimension and codimension one. This is the analogue in positive characteristic of previous results of…

The purpose of this paper is twofold. First, we use the motivic Landweber exact functor theorem to deduce that the Bott inverted infinite projective space is homotopy algebraic $K$-theory. The argument is considerably shorther than any…

We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…