Ein Objekt des Herzens der mittleren Perversitäts-t-Struktur in der derivierten Kategorie konstruktiver Garben (oder ℓ‑adischer/komplex‑analytischer Analogien), das kohomologische Stütz- und Kosstütz‑Verschwindensbedingungen relativ zu einer Stratifizierung erfüllt; perverse Garben kodieren lokale Singularitätsdaten und mittel-dimensionale Phänomene.

Prinzip

Perversitätsbedingungen sind Ungleichungen über das Verschwinden der Kohomologie von Stielen und Kostielen gemessen an der Kodimension der Schichten: grob gesagt verschwinden Stielkohomologien oberhalb eines durch die Stützdimension bestimmten Grades und Kostiele verschwinden unterhalb komplementärer Grade, was eine selbstduale abelsche Kategorie ergibt.

Demonstration

Der Schnittkohomologiekomplex IC_X auf einer stratifizierten singulären Varietät X ist ein grundlegendes Beispiel: IC_X ist pervers und seine Hyperkohomologie berechnet Schnittkohomologiegruppen, die Poincaré-Dualitätseigenschaften auf singuläre Räume erweitern.

Fehlanwendung

Jedes verschobene Garbenobjekt ohne Prüfung der Stütz-/Kosstütz-Ungleichungen oder der Konstruktibilität als 'pervers' zu bezeichnen, oder anzunehmen, perverse Garben seien im klassischen Sinn in einem einzelnen Grad konzentriert; das Vernachlässigen von Monodromie oder Torsionsphänomenen in Koeffizienten führt ebenfalls zu Fehlinterpretationen.

Konsequenz

Perverse Garben bilden eine abelsche Kategorie, die unter Standardoperationen (nahe Zyklen, direkte Bilder unter properen Abbildungen, Verdier-Dualität) stabil ist, und bilden die Grundlage tiefer Resultate wie des Zerlegungssatzes, indem sie geometrische und topologische Singularitätsinformationen algebraisch bündeln.

Umkehrung

Im Gegensatz zu gewöhnlichen Garben, die in einem einzigen Grad konzentriert sind, sind perverse Garben Komplexe, deren 'perverser Grad' die Kohomologie in mittlere Dimensionen verschiebt; die Umkehrung betont, dass Perversität die erwartete Kohomologiekonzentration anpasst, um singuläre Geometrie widerzuspiegeln.

Abgrenzung

Definiert in Kontexten mit einer Notion von Konstruktibilität und geeigneter Stratifizierung (komplex-algebraisch, analytisch oder ℓ‑adisch étal), und abhängig von der Wahl der Perversität (mittlere Perversität Standard); außerhalb konstruktibler/endlichtypischer Rahmen kann der Begriff scheitern oder modifiziert werden müssen.

Semantische Spannung

Es gibt Spannungen zwischen verschiedenen Perversitäten, zwischen perversen Garben und gewöhnlichen (kohomologischen) Garben sowie zwischen algebraischen, analytischen und ℓ‑adischen Realisierungen; nahe und verschwindende Zyklen interagieren subtil mit der Perversität und können perversitätsgrade verschieben.

Synthese

Eine perverse Garbe ist ein konstruktiver Komplex, der präzise Stütz- und Kosstütz-Verschwindensungleichungen erfüllt und dessen Kohomologie relativ zu einer Stratifizierung in mittleren Dimensionen liegt; er bildet eine selbstduale abelsche Kategorie, die Singularitäts‑ und Schnittkohomologiephänomene kodiert.