Una familia bigrada conjectural (parcialmente construida) de grupos abelianos H^{p,q}_mot(X) asociados a variedades algebraicas X, destinada a capturar ciclos algebraicos, reguladores y los trozos graduados de la K-teoría algebraica; en contextos concretos realizada por grupos de Chow superiores o complejos motivicos de Voevodsky.

Principio

La cohomología motivica debería ser la teoría de cohomología universal para motivos puros: codifica ciclos y relaciones, encaja en sucesiones exactas largas y tiene aplicaciones hacia otras cohomologías (étale, de Rham, Betti) mediante mapas reguladores y de clase de ciclo compatibles con la fonctorialidad y las filtraciones por peso.

Demostración

Para un esquema liso X, los grupos de Chow superiores de Bloch CH^{q}(X,2q-p) proporcionan modelos concretos para H^{p,q}_mot(X) en muchos casos; estos grupos se relacionan con los trozos graduados de la K-teoría y realizan los mapas reguladores esperados hacia la cohomología de Deligne o l-ádica.

Aplicación incorrecta

Tratar la cohomología motivica como completamente construida y calculable en todos los casos o confundir los grupos de cohomología motivica con cohomología ordinaria sin atender a su bi-grado y origen ciclo-teórico.

Consecuencia

Una teoría correcta de la cohomología motivica unificaría ciclos algebraicos, valores especiales de funciones L mediante reguladores y los trozos graduados de la K-teoría, proporcionando una fuente universal para mapas de comparación y sucesiones exactas predichas en la teoría de motivos.

Inversión

Las cohomologías clásicas (singular, de Rham, étale) calculan invariantes analíticos o aritméticos pero no codifican directamente la información universal sobre ciclos que se espera de la cohomología motivica; los motivos aspiran a situarse por encima y mapear a estas teorías clásicas.

Límite

Parcialmente construida: existen realizaciones concretas (grupos de Chow superiores, complejos motivicos) en muchos entornos, pero la fonctorialidad completa, la integridad y la relación con motivos mixtos son incompletas en general; su aplicabilidad es principalmente a esquemas de tipo finito sobre bases razonables.

Tensión semántica

Cohomología motivica frente a grupos de Chow superiores o K-teoría: los grupos de Chow superiores ofrecen modelos pero no agotan la explicación motivica conceptual; existe tensión entre definiciones concretas ciclo-teóricas y formulaciones abstractas motivicas u homotópicas.

Síntesis

La cohomología motivica es la cohomología bi-grada universal prevista para medir ciclos algebraicos y sus relaciones, parcialmente realizada por grupos de Chow superiores y complejos motivicos, sirviendo de dominio para reguladores que enlazan ciclos con cohomologías clásicas y la K-teoría.