Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C can be canonically endowed with some additional structure, such as its mixed Hodge structure or its motive (in Nori's sense or as a product of realizations). Then the Leray spectral sequence for a projective map in this category is automatically compatible with this structure. As byproduct, we get a relatively cheap construction of a mixed Hodge structure on the cohomology of variation of Hodge structure of geometric origin.
In this work, we build a spectral sequence in motivic homotopy that is analogous to both the Serre spectral sequence in algebraic topology and the Leray spectral sequence in algebraic geometry. Here, we focus on laying the foundations necessary to build the spectral sequence and give a convenient description of its $E_2$-page. Our description of the $E_2$-page is in terms of homology of the local system of fibers, which is given using a theory similar to Rost's cycle modules. We close by providing some sample applications of the spectral sequence and some hints at future work.
Let Z be an arrangement of submanifolds in a complex compact algebraic manifold X. We allow some kind of singular intersections. We consider the Leray spectral sequence of the embedding of the U=X-Z into X and formulate a condition sufficient for degeneration of this spectral sequence on E_3-table.
We prove that the Leray spectral sequence in rational cohomology for the quotient map $U_{n,d} \to U_{n,d}/G$ where $U_{n,d}$ is the affine variety of equations for smooth hypersurfaces of degree $d$ in $\PP^n(\C)$ and $G$ is the general linear group, degenerates at $E_2$.
We establish a trace formula for rigid varieties $X$ over a complete discretely valued field, which relates the set of unramified points on $X$ to the Galois action on its étale cohomology. We develop a theory of motivic integration for formal schemes of pseudo-finite type over a complete discrete valuation ring $R$, and we introduce the Weil generating series of a regular formal $R$-scheme $\mathfrak{X}$ of pseudo-finite type, via the construction of a Gelfand-Leray form on its generic fiber. Our trace formula yields a cohomological interpretation of this Weil generating series. When $\mathfr…
We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional cycles. Using this spectral sequence, we obtain a cycle class map from the relative motivic cohomology group of 0-cycles to the relative homotopy invariant K-theory. For a smooth scheme $X$ and a divisor $D \subset X$, we construct a canonical homomorphism from the Chow groups with modulus $\CH^i(X|D)$ to the relative motivic cohomology groups $H^{2i}(X|D, \Z(i…
The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper.
We present some data on the cohomology of the motivic Steenrod algebra over an algebraically closed field. We discuss several features of the associated Adams spectral sequence, including the basic construction and convergence properties. The paper also deals with motivic versions of the May and Adams-Novikov spectral sequences. It is shown how these tools can be used to give new proofs of some classical results in algebraic topology. Also, the considerations reveal the existence of certain "exotic" motivic homotopy classes which have no classical analogues.
It is shown that the Grayson tower for $K$-theory of smooth algebraic varieties is isomorphic to the slice tower of $S^1$-spectra. We also extend the Grayson tower to bispectra and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$-theory spectrum $KGL$. This solves Suslin's problem for these two spectral sequences in the affirmative.
We present a descent style, Bockstein spectral sequence computing Ext over the motivic Steenrod algebra over $\R$ and related sub-Hopf algebras. We demonstrate the workings of this spectral sequence in several examples, providing motivic analogues to the classical computations related to BP<n> and ko.
We examine the slice spectral sequence for the cohomology of singular schemes with respect to various motivic T-spectra, especially the motivic cobordism spectrum. When the base field k admits resolution of singularities and X is a scheme of finite type over k, we show that Voevodsky's slice filtration leads to a spectral sequence for MGL(X) whose terms are the motivic cohomology groups of X defined using the cdh-hypercohomology. As a consequence, we establish an isomorphism between certain geometric parts of the motivic cobordism and motivic cohomology of X. A similar spectral sequence for th…
We study the probability that an $(n - m)$-dimensional linear subspace in $\mathbb{P}^n$ or a collection of points spanning such a linear subspace is contained in an $m$-dimensional variety $Y \subset \mathbb{P}^n$. This involves a strategy used by Galkin--Shinder to connect properties of a cubic hypersurface to its Fano variety of lines via cut and paste relations in the Grothendieck ring of varieties. Generalizing this idea to varieties of higher codimension and degree, we can measure growth rates of weighted probabilities of $k$-planes contained in a sequence of varieties with varying initi…
For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove: for any affine essentially smooth semi-local $S$ the Cousin complex for $H^*(S)$ splits; if $H$ also factorizes through $SH^+(k)$ or $DM(k)$, then this is also true for any primitive $S$. Moreover, the cohomology of such an $S$ is a direct summand of the cohomology of any its open dense subscheme. This is a vast generalization of the results of a previous pape…
We derive a version of the Rothenberg-Steenrod, fiber-to-base, spectral sequence for cohomology theories represented in model categories of simplicial presheaves. We then apply this spectral sequence to calculate the equivariant motivic cohomology of the general linear group with a general Gm-action, this coincides with the equivariant higher Chow groups. Some of the equivariant motivic cohomology of a Stiefel variety with a general Gm-action is deduced as a corollary.
This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theor…
We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rational coefficients a Weil-etale cohomology group is the direct sum of two etale cohomology groups. In the second half of the paper we restrict ourselves to Weil-etale cohomology of the motivic complex. …
We study the problem of describing local components of height functions on abelian varieties over characteristic $0$ local fields as functions on spaces of torsors under various realisations of a $2$-step unipotent motivic fundamental group naturally associated to the defining line bundle. To this end, we present three main theorems giving such a description in terms of the $\mathbb Q_\ell$- and $\mathbb Q_p$-pro-unipotent étale realisations when the base field is $p$-adic, and in terms of the $\mathbb R$-pro-unipotent Betti--de Rham realisation when the base field is archimedean. In the cours…
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
We provide a complete analysis of the motivic Adams spectral sequences converging to the bigraded coefficients of the 2-complete algebraic Johnson-Wilson spectra BPGL<n> over p-adic fields. These spectra interpolate between integral motivic cohomology (n=0), a connective version of algebraic K-theory (n=1), and the algebraic Brown-Peterson spectrum. We deduce that, over p-adic fields, the 2-complete BPGL<n> split over 2-complete BPGL<0>, implying that the slice spectral sequence for BPGL collapses. This is the first in a series of two papers investigating motivic invariants of p-adic fields, a…
Let k be an algebraically closed field of characteristic zero. Let SH(k) denote the motivic stable homotopy category of T-spectra over k and SH the classical stable homotopy category. Let c:SH -> SH(k) be the functor induced by sending a space to the constant presheaf of spaces on Sm/k. We show that c is fully faithful. In particular, c induces an isomorphism π_n(E)-> π_{n,0}c(E) for all spectra E. Fix an embedding of k into the complex numbers and let Re:SH(k) -> SH be the associated Betti realization. We show that the slice tower for the motivic sphere spectrum has Betti realization which is…
We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In charac…
For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ (or through $SH(k)$) we establish the $SH^{S^1}(k)$-functorialty (resp. $SH(k)$-one) of coniveau spectral sequences for $H$. We also prove: for any affine essentially smooth semi-local $S$ the Cousin complex for $H^*(S)$ splits; if $H$ also factorizes through $SH^+(k)$ or $SH^{MGL}(k)$, then this is also true for any primitive $S$. Moreover, the cohomology of such an $S$ is a direct summand of the cohomology of any its open dense subscheme. This is a vast ge…
For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th Frobenius kernel of $G.$ Our main tool is a motivic version of the Eilenberg-Moore spectral sequence, due to Krishna. For a flat affine group scheme $G/k$ of finite type, we define a cycle class map from the mod $p$ motivic cohomology of the classifying space $BG$ to the mod $p$ étale motivic cohomology of the classifying stack $\mathcal{B}G.$ This also gives …
We construct a 'triangulated analogue' of coniveau spectral sequences: the motif of a variety over a countable field is 'decomposed' (in the sense of Postnikov towers) into the twisted (co)motives of its points; this is generalized to arbitrary Voevodsky's motives. To this end we construct a 'Gersten' weight structure for a certain triangulated category of 'comotives': the latter is defined to contain comotives for all projective limits of smooth varieties; the definition of a weight structure was introduced in a preceding paper. The corresponding weight spectral sequences are essentially coni…
We extend results of Colliot-Thélène and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the étale motivic cohomology of smooth, not necessarily projective, varieties over $k$. Some consequences are drawn, such as the degeneration of the Bloch-Lichtenbaum spectral sequence for any field containing $k$.
The Hodge-Tate spectral sequence for a proper smooth variety over a p-adic field provides a framework for us to revisit Faltings' approach to p-adic Hodge theory and to fill in many details. The spectral sequence is obtained from the Cartan-Leray spectral sequence for the canonical projection from the Faltings topos to the étale topos of an integral model of the variety. Its abutment is computed by Faltings' main comparison theorem from which derive all comparison theorems between p-adic étale cohomology and other p-adic cohomologies, and its initial term is related to the sheaf of differentia…
For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/τ$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP}\text{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for…
A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined and studied. We use Grayson's machinery to produce the Grayson motivic spectral sequence connecting bivariant K-theory to bivariant motivic kohomology. It is shown that the spectral sequence is naturally realized in the triangulated category of K-motives constructed in the paper. It is also shown that ordinary algebraic K-theory is represented by the K-motive …
The goal of this paper is to prove: if certain 'standard' conjectures on motives over algebraically closed fields hold, then over any 'reasonable' $S$ there exists a motivic $t$-structure for the category of Voevodsky's $S$-motives (as constructed by Cisinski and Deglise). If $S$ is 'very reasonable' (for example, of finite type over a field) then the heart of this $t$-structure (the category of mixed motivic sheaves over $S$) is endowed with a weight filtration with semi-simple factors. We also prove a certain 'motivic decomposition theorem' (assuming the conjectures mentioned) and characteri…
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 …
Let $V_{n,d}$ be the variety of equations for hypersurfaces of degree $d$ in $\mathbb{P}^n(\mathbb{C})$ with singularities not worse than simple nodes. We prove that the orbit map $G'=SL_{n+1}(\mathbb{C}) \to V_{n,d}$, $g\mapsto g\cdot s_0$, $s_0\in V_{n,d}$ is surjective on the rational cohomology if $n>1$, $d\geq 3$, and $(n,d)\neq (2,3)$. As a result, the Leray-Serre spectral sequence of the map from $V_{n,d}$ to the homotopy quotient $(V_{n,d})_{hG'}$ degenerates at $E_2$, and so does the Leray spectral sequence of the quotient map $V_{n,d}\to V_{n,d}/G'$ provided the geometric quotient $V…
In this paper, we study the algebraic cobordism spectrum $MSL$ in the motivic stable homotopy category of Voevodsky over an arbitrary perfect field $k$. Using the motivic Adams spectral sequence, we compute the geometric part of the $η$-completion of $MSL$ (modulo the maximal subgroup that is $l$-divisble for all primes $l\neq2, char k$). As an application, we study the Krichever's elliptic genus with integral coefficients, restricted to $MSL$. We determine its image, and identify its kernel as the ideal generated by differences of $SL$-flops. This was proved by B. Totaro in the complex analyt…
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 study various triangulated motivic categories and introduce a vast family of aisles (these are certain classes of objects) in them. These aisles are defined in terms of the corresponding "motives" (or motivic spectra) of smooth varieties in them; we relate them to the corresponding homotopy t-structures. We describe our aisles in terms of stalks at function fields and prove that they widely generalize the ones corresponding to slice filtrations. Further, the filtrations on the "homotopy hearts" $Ht_{hom}^{eff}$ of the corresponding effective subcategories that are induced by these aisles ca…
Fix a base field F, a finite field K and consider a sequence of central simple F-algebras A_1,...,A_n. In this note we provide some results toward a classification of the indecomposable motives lying in the motivic decompositions of projective homogeneous varieties under the action of PGL(A_1)x...xPGL(A_n) with coefficients in K. We give a complete classification of those motives if n=1 and derive from it the motivic dichotomy of projective linear groups. We then provide several classification results as well as counterexamples for arbitrary n showing that the situation is less rigid. These re…
We show that the orthogonal spectral sequence introduced by the second author is strongly convergent in Voevodsky's triangulated category of motives DM over a field k. In the context of the Morel-Voevodsky motivic stable homotopy category we provide concrete examples where the spectral sequence is not strongly convergent, and give a criterion under which the strong convergence still holds. This criterion holds for Voevodsky's slices, and as a consequence we obtain a spectral sequence which converges strongly to the E1-term of Voevodsky's slice spectral sequence.
We show that the spectral sequence converging to the stable homotopy groups of spheres, induced by the Betti realization of the slice tower for the motivic sphere spectrum, agrees with the Adams-Novikov spectral sequence, after a suitable re-indexing. The proof relies on an extension of Deligne's décalage construction to the Tot-tower of a cosimplicial spectrum.
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 show that the slice filtration introduced by Voevodsky is compatible in a suitable sense with the symmetric monoidal structure in the category of motivic symmetric T-spectra constructed by Jardine. It follows from this compatibility that the zero slice of the sphere spectrum s_{0}(1) is a ring spectrum and that for every symmetric T-spectrum X, and every integer n; the n-slice s_{n}(X) is a module over s_{0}(1). In particular, if the base scheme is a field of characteristic zero, we have that all the slices s_{n}(X) are big motives in the sense of Voevodsky. We also get as a corollary that …
We apply the machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin-Graham) and an Atiyah-Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bl…
