Faithful perversities

1. Probleemstelling en Context

Het artikel onderzoekt de relatie tussen de algebraïsche structuur van categorieën van perversen schoven en de topologische eigenschappen van de onderliggende gestratificeerde ruimten.

• Achtergrond: Perversen schoven, geïntroduceerd door Beilinson, Bernstein en Deligne (BBD), vormen het hart van een begrenste $t$-structuur op de construeerbare afgeleide categorie $D_c(X)$ van een gestratificeerde ruimte $X$. Ze spelen een cruciale rol in singuliere topologie, representatietheorie en Hodge-theorie.
• De Kernvraag: Onder welke voorwaarden is de categorie van perversen schoven, aangeduid als $p\text{Perv}(X)$, een trouw hart?
  • Een hart $\mathcal{H} \subset \mathcal{D}$ is trouw als de realisatiefunctie $D^b(\mathcal{H}) \to \mathcal{D}$ een equivalentie is.
  • Betekenis: Als $p\text{Perv}(X)$ trouw is, is de topologische informatie die in de afgeleide categorie $D_c(X)$ is opgesloten, volledig toegankelijk via de algebra van de abelse categorie $p\text{Perv}(X)$ (specifiek, als modules over een eindig-dimensionale algebra). Dit maakt het mogelijk om topologische invarianten algebraïsch te berekenen en vice versa.
• Gat: Hoewel trouwheid bekend is in specifieke gevallen (bijvoorbeeld simpliciale complexen, gladde complexe variëteiten met affiene stratificaties), ontbrak een algemene karakterisering voor topologisch gestratificeerde ruimten en een systematisch begrip van de globale dimensie en cohomologische berekeningen.

2. Methodologie

De auteurs maken gebruik van een synthese van categorische algebra en gestratificeerde topologie:

1. Categorisch Kader:

   • Zij maken gebruik van de theorie van hoogste-gewichtscategorieën en uitzonderlijke collecties.
   • Zij introduceren het begrip serieel trouwe harten, gedefinieerd via een toelaatbare dikke filtratie waarbij elke stap een trouw hart is.
   • Zij benutten het concept van geplakte harten (recollementen) en dubbele paren van uitzonderlijke collecties (standaard- en kostandaardobjecten).
   • Zij vertrouwen op de equivalentie tussen de construeerbare afgeleide categorie en de afgeleide categorie van modules over een eindig-dimensionale algebra wanneer het hart trouw is.

2. Topologische Hulpmiddelen:

   • Zij analyseren topologisch gestratificeerde ruimten (in de zin van Goresky-MacPherson) met een eindig aantal strata.
   • Zij maken gebruik van paarwijze links ($L_{S<T}$) tussen strata om lokale topologische obstructies te karakteriseren.
   • Zij passen hypercohomologie-verdwijningstheorema's en inductie op de diepte van de stratificatie toe.

3. Synthese:

   • De auteurs vertalen topologische voorwaarden (verdwijning van cohomologie op links) naar categorische voorwaarden (exactheid van functoren, uitzonderlijke collecties) om trouwheid te karakteriseren.
   • Zij gebruiken projectieve resoluties van de constante sheaf om hypercohomologie te berekenen, waardoor de kloof tussen algebraïsche resoluties en topologische invarianten wordt overbrugd.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Trouwe Hoogste-Gewichtsharten (Stelling A)

Het artikel vestigt een fundamentele equivalentie voor algebraïsche getrianguleerde categorieën $\mathcal{D}$. Voor een hart $\mathcal{H} \subset \mathcal{D}$ zijn de volgende gelijkwaardig:

1. $\mathcal{H}$ is trouw en hoogste-gewicht.
2. De rij van standaardobjecten $(\Delta_0, \dots, \Delta_n)$ vormt een volledige uitzonderlijke collectie, en de rij van kostandaardobjecten $(\nabla_n, \dots, \nabla_0)$ is zijn linker dubbele paar.
3. $\mathcal{H}$ bevat een dubbel paar van volledige uitzonderlijke collecties.
4. $\mathcal{H}$ is serieel trouw en geplakt langs een uitzonderlijke collectie.

Betekenis: Dit biedt een puur algebraïsche criterium voor trouwheid in de context van perversen schoven, en koppelt dit direct aan het bestaan van specifieke uitzonderlijke collecties.

B. Topologische Karakterisering van Trouwe Perversen Schoven (Stelling B)

Voor een topologisch gestratificeerde ruimte $X$ met een eindig aantal contractibele strata is de categorie $p\text{Perv}(X)$ een trouw hoogste-gewichtshart dan en slechts dan als:

1. De functoren $i_{S*}$ en $i_{S!}$ (inbedding van een stratum) $t$-exact zijn.
2. Cohomologische Verdwijning: Voor elk paar van verschillende strata $S \subset T$, voldoet de paarwijze link $L_{S<T}$ aan:
   $$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{en} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$$
   waarbij $p$ de perversiteitsfunctie is.

Betekenis: Dit geeft een concrete topologische test voor trouwheid. Het generaliseert eerdere resultaten (bijvoorbeeld van Polischuk en Beilinson-Ginzburg-Soergel) en verduidelijkt dat trouwheid afhangt van de verdwijning van specifieke cohomologiegroepen van de links tussen strata.

C. Grenzen aan Globale Dimensie (Stelling C)

De auteurs bewijzen grenzen voor de globale dimensie ($\text{gldim}$) van de categorie van perversen schoven:

• Algemene Grens: Voor elke $E, F \in p\text{Perv}(X)$ geldt $\text{Ext}^k_{D_c(X)}(E, F) = 0$ als $k < 0$ of $k > \dim(X)$.
• Trouw Geval: Als $p\text{Perv}(X)$ trouw is, dan geldt $\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$.
• Trouw Hoogste-Gewicht Geval: Als $p\text{Perv}(X)$ trouw en hoogste-gewicht is, dan geldt $\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$.

Betekenis: Dit lost de vraag op naar de eindigheid van de globale dimensie voor trouwe perverse categorieën en biedt expliciete grenzen die gerelateerd zijn aan de geometrie van de ruimte.

D. Berekening van Hypercohomologie via Projectieve Resoluties (Stelling D)

Aannemende dat $p\text{Perv}(X)$ trouw is en strata eindige fundamentele groepen hebben:

1. Hypercohomologie uit Resoluties: De hypercohomologie van een perversen schof $E$ kan worden berekend als de cohomologie van de complex $\text{Hom}(P_\bullet, E)$, waarbij $P_\bullet$ een projectieve resolutie is van de constante sheaf $k_X$.
2. Multipliciteiten als Intersection Betti-getallen: Als de (verschoofde) constante sheaf pervers is, corresponderen de multipliciteiten van onontleedbare projectieven in zijn minimale projectieve resolutie met intersection Betti-getallen (intersection cohomologiegroepen).
3. Simpliciaal Geval: Voor een simpliciaal complex $X$ admiteert de constante sheaf een eindige projectieve resolutie geïndexeerd door de pervers dimensie van simplexen. Dit herstelt de theorie van cellulaire perversen schoven (Goresky), en biedt een combinatorische methode om hypercohomologie te berekenen.

4. Betekenis en Impact

1. Unificatie van Algebra en Topologie: Het artikel toont rigoureus aan dat wanneer een pervers hart trouw is, de complexe topologische data van een gestratificeerde ruimte volledig is gecodeerd in de representatietheorie van een eindig-dimensionale algebra.
2. Berekeningskracht: De resultaten bieden een praktisch algoritme voor het berekenen van hypercohomologie en intersection cohomologie met behulp van projectieve resoluties, die vaak algebraïsch eenvoudiger te hanteren zijn dan topologische complexen.
3. Generalisatie: De karakterisering van trouwheid via paarwijze link-cohomologie breidt bekende resultaten uit van specifieke geometrische settings (zoals complexe algebraïsche variëteiten) naar algemene topologisch gestratificeerde ruimten.
4. Tegenvoorbeelden en Nuance: De auteurs geven voorbeelden die aantonen dat niet alle trouwe geplakte harten hoogste-gewicht zijn, en niet alle hoogste-gewicht harten trouw zijn, waardoor de precieze grenzen van deze concepten worden verduidelijkt.
5. Fundamenteel voor Toekomstig Werk: De identificatie van trouwe perverse harten met serieel trouwe geplakte harten opent de deur voor het toepassen van technieken uit de tilting-theorie en silting-objecten (via de König-Yang-correspondentie) op het onderzoek naar perversen schoven op gestratificeerde ruimten.

Samenvattend bieden Cipriani en Woolf een uitgebreide structurele theorie voor trouwe perversen schoven, waarbij ze precieze topologische criteria vestigen voor hun bestaan, hun homologische complexiteit begrenzen en nieuwe algebraïsche methoden bieden voor het berekenen van topologische invarianten.