Related papers: Rational motives on pro-algebraic stacks

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

Assuming the Hodge conjecture for abelian varieties of CM-type, one obtains a good category of abelian motives over the algebraic closure of a finite field and a reduction functor to it from the category of CM-motives. Consequentely, one…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

This article extends Scholze's six functor formalism for diamonds to a very general class of stacky morphisms between v-stacks, using $\infty$-categorical techniques developed by Liu-Zheng.

The goal of this paper is to construct trace maps for the six functor formalism of motivic cohomology after Voevodsky, Ayoub, and Cisinski-D\'{e}glise. We also construct an $\infty$-enhancement of such a trace formalism. In the course of…

In this article, we study the properties of motivic homotopy category $\mathcal{SH}_{\operatorname{ext}}(\mathcal{X})$ developed by Chowdhury and Khan-Ravi for $\mathcal{X}$ a Nis-loc Stack. In particular, we compare the above construction…

In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite…

We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic…

The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…

We construct the Weil restriction map for l-adic cohomology and, more generally, for mixed Weil cohomology theories. We study its compatibility with the motivic cycle class map and show that these constructions admit a natural…

We construct smooth presentations of algebraic stacks that are local epimorphisms in the Morel-Voevodsky $\mathbb{A}^1$-homotopy category. As a consequence we show that the motive of a smooth stack (in Voevodsky's triangulated category of…

We define a ring of motivic classes of stacks suitable for symmetric powers in finite characteristic. Let $X$ be a smooth projective curve over a field of arbitrary characteristic. We calculate the motivic classes of the moduli stacks of…

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…

For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…

We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…

We give necessary conditions for a category fibred in pseudo-abelian additive categories over the classifying topos of a profinite group to be a stack; these conditions are sufficient when the coefficients are $\mathbf{Q}$-linear. This…

We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a…

We construct a geometric realization of categories of representations of affine Hecke algebras and split reductive $p$-adic groups via a $K$-motivic Springer theory. We suggest a connection to the coherent Springer theory of Ben-Zvi, Chen,…