Hodge decomposition of L_2-cohomology and intersection cohomology of a Shimura variety

Technische Samenvatting: Hodge-decompositie van $L^2$-cohomologie en snijcohomologie van een Shimura-variëteit

Probleemstelling
De Zucker-vermoeden, vastgesteld in eerdere werken ([5], [11], [6]), stelt dat voor een Shimura-variëteit $X$ en een lokaal homogene gepolariseerde variatie van Hodge-structuur $E$, de kwadratisch-integreerbare ($L^2$) cohomologie $H^\bullet_{(2)}(X, E)$ natuurlijk isomorf is met de snijcohomologie $IH^\bullet(X^*, E)$ van zijn Baily-Borel-compactificatie $X^*$. Hoewel bekend was dat deze isomorfie bestaat, bleef een kritiek aspect onopgelost: de compatibiliteit van de Hodge-structuren aan beide kanten.

Specifiek bezit $H^\bullet_{(2)}(X, E)$ een Hodge-decompositie afgeleid van harmonische vormen, terwijl $IH^\bullet(X^*, E)$ een Hodge-structuur draagt die gedefinieerd is via Morihiko Saito's theorie van polariseerbare Hodge-modules. Hoewel Harris en Zucker ([4]) bewezen dat de natuurlijke afbeelding tussen deze groepen een morfisme van gemengde Hodge-structuren is, was niet vastgesteld dat de Zucker-isomorfie zelf een isomorfisme van Hodge-structuren is. Dit artikel adresseert deze lacune.

Methodologie
De auteur hanteert een lokale aanpak binnen de afgeleide categorie van gefilterde complexen, waarbij de technieken uit de oorspronkelijke bewijzen van het Zucker-vermoeden worden verfijnd. De methodologie rust op de volgende componenten:

1. Gefilterde Afgeleide Categorieën: Het bewijs opereert in de afgeleide categorie van gefilterde complexen van $\mathbb{C}$-vectorruimten op $X^*$. Dit maakt het coderen van de Hodge-filtratie lokaal mogelijk, waarbij wordt gegarandeerd dat de cohomologieschoven van opeenvolgende quotiënten coherent $\mathcal{O}_{X^*}$-modulen zijn en niet louter lokaal constant.
2. Hodge-modules en Intermediaire Uitbreidingen: Het artikel maakt gebruik van het kader van polariseerbare Hodge-modules. Het snijcomplex $IC_{X^*}(E)$ wordt beschouwd als de intermediaire uitbreiding $j_{!*}E[\dim X]$ in de categorie van polariseerbare Hodge-modules. Het doel is aan te tonen dat het complex van kwadratisch-integreerbare vormen, aangeduid als $L^\bullet_{X^*, (2)}(E)$, deze intermediaire uitbreiding vertegenwoordigt binnen de categorie van Hodge-modules.
3. Lokale Hecke-operatoren: Een centraal hulpmiddel is het gebruik van lokale Hecke-operatoren geïntroduceerd in [5] en [6]. Deze operatoren werken op de lokale cohomologie nabij de randstrata van $X^*$. De auteur demonstreert dat deze operatoren, die equivariant zijn met betrekking tot de Hodge-filtratie, semisimpele werkingen op de cohomologiegroepen induceren.
4. Limietargumenten en Spectrale Analyse: Door de werking van Hecke-operatoren $T^S(q)$ op de cohomologie van buurten van randstrata te analyseren, maakt de auteur gebruik van de semisimpliciteit van deze werkingen. De eigenwaarden van deze operatoren zijn gehele machten van $q$. Het bewijs omvat het nemen van limieten van de Hodge-filtratie onder de werking van deze operatoren (specifiek, limieten van $T^n F$ in de Grassmanniaan) om de Hodge-filtratie te herstellen zoals gedefinieerd door de theorie van Hodge-modules.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 2.1, die vaststelt dat het complex $L^\bullet_{X^*, (2)}(E)$ een fijne $\mathcal{O}_{X^*}$-module is en dat, wanneer het is voorzien van zijn Hodge-filtratie, het het snijcomplex $IC_{X^*}(E)$ vertegenwoordigt als een graad-verschoven, gecomplexifieerde gepolariseerde Hodge-module.

Bijgevolg bewijst het artikel:

• Dat de isomorfie $H^\bullet_{(2)}(X, E) \cong IH^\bullet(X^*, E)$ een isomorfisme van Hodge-structuren is.
• Dat de Hodge-decompositie gedefinieerd door harmonische vormen aan de kant van de $L^2$-cohomologie exact overeenkomt met de Hodge-decompositie gedefinieerd door Saito's theorie aan de kant van de snijcohomologie.
• Dat dit resultaat funktioneel geldt voor open deelverzamelingen $U \subset X^*$, waarbij een lokale gefilterde isomorfie wordt vastgesteld.

Het bewijs verloopt door inductie op de complexe codimensie van de strata in de Baily-Borel-stratificatie. Het basisgeval (de open stratum) volgt uit klassieke Hodge-theorie op volledige Kähler-variëteiten. De inductiestap maakt gebruik van de lokale Hecke-operatoren om de cohomologie te decomponeren in eigenruimten, waarbij wordt aangetoond dat de Hodge-filtratie op de $L^2$-cohomologie convergeert naar de juiste filtratie op de snijcohomologie-stalks.

Betekenis en Claims
De auteur claimt dat dit resultaat de identificatie van de twee cohomologische theorieën in de context van Hodge-structuren voltooit. Het artikel merkt op dat de onderliggende techniek (lokale Hecke-operatoren) beschikbaar was op het moment van de oorspronkelijke bewijzen van het Zucker-vermoeden, wat suggereert dat deze verfijning eerder had kunnen worden bereikt.

De betekenis ligt in de unificatie van analytische en algebraïsche perspectieven:

• Het bevestigt dat de analytische constructie van Hodge-structuren via $L^2$-harmonische vormen volledig compatibel is met de algebraïsche constructie via snijcohomologie en Hodge-modules.
• Het valideert het gebruik van $L^2$-cohomologie als een robuust hulpmiddel voor het bestuderen van de Hodge-theorie van singuliere variëteiten (specifiek de Baily-Borel-compactificatie) zonder uitsluitend te hoeven vertrouwen op de abstracte theorie van Hodge-modules voor de decompositie.

Het artikel behoudt een bescheiden toon, waarbij wordt erkend dat het resultaat een verfijning is van bestaande bewijzen en geen nieuwe ontdekking van de isomorfie zelf. Het merkt ook op dat een apart bewijs van het hoofdresultaat nadien werd gepost door Mingyu Ni [8].