Eine Abbildung, die algebraische Zyklusk Klassen, die homologisch trivial sind, auf Punkte eines analytischen komplexen Torus (eines intermediären Jakobischs oder Jakobischs) abbildet; konstruiert durch Integration geeigneter Differentialformen entlang von Ketten, die den Zyklus begrenzen. Für Kurven sendet sie Divisoren vom Grad null in den Jakobischer mittels Integration holomorpher Differentiale.

Prinzip

Sie übersetzt algebro-geometrische Daten (homologisch triviale Zyklen) in transzendente Invarianten, indem Zyklen mit Differentialformen gepaart und modulo Perioden quotiert werden, wodurch feinere Informationen entstehen als durch Cohomologieklassen allein; so entstehen normale Funktionen bzw. Punkte in komplexen Toren.

Demonstration

Klassisch: Für eine glatte projektive Kurve X sei D ein Divisor vom Grad null; wähle eine 1-Kette γ mit ∂γ = D und bilde die Klasse [∫_γ ω] in H^0(X, Ω)^*/H_1(X, Z) — das ist der Jakobischer. In höheren Kodimensionen sendet Griffiths’ Abel–Jacobi homologisch triviale Zyklen in CH^p(X)_{hom} auf den intermediären Jakobischer J^{2p-1}(X).

Fehlanwendung

Anzunehmen, die Abel–Jacobi-Abbildung sei überall algebraisch, injektiv oder integral definiert; sie mit der einfachen Abel-Abbildung für effektive Divisoren zu verwechseln; oder sie für nicht homologisch triviale Zyklen anzuwenden, womit die Konstruktion nicht wohldefiniert wäre.

Konsequenz

Die Abel–Jacobi-Abbildung liefert transzendente Obstruktionen für Algebraizität (Griffiths-Gruppen), verbindet Zyklustheorie mit Hodge-Theorie und Periodenintegralen und bildet die Grundlage für normale Funktionen sowie Verbindungen zu Regulatoren und speziellen Werten von L-Funktionen.

Umkehrung

Die Gegenrichtung ist die Zyklusklassenabbildung, die Zyklen zu Kohomologieklassen (algebraisch → topologisch) schickt; das inverse Problem — algebraische Zyklen aus Punkten des intermediären Jakobisch zu konstruieren — ist Inhalt tiefer Vermutungen (Hodge-Typ) und gilt im Allgemeinen nicht ohne weitere Bedingungen.

Abgrenzung

Definiert primär für homologisch triviale Zyklen und in Kontexten mit Hodge- oder komplex-analytischer Realisierung; über allgemeine Körper muss das Ziel durch geeignete l-adische, p-adische oder motivische Realisierungen ersetzt werden, und die analytische Integrationsbeschreibung fehlt.

Semantische Spannung

Spannungen entstehen zwischen der transzendenten Natur der Abel–Jacobi-Konstruktion und rein algebraischen Invarianten wie der Zyklusklassenabbildung oder der algebraischen Äquivalenz; Abel–Jacobi detektiert feiner als Kohomologie, ist jedoch nicht rein algebraisch, was zu Interpretationskonflikten führt.

Synthese

Die Abel–Jacobi-Abbildung ordnet einem homologisch trivialen algebraischen Zyklus einen Punkt in einem analytischen komplexen Torus zu, indem Differentialformen entlang begrenzender Ketten integriert werden; so wird feine informationale Algebraizitätsobstruktion in Hodge-Perioden umgewandelt.