Un morphisme naturel des groupes de cycles algébriques (par ex. les groupes de Chow CH^p(X)) vers une théorie de cohomologie choisie (singulière, de Rham, étale, de Deligne, etc.), qui envoie une sous-variété algébrique sur sa classe en cohomologie (par ex. CH^p(X) → H^{2p}(X, Z(p))).

Principe

Le principe consiste à formaliser le passage des sous‑variétés algébriques géométriques aux invariants topologiques ou cohomologiques en associant à un cycle sa classe fondamentale/de cohomologie dans la réalisation choisie, liant ainsi l’information d’intersection à l’anneau de cohomologie et aux structures de Hodge.

Démonstration

La construction de la première classe de Chern fournit la classe de cycle d’un diviseur : Pic(X)→H^2(X, Z(1)) via c_1 du fibré en droites associé ; de même la classe fondamentale d’une sous‑variété lisse fermée définit un élément du groupe de cohomologie approprié, réalisant concrètement l’application classe de cycle.

Mauvaise application

Supposer que l’application classe de cycle est surjective (c’est‑à‑dire qu’une classe de cohomologie quelconque provient d’un cycle algébrique) — la réciproque est précisément l’objet des conjectures de Hodge/Tate — ou utiliser une théorie de cohomologie incompatible avec le contexte géométrique sans corriger les twists de Tate ou le changement de base.

Conséquence

Le morphisme permet d’étudier les cycles algébriques par des méthodes cohomologiques, impose des contraintes de compatibilité (ex. pour les intersections et les images directes) et entre dans la formulation des régulateurs et des comparaisons motiviques ; les défauts de surjectivité conduisent à des conjectures profondes et à l’étude de groupes de Griffiths.

Inversion

La réciproque conceptuelle est le problème de relever des classes de cohomologie en cycles algébriques (les conjectures de Hodge et de Tate portent sur l’existence de telles réversions) ; cet inverse n’a généralement pas lieu sans hypothèses supplémentaires et constitue une direction ouverte majeure en géométrie algébrique.

Limite

Dépend de la théorie de cohomologie choisie et de ses coefficients et conventions (twists de Tate, coefficients entiers vs rationnels, etc.) ; la carte est la mieux contrôlée pour des variétés lisses et propres et peut nécessiter des modifications pour des schémas singuliers ou non propres, ainsi qu’en caractéristique positive.

Tension sémantique

Il existe une tension entre les points de vue cycliques (groupes de Chow, équivalence algébrique) et cohomologiques (structures de Hodge, cohomologie étale) ; le terme « classe de cycle » peut masquer s’il s’agit d’une réalisation entière, rationnelle, l‑adique, de Rham ou de Deligne, générant de l’ambiguïté.

Synthèse

L’application classe de cycle envoie des cycles algébriques vers des classes de cohomologie dans une réalisation choisie, établissant un pont qui permet d’analyser les données d’intersection et les questions d’équivalence algébrique par des méthodes cohomologiques et de Hodge, tout en mettant en lumière des obstructions profondes et des conjectures sur l’algébricité des classes de cohomologie.