The cohomological Kudla conjecture for unitary Shimura varieties

Resumen Técnico: La Conjetura Cohomológica de Kudla para Variedades de Shimura Unitarias

Enunciado del Problema
El artículo aborda la modularidad de las series generadoras asociadas a ciclos especiales en variedades de Shimura. Si bien el trabajo seminal de Kudla y Millson estableció que las series generadoras de clases de cohomología de ciclos especiales en espacios simétricos locales no compactos son formas modulares holomorfas, el comportamiento de estas series en las compactificaciones permanece más complejo. Específicamente, para las compactificaciones toroidales de variedades de Shimura unitarias de firma $(n+1, 1)$, las series generadoras de las clausuras de Zariski de ciclos especiales generalmente no son formas modulares holomorfas debido a las contribuciones del borde.

El problema central es determinar si estas series pueden ser corregidas o completadas para dar lugar a objetos modulares. Esto se relaciona con la Conjetura 1.1 (originalmente planteada por Kudla y reformulada por Bruinier-Rosu-Zemel), que postula la existencia de correcciones de borde tales que la serie resultante se convierta en una forma modular de Siegel (caso ortogonal) o hermitiana (caso unitario) holomorfa. Los autores se centran en la encarnación cohomológica de esta conjetura para grupos unitarios $U(n+1, 1)$ y ciclos especiales de codimensión $g$ hasta la dimensión media ($g \leq n/2$).

Metodología
Los autores emplean una estrategia que combina el análisis geométrico de las compactificaciones toroidales, el análisis armónico en divisores de borde y la teoría de series theta ponderadas.

1. Configuración Geométrica: El estudio utiliza la estructura de las compactificaciones toroidales $X^{\text{tor}}_\Gamma$. El borde consiste en divisores $B_J$ asociados a líneas isotrópicas primitivas $J \subset L$. Estos divisores se identifican con cocientes finitos de variedades abelianas $E_M = E \otimes_{O_k} M$, donde $E$ es una curva elíptica CM y $M$ es un retículo hermitiano definido positivo.
2. Lema de Descomposición: Una herramienta técnica crucial es un lema de descomposición para la homología (Lema 3.3), válido para grados $2g \leq n$. Este lema permite que cualquier clase de cohomología en la compactificación se descomponga en una parte soportada en el interior y una parte soportada en el borde. Esto reduce la prueba de la modularidad a cálculos restringidos a los divisores de borde.
3. Análisis de Borde y Formas Armónicas: Los autores construyen formas armónicas duales de Poincaré para ciclos especiales en los divisores de borde $B_J$. Estas formas se expresan utilizando polinomios homogéneos con valores en formas diferenciales algebraicas.
4. Formas Cuasi-Modulares Hermitianas: El artículo desarrolla una teoría de formas cuasi-modulares hermitianas. Al considerar series theta ponderadas por polinomios homogéneos (específicamente aquellos en el espacio $F_{n,g}$), los autores utilizan una acción $sl_2$ sobre el espacio de polinomios.
   • Definen operadores de descenso ($\Delta$) y ascenso ($\Lambda$) que actúan sobre estos espacios de polinomios, formando un triple $sl_2$.
   • Demuestran que el mapa que envía ciclos especiales a sus representantes polinómicos asociados es un morfismo de representaciones $sl_2$.
5. Corrección y Completación:
   • Completación No Holomorfa: Al aplicar un criterio de modularidad a las series theta ponderadas, construyen completaciones no holomorfas de las series generadoras de las clausuras de Zariski. Estas completaciones se transforman como formas modulares pero incluyen términos no holomorfos que involucran el laplaciano.
   • Corrección Holomorfa: Utilizando la estructura $sl_2$, identifican ciclos de borde específicos (soportados en $B_J$) que, al sumarse a los ciclos originales, cancelan las obstrucciones no holomorfas. Esto depende de proyectar los pesos polinómicos sobre componentes armónicas primitivas.

Contribuciones y Resultados Clave

• Teorema 1.2 (Corrección Holomorfa): Para ciclos especiales de codimensión $g \leq n/2$, los autores prueban la existencia de un término de corrección soportado en el borde tal que la serie generadora de los ciclos corregidos es una forma modular hermitiana holomorfa de peso $n+2$ con respecto a la representación de Weil $\rho_{L,g}$. Esto resuelve la versión cohomológica de la Conjetura 1.1 para $U(n+1, 1)$ en el rango de codimensión especificado.
• Teorema 1.3 (Cuasi-Modularidad): Se demuestra que la serie generadora de las clausuras de Zariski no corregidas es una forma cuasi-modular hermitiana. Específicamente, admite una completación no holomorfa que se transforma como una forma modular. Se señala que este es el primer caso en el que aparecen formas cuasi-modulares hermitianas en el contexto de ciclos especiales.
• Fórmulas Explícitas (Teorema 1.4): El artículo proporciona fórmulas explícitas para las correcciones. La corrección a un ciclo $Z(\nu, N)$ viene dada por una suma sobre componentes de borde que involucra:
  • Coeficientes racionales $r_J/d_k$.
  • Valores de polinomios armónicos $P_i^{\ell,\ell}$ evaluados en los datos del ciclo.
  • Imágenes de Gysin de clases de cohomología primitivas $W_i^\ell$ en el borde.
  • La fórmula involucra el operador de ascenso $\Lambda$ actuando sobre estos polinomios.
• Corolario 1.5 y 1.6: Estos resultados vinculan explícitamente las series corregidas con series theta ponderadas de polinomios armónicos, confirmando su modularidad.

Significado y Afirmaciones
El artículo afirma proporcionar el primer resultado general que demuestra la modularidad de ciclos especiales compactificados de codimensión arbitraria (hasta la media) en el caso unitario. Si bien existían resultados previos para divisores (codimensión 1) y ciclos de dimensión cero, este trabajo extiende la teoría a codimensiones superiores.

Los autores enfatizan que sus resultados son "cohomológicos", lo que significa que establecen la modularidad para las clases en $H^{2g}(X^{\text{tor}}_\Gamma)$ en lugar de necesariamente en el grupo de Chow (donde la convergencia de las series sigue siendo un problema abierto). El trabajo también introduce el marco de las formas cuasi-modulares hermitianas como un entorno natural para comprender el comportamiento de borde de estas series generadoras.

La suposición $g \leq n/2$ se reconoce como un artefacto de la prueba, específicamente la dependencia del Lema de Descomposición (Lema 3.3), que los autores no saben actualmente cómo probar para codimensiones superiores. Conjeturan que sus resultados se mantienen para todas las codimensiones (Conjetura 1.7).

La metodología es paralela a su trabajo anterior sobre variedades de Shimura ortogonales, pero requiere desarrollos significativos nuevos en la teoría de formas cuasi-modulares hermitianas y la geometría específica de las compactificaciones toroidales unitarias.