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

Resumo Técnico: Decomposição de Hodge da Cohomologia $L^2$ e da Cohomologia de Interseção de uma Variedade de Shimura

Declaração do Problema
A conjectura de Zucker, estabelecida em trabalhos anteriores ([5], [11], [6]), afirma que, para uma variedade de Shimura $X$ e uma variação polarizada localmente homogênea de estrutura de Hodge $E$, a cohomologia de quadrado integrável ($L^2$) $H^\bullet_{(2)}(X, E)$ é naturalmente isomorfa à cohomologia de interseção $IH^\bullet(X^*, E)$ de sua compactificação de Baily-Borel $X^*$. Embora soubesse-se que tal isomorfismo existia, um aspecto crítico permanecia sem resolução: a compatibilidade das estruturas de Hodge em ambos os lados.

Especificamente, $H^\bullet_{(2)}(X, E)$ possui uma decomposição de Hodge derivada de formas harmônicas, enquanto $IH^\bullet(X^*, E)$ carrega uma estrutura de Hodge definida por meio da teoria dos módulos de Hodge polarizáveis de Morihiko Saito. Embora Harris e Zucker ([4]) tivessem provado que o mapa natural entre esses grupos é um morfismo de estruturas de Hodge mistas, não havia sido estabelecido que o próprio isomorfismo de Zucker é um isomorfismo de estruturas de Hodge. Este artigo aborda essa lacuna.

Metodologia
O autor emprega uma abordagem local dentro da categoria derivada de complexos filtrados, refinando as técnicas utilizadas nas provas originais da conjectura de Zucker. A metodologia baseia-se nos seguintes componentes:

1. Categorias Derivadas Filtradas: A prova opera na categoria derivada de complexos filtrados de espaços vetoriais sobre $\mathbb{C}$ em $X^*$. Isso permite codificar a filtração de Hodge localmente, garantindo que os feixes de cohomologia dos quocientes sucessivos sejam módulos coerentes sobre $\mathcal{O}_{X^*}$ e não meramente localmente constantes.
2. Módulos de Hodge e Extensões Intermediárias: O artigo utiliza o arcabouço dos módulos de Hodge polarizáveis. O complexo de interseção $IC_{X^*}(E)$ é visto como a extensão intermediária $j_{!*}E[\dim X]$ na categoria dos módulos de Hodge polarizáveis. O objetivo é mostrar que o complexo de formas de quadrado integrável, denotado por $L^\bullet_{X^*, (2)}(E)$, representa essa extensão intermediária dentro da categoria dos módulos de Hodge.
3. Operadores de Hecke Locais: Uma ferramenta central é o uso de operadores de Hecke locais introduzidos em [5] e [6]. Esses operadores atuam na cohomologia local próxima às estratificações de fronteira de $X^*$. O autor demonstra que esses operadores, que são equivariantes em relação à filtração de Hodge, induzem ações semissimples nos grupos de cohomologia.
4. Argumentos de Limite e Análise Espectral: Ao analisar a ação dos operadores de Hecke $T^S(q)$ na cohomologia de vizinhanças das estratificações de fronteira, o autor utiliza a semissimplicidade dessas ações. Os autovalores desses operadores são potências inteiras de $q$. A prova envolve tomar limites da filtração de Hodge sob a ação desses operadores (especificamente, limites de $T^n F$ na Grassmanniana) para recuperar a filtração de Hodge definida pela teoria dos módulos de Hodge.

Principais Contribuições e Resultados
O resultado primário é o Teorema 2.1, que estabelece que o complexo $L^\bullet_{X^*, (2)}(E)$ é um fino $\mathcal{O}_{X^*}$-módulo e que, quando dotado de sua filtração de Hodge, ele representa o complexo de interseção $IC_{X^*}(E)$ como um módulo de Hodge polarizado complexificado com deslocamento de grau.

Consequentemente, o artigo prova:

• O isomorfismo $H^\bullet_{(2)}(X, E) \cong IH^\bullet(X^*, E)$ é um isomorfismo de estruturas de Hodge.
• A decomposição de Hodge definida por formas harmônicas no lado da cohomologia $L^2$ coincide exatamente com a decomposição de Hodge definida pela teoria de Saito no lado da cohomologia de interseção.
• Este resultado vale funtorialmente para subconjuntos abertos $U \subset X^*$, estabelecendo um isomorfismo filtrado local.

A prova procede por indução na codimensão complexa das estratificações na estratificação de Baily-Borel. O caso base (a estratificação aberta) segue da teoria clássica de Hodge em variedades de Kähler completas. O passo indutivo utiliza os operadores de Hecke locais para decompor a cohomologia em espaços próprios, mostrando que a filtração de Hodge na cohomologia $L^2$ converge para a filtração correta nos feixes de cohomologia de interseção.

Significado e Alegações
O autor afirma que este resultado completa a identificação das duas teorias cohomológicas no contexto das estruturas de Hodge. O artigo observa que a técnica subjacente (operadores de Hecke locais) estava disponível na época das provas originais da conjectura de Zucker, sugerindo que esse refinamento poderia ter sido alcançado mais cedo.

O significado reside na unificação das perspectivas analítica e algébrica:

• Confirma que a construção analítica de estruturas de Hodge via formas harmônicas $L^2$ é totalmente compatível com a construção algébrica via cohomologia de interseção e módulos de Hodge.
• Valida o uso da cohomologia $L^2$ como uma ferramenta robusta para estudar a teoria de Hodge de variedades singulares (especificamente a compactificação de Baily-Borel) sem depender exclusivamente da teoria abstrata dos módulos de Hodge para a decomposição.

O artigo mantém um tom modesto, reconhecendo que o resultado é um refinamento de provas existentes e não uma nova descoberta do próprio isomorfismo. Também observa que uma prova separada do resultado principal foi posteriormente publicada por Mingyu Ni [8].