Eine konjekturale (teilweise konstruierte) bigradierte Familie abelscher Gruppen H^{p,q}_mot(X), zugeordnet an algebraische Varietäten X, die algebraische Zyklen, Regulatoren und die graduierenden Stücke der algebraischen K-Theorie erfassen soll; in konkreten Fällen realisiert durch Blochs höhere Chow-Gruppen oder Voevodskys motivische Komplexe.

Prinzip

Motivische Kohomologie soll die universelle Kohomologietheorie für reine Motive sein: Sie kodiert Zyklen und Relationen, fügt sich in lange exakte Folgen ein und hat Abbildungen zu anderen Kohomologien (étalé, de Rham, Betti) via Regulator- und Zyklenklassenabbildungen, die Funktorialität und Kompatibilität mit Gewichtfiltrationen erfüllen.

Demonstration

Für ein glattes Schema X liefern Blochs höhere Chow-Gruppen CH^{q}(X,2q-p) in vielen Fällen konkrete Modelle für H^{p,q}_mot(X); diese Gruppen hängen mit den graduellen Stücken der K-Theorie zusammen und realisieren erwartete Regulatorabbildungen in Deligne- oder l-adische Kohomologie.

Fehlanwendung

Motivische Kohomologie als in allen Fällen vollständig konstruiert und berechenbar zu behandeln oder motivische Kohomologiegruppen mit gewöhnlicher Kohomologie zu verwechseln, ohne auf Bidegrad und zyklentheoretische Herkunft zu achten.

Konsequenz

Eine vollständige Theorie der motivischen Kohomologie würde algebraische Zyklen, spezielle Werte von L-Funktionen über Regulatoren vereinigen und die graduellen Stücke der K-Theorie liefern, wodurch sie eine universelle Quelle für Vergleichsabbildungen und vorhergesagte exakte Folgen in der Motivtheorie wäre.

Umkehrung

Klassische Kohomologietheorien (singulär, de Rham, étalé) berechnen analytische oder arithmetische Invarianten, kodieren jedoch nicht unmittelbar die universelle zyklentheoretische Information, die von motivischer Kohomologie erwartet wird; motivische Theorien sollen darüber stehen und auf diese klassischen Theorien abbilden.

Abgrenzung

Teilweise konstruiert: Konkrete Realisierungen existieren (höhere Chow-Gruppen, motivische Komplexe) in vielen Fällen, aber vollständige Funktorialität, Integrität und die Beziehung zu gemischten Motiven sind allgemein unvollständig; Anwendung vornehmlich auf Schemata endlichen Typs über sinnvollen Basen.

Semantische Spannung

Motivische Kohomologie versus höhere Chow-Gruppen oder K-Theorie: Höhere Chow-Gruppen bieten Modelle, erklären jedoch nicht vollständig die motivische Idee; Spannung zwischen konkreten zyklentheoretischen Definitionen und abstrakten motivischen oder homotopietheoretischen Formulierungen.

Synthese

Motivische Kohomologie ist die vorgesehene universelle bigradierte Kohomologie zur Messung algebraischer Zyklen und ihrer Relationen, teilweise realisiert durch höhere Chow-Gruppen und motivische Komplexe, und dient als Quelle für Regulatoren, die Zyklen mit klassischen Kohomologien und der K-Theorie verknüpfen.