Un objeto abstracto (a menudo con conjeturas pendientes) pensado como recipiente universal de la información cohomológica de variedades algebraicas, construido a partir de ciclos algebraicos y correspondencias de modo que diversas teorías de cohomología surjan como realizaciones de motivos.

Principio

Los motivos organizan las teorías de cohomología mediante realizaciones funtoriales: se espera una categoría de motivos con estructura tensorial y realizaciones (Betti, de Rham, l‑ádica) que factorizan a través de ella; las relaciones de equivalencia en ciclos (numérica, homológica, racional) determinan distintas construcciones y propiedades conjeturales.

Demostración

El motivo puro de una variedad proyectiva suave se formaliza mediante correspondencias idempotentes en la categoría de correspondencias; por ejemplo, el motivo de una curva se descompone en el motivo de Tate y la parte jacobiana, cuyas realizaciones recuperan H^1 y factores de series L.

Aplicación incorrecta

Tratar los motivos como espacios vectoriales concretos y completamente calculables, suponer que la categoría abeliana de motivos mixtos está totalmente construida, o ignorar la dependencia respecto de la relación de equivalencia elegida sobre los ciclos.

Consecuencia

La filosofía de los motivos predice relaciones profundas entre funciones L, grupos de cohomología, ciclos algebraicos y periodos, sugiere descomposiciones y conjeturas estándar, y ofrece un lenguaje unificador entre aritmética y geometría.

Inversión

Renunciar a los motivos obliga a trabajar por separado con cada teoría de cohomología y se pierden intuiciones proporcionadas por comparaciones y origen común; invertir el orden (cohomología primero, motivos después) oscurece propiedades categóricas universales.

Límite

Muchos aspectos son conjeturales: existencia de categorías abelianas de motivos mixtos, conjeturas estándar y ciertas descomposiciones funtoriales; las construcciones dependen de la relación de equivalencia elegida (numérica vs homológica) y de la separación entre motivos puros y mixtos.

Tensión semántica

Existe tensión entre las realizaciones concretas y calculables (Betti, de Rham, l‑ádica) y el motivo abstracto; entre operaciones sobre ciclos y propiedades categóricas esperadas; y entre la unidad conjetural y las construcciones parciales disponibles.

Síntesis

Un motivo es la pieza universal hipotética de la cohomología de una variedad algebraica, ensamblada a partir de ciclos algebraicos y correspondencias de modo que las teorías de cohomología conocidas aparezcan como realizaciones, proporcionando un marco unificador que explica paralelismos entre aritmética y geometría.