Une cohomologie motivique est une théorie cohomologique en mathématiques dont l'existence a été conjecturée pour la première fois par Alexandre Grothendieck dans les années 1960. À l'époque, on la concevait comme construite sur les bases des sur les cycles algébriques, en géométrie algébrique. Elle puise ses fondements en théorie des catégories, ce qui permet de déduire des conséquences à partir de ces conjectures. Grothendieck et Bombieri ont démontré la profondeur de cette approche en dérivant une des conjectures de Weil de cette façon. Par contre, des preuves des conjectures standard n'ont pas été trouvées.
Progrès récents En appliquant des techniques de théorie de l'homotopie et de K-théorie à la géométrie algébrique, Vladimir Voïevodski a construit une cohomologie motivique doublement graduée H(X) pour les variétés algébriques. On ne sait pas si ces groupes s'annulent lorsque p est strictement négatif ; c'est la conjecture d'annulation. Autrement, cette théorie vérifie toutes les propriétés qui avaient été suggérées par Grothendieck. Voïevodski a obtenu deux constructions de la cohomologie motivique des variétés algébriques : (a) par le biais de la théorie de l'homotopie des variétés algébriques, sous la forme d'une catégorie à modèles fermée, (b) en passant par une catégorie triangulée DM de motifs.
Si la conjecture d'annulation est vraie, alors il existe une catégorie abélienne des motifs, et DM est sa catégorie dérivée.
Notes et références
Voir aussi
Articles connexes
Intégration motivique
Sources et bibliographie Steven L. Kleiman, « Motives », in Algebraic geometry, Oslo 1970, Wolters-Noordhoff, Groningen, 1972, p. 53-82. , Steven L. Kleiman et Jean-Pierre Serre, Motives, Proc. Symp. Pure Math. 55, 1994. Vladimir Voevodsky, Lectures in Motivic Cohomology, Notes par Carlo Mazza et , 2006.
Catégorie:Géométrie algébrique Catégorie:Théorie d'homologie Catégorie:Alexandre Grothendieck