Related papers: Pro-\'etale motives and solid rigidity

This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields,…

We analyze the spectrum of the tensor-triangulated category of Artin-Tate motives over the base field R of real numbers, with integral coefficients. Away from 2, we obtain the same spectrum as for complex Tate motives, previously studied by…

We show that the reduced motive of a smooth affine quadric is invertible as an object of the triangulated category of motives DM(k, ZZ[1/e]) (where k is a perfect field of exponential characteristic e). We also establish a motivic version…

We prove formulae for the motives of stacks of coherent sheaves of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.

Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations,…

We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizio{\l}'s theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations…

We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…

Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to…

We use the connective formal group law to define a one-parameter ($\beta$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $\beta$-deformation specializes to the motivic Segre classes of…

We describe a relation between the invariants of $n$ ordered points in $P^d$ and of points contained in a union of linear subspaces $P^{d1}\cup P^{d2} \subset P^d$. This yields an attaching map for GIT quotients parameterizing point…

We apply Wildeshaus's theory of motivic intermediate extensions to the motivic decomposition conjecture, formulated by Deninger-Murre and Corti-Hanamura. We first obtain a general motivic decomposition for the Chow motive of an arbitrary…

We introduce the notion of log motivic triangulated categories, which is the theoretical framework for understanding the motivic aspect of cohomology theories for fs log schemes. Then we study the Grothendieck six operations formalism for…

For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced…

Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the \'etale cohomology with…

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…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

We study the constructible Witt theory of \'etale sheaves of $\Lambda$-modules on a scheme $X$ for coefficient rings $\Lambda$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our…

We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a…

We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also…