This version implicitly used a global form of Ren's pro-solid comparison theorem. At present, only the affine-local case is established, and the required gluing for the global case remains open (we thank Fei Ren for pointing this out). Until the general case is proved, we withdraw this version and will resubmit a revised manuscript
We construct a covariant realization functor, denoted \textsc{Solidm}, from the category of motives with modulus to the derived category of solid modules in the sense of Clausen--Scholze. For any smooth modulus pair (X, D), the dual of Solidm(X, D) recovers the Hodge realization of Kelly--Miyazaki for (X, D). Using Ren's pro-solid comparison theorem, we give an explicit description of Solidm(X, D) and compute Solidm of the cone of M(U, D restricted to U) $\to$ M(X, D), in the setting where X is a smooth proper variety over a field, D $\subset$ X is a simple normal crossings divisor, and U $\subset$ X is an open immersion. We identify the result via the formal completion of X along the complement X $\setminus$ U.
In this self-contained paper we prove that Voevodsky's smooth blowup triangle of motives generalises to a smooth blowup triangle of motives with modulus.
We construct "MV squares" in the category $\mathbf{MCor}$ of modulus pairs which was introduced in arXiv:1511.07124 [math:AG]. They allow us to describe the category $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ of loc. cit. in a similar way as Voevodskys category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$, thus sharpening the results of the quoted paper.
We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of proper modulus pairs, introduced in Part I of this work. To such a modulus pair we associate its motive in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In…
We show that the l-adic realization functor is conservative when restricted to the Chow motives of abelian type over a finite field. A weak version of this conservativity result extends to mixed motives of abelian type.
We give an alternative construction of the Betti realization functor on the derived category of motives of complex algebraic varieties via the category of CW complexes instead of the category of complex analytic spaces. In particular we show that the functor we define via the category of CW complexes coincide with Ayoub's one. We deduce from this construction that Ayoub's realization functor on geometric motives factors trough Nori motives and that the image of this functor on the morphisms between the motive of a point and a shift of a Tate twist of the motive with compact support of a comple…
In Voevodsky's theory of motives, the Nisnevich topology on smooth schemes is used as an important building block. In this paper, we introduce a Grothendieck topology on proper modulus pairs, which will be used to construct a non-homotopy invariant generalization of motives. We also prove that the topology satisfies similar properties to the Nisnevich topology.
Let $k$ be a number field. We describe the category of Laumon 1-isomotives over $k$ as the universal category in the sense of Nori associated with a quiver representation built out of smooth proper $k$-curves with two disjoint effective divisors and a notion of $H^1_\dR$ for such "curves with modulus". This result extends and relies on the theorem of J. Ayoub and L. Barbieri-Viale that describes Deligne's category of 1-isomotives in terms of Nori's Abelian category of motives.
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of \emph{proper modulus pairs}, that is, pairs of a proper $k$-variety $X$ and an effective divisor $D$ on $X$ such that $X \setminus |D|$ is smooth. To a mo…
We give, for a complex algebraic variety $S$, a Hodge realization functor $\mathcal F_S^{Hdg}$ from the derived category of constructible motives $DA_c(S)$ to the derived category $D(MHM(S))$ of algebraic mixed Hodge modules over $S$. Moreover, for $f:T\to S$ a morphism of complex quasi-projective algebraic varieties, $\mathcal F_{-}^{Hdg}$ commutes with the four operation $f^*$,$f_*$,$f_!$,$f^!$ on $DA_c(-)$ and $D(MHM(-))$, making the Hodge realization functor a morphism of 2-functor wich for a given $S$ sends $DA_c(S)$ to $D(MHM(S)$, moreover $\mathcal F_S^{Hdg}$ commutes with tensor produc…
We prove that the embedding of the derived category of 1-motives into the triangulated category of effective Voevodsky motives, as well as its left adjoint functor $LAlb$, commute with the Hodge realization.
We introduce the motivic coniveau exact couple of a smooth scheme, in the framework of mixed motives, whose property is to universally give rise to coniveau spectral sequences through realizations. The main result is a computation of its differentials in terms of residues and transfers of mixed motives, with a formula analog to the one defining the Weil divisor of a rational function. We then show how to recover and extend classical results of Bloch and Ogus for motivic realizations.
We prove: if the (étale or de Rham) realization functor is conservative on the category $DM_{gm}$ of Voevodsky motives with rational coefficients then motivic zeta functions of arbitrary varieties are rational and numerical motives are Kimura-finite. The latter statement immediately implies that the category of numerical motives is (essentially) Tannakian. This observation becomes actual due to the recent announcement of J. Ayoub that the De Rham cohomology realization is conservative on $DM_{gm}(k)$ whenever $\operatorname{char} k=0$. We apply this statement to exterior powers of motives comi…
After introducing the Ogus realization of 1-motives we prove that it is a fully faithful functor. More precisely, following a framework introduced by Ogus, considering an enriched structure on the de Rham realization of 1-motives over a number field, we show that it yields a full functor by making use of an algebraicity theorem of Bost.
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 equivalent to the abelian category M_1 of Deligne 1-motives with torsion; this is our main theorem. Along the way, we obtain several interesting results. Firstly, we realize M_1 as the universal abelian category obtained, using Nori's formalism, from the Betti representation of an explicit diagram of curves. Secondly, we obtain a conceptual proof of a theorem o…
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 results on the weight-zero part of the étale cohomology of a variety defined over a non-archimedean valued field.
We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and homological equivalence coincide, and that it is also equivalent to that the latter is a Tannakian category. We discuss various realizations, formulate Tate and Hodge conjectures, and verify them in curve case.
In this article, we construct a Hecke-equivariant Chow motive whose realizations equal intersection cohomology of Siegel threefolds with regular algebraic coefficients. As a consequence, we are able to define Grothendieck motives for Siegel modular forms.
As a higher genus version of universal mixed elliptic motives by Hain and Matsumoto, we consider mixed Teichmüller motives as certain motivic local systems on the moduli space of pointed curves. We show that the category of mixed Teichmüller motives is equivalent to a full subcategory of a certain product category of mixed Tate motives over Z and universal mixed elliptic motives. Furthermore, we show that unipotent fundamental torsors for the universal open curve give rise to a pro-object in the category of mixed Teichmüller motives. Our results can give a realization of motivic correlators pr…
We show that the l-adic realizations of certain Picard 1-motives associated to a G-Galois cover of smooth, projective curves defined over an algebraically closed field are G-cohomologically trivial, for all primes l. In the process, we generalize a well-known theorem of Nakajima on the Galois module structure of certain spaces of Kahler differentials associated to the top curve of the cover, assuming that the field of definition is of characteristic p. If the cover and the Picard 1-motive are defined over a finite field and if G is abelian, we compute the first Fitting ideal of each l-adic rea…
We describe the Voevodsky's category $DM^{eff}_{gm}$ of motives in terms of Suslin complexes of smooth projective varieties. This shows that Voeovodsky's $DM_{gm}$ is anti-equivalent to Hanamura's one. We give a description of any triangulated subcategory of $DM^{eff}_{gm}$ (including the category of effective mixed Tate motives). We descibe 'truncation' functors $t_N$ for $N>0$. $t=t_0$ generalizes the weight complex of Soule and Gillet; its target is $K^b(Chow_{eff})$; it calculates $K_0(DM^{eff}_{gm})$, and checks whether a motive is a mixed Tate one. $t_N$ give a weight filtration and a 'm…
Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also construct integral étale realization of motives.
The Grothendieck ring of varieties has well-known realization maps to, say, mixed Hodge structures or compactly supported $\ell$-adic cohomology. Zakharevich and\ Campbell have developed {a spectral refinement} of the Grothendieck ring of varieties. We develop a realization map to Voevodsky mixed motives, and this lifts the standard realizations of motives to this setting, at least over perfect fields which have resolution of singularities.
In this thesis we compare V. Voevodsky's geometric motives to the derived category of M. Nori's abelian category of mixed motives by constructing a triangulated tensor functor between them. It will be compatible with the Betti realizations on both sides. We allow an arbitrary noetherian ring of coefficients, but require it to be a field or a Dedekind domain for the tensor structure on derived Nori motives to exist. There are three key ingredients: we present a theory of Nisnevich covers on finite acyclic diagrams of finite correspondences, explain, following D. Rydh, how to interpret finite co…
The purpose of this article is to construct a Hecke-equivariant Chow motive whose realizations equal interior (or intersection) cohomology of Picard surfaces with regular algebraic coefficients. As a consequence, we are able to define Grothendieck motives for Picard modular forms.
The purpose of this article is to construct a Hecke-equivariant Chow motive whose realizations equal interior (or intersection) cohomology of Hilbert-Blumenthal varieties with non-constant algebraic coefficients.
We construct the dagger realization functor for analytic motives over non-archimedean fields of mixed characteristic, as well as the Monsky-Washnitzer realization functor for algebraic motives over a discrete field of positive characteristic. In particular, the motivic language on the classic étale site provides a new direct definition of the overconvergent de Rham cohomology and rigid cohomology and shows that their finite dimensionality follows formally from the one of Betti cohomology for smooth projective complex varieties.
我们介绍了“尖锐”（普遍）的扩展1动机（添加剂的因素和扭转）的领域的特征为零。我们通过传递到李代数来定义“夏普德拉姆实现”。在复数上，我们证明了形式Hodge结构范畴中的一个（sharp de Rham）比较定理.对于一个自由的1-动机及其Cartier对偶，我们得到了一个关于它们的尖锐扩张的正则联系，从而产生了一个关于尖锐实现的完美配对。因此，我们提供了“一维sharp de Rham上同调”的代数簇。
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 is algebraic over the rationals, generalizing a result of Levine's. We finally study the interaction of the weight structure and the t-structure. When k is a number field, this will give a useful criterion identifying the weight structure via realizations.
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 approximations of it. The definitions turn out to be equivalent and give rise to a full six-functor formalism. For rational étale motives over a finite field or the homotopical stable algebraic derivator arising from the semisimplified Hodge realization, the equivariant mixed Tate motives provide a graded version of the equivariant derived category. We show that, in suff…
Let X be a smooth proper variety over a perfect field k of arbitrary characteristic. Let D be an effective divisor on X with multiplicity. We introduce an Albanese variety Alb(X, D) of X of modulus D as a higher dimensional analogon of the generalized Jacobian of Rosenlicht-Serre with modulus for smooth proper curves. Basing on duality of 1-motives with unipotent part (which are introduced here), we obtain explicit and functorial descriptions of these generalized Albanese varieties and their dual functors. We define a relative Chow group of zero cycles w.r.t. the modulus D and show that Alb(X,…
In this paper we establish a precise comparison between vanishing cycles and the singularity category of Landau-Ginzburg models over a complete discrete valuation ring. By using noncommutative motives, we first construct a motivic $\ell$-adic realization functor for dg-categories. Our main result, then asserts that, given a Landau-Ginzburg model over a complete discrete valuation ring with potential induced by a uniformizer, the $\ell$-adic realization of its singularity category is given by the inertia-invariant part of vanishing cohomology. We also prove a functorial and $\infty$-categorical…
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^Σ(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V\to Sp^Σ(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "prese…
We construct motives over the rational numbers associated with symmetric power moments of Kloosterman sums, and prove that their L-functions extend meromorphically to the complex plane and satisfy a functional equation conjectured by Broadhurst and Roberts. Although the motives in question turn out to be "classical", we compute their Hodge numbers by means of the irregular Hodge filtration on their realizations as exponential mixed Hodge structures. We show that all Hodge numbers are either zero or one, which implies potential automorphy thanks to recent results of Patrikis and Taylor.
This paper is dedicated to triangulated categories endowed with weight structures (a new notion; D. Pauksztello has independently introduced them as co-t-structures). This axiomatizes the properties of stupid truncations of complexes in $K(B)$. We also construct weight structures for Voevodsky's categories of motives and for various categories of spectra. A weight structure $w$ defines Postnikov towers of objects; these towers are canonical and functorial 'up to morphisms that are zero on cohomology'. For $Hw$ being the heart of $w$ (in $DM_{gm}$ we have $Hw=Chow$) we define a canonical conser…
We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance, stability (which means that the cohomology of $\GG_{m}$ behaves correctly), and Künneth formula. We prove that any mixed Weil cohomology defined on smooth $S$-schemes induces a symmetric monoidal realization of some suitable triangulated category of motives over $S$ to the derived category of the field $\KK$. This implies a finiteness theorem and a Poincaré dualit…
We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in étale cohomology. To accomplish this, we first revisit and extend work of Scheiderer on equivariant topos theory by functorially associating to a $\infty$-topos $\mathscr{X}$ with $G$-action a presentable stable $\infty$-category $\mathrm{Sp}^G(\mathscr{X})$, which recovers the $\infty$-category $\mathrm{Sp}^G$ of genuine $G$-spectra when $\mathscr{X}$ is the terminal $G$-$\infty$-topos. Given a scheme $X$ w…
