# Motivic cohomology

Motivic cohomology

Motivic cohomology is a cohomological theory in mathematics, the existence of which was first conjectured by Alexander Grothendieck during the 1960s. At that time, it was conceived as a theory constructed on the basis of the so-called standard conjectures on algebraic cycles, in algebraic geometry. It had a basis in category theory for drawing consequences from those conjectures; Grothendieck and Enrico Bombieri showed the depth of this approach by deriving a conditional proof of the Weil conjectures by this route. The standard conjectures, however, resisted proof.

This left the motive (motif in French) theory as having heuristic status. Serre, for example, preferred to work more concretely with a compatible system of ℓ-adic representations, which at least conjecturally should be as good as having a motive, but instead listed the data obtainable from a motive by means of its 'realisations' in the étale cohomology theories with l-adic coefficients, as l varied over prime numbers. From the Grothendieck point of view, motives should further contain the information provided by algebraic de Rham cohomology, and crystalline cohomology. In some sense motivic cohomology would be the mother of all cohomology theories in algebraic geometry; the other cohomology theories would be specializations.

Grothendieck gave a solution for Weil cohomology theories over a field in 1967. This involved extending the category of smooth projective varieties to the category of Chow motives. This is an additive category, but not an abelian category unless one takes rational coefficients and passes to numerical equivalence. The study of motives for arbitrary varieties (mixed motives) began in the early 1970s with Deligne's notion of 1-motives. The hope is that there is something like an abelian category of mixed motives, containing all varieties over the field, and a universal cohomology theory on mixed motives in the sense of Homological Algebra. However, progress towards realizing this picture was slow; Deligne's absolute Hodge cycles provided one technical fix. Beilinson's absolute Hodge cohomology provided a universal cohomology theory with rational coefficients (and without any category of motives) using algebraic K-theory.

## Recent progress

In the mid-1990s, several people proposed candidates for the derived category of the conjectural category of motives. The most successful has been Vladimir Voevodsky's DM construction. By applying techniques from homotopy theory and K-theory to algebraic geometry, Voevodsky constructed a bigraded motivic cohomology theory

Hp,q(X)

for algebraic varieties. It is not known whether these groups vanish for negative p; this property is known as the vanishing conjecture. Otherwise, this theory is known to satisfy all of the properties suggested by Grothendieck. Voevodsky provided two constructions of motivic cohomology for algebraic varieties, via:

1. a homotopy theory for algebraic varieties, in the form of a model category, and
2. a triangulated category DM of motives.

If the vanishing conjecture holds, there is an abelian category of motives, and DM is its derived category.

## References

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Cohomology — In mathematics, specifically in algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a co chain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries.… …   Wikipedia

• Crystalline cohomology — In mathematics, crystalline cohomology is a Weil cohomology theory for schemes introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974). Its values are modules over rings of Witt vectors over the base… …   Wikipedia

• Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… …   Wikipedia

• Milnor conjecture — For Milnor s conjecture about the slice genus of torus knots, see Milnor conjecture (topology). In mathematics, the Milnor conjecture was a proposal by John Milnor (1970) of a description of the Milnor K theory (mod 2) of a general… …   Wikipedia

• Vladimir Voevodsky — ( ru. Владимир Воеводский) (born June 4, 1966) is a Russian mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002.BiographyVoevodsky attended… …   Wikipedia

• Alexander Beilinson — Alexander A. Beilinson is the David and Mary Winton Green University Professor at the University of Chicago and works on mathematics. His research has spanned representation theory, algebraic geometry and mathematical physics. WorkIn 1981… …   Wikipedia

• Andrei Alexandrowitsch Suslin — Andrei Alexandrowitsch Suslin, manchmal auch Souslin transkribiert, (russisch Андрей Александрович Суслин; * 27. Dezember 1950 in Leningrad) ist ein russischer Mathematiker, der sich mit algebraischer Geometrie und Algebra beschäftigt. Leben …   Deutsch Wikipedia

• Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… …   Wikipedia

• Andrei Suslin — (russisch Андрей Суслин; * 27. Dezember 1950 in St. Petersburg) ist ein russischer Mathematiker, der sich mit algebraischer Geometrie und Algebra beschäftigt. Suslin gewann 1967 den ersten Preis der Internationalen Mathematik Olympiade. Er… …   Deutsch Wikipedia

• Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …   Wikipedia