On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

Resumen Técnico: Sobre la Conjetura de Harris–Viehmann para Datos de Shimura Locales Reducibles Hodge–Newton de Tipo Abeliano

Planteamiento del Problema
El artículo aborda un caso específico de la conjetura de Harris–Viehmann, que concierne a la cohomología $\ell$-ádica de variedades de Shimura locales asociadas a datos de Shimura locales no básicos. La conjetura postula una fórmula de inducción parabólica para estos grupos de cohomología. Específicamente, afirma que para un dato de Shimura local no básico $(G, [b], \{\mu\})$ que es reducible Hodge–Newton con respecto a un subgrupo parábolo $P$ y un factor de Levi $L$, la cohomología del espacio de Rapoport–Zink (RZ) asociado $RZ_G$ se induce desde la cohomología del espacio RZ $RZ_L$ asociado al subgrupo de Levi. Una consecuencia crítica de esta conjetura es que todas las representaciones supercuspidales que aparecen en la cohomología de las variedades de Shimura están concentradas a lo largo del lugar básico. Si bien la conjetura ha sido establecida para datos de tipo PEL (Mantovan), datos de tipo Hodge (Hong) y casos específicos como $GL_n$ (Hansen), una demostración general para datos de Shimura locales no ramificados de tipo abeliano bajo reducibilidad Hodge–Newton permanecía abierta.

Metodología
Las autoras, Sandra Nair y Xinyu Zhou, extienden la demostración de la conjetura de Harris–Viehmann al contexto de tipo abeliano aprovechando la construcción de Shen de espacios de Rapoport–Zink de tipo abeliano. Su metodología implica los siguientes pasos clave:

1. Reducción a Tipo Hodge: Las autoras utilizan la definición de datos de tipo abeliano, que requiere un isomorfismo entre el dato de Shimura local adjunto de $G$ y el de un dato auxiliar de tipo Hodge $(H, [b_H], \{\mu_H\})$. Establecen que si $(G, [b_G], \{\mu_G\})$ es reducible Hodge–Newton, existe un dato de tipo Hodge asociado que también es reducible Hodge–Newton (Lema 7.1).
2. Correspondencia Geométrica: La estrategia central consiste en relacionar la geometría del espacio RZ de tipo abeliano $RZ_G$ con el espacio RZ de tipo Hodge $RZ_H$. Las autoras construyen un diagrama de correspondencia que involucra los espacios RZ del parábolo $P$ y el Levi $L$ tanto para los casos de tipo abeliano como de tipo Hodge.
3. Datos de Descenso de Weil: Un componente técnico significativo es la construcción rigurosa del dato de descenso de Weil para espacios RZ de tipo abeliano. Las autoras definen un dato de descenso $\Phi_{Shen}$ relativo a una extensión finita $E_{opt}$ del cuerpo de reflexión, asegurando compatibilidad con los datos de descenso conocidos para tipo Hodge (mediante la construcción de Kim) y con el módulo de shtukas locales $p$-ádicos (mediante Pappas–Rapoport). Demuestran que estas construcciones coinciden (Teorema 6.3, Corolario 6.5).
4. Functorialidad y Cocientes: Las autoras analizan la functorialidad de los espacios RZ bajo morfismos de datos de Shimura locales. Manejan cuidadosamente el paso desde el dato de tipo Hodge $H$ hasta el dato de tipo abeliano $G$ a través del cociente adjunto $Gad$. Esto implica gestionar los núcleos de los mapas en los grupos fundamentales ($\pi_1$) y establecer isomorfismos entre los esquemas formales $RZ_G$, $RZ_{Gad}$ y sus contrapartes de tipo Hodge módulo acciones de grupos específicas (Lema 5.1, Lema 10.4).
5. Comparación Cohomológica: Al establecer isomorfismos entre la cohomología de los componentes "más" ($RZ^+$) de los espacios de tipo abeliano y de tipo Hodge, y utilizando los resultados conocidos para el caso de tipo Hodge (específicamente el trabajo de Hong y Mantovan), las autoras transfieren la propiedad de inducción parabólica del contexto de tipo Hodge al contexto de tipo abeliano.

Contribuciones y Resultados Clave

• Teorema Principal (Teorema 1.1): El artículo demuestra que para un dato de Shimura local no ramificado $(G, [b], \{\mu\})$ de tipo abeliano que es reducible Hodge–Newton con respecto a un parábolo $P$ y un Levi $L$, y para cualquier representación $\ell$-ádica admisible $\rho$ de $J_b(\mathbb{Q}_p)$, se cumple la siguiente igualdad como representaciones virtuales de $G(\mathbb{Q}_p) \times W_{E_{opt}}$:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  Aquí, $E_{opt}$ es una extensión finita específica del cuerpo de reflexión construida en el Teorema 6.3.
• Construcción del Descenso de Weil: Las autoras proporcionan una construcción completa y autónoma del dato de descenso de Weil para espacios RZ de tipo abeliano, resolviendo posibles ambigüedades relacionadas con la dependencia de datos auxiliares de tipo Hodge (Lema 6.4).
• Functorialidad de los Espacios RZ: El artículo establece que la formación de espacios RZ de tipo abeliano respeta productos y incrustaciones cerradas de datos de Shimura locales (Proposición 8.2), generalizando resultados previos conocidos para tipo Hodge.
• Reducción al Caso Adjoint: La demostración reduce efectivamente el problema para datos de tipo abeliano al caso adjunto, utilizando la sobreyectividad del mapa $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ (una condición satisfecha por grupos de similitud como $GL_n$ y $GSp_{2n}$).

Significado
El artículo afirma extender la validez de la conjetura de Harris–Viehmann a una clase más amplia de datos de Shimura locales, específicamente datos no ramificados de tipo abeliano, que contienen estrictamente a la clase de datos de tipo Hodge. Al confirmar la fórmula de inducción parabólica en este contexto, el trabajo refuerza la comprensión estructural de la cohomología de las variedades de Shimura. Como se señala en la introducción, este resultado respalda la expectativa más amplia dentro del programa de Langlands de que las representaciones supercuspidales están concentradas a lo largo del lugar básico. Las autoras no afirman resolver la conjetura para todos los datos de Shimura locales (por ejemplo, casos no reducibles o no no ramificados), sino que se dirigen específicamente al caso reducible Hodge–Newton para tipos abelianos, construyendo sobre el trabajo fundamental de Mantovan, Hong y Shen.