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 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…
Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $π_0 (E)$. Using this we show that if k has finite 2-étale cohomological dimension, then the functor M is conservative when restricted to the subcategory of compact spectra, and induces an injection on Picard groups. We extend the conservativity result to fields of finite virtual 2-étale cohomological dimension by considering what we call "real motives". As a by-product we reprove a variant of a rigidity Theorem of Röndings-Østvær.
We study mixed versions of the classical quotient functor from Chow motives to numerical motives. We compare two natural definitions, which turn out to be very different. We investigate fullness, conservativity and exactness of these two functors.
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…
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 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 that for $1$-motives defined over an algebraically closed subfield of $\C$, viewed as Nori motives, the motivic Galois group is the Mumford-Tate group. In particular, the Hodge realization of the tannakian category of (Nori) motives generated by $1$-motives is fully faithful.
Assuming the Künneth type standard conjecture, we propose a way to describe objects of mixed motives explicitly. We study their formal properties, and we associate mixed motives to schemes smooth and separated over a field. This serves as a universal cohomology theory. We also discuss $\ell$-adic realizations, and we discuss an unconditional construction of 2-motives and their properties.
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 introduce the notion of Artin motives and cohomological motives over a scheme X. Given a cohomological motive M over X, we construct its punctual weight zero part $ω^0_X(M)$ as the universal Artin motive mapping to M. We use this to define a motive E_X over X which is an invariant of the singularities of X. The first half of the paper is devoted to the study of the functors $ω^0_X$ and the computation of the motives E_X. In the second half of the paper, we develop the application to locally symmetric varieties. Specifically, let Y be a locally symmetric variety and denote by p:W-->Z the pro…
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.
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.
本文用纯代数的方法定义了特征为零的代数闭域上任意代数模式$X$的1-基序$Alb^{+}(X)$,$Alb^{-}(X)$,$Pic^{+}(X)$和$Pic^{-}(X)$.对于$n$维的$X$ over $\C$,Hodge实现分别是$H^{2n-1}(X)(n)$、$H_{1}(X)$、$H^{1}(X)(1)$和$H_{2n-1}(X)(1-n)$。
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…
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, number fields and number rings, we show that the two extant definitions of f-cohomology of mixed motives $M_η$ over F--one via ramification conditions on $\ell$-adic realizations, another one via the K-theory of proper regular models--both agree with motivic cohomology of $η_{!*} M_η[1]$. Here $η_{!*}$ is constructed by a limiting process in terms of intermediate…
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…
We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of these categories coincides with the triangulated categories of Beilinson motives (and is thus strongly related to algebraic $K$-theory). We extend the rigity theorem of Suslin and Voevodsky over a general base scheme. This can be reformulated by saying that torsion etale motives essentially coincide with the usual complexes of torsion etale sheaves (at least if…
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 Barbieri-Viale and Srinivas, except that we only consider the etale realization but also consider compactly supported cohomology. The dimension-1 case (called the Picard 1-motives) can be done by standard techniques, and indeed this case is probably well known. But the codimension-one case (Albanese 1-motive) requires stronger tools, namely a strong version of de…
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…
We study genus 2 Hilbert-Siegel varieties, i.e. Shimura varieties $S_K$ corresponding to the group $\mbox{GSp}_{4,F}$ over a totally real field $F$, along with the relative Chow motives $^λ\mathcal{V}$ of abelian type over $S_K$ obtained from irreducible representations $V_λ$ of $\mbox{GSp}_{4,F}$. We analyse the weight filtration on the degeneration of such motives at the boundary of the Baily-Borel compactification and we find a criterion on the highest weight $λ$ which characterises the absence of the middle weights 0 and 1 in the corresponding degeneration. Thanks to Wildeshaus' theory, th…
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.
This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, Röndigs, Østvær…
The modular properties of some higher dimensional varieties of special Fano type are analyzed by computing the L-function of their $Ω-$motives. It is shown that the emerging modular forms are string theoretic in origin, derived from the characters of the underlying rational conformal field theory. The definition of the class of Fano varieties of special type is motivated by the goal to find candidates for a geometric realization of the mirrors of rigid Calabi-Yau varieties. We consider explicitly the cubic sevenfold and the quartic fivefold, and show that their motivic L-functions agree with t…
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…
Over a subfield of the field of complex numbers, the Hodge realization of a geometrical motive is defined and represented as the cohomology of a mixed Hodge DG-complex in the sense of Deligne. Both filtrations are represented by truncation functors, on a Bondarko weight complex for the weight filtration and on the De Rham motivic complex for the Hodge one. The Deligne-Beilinson realization is also constructed. This preprint partially replaces the former "Réalisation des complexes motiviques de Voevodsky".
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.
We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields.
This thesis establishes a geometric approach to the de Rham realization of the polylogarithm. As a central result we construct the logarithm sheaves of rational abelian schemes in terms of the birigidified Poincaré bundle with universal integrable connection on the product of the abelian scheme and the universal vectorial extension of its dual. This is achieved essentially by restricting the mentioned data of the Poincaré bundle along the infinitesimal neighborhoods of the zero section of the universal extension. We also clarify how these constructions naturally express within the language of …
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…
We give a closed expression for the number of points over finite fields (or the motive) of the Lusztig nilpotent variety associated to any quiver, in terms of Kac's A-polynomials. When the quiver has 1-loops or oriented cycles, there are several possible variants of the Lusztig nilpotent variety, and we provide formulas for the point count of each. This involves nilpotent versions of the Kac A-polynomial, which we introduce and for which we give a closed formula similar to Hua's formula for the usual Kac A-polynomial. Finally we compute the number of points over a finite field of the various s…