Eine Filtration eines algebraischen oder topologischen Objekts (Modul, Komplex, Algebra usw.), die zentrale Regularitätseigenschaften wie Exhaustivität oder Separiertheit vermissen lässt und Anomalien im assoziierten Graduierten, in Vervollständigungen oder in der Konvergenz von Spektralsequenzen erzeugt.

Prinzip

Filtrationen sollen Objekte nach "Stufen" ordnen, deren assoziertes Graduierte geschichtete Struktur erfasst; Pathologien entstehen, wenn Schnitte von Stufen nicht verschwinden, Vereinigungen nicht überdecken oder Limesprozesse nicht kommutieren, sodass die Filtration das ursprüngliche Objekt fehlrepräsentiert.

Demonstration

Ein konkretes Beispiel ist eine fallende Filtration F^i auf einem Modul mit nichttriviellem Schnitt ⋂_i F^i (nicht separiert), so dass die Vervollständigung zusammenbricht, oder eine nicht-exhaustive Filtration, bei der das assoziierte Graduierte Elemente verpasst; in der Homologischen Algebra kann eine nicht konvergente Spektralsequenz von einer schlecht reagierenden Filtration auf einem Bikomplex herrühren.

Fehlanwendung

Das assoziierte Graduierte blind berechnen oder Vervollständigungen vornehmen, ohne Exhaustivität/Separiertheit zu prüfen, und das Ergebnis dann als äquivalent zum ursprünglichen Objekt behandeln, was zu falschen Invarianten oder fehlerhaften Konvergenzaussagen führt.

Konsequenz

Das Erkennen pathologischer Filtrationen motiviert das Ersetzen oder Verfeinern der Filtration (gespaltene Filtrationen, exhaustive Vervollständigungen), das Prüfen von Konvergenzhypothesen bei Spektralsequenzen oder die Verwendung abgeleiteter Vervollständigungen und Pro-Objekte, um korrekte algebraische oder homologische Informationen zurückzugewinnen.

Umkehrung

Eine wohlverhaltene Filtration ist exhaustiv und separiert (oft auch endlich oder beschränkt), so dass das assoziierte Graduierte und die Vervollständigung das ursprüngliche Objekt treu widerspiegeln und Spektralsequenzen wie vorgesehen konvergieren.

Abgrenzung

Gilt für filtrierte Module, Komplexe, Algebren und topologische Objekte, bei denen Graduierten- und Vervollständigungs-Konstruktionen verwendet werden; beschreibt nicht beliebige Graduierungen oder echt endliche Filtrationen, die Regularitätsannahmen automatisch erfüllen.

Semantische Spannung

Spannung zwischen Filtrationen als buchhalterischen Vorrichtungen (formal, flexibel) und der Notwendigkeit analytischer oder kategorialer Regularität (Exhaustivität, Separiertheit), damit Filtrationen treu sind; auch Spannung zwischen Filtrationen und Graduierungen als verwandten, aber unterschiedlichen Organisationsstrukturen.

Synthese

Eine pathologische Filtration ist eine, deren Versagen von Exhaustivität oder Separiertheit (oder verwandter Regularität) den naiven Gebrauch des assoziierten Graduerten oder der Vervollständigung zunichte macht; Abhilfe erfordert Verfeinerung der Filtration, Übergang zu abgeleiteten oder Pro-Vervollständigungen oder Beschränkung auf Unterkategorien, in denen Standard-Konvergenz- und Rekonstruktionssätze gelten.