In algebraic geometry, motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology.
Motivic homology and cohomology Let X be a scheme of finite type over a field k. A key goal of algebraic geometry is to compute the Chow groups of X, because they give strong information about all subvarieties of X. The Chow groups of X have some of the formal properties of Borel–Moore homology in topology, but some things are missing. For example, for a closed subscheme Z of X, there is an exact sequence of Chow groups, the localization sequence
C H i ( Z ) → C H i ( X ) → C H i ( X − Z ) → 0 , {\displaystyle CH_{i}(Z)\to CH_{i}(X)\to CH_{i}(X-Z)\to 0,}
whereas in topology this would be part of a long exact sequence. This problem was resolved by generalizing Chow groups to a bigraded family of groups, (Borel–Moore) motivic homology groups (which were first called higher Chow groups by Bloch). Namely, for every scheme X of finite type over a field k and integers i and j, we have an abelian group H i ( X , Z ( j ) ) {\displaystyle H_{i}(X,\mathbb {Z} (j))} , with the usual Chow group being the special case
C H i ( X ) ≅ H 2 i ( X , Z ( i ) ) . {\displaystyle CH_{i}(X)\cong H_{2i}(X,\mathbb {Z} (i)).}
For a closed subscheme Z of a scheme X, there is a long exact localization sequence for motivic homology groups, ending with the localization sequence for Chow groups:
⋯ → H 2 i + 1 ( X − Z , Z ( i ) ) → H 2 i ( Z , Z ( i ) ) → H 2 i ( X , Z ( i ) ) → H 2 i ( X − Z , Z ( i ) ) → 0. {\displaystyle \cdots \to H_{2i+1}(X-Z,\mathbb {Z} (i))\to H_{2i}(Z,\mathbb {Z} (i))\to H_{2i}(X,\mathbb {Z} (i))\to H_{2i}(X-Z,\mathbb {Z} (i))\to 0.}
In fact, this is one of a family of four theories constructed by Voevodsky: motivic cohomology, motivic cohomology with compact support, Borel-Moore motivic homology (as above), and motivic homology with compact support. These theories have many of the formal properties of the corresponding theories in topology. For example, the motivic cohomology groups H i ( X , Z ( j ) ) {\displaystyle H^{i}(X,\mathbb {Z} (j))} form a bigraded ring for every scheme X of finite type over a field. When X is smooth of dimension n over k, there is a Poincaré duality isomorphism
H i ( X , Z ( j ) ) ≅ H 2 n − i ( X , Z ( n − j ) ) . {\displaystyle H^{i}(X,\mathbb {Z} (j))\cong H_{2n-i}(X,\mathbb {Z} (n-j)).}
In particular, the Chow group CHi(X) of codimension-i cycles is isomorphic to H 2 i ( X , Z ( i ) ) {\displaystyle H^{2i}(X,\mathbb {Z} (i))} when X is smooth over k. The motivic cohomology H i ( X , Z ( j ) ) {\displaystyle H^{i}(X,\mathbb {Z} (j))} of a smooth scheme X over k is the cohomology of X in the Zariski topology with coefficients in a certain complex of sheaves Z(j) on X (some properties are easier to prove using the Nisnevich topology, but this gives the same motivic cohomology groups). For example, Z(j) is zero for j < 0, Z(0) is the constant sheaf Z, and Z(1) is isomorphic in the derived category of X to Gm[−1]. Here Gm (the multiplicative group) denotes the sheaf of invertible regular functions, and the shift [−1] means that this sheaf is viewed as a complex in degree 1. The four versions of motivic homology and cohomology can be defined with coefficients in any abelian group. The theories with different coefficients are related by the universal coefficient theorem, as in topology.
Relations to other cohomology theories
Relation to K-theory By Bloch, Lichtenbaum, Friedlander, Suslin, and Levine, there is a spectral sequence from motivic cohomology to algebraic K-theory for every smooth scheme X over a field, analogous to the Atiyah-Hirzebruch spectral sequence in topology:
… excerpt ends here. Continue reading the full article.
