Some vanishing results for the rational completed cohomology of Shimura varieties

Resumen Técnico: Resultados de Anulamiento en la Cohomología Completada de Variedades de Shimura

1. El Problema y el Contexto

El artículo aborda el estudio de la cohomología completada (p-ádica) de variedades de Shimura, un objeto introducido por Matthew Emerton que sirve como sustituto de los espacios de formas automorfas p-ádicas. Específicamente, los autores investigan el comportamiento de esta cohomología en grados inferiores al grado medio ($i < d$, donde $d$ es la dimensión compleja de la variedad).

El objetivo central es determinar bajo qué condiciones los caracteres infinitesimales de la acción del grupo de Lie $G(\mathbb{Q}_p)$ sobre la cohomología completada localmente analítica se anulan. Se sabe que la cohomología en grados superiores al medio ($i > d$) es cero (conjetura de Calegari-Emerton, demostrada por Scholze y otros), pero el comportamiento en grados bajos depende de la "regularidad" de los pesos de los sistemas locales automorfos asociados.

El problema clave es establecer un criterio de regularidad suficiente para los caracteres infinitesimales que garantice la anulación de la cohomología en grados bajos, generalizando resultados previos que solo funcionaban para pesos regulares en el sentido clásico o en casos específicos.

2. Metodología

La estrategia de demostración combina técnicas de geometría aritmética, teoría de representaciones y geometría p-ádica moderna. Los pilares metodológicos son:

• Teorema de Anulamiento de Kodaira en Característica Mixta (Bhatt):
  Los autores utilizan un resultado profundo de Bhargav Bhatt sobre la anulación casi de Kodaira en bases de característica mixta. Este teorema permite demostrar que ciertas cohomologías de haces en variedades proyectivas sobre anillos de enteros p-ádicos se anulan en grados bajos cuando se tensan con potencias negativas de haces amplios.

• Teoría de Sen Geométrica y Morfismos de Período Hodge-Tate:
  Se emplea la teoría de Sen geométrica desarrollada por Rodríguez Camargo y Pan. Esto implica el uso de los morfismos de período Hodge-Tate ($\pi_{HT}$) que mapean torres de variedades de Shimura de nivel infinito a variedades de banderas parciales ($\mathcal{F}\ell$).

  • La cohomología completada localmente analítica se identifica con la cohomología de un haz específico ($Ola$) sobre la variedad de banderas.
  • Se demuestra que la acción del álgebra de Lie $\mathfrak{g}$ sobre este haz está anulada por el radical unipente $\mathfrak{n}$, reduciendo la acción efectiva al álgebra de Levi $\mathfrak{m}$.

• Funciones de Traducción (Translation Functors):
  Inspirados en la localización de Beilinson-Bernstein, los autores utilizan funtores de traducción (tensorización con representaciones de dimensión finita) para "desenredar" los haces de líneas automorfos. Esto permite relacionar la cohomología de un haz con pesos "suficientemente regulares" con la cohomología de haces asociados a representaciones finitas, donde se pueden aplicar resultados de anulación.

• Reducción a Casos Simples:
  Para manejar el caso general donde el grupo derivado $G_{der}$ no es simplemente conexo, los autores reducen el problema a una variedad de Shimura asociada a un recubrimiento simplemente conexo ($G_{sc}$), demostrando que la anulación se preserva bajo estas extensiones finitas y cambios de nivel.

3. Contribuciones Clave y Definiciones

• Definición de "Regularidad Suficiente" ($\mu_h$-suficientemente regular):
  Los autores introducen una noción refinada de regularidad para los caracteres infinitesimales. Un carácter es $\mu_h$-suficientemente regular si, para todo peso $\lambda'$ en su órbita de Weyl y toda raíz $\alpha$ en el radical unipente $\mathfrak{n}$, el valor $(\lambda', \alpha^\vee)$ no cae en ciertos conjuntos prohibidos (como $\{1, 2\}$ para raíces cortas o $\{1\}$ para otras).

  • Esta condición depende de la elección de un isomorfismo $\iota: \mathbb{C} \xrightarrow{\sim} \mathbb{C}$ y del co-carácter de Hodge $\mu_h$.
  • Esta definición es más débil (permite más casos) que la regularidad clásica en ciertos contextos (como curvas de Shimura vs. variedades modulares de Hilbert), pero más fuerte en otros.

• Análisis de Casos Excepcionales:
  El artículo incluye cálculos exhaustivos (secciones 5.3 y 5.4) para verificar las condiciones de regularidad en todos los tipos de grupos simples de Lie, incluyendo los casos excepcionales $E_6$ y $E_7$, utilizando computación asistida por ordenador para manejar los grupos de Weyl grandes.

4. Resultados Principales

• Teorema Principal (Teorema 1.1.2 y 6.1.3):
  Sea $I \subset Z(U(\mathfrak{g}))$ el ideal que define el locus de caracteres que no son suficientemente regulares. Entonces, existe un entero $n > 0$ tal que $I^n$ anula la cohomología completada localmente analítica en grados inferiores al medio:
  $$I^n \cdot \widetilde{H}^{<d, la}_{C} = 0$$
  En consecuencia, si un carácter infinitesimal $[\lambda]$ es suficientemente regular, la parte isotípica correspondiente en la cohomología de grados bajos es cero:
  $$\widetilde{H}^{<d, la}_{C, [\lambda]} = 0$$

• Generalización a Sistemas Locales Infinitos:
  El resultado no se limita a sistemas locales de dimensión finita. El Teorema 6.1.3 y el Corolario 6.1.7 extienden la anulación a haces pro-Kummer-étale asociados con representaciones de Banach localmente analíticas de grupos profinitos, demostrando que la anulación es un fenómeno robusto en la cohomología racional completada.

• Reprueba de Resultados Previos:
  El método permite reprobar el resultado de anulación de Lan [Lan16] para sistemas locales de dimensión finita, pero con una condición de regularidad más precisa y adaptable a factores de tipo B y C.

5. Significado e Impacto

• Avance en la Conjetura de Calegari-Emerton:
  El trabajo proporciona una comprensión más profunda de la estructura de la cohomología completada, confirmando que los grados "interesantes" se concentran en el grado medio ($d$) para caracteres suficientemente regulares, alineándose con las expectativas de la teoría de formas automorfas p-ádicas.

• Diferencia con Trabajos Previos (Caraiani-Scholze, etc.):
  A diferencia de resultados recientes que utilizan cohomología con coeficientes enteros (torsión) y condiciones de genericidad basadas en representaciones en lugares $l \neq p$, este trabajo es puramente racional (coeficientes en $\mathbb{Q}_p$) y se centra en la acción de $G(\mathbb{Q}_p)$. Esto abre nuevas vías para estudiar la estructura de los caracteres infinitesimales en el contexto p-ádico local.

• Herramientas para Futuras Investigaciones:
  La combinación de la anulación de Kodaira de Bhatt con la teoría de Sen geométrica y los funtores de traducción establece un marco metodológico potente. Los autores sugieren que este enfoque puede extenderse para producir ideales en el álgebra envolvente completa $U(\mathfrak{g})$ (no solo en el centro) que anulen la cohomología, como se explora en trabajos posteriores de Pan.

En resumen, Lan y Pan demuestran que la "regularidad suficiente" de los pesos es la condición clave para la anulación de la cohomología en grados bajos de las variedades de Shimura, unificando técnicas de geometría algebraica moderna con la teoría de representaciones p-ádicas.