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

Given a complex smooth algebraic variety X, we compute the generating function of the stringy motives of its symmetric powers as a function of motive of X. In dimension two we recover the Goettsche formulas for Hilbert schemes. We use the…

In this paper, we construct four different theories of integration, two that are for Voevodsky motives, one for mixed $\ell$-adic sheaves, and a fourth theory of integration for rational mixed Hodge structures. We then show that they…

In the present article we define an integral analogue of Chow-K\"unneth decomposition for \'etale motives. By using families of conservative functors we are able to establish a decomposition of the \'etale motive of commutative group…

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

For any base field and integer $l$ invertible in $k$, we prove that $\Omega^\infty_{\mathbb{G}_m}$ and $\Omega^\infty_{\mathbb{P}^1}$ commute with hyper \'etale sheafification $L_{\acute{e}t}$ and Betti realization through infinite loop…

In this article, we develop a theory of Grothendieck's six operations for derived categories in \'etale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the…

This paper provides a set of sensitivity analysis and activity identification results for a class of convex functions with a strong geometric structure, that we coined "mirror-stratifiable". These functions are such that there is a…

In the strict semi stable reduction situation, we describe the various filtrations of the perverse sheaf of nearby cycles in terms of irreducible perverse sheaves together with the action of the monodromy operator. We then study the…

In this paper we define the pro-\'etale homotopy type of a scheme and prove some of its expected properties. Our definition is similar to the definition of the \'etale homotopy type by Michael Artin and Barry Mazur. We prove that for a qcqs…

We study certain 'weights' for triangulated categories endowed with $t$-structures. Our results axiomatize and describe in detail the relations between the Chow weight structure (introduced in a preceding paper), the (conjectural) motivic…

We construct and study a motivic lift of a spectral sequence associated to a stratified scheme, recently discovered by Petersen in the context of mixed Hodge theory and $\ell$-adic Galois representations. The original spectral sequence…

We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…

Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement types as presheaves over those categories. Motivated by an…

This paper uses rigid Hecke eigensheaves, building on Yun's work on the construction of motives with exceptional Galois groups, to produce the first robust examples of `generalized Kuga-Satake theory' outside the Tannakian category of…

We investigate how the \'etale fundamental group controls local systems in characteristic $p$, namely $F$-divided sheaves. In analogy with Grothendieck-Malcev's results for discrete groups, we show that if a morphism $f \colon Y \to X$ of…

In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…

In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log…

We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…

Profinite etale cobordism is a cohomology theory for smooth schemes of finite type over a field. Using an idea of Friedlander, it is constructed as an etale topological analog of the algebraic cobordism theories of Voevodsky and…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…