##  [Perverse Garbe](/de/node/63739) 

 Definition

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

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

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

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

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

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

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

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

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.