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

Sintesi Tecnica: Decomposizione di Hodge della Cohomologia $L^2$ e della Cohomologia di Intersezione di una Varietà di Shimura

Enunciato del Problema
La congettura di Zucker, stabilita in lavori precedenti ([5], [11], [6]), afferma che per una varietà di Shimura $X$ e una variazione polarizzata locale omogenea di struttura di Hodge $E$, la coomologia $L^2$ (a quadrato integrabile) $H^\bullet_{(2)}(X, E)$ è naturalmente isomorfa alla coomologia di intersezione $IH^\bullet(X^*, E)$ della sua compattificazione di Baily-Borel $X^*$. Sebbene fosse noto che tale isomorfismo esistesse, un aspetto critico rimaneva irrisolto: la compatibilità delle strutture di Hodge su entrambi i lati.

Nello specifico, $H^\bullet_{(2)}(X, E)$ possiede una decomposizione di Hodge derivata dalle forme armoniche, mentre $IH^\bullet(X^*, E)$ porta una struttura di Hodge definita tramite la teoria dei moduli di Hodge polarizzabili di Morihiko Saito. Sebbene Harris e Zucker ([4]) avessero dimostrato che l'applicazione naturale tra questi gruppi è un morfismo di strutture di Hodge miste, non era stato stabilito che lo stesso isomorfismo di Zucker fosse un isomorfismo di strutture di Hodge. Il presente articolo affronta tale lacuna.

Metodologia
L'autore adotta un approccio locale all'interno della categoria derivata dei complessi filtrati, affinando le tecniche utilizzate nelle dimostrazioni originali della congettura di Zucker. La metodologia si basa sui seguenti componenti:

1. Categorie Derivate Filtrate: La dimostrazione opera nella categoria derivata dei complessi filtrati di spazi vettoriali su $\mathbb{C}$ su $X^*$. Ciò consente di codificare la filtrazione di Hodge localmente, assicurando che i fasci di coomologia dei quozienti successivi siano moduli coerenti $\mathcal{O}_{X^*}$ e non semplicemente localmente costanti.
2. Moduli di Hodge ed Estensioni Intermedie: L'articolo utilizza il quadro dei moduli di Hodge polarizzabili. Il complesso di intersezione $IC_{X^*}(E)$ è visto come l'estensione intermedia $j_{!*}E[\dim X]$ nella categoria dei moduli di Hodge polarizzabili. L'obiettivo è mostrare che il complesso delle forme a quadrato integrabile, denotato $L^\bullet_{X^*, (2)}(E)$, rappresenta tale estensione intermedia all'interno della categoria dei moduli di Hodge.
3. Operatori di Hecke Locali: Uno strumento centrale è l'uso degli operatori di Hecke locali introdotti in [5] ed [6]. Questi operatori agiscono sulla coomologia locale vicino agli strati del bordo di $X^*$. L'autore dimostra che tali operatori, che sono equivarianti rispetto alla filtrazione di Hodge, inducono azioni semisemplici sui gruppi di coomologia.
4. Argomenti di Limite e Analisi Spettrale: Analizzando l'azione degli operatori di Hecke $T^S(q)$ sulla coomologia di intorni degli strati del bordo, l'autore sfrutta la semisemplicità di tali azioni. Gli autovalori di questi operatori sono potenze intere di $q$. La dimostrazione prevede di prendere limiti della filtrazione di Hodge sotto l'azione di questi operatori (in particolare, limiti di $T^n F$ nella grassmanniana) per recuperare la filtrazione di Hodge definita dalla teoria dei moduli di Hodge.

Contributi e Risultati Chiave
Il risultato principale è il Teorema 2.1, che stabilisce che il complesso $L^\bullet_{X^*, (2)}(E)$ è un fine $\mathcal{O}_{X^*}$-modulo e che, quando dotato della sua filtrazione di Hodge, rappresenta il complesso di intersezione $IC_{X^*}(E)$ come un modulo di Hodge polarizzato complessificato con spostamento di grado.

Di conseguenza, l'articolo dimostra che:

• L'isomorfismo $H^\bullet_{(2)}(X, E) \cong IH^\bullet(X^*, E)$ è un isomorfismo di strutture di Hodge.
• La decomposizione di Hodge definita dalle forme armoniche sul lato della coomologia $L^2$ coincide esattamente con la decomposizione di Hodge definita dalla teoria di Saito sul lato della coomologia di intersezione.
• Tale risultato vale funtorialmente per sottoinsiemi aperti $U \subset X^*$, stabilendo un isomorfismo filtrato locale.

La dimostrazione procede per induzione sulla codimensione complessa degli strati nella stratificazione di Baily-Borel. Il caso base (lo strato aperto) deriva dalla teoria classica di Hodge sulle varietà di Kähler complete. Il passo induttivo utilizza gli operatori di Hecke locali per decomporre la coomologia in spazi propri, mostrando che la filtrazione di Hodge sulla coomologia $L^2$ converge alla filtrazione corretta sugli steli della coomologia di intersezione.

Significato e Affermazioni
L'autore afferma che questo risultato completa l'identificazione delle due teorie coomologiche nel contesto delle strutture di Hodge. L'articolo nota che la tecnica sottostante (operatori di Hecke locali) era disponibile al momento delle dimostrazioni originali della congettura di Zucker, suggerendo che tale affinamento avrebbe potuto essere raggiunto in precedenza.

Il significato risiede nell'unificazione delle prospettive analitiche e algebriche:

• Conferma che la costruzione analitica delle strutture di Hodge tramite forme armoniche $L^2$ è pienamente compatibile con la costruzione algebrica tramite coomologia di intersezione e moduli di Hodge.
• Convalida l'uso della coomologia $L^2$ come strumento robusto per lo studio della teoria di Hodge delle varietà singolari (in particolare la compattificazione di Baily-Borel) senza dover fare affidamento esclusivamente sulla teoria astratta dei moduli di Hodge per la decomposizione.

L'articolo mantiene un tono modesto, riconoscendo che il risultato è un affinamento delle dimostrazioni esistenti piuttosto che una nuova scoperta dello stesso isomorfismo. Nota inoltre che una dimostrazione separata del risultato principale è stata successivamente pubblicata da Mingyu Ni [8].