Already in the 1960s Grothendieck understood that one could obtain an almost entirely satisfactory theory of motives over a finite field when one assumes the full Tate conjecture. In this note we prove a similar result for motivic complexes. In particular Beilinson's Q-algebra of "correspondences at the generic point" is then defined for all connected varieties. We compute this for all smooth projective varieties (hence also for varieties birational to such a variety).
Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of mot…
We define a regulator map from the weight n polylogarithmic motivic complex to the weight n Deligne complex of an algebraic variety X. The regulator map is constructed explicitly via the classical polylogarithms with some funny combinations of Bernoulli numbers as coefficients. This leads to conjectures on special values of L-functions at s=n which reduce to Zagier's conjecture when X is of dimension zero over Q. The cone of this map, shifted by one, should be called the Arakelov motivic complex of X. Its last cohomology group is identified with a group of codimension n Arakelov cycles on X.
The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.
We construct an explicit regulator map from the weigh n Bloch Higher Chow group complexto the weight n Deligne complex of a regular complex projective algebraic variety X. We define the Arakelovweight n motivic complex as the cone of this map shifted by one. Its last cohomology group is (a version of) the Arakelov Chow group defined by H. Gillet. and C.Soule. We relate the Grassmannian n-logarithms (defined as in [G5]) to geometry of the symmetric space for GL_n(C). For n=2 we recover Lobachevsky's formula for the volume of an ideal geodesic tetrahedron via the dilogarithm. Using the relations…
In this paper we define an explicit E_{infinity}-structure, i.e. a coherently homotopy associative and commutative product on chain complexes defining (integral and mod-l) motivic cohomology as well as mod -l étale cohomology. We also discuss several applications. In addition, our constructions show that the source of the E_{\infinity}-structure on the motivic complexes provided with the pairing defined by Suslin and Voevodsky is not chain-theoretic as is the case for the singular co-chain complexes for topological spaces.
We study in detail the so-called Chow-weight homology of Voevodsky motivic complexes and relate it to motivic homology. We generalize earlier results and prove that the vanishing of higher motivic homology groups of a motif $M$ implies similar vanishing for its Chow-weight homology along with effectivity properties of the higher terms of its weight complex $t(M)$ and of higher Deligne weight quotients of its cohomology. Applying this statement to motives with compact support we obtain a similar relation between the vanishing of Chow groups and the cohomology with compact support of varieties. …
Over a field of characteristic zero, we construct a De Rham motivic complex and generalize the De Rham cohomology of a smooth variety to any Voevodsky motive.
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 K-theory" in volume 478 of Crelle, where a similar result was proved for varieties over a field of characteristic zero. We use K_0-motives with rational coefficients, rather than Chow motives, because we cannot appeal to resolution of singularities, but rather must use de Jong's results. In addition, for varieties over a field we prove a general result on cont…
We prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic integration on arbitrary singular spaces.
The purpose of this paper is to show how the motivic integration methods of Kontsevich, Denef-Loeser and Looijenga can be adapted to prove the McKay-Ruan correspondence, a generalization of the McKay-Reid correspondence to orbifolds that are not necessarily global quotients.
We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $Λ$ by comparing the pushforward of the constant intersection complexes through flopping contractions.
We express the Aomoto trilogarithm explicitely via classical trilogarithm and investigate the algebraic-geometric structures behind this: different realuzations of the weight three motivic complexes. Using this results we give an explicit motivic construction of the Grassmannian 4-logarithm and Borel regulator map for K_7(C).
We revisit the classical two-dimensional McKay correspondence in two respects: The first one, which is the main point of this work, is that we take into account of the multiplicative structure given by the orbifold product; second, instead of using cohomology, we deal with the Chow motives. More precisely, we prove that for any smooth proper two-dimensional orbifold with projective coarse moduli space, there is an isomorphism of algebra objects, in the category of complex Chow motives, between the motive of the minimal resolution and the orbifold motive. In particular, the complex Chow ring (r…
We establish a precise relation between Galois theory in its motivic form with the mathematical theory of perturbative renormalization (in the minimal subtraction scheme with dimensional regularization). We identify, through a Riemann-Hilbert correspondence based on the Birkhoff decomposition and the t'Hooft relations, a universal symmetry group (the "cosmic Galois group" suggested by Cartier), which contains the renormalization group and acts on the set of physical theories. This group is closely related to motivic Galois theory. We construct a universal singular frame of geometric nature, in…
Let $G\subset SL_2(C)\subset SL_3(C)$ be a finite group. We compute motivic Pandharipande-Thomas and Donaldson-Thomas invariants of the crepant resolution $Hilb^G(C^3)$ of $C^3/G$ generalizing results of Gholampour and Jiang who computed numerical DT/PT invariants using localization techniques. Our formulas rely on the computation of motivic Donaldson-Thomas invariants for a special class of quivers with potentials. We show that these motivic Donaldson-Thomas invariants are closely related to the polynomials counting absolutely indecomposable quiver representations over finite fields introduce…
We show that the Quot scheme $Q_L^n = \textrm{Quot}_{\mathbb A^3}(\mathscr I_L,n)$ parameterising length $n$ quotients of the ideal sheaf of a line in $\mathbb{A}^3$ is a global critical locus, and calculate the resulting motivic partition function (varying $n$), in the ring of relative motives over the configuration space of points in $\mathbb{A}^3$. As in the work of Behrend-Bryan-Szendrői this enables us to define a virtual motive for the Quot scheme of $n$ points of the ideal sheaf $\mathscr I_C\subset \mathscr O_Y$, where $C\subset Y$ is a smooth curve embedded in a smooth 3-fold $Y$, and…
We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of Déglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories represented by motivic spectra: the framed transfers given by the recognition principle, which arise from Voevodsky's computation of the Nisnevish sheaf associated with $\mathbf A^n/(\mathbf A^n-0)$, and the Gysin transfers defined via Verdier's deformation to the normal cone. We then introduce the category of finite E-correspondences for E a motivic ring spect…
We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.
We prove that, over a perfect field, Bredon motivic cohomology can be computed by Suslin-Friedlander complexes of equivariant equidimensional cycles. Partly based on this result we completely identify Bredon motivic cohomology of a quadratically closed field and of a euclidian field in weights 1 and $σ$. We also prove that Bredon motivic cohomology of an arbitrary field in weight 0 with integer coefficients coincides (as abstract groups) with Bredon cohomology of a point.
We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothend…
We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.
We consider correspondences on smooth quasiprojective varieties $U$. An algebraic cycle inducing the Künneth projector onto $H^1(U)$ is constructed. Assuming normal crossings at infinity, the existence of relative motivic cohomology is shown to imply the independence of $\ell$ for traces of open correspondences.
In this note, we provide an axiomatic framework that characterizes the stable $\infty$-categories that are module categories over a motivic spectrum. This is done by invoking Lurie's $\infty$-categorical version of the Barr--Beck theorem. As an application, this gives an alternative approach to Röndigs and Østvær's theorem relating Voevodsky's motives with modules over motivic cohomology, and to Garkusha's extension of Röndigs and Østvær's result to general correspondence categories, including the category of Milnor-Witt correspondences in the sense of Calmès and Fasel. We also extend these co…
The main goal of this paper is to define the so-called Chow weight structure for the category of Beilinson motives over any 'reasonable' base scheme $S$ (this is the version of Voevodsky's motives over $S$ defined by Cisinski and Deglise). We also study the functoriality properties of the Chow weight structure (they are very similar to the well-known functoriality of weights for mixed complexes of sheaves). As shown in a preceding paper, the Chow weight structure automatically yields an exact conservative weight complex functor (with values in $K^b(Chow(S))$). Here $Chow(S)$ is the heart of th…
We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method is by gluing p-completed and rational parts along an arithmetic square. Hereby the finite coefficient spectra are obtained by truncated étale sheaves (relying on the now proven Bloch-Kato conjecture) and a variant of Geisser's version of syntomic cohomology, and the rational spectra are the ones which represent Beilinson motivic cohomology. As an application…
This note gives a one-to-one correspondence between the equivalence classes of a certain type of 2-dimensional Calabi-Yau categories, and certain type of quivers, This is an analogue of the result in Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv: 0811.2435, by M. Kontsevich, Y. Soibelman.
We construct an explicit equivalence between a category of complexes over the exterior algebra, which we call HT-complexes, and the stable category of vector bundles on the corresponding projective space, and establish a relation between HT-complexes and the Tate resolutions over the exterior algebra, which had been described by D. Eisenbud, G. Floystad, F.O. Schreyer in math.AG/0104203. The correspondence between HT-complexes and stable classes of vector bundles essentially translates into more fancy terms former results of Trautmann on representing Koszul complexes, which, in turn, were infl…
We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology.
We construct an algebraic commutative ring T- spectrum BO which is stably fibrant and (8,4)- periodic and such that on SmOp/S the cohomology theory (X,U) -> BO^{p,q}(X_{+}/U_{+}) and Schlichting's hermitian K-theory functor (X,U) -> KO^{[q]}_{2q-p}(X,U) are canonically isomorphic. We use the motivic weak equivalence Z x HGr -> KSp relating the infinite quaternionic Grassmannian to symplectic $K$-theory to equip BO with the structure of a commutative monoid in the motivic stable homotopy category. When the base scheme is Spec Z[1/2], this monoid structure and the induced ring structure on the c…
In this paper we prove that the intersections of the levels of the dimension filtration on Voevodsky's motivic complexes over a field $k$ with the levels of the slice one are "as small as possible", i.e., that $Obj d_{\le m}DM^{eff}_{-,R} \cap Obj DM^{eff}_{-,R} (i)=Obj d_{\le m-i} DM^{eff}_{-,R} (i)$ (for $m,i\ge 0$ and $R$ being any coefficient ring in which the exponential characteristic of $k$ invertible). This statement is applied to prove that a conjecture of J. Ayoub is equivalent to a certain orthogonality assumption. We also establish a vast generalization of our intersection result t…
In previous work, the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if $L/k$ is a finite Galois extension of fields with Galois group $G$, there is a functor $c_{L/k}^*$ from the $G$-equivariant stable homotopy category to the stable motivic homotopy category over $k$ such that $c_{L/k}^*(G/H_+) = Spec(L^H)_+$. We proved that when $k$ is a real closed field and $L=k[i]$, the restriction of $c_{L/k}^*$ to the $η$-complete subcategory is full and faithful. Here we "uncomplete" this theorem so that it applies to $c_{L/k}^*$ itsel…
We establish a theory of complexes of relative correspondences. The theory generalizes the known theory of complexes of correspondences of smooth projective varieties. It will be applied in the sequel of this paper to the construction of the triangulated category of motives over a base variety.
Let G be a group of type E8 of compact type over the field of rational numbers, let K be a field of characteristic 0, and q the 5-fold Pfister form which is the sum of 32 squares. J-P. Serre posed in a letter to M. Rost written on June 23, 1999 the following problem: Is it true that G is split over K if and only if q is hyperbolic over K? In the present article we construct a cohomological invariant of degree 5 for groups of type E8 with trivial Rost invariant over any field k of characteristic 0, and putting the field of rational numbers for k answer positively this question of Serre. Aside f…
Let $C$ be a projective smooth connected curve over an algebraically closed field of characteristic zero, let $F$ be its field of functions, let $C_0$ be a dense open subset of $C$. Let $X$ be a projective flat morphism to $C$ whose generic fiber $X_F$ is a smooth equivariant compactification of $G$ such that $D=X_F\setminus G_F$ is a divisor with strict normal crossings, let $U$ be a surjective and flat model of $G$ over $C_0$. We consider a motivic height zeta function, a formal power series with coefficients in a suitable Grothendieck ring of varieties, which takes into account the spaces o…
