Un homomorfismo natural desde grupos de ciclos algebraicos (por ejemplo los grupos de Chow CH^p(X)) a una teoría de cohomología elegida (singular, de Rham, étale, de Deligne, etc.), que envía una subvariedad algebraica a su clase de cohomología (por ejemplo CH^p(X) → H^{2p}(X, Z(p))).

Principio

El principio formaliza el paso de subvariedades geométricas algebraicas a invariantes topológicos o cohomológicos asociando a un ciclo su clase fundamental/en cohomología en la realización elegida, conectando así la información de intersección con el anillo de cohomología y las estructuras de Hodge.

Demostración

La primera clase de Chern da la clase de ciclo de un divisor: Pic(X)→H^2(X, Z(1)) mediante c_1 del fibrado en línea asociado; de modo análogo, la clase fundamental de una subvariedad cerrada suave define un elemento en la cohomología correspondiente, realizando concretamente el mapa de clase de ciclo.

Aplicación incorrecta

Suponer que el mapa de clase de ciclo es suprayectivo (es decir, que toda clase de cohomología proviene de un ciclo algebraico): la recíproca es exactamente el contenido de las conjeturas de Hodge/Tate; o usar una teoría de cohomología incompatible con el contexto geométrico sin ajustar twists de Tate o cambio de base.

Consecuencia

El mapa permite estudiar ciclos algebraicos mediante técnicas cohomológicas, impone compatibilidades (p. ej. para intersecciones e imágenes directas) y forma parte de la entrada para reguladores y comparaciones entre invariantes motivicos y clásicos; fallos de suprayectividad conducen a conjeturas profundas y al estudio de grupos de Griffiths.

Inversión

La inversión conceptual es el problema de elevar clases de cohomología a ciclos algebraicos (las conjeturas de Hodge y Tate tratan cuándo existen tales inversiones); esta inversión rara vez se cumple sin hipótesis adicionales.

Límite

Depende de la teoría de cohomología elegida y de sus coeficientes y convenciones (twists de Tate, coeficientes enteros vs racionales, etc.); el mapa se comporta mejor para variedades suaves y propias y puede requerir modificaciones para esquemas singulares o no propios y en característica positiva.

Tensión semántica

Existe tensión entre la perspectiva de ciclos (grupos de Chow, equivalencia algebraica) y la perspectiva cohomológica (estructuras de Hodge, cohomología étale); el término «clase de ciclo» puede ocultar si se refiere a una realización integral, racional, l‑ádica, de Rham o de Deligne, creando ambigüedad.

Síntesis

El mapa de clase de ciclo envía ciclos algebraicos a clases de cohomología en una realización elegida, estableciendo un puente que permite analizar datos de intersección y cuestiones de equivalencia algebraica mediante métodos cohomológicos y de Hodge, al tiempo que pone de manifiesto obstrucciones profundas y conjeturas sobre cuándo la cohomología es algebraica.