Eine natürliche Homomorphismus von Gruppen algebraischer Zyklen (z. B. Chow-Gruppen CH^p(X)) zu einer gewählten Kohomologietheorie (singulär, de Rham, étale, Deligne usw.), der eine algebraische Untervarietät auf ihre Kohomologieklasse abbildet (z. B. CH^p(X) → H^{2p}(X, Z(p))).

Prinzip

Das Prinzip ist der formalisierte Übergang von geometrischen, algebraischen Untervarietäten zu topologischen bzw. kohomologischen Invarianten, indem man einem Zyklus seine Fundamental-/Kohomologieklasse in der gewählten Realisierung zuordnet und so Schnittinformation mit Kohomologiealgebra und Hodge-Struktur verbindet.

Demonstration

Die erste Chernklasse liefert die Zyklusklasse eines Divisors: Pic(X) → H^2(X, Z(1)) durch c_1 des zugehörigen Geradenbündels; ebenso definiert die Fundamental­klasse einer glatten abgeschlossenen Untervarietät ein Element der entsprechenden Kohomologiegruppe und realisiert so die Zyklusklassenabbildung konkret.

Fehlanwendung

Anzunehmen, die Zyklusklassenabbildung sei surjektiv (d. h. jede Kohomologieklasse stamme von einem algebraischen Zyklus) — die Umkehr ist genau Gegenstand der Hodge-/Standardvermutungen — oder eine Kohomologietheorie zu verwenden, die nicht zum geometrischen Kontext passt, ohne Tate-Twists oder Basiswechsel zu berücksichtigen.

Konsequenz

Die Abbildung erlaubt es, algebraische Zyklen mittels kohomologischer Methoden zu untersuchen, bringt Kompatibilitätsbedingungen (z. B. für Schnitte und Pushforwards) hervor und ist Teil der Grundlagen für Regulatoren und Vergleiche zwischen motivischen und klassischen Invarianten; Ausfälle der Surjektivität führen zu tiefen Vermutungen und zu Untersuchungen von Griffiths-Gruppen.

Umkehrung

Die konzeptuelle Umkehr ist das Problem, Kohomologieklassen zu algebraischen Zyklen zu heben (Hodge- und Tate-Vermutungen formulieren Bedingungen, unter denen solche Umkehrungen möglich sind); dies gilt in der Regel nicht ohne zusätzliche Hypothesen.

Abgrenzung

Hängt von der gewählten Kohomologietheorie und ihren Koeffizienten und Konventionen ab (Tate-Twists, integrale vs. rationale Koeffizienten usw.); die Abbildung ist für glatte, propre Varietäten am wohlgeregeltsten und muss für singuläre oder nicht-properte Schemata sowie in positiver Charakteristik angepasst werden.

Semantische Spannung

Es besteht Spannung zwischen dem zyklentheoretischen Blick (Chow-Gruppen, algebraische Äquivalenz) und dem kohomologischen Blick (Hodge-Strukturen, étale Kohomologie); der Ausdruck ‚Zyklusklasse‘ kann verschleiern, ob eine integrale, rationale, l‑adische, de Rham- oder Deligne-Realisation gemeint ist.

Synthese

Die Zyklusklassenabbildung sendet algebraische Zyklen an Kohomologieklassen in einer gewählten Realisierung und bildet damit eine Brücke, die geometrische Schnittdaten und Fragen der algebraischen Äquivalenz kohomologisch und in Hodge‑Begriffen zugänglich macht und gleichzeitig tiefe Obstruktionen und Vermutungen über die Algebraizität von Kohomologieklassen offenlegt.