In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".
We give a presentation of the motivic cohomology ring of the complement of a hyperplane arrangement considered as algebra over the motivic cohomology of the ground field.
In this paper, we present a general approach to establish motivic cohomology and build part of its six operations formalism. Applying this together with symplectic orientation on MW-motivic cohomology, we discuss the embedding theorem of effective Chow-Witt motives.
In this paper we give a proof of the Bloch-Kato conjecture relating motivic cohomology and etale cohomology. It is a corrected version of the paper with the same title which posted earlier.
In this paper we construct an analog of Steenrod operations in motivic cohomology and prove their basic properties including the Cartan formula, the Adem relations and the realtions to characteristic classes.
We use an analogue of Karoubi's construction in the motivic situation to give some cohomology operations in motivic cohomology. We prove many properties of these operations, and we show that they coincide, up to some nonzero constants, with the reduced power operations in motivic cohomology originally constructed by Voevodsky. The relation of our construction to Voevodsky's is, roughly speaking, that of a fixed point set to its associated homotopy fixed point set.
This note addresses the motivic nature of some classical cohomological results due to Lefschetz, namely the primitive decomposition (for the cohomology of smooth projective varieties), and, secondly, the splitting of the cohomology of a complete intersection into the "fixed" and "variable part".
We explicitly calculate some Gromov--Witten correspondences determined by maps of labeled curves of genus zero to the moduli spaces of labeled curves of genus zero. We consider these calculations as the first step towards studying the self--referential nature of motivic quantum cohomology.
Let S be an essentially smooth scheme over a field of characteristic exponent c. Let MGL and HZ denote the algebraic cobordism spectrum and the motivic cohomology spectrum over S, respectively. We show that the canonical map MGL/(a1, a2, ...) -> HZ induced by the additive orientation of motivic cohomology becomes an equivalence after inverting c. As an application, we prove the convergence of the Atiyah-Hirzebruch spectral sequence for all Z[1/c]-local Landweber exact motivic spectra.
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 …
Combining work of Peyre, Colliot-Thélène and Voisin, we give the first example of a finite group $G$ such that the motivic class of its classifying stack $BG$ in Ekedahl's Grothendieck ring of stacks over $\mathbb{C}$ is non-trivial and $BG$ has trivial unramified Brauer group.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show …
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 study polynomials with complex coefficients which are nondegenerate in two senses, one of Kouchnirenko and the other with respect to its Newton polyhedron, through data on contact loci and motivic nearby cycles. Introducing an explicit description of these quantities we can answer in part to questions concerning the motivic nearby cycles of restriction functions and the integral identity conjecture in the context of Newton nondegenerate polynomials. Furthermore, in the nondegeneracy in the sense of Kouchnirenko, we give calculations on cohomology groups of the contact loci.
We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in the coefficient ring of the theory. The construction is parallel to the one given by A. Nenashev for derived Witt groups. Along the way we introduce cohomology groups twisted by a formal difference of vector bundles as cohomology groups of a certain Thom space and compute twisted cohomology groups of projective spaces.
In this paper, we show that the motive of the quaternionic Grassmannian $HP^n$ (as defined by I. Panin and C. Walter) splits in the category of effective MW-motives (as defined by B. Calmès, F. Déglise and J. Fasel). Moreover, we extend this result to an arbitrary symplectic bundle, obtaining the so-called quaternionic projective bundle theorem. Finally, we give the Gysin triangle in MW-motivic cohomology.
This note corrects a certain construction in (the old version of) the paper [GL]. The construction in question starts from a Brylinski-Deligne datum, which is an extension of a group G by K_2, and produces a factorization line bundle on the affine Grassmannian of the group G.
We study the appearances of $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ in the weight-graded compactly supported cohomology of moduli spaces of curves. As applications, we prove new nonvanishing results for the middle cohomology groups of $\mathcal{M}_9$ and $\mathcal{M}_{11}$ and give evidence to support the conjecture that the dimension fo $H^{2g + k}_c(\mathcal{M}_g)$ grows at least exponentially with $g$ for almost all $k$.
For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture on its homology generalizing the fundamental exact sequences for Brauer groups of global fields. We prove the conjecture over a finite field assuming resolution of singularities. Thanks to a recently established result on resolution of singularities for embedded surfaces, it implies the unconditional vanishing of the homology up to degree 4 for X projective …
For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth $G$-schemes and there is a natural transformation from this functor to the functor of equivariant motivic cohomology. We give several applications. In particular, we use this equivariant motivic cobordism to study the cobordism ring of the classifying spaces and the cycle class maps from the algebraic to the singular cohomology of such spaces. This theory of motivic…
We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic complexes and p-adic nearby cycles proved recently in Colmez-Niziol.
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 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.
We prove equivariant versions of the Beilinson-Lichtenbaum conjecture for Bredon motivic cohomology of smooth complex and real varieties with an action of the group of order two. This identifies equivariant motivic and topological invariants in a large range of degrees.
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 prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field
We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.
We show that Shipley's "detection functor" for symmetric spectra generalizes to motivic symmetric spectra. As an application, we construct motivic strict ring spectra representing morphic cohomology, semi-topological $K$-theory, and semi-topological cobordism for complex varieties. As a further application to semi-topological cobordism, we show that it is related to semi-topological $K$-theory via a Conner-Floyd type isomorphism and that after inverting a lift of the Friedlander-Mazur $s$-element in morphic cohomology, semi-topological cobordism becomes isomorphic to periodic complex cobordism…
We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it is given by the natural pairing of motivic homology and Arakelov motivic cohomology.
We prove that the projectors arising from the decomposition theorem applied to a projective map of quasi projective varieties are absolute Hodge, André motivated, Tate and Ogus classes. As a by-product, we introduce, in characteristic zero, the notions of algebraic de Rham intersection cohomology groups of a quasi projective variety and of intersection cohomology motive of a projective variety.
For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL.
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$.
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.
In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
We discuss duality pairings on integral étale motivic cohomology groups of regular and proper schemes over algebraically closed fields, local fields, finite fields, and arithmetic schemes.
The main result of this paper is a computation of the motivic cohomology of varieties of n \times m-matrices of of rank m, including both the ring structure and the action of the reduced power operations. The argument proceeds by a comparison of the general linear group-scheme with a Tate suspension of a space which is A1-equivalent to projective n - 1-space with a disjoint basepoint.
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…
We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on the category, that it detects nilpotence, and that its restriction to the subcategory of smooth schemes agrees with the pre-existing motivic cohomology theory, which is the higher Chow theory of S. Bloch (Adv. Math., 1986). A few structures and applications are discussed.
BY using Green-Griffiths' results on tangent spaces to algebraic cycles [4], we study the tangent space to $CH^{2}(X,1)$, where $X$ is a nonsingular projective curve over a field $k$ of characteristic $0$.
We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent varieties are the same, which implies that several conjectures of algebraic cycles are $K$-statements. We define stringy functions which enable us to ask stringy Grothendieck standard conjecture and stringy Hodge conjecture. We prove a projective bundle theorem in morphic cohomology for trivial bundles over any normal quasi-projective varieties.
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.