Ein derivierter Funktor Rψ (nahe Zyklen), der einem Garben auf dem Totalraum einer Familie die Grenze seiner Kohomologie auf nahegelegenen Fasern beim Annähern an eine spezielle oder singuläre Faser zuordnet; er zeichnet auf, wie sich kohomologische Invarianten spezialisieren, und trägt eine Wirkung der lokalen Monodromie.

Prinzip

Durch Untersuchung der Einschränkung eines Garbens auf punktierte Umgebungen der Spezialfaser und die Bildung des geeigneten derivierten Limes erfassen nahe Zyklen das limitierende lokale System und den Monodromieoperator; sie formalisieren Spezialisationsphänomene in Familien von Varietäten oder analytischen Räumen.

Demonstration

Für eine Familie f: X → Δ über einer komplexen Scheibe mit glatter generischer Faser und singulärer zentraler Faser ist Rψ_f(F) ein Komplex von Garben auf der zentralen Faser, dessen Stiele die Kohomologie der Milnor-/nahe Fasern berechnen und der die Monodromie-Automorphismus trägt, der das Verhalten der Kohomologie beim Umkreis des Lochs beschreibt.

Fehlanwendung

Nahe Zyklen mit verschwindenden Zyklen verwechseln (die messen, was verschwindet, statt was persistiert), oder nahe Zyklen auf Garben anwenden, die nicht die Constructibility-/Endlichkeitsvoraussetzungen erfüllen; auch die Anwendung außerhalb geeigneter lokaler oder ℓ‑adischer/analytischer Kontexte ist fehlleitend.

Konsequenz

Nahe Zyklen sind ein präzises Werkzeug zur Untersuchung von Degeneration, Monodromie und Grenz-Mixed-Hodge-Strukturen; sie sind zentral in Aussagen wie dem Zerlegungssatz und bei der Berechnung lokaler Beiträge zur Kohomologie in degenerierenden Familien.

Umkehrung

Während nahe Zyklen die Grenze der Kohomologie beim Annähern an die Spezialfaser aufzeichnen, messen verschwindende Zyklen die Differenz zwischen der nahen und der tatsächlichen Kohomologie der Spezialfaser; diese Gegensicht klärt Persistenz versus Verschwinden von Klassen.

Abgrenzung

Definiert für konstruktible Komplexe in étalen oder analytischen Kontexten mit geeigneter Endlichkeit (ℓ-adisch, komplex-analytisch oder deriviert-konstruktive Kategorien); erfordert eine Familie mit markierter Spezialfaser und eine Notion von punktierter Umgebung oder Henselisierung; kein bloßes Invariant einer einzelnen Faser.

Semantische Spannung

Es besteht Spannung zwischen nahen Zyklen und verschwindenden Zyklen sowie zwischen verschiedenen technischen Konstruktionen (klassische analytische nahe Zyklen, ℓ-adische nahe Zyklen und motivische/stabile Versionen): Die Intuition ist verwandt, formale Eigenschaften und Koeffizienten unterscheiden sich jedoch.

Synthese

Der Nahe-Zyklen-Funktor verschlüsselt das Verhalten der Kohomologie in Familien nahe einer Spezialfaser, erzeugt limitierende Komplexe mit Monodromie, die persistente kohomologische Daten von degenerierenden unterscheiden, und ist ein zentrales Werkzeug zur Untersuchung von Singularitäten und Degenerationen.