## [Aplicación Clase de Ciclos](/es/node/63756) Definición 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 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 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 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 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 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 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 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 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.