nLab motivic cohomology

Redirected from "motivic complexes".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Motivic cohomology

Contents

Idea

Motivic cohomology is a cohomology theory for schemes which in many ways plays the rôle of singular cohomology in algebraic geometry. It was first conjectured to exist by Alexander Beilinson and Stephen Lichtenbaum in the mid 1980s, and it was then defined by Vladimir Voevodsky in the mid 1990s.

Motivic cohomology must not be confused with the hypothetical “universal” cohomology theory envisioned by Alexander Grothendieck in the 1960s as the underlying reason for the standard conjectures on algebraic cycles. The former is an absolute cohomology theory with values in abelian groups, while the latter is a geometric cohomology theory with values in the still conjectural abelian category of mixed motives. They are related in that motivic cohomology with rational coefficents should appear as particular Ext-groups in the category of motives, an idea which can now be made precise using the various existing constructions of the derived category of motives.

The motivic cohomology groups of a scheme XX form a bigraded family of abelian groups H p,q(X,)H^{p,q}(X,\mathbb{Z}). Several competing definitions of these groups exist but they are known to all agree when XX is smooth over a field. With rational coefficients, the motivic cohomology groups of XX are the associated graded of the γ\gamma-filtration on the rational algebraic K-theory groups of XX (at least if XX is regular). With coefficients in /p\mathbb{Z}/p, they are closely related to the étale cohomology of XX with coefficients in the sheaf μ p\mu_p of ppth roots of unity (if pp is invertible on XX) and to the logarithmic de Rham-Witt cohomology of XX (if pp equals the characteristic of XX).

The motivic cohomology of a sufficiently nice scheme XX is also related to the algebraic K-theory of XX via the motivic spectral sequence

H *,*(X,)K *(X). H^{*,*}(X,\mathbb{Z}) \Rightarrow K_*(X).

which degenerates rationally. The search for this spectral sequence was one of the motivating factor in the development of motivic cohomology. More generally, spectral sequences whose first page consists of motivic cohomology groups exist for any cohomology theory represented by a motivic spectrum; they are analogous to the Atiyah-Hirzebruch spectral sequences in topology.

Definitions

We give three definitions of motivic cohomology with integral coefficients, in historical order: the first, due to Bloch and later generalized by Levine, only works for smooth schemes over Dedekind domains. The other two, due to Voevodsky, work for arbitrary schemes. All definitions are known to agree for smooth schemes over fields, but the equivalence of any pair of them is an open question for more general schemes. It is generally accepted that the Bloch–Levine definition produces the desired motivic cohomology groups as far as it applies, but there is no consensus beyond that.

Note that in each definition motivic cohomology is absolute: the groups H p,q(X,)H^{p,q}(X,\mathbb{Z}) depend only of the scheme XX and not on any base scheme.

As Bloch’s higher Chow groups

The first and most elementary definition of motivic cohomology groups was Bloch’s definition of higher Chow groups (Bloch), although they were only recognized as such later by Voevodsky.

Let XX be a smooth scheme over a field kk. The group z *(X)z^*(X) of algebraic cycles on XX is the free abelian group generated by the irreducible closed subschemes of XX, graded by codimension.

The algebraic nn-simplex Δ n\Delta^n is the kk-scheme

Δ n=Spec(k[t 0,,t n]/( it i1)).\Delta^n = Spec(k[t_0, \dots, t_n]/(\sum_i t_i - 1)).

Note that Δ n\Delta^n is isomorphic to affine nn-space 𝔸 n\mathbb{A}^n. There are obvious coface and codegeneracy maps that turn Δ \Delta^\bullet into a cosimplicial kk-scheme. The graded simplicial abelian group z *(X,)z^*(X,\bullet) is the subgroup of z *(X×Δ )z^*(X\times\Delta^\bullet) generated in simplicial degree nn by the cycles which intersect all faces X×Δ mX×Δ nX\times\Delta^m \subset X\times\Delta^n properly. One then defines the higher Chow groups CH *(X,n)CH^*(X,n) by

CH *(X,n)=π n(z *(X,)). CH^*(X,n) = \pi_n(z^*(X, \bullet)).

The groups CH *(X,0)CH^*(X,0) are the ordinary Chow groups of algebraic cycles modulo rational equivalence.

Voevodsky proved that these groups agree with his definition of motivic cohomology under the re-indexing

H p,q(X,)=CH q(X,2qp). H^{p,q}(X,\mathbb{Z}) = CH^{q}(X,2q-p) .

Levine extended Bloch’s definition to smooth schemes over Dedekind domains in such a way that motivic cohomology supported at a prime fits in the expected long exact sequence (Levine).

References

  • Spencer Bloch, Algebraic Cycles and Higher KK-Theory, Adv. Math. 61 (1986), pp. 267–304
  • Marc Levine, Techniques of localization in the theory of algebraic cycles, J. Algebraic Geom. 10 (2001), pp. 299–363, pdf

As Zariski cohomology of certain complexes of sheaves

In the mid 1990s Vladimir Voevodsky gave the first “official” definition of the motivic cohomology of a scheme XX as the hypercohomology of certain complexes of sheaves (q)\mathbb{Z}(q) on the Zariski site of XX (an analog of the category of open subsets of a topological space). The complexes (q)\mathbb{Z}(q), q0q\geq 0, are called the motivic complexes; the existence of such complexes was predicted as part of the so-called Beilinson dream.

Definition

The motivic cohomology of a scheme XX is the hypercohomology of the complexes of sheaves (q)\mathbb{Z}(q) on the Zariski site:

H p,q(X,):=H Zar p(X,(q)) H^{p,q}(X,\mathbb{Z}) := H^p_{Zar}(X,\mathbb{Z}(q))

This is MaVoWe, Definition 3.4.

Voevodsky’s definition, for smooth schemes over fields, has been shown to have most properties that Beilinson and Lichtenbaum had demanded of the hypothetical cohomology theory, except that to date it hasn’t been shown that the cohomology groups vanish in negative degree, as they should. This open question is known as the Beilinson vanishing conjecture.

As hom-sets in the derived category of motives

Voevodsky also gave an accompanying definition of an integral version of the derived category of the hypothetical category of mixed motives (see there for the definition) and showed that the motivic cohomology appears as derived hom-complexes in this derived category (see MaVoWe, rop. 14.16 for a precise statement).

References

As cohomology with coefficients in Eilenberg-Mac Lane objects

From the point of view of the motivic homotopy theory of Morel and Voevodsky, one would like the motivic cohomology of XX to be representable in the stable motivic homotopy category SH(X)SH(X) over XX. Voevodsky gave a definition of motivic cohomology in this setting as the bigraded cohomology theory represented by the motivic Eilenberg–Mac Lane spectrum H()SH(X)H(\mathbb{Z})\in SH(X).

The motivic spectrum H()H(\mathbb{Z}) is built out of motivic Eilenberg–Mac Lane spaces K((n),2n)K(\mathbb{Z}(n),2n). Below we only discuss the definition of these spaces over a field kk. The definition in general is essentially the same, but it relies on the notion of finite correspondence over more general bases which is technical.

To define motivic Eilenberg-Mac Lane spaces, a first guess might be to apply the general definition of an Eilenberg-Mac Lane object in the Nisnevich (∞,1)-topos and then take its 𝔸 1\mathbb{A}^1-localization. While this is an interesting construction, these spaces can only be assembled into an S 1S^1-spectrum and we want a 1\mathbb{P}^1-spectrum. This is not easy: Voevodsky states in his ICM-talk article (on p. 596) that every morphism 1K(,n)K(,n+1)\mathbb{P}^1 \wedge K(\mathbb{Z},n) \rightarrow K(\mathbb{Z},n+1) is trivial in the 𝔸 1\mathbb{A}^1-homotopy category.

Instead one applies a recipe which, when applied to the usual topological spheres produces the (topological) Eilenberg-Mac Lane spaces, to the algebro-geometric sphere 1\mathbb{P}^1:

The Dold-Thom theorem says that in topology the reduced singular homology of a space XX can be produced as

H i(X)=π i(colim NSym NX) +H_i(X) = \pi_i (\mathrm{colim}_N\, \mathrm{Sym}^N X)^+

where Sym NX=(X×X×...×X)/Σ N\mathrm{Sym}^N X = (X\times X\times ...\times X)/\Sigma_N is the free strictly commutative monoid on XX and () +(-)^+ denotes group completion. Inserting the topological n-sphere S nS^n yields that (Sym NX) +(\mathrm{Sym}^N X)^+ is an Eilenberg-Mac Lane space.

The symmetric powers Sym N\mathrm{Sym}^N also make sense for quasi-projective kk-schemes, and they can be formally extended to pointed presheaves on such schemes. If XX is a pointed presheaf, we have maps Sym N(X)Sym N+1(X)\mathrm{Sym}^N (X) \rightarrow \mathrm{Sym}^{N+1} (X) (lengthening an NN-letter word by one, attaching the base point) and the colimit over these maps, followed by group completion, gives a functor L():=(Sym ()) +L(-):=(\mathrm{Sym}^{\infty} (-))^+. Over a field of characteristic zero, one defines the motivic Eilenberg-Mac Lane spaces by

K((n),2n):=L(( 1) n).K(\mathbb{Z}(n),2n):=L((\mathbb{P}^1)^{\wedge n}).

These assemble to give the motivic Eilenberg-Mac Lane spectrum H():=(,K((1),2),K((2),4),)H(\mathbb{Z}):=(\mathbb{Z},K(\mathbb{Z}(1),2),K(\mathbb{Z}(2),4),\ldots) with bonding maps induced by 1Sym N( 1 m)Sym N( 1 m+1),(x,x i)(x,x i)\mathbb{P}^1 \wedge \mathrm{Sym}^N ({\mathbb{P}^1}^{\wedge m}) \rightarrow \mathrm{Sym}^N ({\mathbb{P}^1}^{\wedge m+1}), (x, \sum x_i) \mapsto \sum (x,x_i) (i.e. take the extra 1\mathbb{P}^1-point as new coordinate in the bigger \wedge-product of 1\mathbb{P}^1s).

This definition does not quite work over fields of positive characteristic. In general one has to take cycles as described by Denis-Charles Cisinski below. Intuitively the points of (Sym (X)) +(\mathrm{Sym}^{\infty} (X))^+ are finite formal sums of points of X, i.e. zero-cycles, which links this story to the functor LL described below. In characteristic zero both coincide. The link to higher Chow groups however only becomes apparent in the cycle description.

the following paragraphs are due to Denis-Charles Cisinski, taken from this MathOverflow thread.

To keep things simple, let us assume we work over a perfect field kk. The easiest part of motivic cohomology which we can get is the Picard group (i.e. the Chow group in degree 1). This works essentially like in Top: in the (model) category of simplicial Nisnevich sheaves (over smooth kk-schemes), the classifying space of the multiplicative group 𝔾 m:=𝔸 1{0}\mathbb{G}_m := \mathbb{A}^1 - \{0\} has the 𝔸 1\mathbb{A}^1-homotopy type of the infinite dimensional projective space.

Moreover, as the Picard group is homotopy invariant for regular schemes (semi-normal is even enough), the fact that H 1(X,𝔾 m)=Pic(X)H^1(X,\mathbb{G}_m) = Pic(X) reads as

[X,B𝔾 m]=Pic(X)=CH 1(X) [X,\mathbf{B} \mathbb{G}_m] = Pic(X) = CH^1(X) \,

where [,][-,-] are the hom-sets in the motivic homotopy category H(k)\mathrm{H}(k).

In general, we denote by K((n),2n)K(\mathbb{Z}(n),2n) the nn-th motivic Eilenberg-Mac Lane object, i.e. the object of H(k)\mathrm{H}(k) which represents the nn-th Chow group: for any smooth kk-scheme XX, one has

[Σ iX,K((n),2n)]=H 2ni(X,(n)). [\Sigma^i X , K(\mathbb{Z}(n), 2n)] = H^{2n -i}(X, \mathbb{Z}(n)) \,.

There are several models for K((n),2n)K(\mathbb{Z}(n),2n), one of the smallest being constructed as follows. What is explained above is that K((1),2)K(\mathbb{Z}(1),2) is the infinite projective space. K((0),0)K(\mathbb{Z}(0),0) is simply the constant sheaf. For higher nn, here is the following construction due to Voevodsky.

Given a kk-scheme XX, denote by L(X)L(X) the presheaf with transfers associated to XX, that is the presheaf of abellian groups whose sections over a smooth kk-scheme VV are the finite correspondences from VV to XX (i.e. the finite linear combinations of cycles n iZ i\sum n_i Z_i in V×XV \times X such that Z iZ_i is finite and surjective over VV). This is a presheaf, where the pullbacks are defined using the pullbacks of cycles (the condition that the Z iZ_i; are finite and surjective over a smooth (hence normal) scheme VV makes that this is well defined without working up to rational equivalences, and as we consider only pullbacks along maps UVU \to V with UU and VV smooth (hence regular) ensures that the multiplicities which will appear from these pullbacks will always be integers). The presheaf L(X)L(X) is a sheaf for the Nisnevich topology. This construction is functorial in XX (we will need this functoriality only for closed immersions).

Let XX (resp. YY) be the cartesian product of nn (resp. n1n-1) copies of the projective line. The point at infinity gives a family of nn maps u i:YXu_i : Y \to X. Then a model of the Eilenberg-Mac Lane object K((n),2n)K(\mathbb{Z}(n), 2n) is the sheaf of sets obtained as the quotient (in the category of Nisnevich sheaves of abelian groups) of L(X)L(X) by the subsheaf generated by the images of the maps L(u i):L(Y)L(X)L(u_i) : L(Y) \to L(X).

References

The original definition of motivic Eilenberg–Mac Lane spaces and spectra is in

  • Vladimir Voevodsky, A 1A^1-homotopy Theory, Documenta Mathematica, Extra Volume ICM 1998, I, 579-604 ps

More details are in §4 of

Applications

Motivic cohomology is used to construct examples of Euler systems, which in turn have applications to special values of L-functions. See also chapter 3 of #LoefflerZerbes18.

References

A discussion of an equivariant version of motivic cohomology is in

  • Ben Williams, Equivariant Motivic Cohomology (pdf)

For a discussion of the relation betwen motives and motivic cohomology, see for instance section 0.1.8 of

The application of motivic cohomology to constructing Euler systems is discussed in chapter 3 of

  • David Loeffler and Sarah Zerbes, Euler Systems, Arizona Winter School 2018 Notes (pdf)

On (stable) motivic Cohomotopy of schemes (as motivic homotopy classes of maps into motivic Tate spheres):

Last revised on January 4, 2024 at 06:57:55. See the history of this page for a list of all contributions to it.