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

Resumen Técnico: Descomposición de Hodge de la Cohomología $L^2$ y la Cohomología de Intersección de una Variedad de Shimura

Enunciado del Problema
La conjetura de Zucker, establecida en trabajos anteriores ([5], [11], [6]), afirma que para una variedad de Shimura $X$ y una variación polarizada localmente homogénea de estructura de Hodge $E$, la cohomología de cuadrado integrable ($L^2$) $H^\bullet_{(2)}(X, E)$ es naturalmente isomorfa a la cohomología de intersección $IH^\bullet(X^*, E)$ de su compactificación de Baily-Borel $X^*$. Aunque se sabía que existía este isomorfismo, un aspecto crítico permaneció sin resolver: la compatibilidad de las estructuras de Hodge en ambos lados.

Específicamente, $H^\bullet_{(2)}(X, E)$ posee una descomposición de Hodge derivada de formas armónicas, mientras que $IH^\bullet(X^*, E)$ porta una estructura de Hodge definida a través de la teoría de módulos de Hodge polarizables de Morihiko Saito. Aunque Harris y Zucker ([4]) demostraron que el mapa natural entre estos grupos es un morfismo de estructuras de Hodge mixtas, no se había establecido que el propio isomorfismo de Zucker fuera un isomorfismo de estructuras de Hodge. Este artículo aborda esa brecha.

Metodología
El autor emplea un enfoque local dentro de la categoría derivada de complejos filtrados, refinando las técnicas utilizadas en las demostraciones originales de la conjetura de Zucker. La metodología se basa en los siguientes componentes:

1. Categorías Derivadas Filtradas: La demostración opera en la categoría derivada de complejos filtrados de espacios vectoriales sobre $\mathbb{C}$ en $X^*$. Esto permite codificar la filtración de Hodge localmente, asegurando que los haces de cohomología de los cocientes sucesivos sean módulos $\mathcal{O}_{X^*}$ coherentes y no meramente localmente constantes.
2. Módulos de Hodge y Extensiones Intermedias: El artículo utiliza el marco de los módulos de Hodge polarizables. El complejo de intersección $IC_{X^*}(E)$ se considera como la extensión intermedia $j_{!*}E[\dim X]$ en la categoría de módulos de Hodge polarizables. El objetivo es demostrar que el complejo de formas de cuadrado integrable, denotado $L^\bullet_{X^*, (2)}(E)$, representa esta extensión intermedia dentro de la categoría de módulos de Hodge.
3. Operadores de Hecke Locales: Una herramienta central es el uso de operadores de Hecke locales introducidos en [5] y [6]. Estos operadores actúan sobre la cohomología local cerca de las estratificaciones del borde de $X^*$. El autor demuestra que estos operadores, que son equivariantes con respecto a la filtración de Hodge, inducen acciones semisimples sobre los grupos de cohomología.
4. Argumentos de Límite y Análisis Espectral: Al analizar la acción de los operadores de Hecke $T^S(q)$ sobre la cohomología de vecindades de las estratificaciones del borde, el autor utiliza la semisimplicidad de estas acciones. Los autovalores de estos operadores son potencias enteras de $q$. La demostración implica tomar límites de la filtración de Hodge bajo la acción de estos operadores (específicamente, límites de $T^n F$ en la grassmanniana) para recuperar la filtración de Hodge definida por la teoría de módulos de Hodge.

Contribuciones y Resultados Clave
El resultado principal es el Teorema 2.1, que establece que el complejo $L^\bullet_{X^*, (2)}(E)$ es un fino $\mathcal{O}_{X^*}$-módulo y que, cuando se dota de su filtración de Hodge, representa el complejo de intersección $IC_{X^*}(E)$ como un módulo de Hodge polarizado complejificado con desplazamiento de grado.

En consecuencia, el artículo demuestra:

• Que el isomorfismo $H^\bullet_{(2)}(X, E) \cong IH^\bullet(X^*, E)$ es un isomorfismo de estructuras de Hodge.
• Que la descomposición de Hodge definida por formas armónicas en el lado de la cohomología $L^2$ coincide exactamente con la descomposición de Hodge definida por la teoría de Saito en el lado de la cohomología de intersección.
• Que este resultado se cumple functorialmente para subconjuntos abiertos $U \subset X^*$, estableciendo un isomorfismo filtrado local.

La demostración procede por inducción sobre la codimensión compleja de las estratificaciones en la estratificación de Baily-Borel. El caso base (la estratificación abierta) sigue de la teoría de Hodge clásica en variedades de Kähler completas. El paso inductivo utiliza los operadores de Hecke locales para descomponer la cohomología en espacios propios, mostrando que la filtración de Hodge en la cohomología $L^2$ converge a la filtración correcta en los gérmenes de la cohomología de intersección.

Significado y Afirmaciones
El autor afirma que este resultado completa la identificación de las dos teorías cohomológicas en el contexto de las estructuras de Hodge. El artículo señala que la técnica subyacente (operadores de Hecke locales) estaba disponible en el momento de las demostraciones originales de la conjetura de Zucker, lo que sugiere que este refinamiento podría haberse logrado antes.

El significado radica en la unificación de las perspectivas analítica y algebraica:

• Confirma que la construcción analítica de estructuras de Hodge mediante formas $L^2$-armónicas es totalmente compatible con la construcción algebraica mediante cohomología de intersección y módulos de Hodge.
• Valida el uso de la cohomología $L^2$ como una herramienta robusta para estudiar la teoría de Hodge de variedades singulares (específicamente la compactificación de Baily-Borel) sin necesidad de depender exclusivamente de la teoría abstracta de módulos de Hodge para la descomposición.

El artículo mantiene un tono modesto, reconociendo que el resultado es un refinamiento de demostraciones existentes en lugar de un nuevo descubrimiento del propio isomorfismo. También señala que una demostración separada del resultado principal fue publicada posteriormente por Mingyu Ni [8].