Consider the formal power series $\sum [C_{p, α}(X)]t^α$ (called Motivic Chow Series), where $C_p(X)=\disjoint C_{p, α}(X)$ is the Chow variety of $X$ parametrizing the $p$-dimensional effective cycles on $X$ with $C_{p, α}(X)$ its connected components, and $[C_{p, α}(X)]$ its class in $K(ChM)_{A^1}$, the $K$-ring of Chow motives modulo $A^1$ homotopy. Using Picard product formula and Torus action, we will show that the Motivic Chow Series is rational in many cases. We have added the computation of the motivic zeta series in some of our examples so the reader can compare both series in each case.
We prove that stable rationality specializes in regular families whose fibers are integral and have at most ordinary double points as singularities. Our proof is based on motivic specialization techniques and the criterion of Larsen and Lunts for stable rationality in the Grothendieck ring of varieties.
For a quasiprojective variety S, we define a category CHM(S) of pure Chow motives over S. Assuming conjectures of Grothendieck and Murre, we show that the decomposition theorem holds in CHM(S). As a consequence, the intersection complex of S makes sense as an object IS of CHM(S). In the forthcoming part II we will give an unconditional definition of intersection Chow groups and study some of their properties.
The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is rational if and only if its Kodaira dimension is negative.
The Euler characteristic of all the Chow varieties, of a fixed projective variety, can be collected in a formal power series called the Euler-Chow series. This series coincides with the Hilbert series when the Picard group is a finite generated free abelian group. It is an interesting open problem to find for which varieties this series is rational. A few cases have been computed, and it is suspected that the series is not rational for the blow up of P^2 at nine points in general position. It is very natural to extend this series to Chow motives and ask the question if the series is rational o…
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.
The main goal of this paper is to break up motivic cohomology into smaller pieces as suggested by the conjectural Bloch-Beilinson filtrations for the Chow groups.
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. …
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…
Let $\mathfrak{Var}_k^G$ denote the category of pairs $(X,σ)$, where $X$ is a variety over $k$ and $σ$ is a group action on $X$. We define the Grothendieck ring for varieties with group actions as the free abelian group of isomorphism classes in the category $\mathfrak{Var}_k^G$ modulo a cutting and pasting relation. The multiplication in this ring is defined by the fiber product of varieties. This allows for motivic zeta-functions for varieties with group actions to be defined. This is a formal power series $\sum_{n=0}^{\infty}[\text{Sym}^n (X,σ)]t^n$ with coefficients in the Grothendieck rin…
We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two complex projective K3 surfaces are isogenous (i.e. their second rational cohomology groups are Hodge isometric) if and only if their Chow motives are isomorphic as Frobenius algebra objects; this can be regarded as a motivic Torelli-type theorem. We ask whether, more generally, twisted derived equivalent hyper-Kaehler varieties have isomorphic Chow motives a…
We study the structure of various invariants of the symmetric powers of a smooth projective curve in terms of that of the Jacobian of the curve. We generalise the results of Macdonald and Collino to various invariants including the Weil-cohomology theory, the higher Chow groups, the additive higher Chow groups and the rational $K$-groups.
We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, c\heartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermore, we show that the $\infty$-category of modules over the Chow truncated sphere spectrum is algebraic. Our results generalize the ones in Gheorghe--Wang--Xu in three aspects: To integral results; To …
We prove that the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles on a smooth projective curve have the same (stringy) class in the Grothendieck ring of rational Chow motives. On the level of Hodge numbers this was conjectured by Hausel and Thaddeus, and recently proven by Groechenig, Ziegler and the second author. To adapt their argument, which relies on p-adic integration, we use a version of motivic integration with values in rational Chow motives and the geometry of Néron models to evaluate such integrals on Hitchin fibers.
In this paper, we show the existence of a Chow--Kuenneth decomposition for the moduli stack of stable curves of genus g with r marked points, for low values of g,r. We also look at the moduli space R of double covers of genus 3 curves, branched along 4 distinct points. We obtain a birational model of the moduli space R as a group quotient of a product of two Grassmanian varieties. This provides a Chow-Kuenneth decomposition over an open subset of R. The question of rationality of R is also discussed.
Let X be a geometrically split, geometrically irreducible variety over a field F satisfying Rost nilpotence principle. Consider a field extension E/F and a finite field K. We provide in this note a motivic tool giving sufficient conditions for so-called outer motives of direct summands of the Chow motive of X_E with coefficients in K to be lifted to the base field. This going down result has been used S. Garibaldi, V. Petrov and N. Semenov to give a complete classification of the motivic decompositions of projective homogeneous varieties of inner type E_6 and to answer a conjecture of Rost and…
We study the relations between the finite generation of Cox ring, the rationality of Euler-Chow series and Poincaré series and Zariski's conjecture on dimensions of linear systems. We prove that if the Cox ring of a smooth projective variety is finitely generated, then all Poincaré series of the variety are rational. We also prove that the multi-variable Poincaré series associated to big divisors on a smooth projective surface are rational, assuming the rationality of multi-variable Poincare series on curves.
This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also establish a motivic isomorphism between two anisotropic non-isomorphic projective homogeneous varieties of type F4. All our results hold for Chow motives with integral coefficients.
Let X be a smooth variety over a field k and D an effective divisor whose support has simple normal crossings. We construct an explicit cycle map from the r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative Milnor K-sheaf of (X,D). We show that this map induces an isomorphism for all i greater or equal the dimension of X between the motivic Nisnevich cohomology of (X,D) in bidegree (i+r,r) and the i-th Nisnevich cohomology of the r-th relative Minor K-sheaf of (X,D). This generalizes the well-known isomorphism in the case D=0. We use this to prove a certain Zariski…
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hi…
We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant, called the schemic Grothendieck ring, in which we can formulate a form of integration resembling Kontsevich's motivic integration via arc schemes. In view of its more functorial properties, we can present a characteristic-free proof of the rationality of the geometric Igusa zeta series for certain hypersurfaces, thus generalizing the ground-breaking work on mo…
We generalize some classical results on Chow group of an abelian variety to semiabelian varieties and to motivic (co)homology, using a result of Ancona--Enright-Ward--Huber on a decomposition of the motive of a semiabelian variety in the Voevodsky's category.
We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Déglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Bar…
We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series associated to p-adic points on a p-adic variety. The main tools which are used are semi-algebraic geometry in spaces of power series and motivic integration (a notion introduced by M. Kontsevich). In particular we develop the theory of motivic integration for semi-algebraic sets of formal arcs on singular algebraic varieties, we prove a change of variable formula …
In this paper we work with a series whose coefficients are the Euler characteristic of Chow varieties of a given projective variety. For varieties where the Cox ring is defined, it is easy to see that in this case the ring associated to the series is the Cox ring. If this ring is noetherian then the series is rational. It is an open question whether the converse holds. In this paper we give an example showing the converse fails. However we conjecture that it holds when the variety is rationally connected. As an evidence of this conjecture, It is proved that the series is not rational, and in a…
We use Burgos theory of arithmetic Chow groups to exhibit a realization of the degree zero part of the polylogarithm on abelian schemes in Deligne-Beilinson cohomology.
We construct an explicit, multiplicative Chow-Künneth decomposition for the Hilbert scheme of points of a K3 surface. We further refine this decomposition with respect to the action of the Looijenga-Lunts-Verbitsky Lie algebra.
In this article, we give an unconditional construction of a motivic analogue of the intermediate extension in the context of Chow motives of Abelian type. Our main application concerns intermediate extensions of Chow motives associated to Kuga families to the Baily--Borel compactification of a Shimura variety.
We prove relations between fractional linear cycles in Bloch's integral cubical higher Chow complex in codimension two of number fields, which correspond to functional equations of the dilogarithm. These relations suffice, as we shall demonstrate with a few examples, to write down enough relations in Bloch's integral higher Chow group CH^2(F,3) for certain number fields F to detect torsion cycles. Using the regulator map to Deligne cohomology, one can check the non-triviality of the torsion cycles thus obtained. Using this combination of methods, we obtain explicit higher Chow cycles generatin…
The main goal of this paper is to deduce (from a recent resolution of singularities result of Gabber) the following fact: (effective) Chow motives with $Z[1/p]$-coefficients over a perfect field $k$ of characteristic $p$ generate the category $DM^{eff}_{gm}[1/p]$ (of effective geometric Voevodsky's motives with $Z[1/p]$-coefficients). It follows that $DM^{eff}_{gm}[1/p]$ could be endowed with a Chow weight structure $w_{Chow}$ whose heart is $Chow^{eff}[1/p]$ (weight structures were introduced in a preceding paper, where the existence of $w_{Chow}$ for $DM^{eff}_{gm}Q$ was also proved). As sho…
We describe certain criteria for a motif $M$ to be $r$-effective, i.e., to belong to the $r$th Tate twist $Obj DM^{eff}_{gm,R}(r)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes r}$ of effective Voevodsky motives (for $r\ge 1$; $R$ is the coefficient ring). In particular, $M$ is 1-effective if and only if a complex whose terms are certain Chow groups of zero-cycles is acyclic. The dual to this statement checks whether an effective motif $M$ belongs to the subcategory of $DM^{eff}_{gm,R}$ generated by motives of varieties of dimension $\le r$. These criteria are formulated in terms of the Chow-weight (c…
In this article we introduce the local versions of the Voevodsky category of motives with Z/p-coefficients over a field k, parameterized by finitely-generated extensions of k. We introduce the, so-called, flexible fields, passage to which is conservative on motives. We demonstrate that, over flexible fields, the constructed local motivic categories are much simpler than the global one and more reminiscent of a topological counterpart. This provides handy "local" invariants from which one can read motivic information. We compute the local motivic cohomology of a point, for p=2, and study the lo…
We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a nonabelian analog of motivic cohomology. Just as abelian motivic cohomology is a homotopy group of a spectrum coming from K-theory, the space of morphisms of motivic dga's is a certain limit of such spectra; we give an explicit formula for this limit --- a possible first step towards explicit computations or dimension bounds. We also consider commutative comonoids …
We construct an analog of the intrinsic normal cone of Behrend-Fantechi in the equivariant motivic stable homotopy category over a base-scheme B and construct a fundament class in E-cohomology for any cohomology theory E in SH(B). For affine B, a perfect obstruction theory gives rise to a virtual fundamental class in a twisted Borel-Moore E-homology for arbitrary E. This includes motivic cohomology (homotopy invariant) K-theory algebraic cobordism and the oriented Chow groups of Barge-Morel and Fasel. In the case of motivic cohomology, we recover the constructions of Behrend-Fantechi, with val…
We show that motivic homology, motivic Borel-Moore homology and higher Chow groups satisfy homological descent for hyperenvelopes, and l-hyperenvelopes after inverting l.
We use the motivic obstruction to stable rationality introduced by Shinder and the first-named author to establish several new classes of stably irrational hypersurfaces and complete intersections. In particular, we show that very general quartic fivefolds and complete intersections of a quadric and a cubic in $\mathbb P^6$ are stably irrational. An important new ingredient is the use of tropical degeneration techniques.
We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is compact, for the Chow motive of X.The result is a Chow-theoretic analogue of Borho-MacPherson's observation concerning the cohomology of the fibers and their relation to the relevant strata for f. Under suitable assumptions on the stratification, we prove an explicit version of the motivic decomposition theorem. The assumptions are fulfilled in many cases of i…
We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally, we use motivic integration to show that the rationality of the Serre series is uniform with respect to p.
Due to the work of many authors in the last decades, given an algebraic orbifold (smooth proper Deligne-Mumford stack with trivial generic stabilizer), one can construct its orbifold Chow ring and orbifold Grothendieck ring, and relate them by the orbifold Chern character map, generalizing the fundamental work of Chen-Ruan on orbifold cohomology. In this paper, we extend this theory naturally to higher Chow groups and higher algebraic K-theory, mainly following the work of Jarvis-Kaufmann-Kimura and Edidin-Jarvis-Kimura.
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 article we prove a result comparing rationality of integral algebraic cycles over the function field of a quadric and over the base field. This is an integral version of the result known for coefficients modulo 2. Those results have already been proved by Alexander Vishik in the case of characteristic 0, which allowed him to work with algebraic cobordism theory. Our proofs use the modulo 2 Steenrod operations in the Chow theory and work in any characteristic different from 2.
We study maps from a smooth scheme to a motivic sphere in the Morel-Voevodsky ${\mathbb A}^1$-homotopy category, i.e., motivic cohomotopy sets. Following Borsuk, we show that, in the presence of suitable hypotheses on the dimension of the source, motivic cohomotopy sets can be equipped with functorial abelian group structures. We then explore links between motivic cohomotopy groups, Euler class groups à la Nori-Bhatwadekar-Sridharan and Chow-Witt groups. We show that, again under suitable hypotheses on the base field $k$, if $X$ is a smooth affine $k$-variety of dimension $d$, then the Euler c…
In this article we formalize and enhance Kontsevich's beautiful insight that Chow motives can be embedded into non-commutative ones after factoring out by the action of the Tate object. We illustrate the potential of this result by developing three of its manyfold applications: (1) the notions of Schur and Kimura finiteness admit an adequate extension to the realm of non-commutative motives; (2) Gillet-Soule's motivic measure admits an extension to the Grothendieck ring of non-commutative motives; (3) certain motivic zeta functions admit an intrinsic construction inside the category of non-com…
We prove 2-out-of-3 property for rationality of motivic zeta function in distinguished triangles in Voevodsky's category DM. As an application, we show rationality of motivic zeta functions for all varieties whose motives are in the thick triangulated monoidal subcategory generated by motives of quasi-projective curves in DM. Joint with a result of P.O'Sullivan it also gives an example of a variety whose motive is not finite-dimensional while the motivic zeta function is rational.
We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2].
We present a version of projective bundle theorem in MW-motives (resp. Chow-Witt rings), which says that $\widetilde{CH}^*(\mathbb{P}(E))$ is determined by $\widetilde{CH}^*(X)$, $\widetilde{CH}^*(X,det(E)^{\vee})$, $CH^*(X)$ and $Sq^2$ for smooth quasi-projective schemes $X$ and vector bundles $E$ over $X$ with $e(E^{\vee})=0\in H^n(X,W(det(E)))$, provided that $_2CH^*(X)=0$. As an application, we compute the MW-motives of blow-ups with smooth centers. Moreover, we discuss the invariance of Chow-Witt cycles of projective bundles under automorphisms of vector bundles.
We describe a method to construct indecomposable classes in Bloch's higher Chow group $CH^2(X,1)$ on algebraic surfaces over the complex numbers via transcendental methods and apply it to obtain examples on K3-surfaces and some surfaces of general type.
