Resumen Técnico: Operadores de Maass–Shimura $p$-ádicos en variedades de Igusa $\mu$-ordinarias

1. Planteamiento del Problema

El artículo aborda el problema de la interpolación $p$-ádica de los operadores diferenciales algebraicos de Maass–Shimura en variedades de Shimura de tipo Hodge. Mientras que los operadores clásicos de Maass–Shimura actúan sobre formas automórficas casi holomorfas y son cruciales para el estudio de los valores especiales de las funciones $L$, su interpolación $p$-ádica ha sido históricamente limitada. Construcciones previas (por ejemplo, de Eischen–Fintzen–Mantovan–Varma y Eischen–Mantoman) interpolaron con éxito estos operadores en casos específicos, como las variedades de Shimura unitarias, pero a menudo dependían de descripciones de coordenadas explícitas (coordenadas de Serre–Tate) y estaban restringidas a subálgebras específicas de operadores diferenciales o a loci específicos (el locus ordinario).

Los autores buscan generalizar estas construcciones al locus $\mu$-ordinario de variedades de Shimura de tipo Hodge general. Específicamente, buscan:

1. Construir un marco sistemático y libre de coordenadas para estos operadores en variedades de Igusa $\mu$-ordinarias.
2. Integrar la acción de operadores diferenciales de rango uno en la acción de un grupo formal explícito.
3. Utilizar la teoría de Fourier $p$-ádica para extender esta acción a una álgebra de funciones sobre el módulo de Tate de un grupo $p$-divisible dual, logrando así una interpolación $p$-ádica completa.
4. Clarificar la relación entre estos operadores diferenciales y los operadores de Hecke $p$-ádicos.

2. Metodología

Los autores emplean una síntesis de modelos integrales de variedades de Shimura, la teoría de Dieudonné cristalina y la teoría de Fourier $p$-ádica.

2.1. Configuración Geométrica y Torsores Canónicos

• Modelos Integrales: Trabajan con el modelo integral canónico $S_K$ de una variedad de Shimura de tipo Hodge $(G, X)$ sobre el anillo de enteros del campo de reflexión.
• Torsor Canónico ($P_{dR}$): Utilizan el torsor canónico $P_{\mu^{-1}}$ sobre $S_K$, donde $P_{\mu^{-1}}$ es el subgrupo parabólico asociado a la cocaracterística de Hodge inversa $\mu$. El espacio de formas automórficas casi holomorfas algebraicas $p$-integrales se identifica con las secciones globales $\mathcal{O}(P_{dR})$.
• Paralelización: Una innovación técnica clave es el uso de la conexión de Gauss–Manin para paralelizar canónicamente el haz tangente $T P_{dR}$. Esto produce un isomorfismo $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$, donde $\mathfrak{g}$ es el álgebra de Lie de $G$. Esto permite que el álgebra de Lie $\mathfrak{u}_\mu$ (el álgebra de Lie del radical unipotente del parabólico opuesto) actúe sobre $\mathcal{O}(P_{dR})$ como operadores de Maass–Shimura algebraicos.

2.2. Variedades de Igusa y Grupos Formales

• Locus $\mu$-ordinario: Los autores se centran en el locus $\mu$-ordinario, donde el polígono de Newton es mínimo. Consideran la variedad de Igusa de Mantovan $Ig_M$, que es un torsor pro-etale para el grupo $M_\mu(\mathbb{Z}_p)$ (el centralizador de $\mu$) sobre el locus $\mu$-ordinario.
• Construcción de $H$: Mediante el análisis del grupo de automorfismos del levant canónico del grupo $p$-divisible $\mu$-ordinario, construyen un grupo formal $p$-divisible $H$ explícito sobre la base. El álgebra de Lie de $H$ se identifica con los invariantes de $N$ del álgebra de Lie unipotente, $\mathfrak{u}_\mu^N$ (donde $N = M_\mu \cap U_\mu$).
• Integración: Demuestran que la acción del álgebra de Lie $\text{Lie}(H)$ sobre el espacio de formas automórficas $p$-ádicas $\mathcal{O}(Ig_M)$ se integra en una acción del propio grupo formal $H$.

2.3. Teoría de Fourier $p$-ádica

• Acción Dual: Utilizando la teoría de Fourier $p$-ádica integral desarrollada en [27], la acción del grupo formal $H$ se dualiza a una acción del álgebra de funciones sobre el módulo de Tate del Serre dual, $\mathcal{O}(T_p H^\vee)$.
• Funciones Localmente Analíticas: Al pasar a la fibra genérica e invertir $p$, describen la acción en términos de un álgebra de funciones localmente analíticas. Introducen un automorfismo de periodo $\Omega_\zeta$ (dependiente de una elección de trivialización de $\mathbb{Z}_p(1)$) para relacionar los operadores algebraicos con estas funciones analíticas.

3. Contribuciones Clave y Resultados

3.1. Teoremas Principales

• Teorema A (Acción de Grupo Formal): Existe un grupo formal $p$-divisible $H$ explícito con un álgebra de Lie $M_\mu(\mathbb{Z}_p)$-equivariante isomórfica a $\mathfrak{u}_\mu^N$. Este grupo actúa sobre la variedad de Igusa de Mantovan $Ig_M$, y la diferenciación de esta acción recupera los operadores de Maass–Shimura algebraicos.
• Corolario 1.2.7 (Interpolación Integral): La acción del álgebra simétrica $\text{Sym}(\mathfrak{u}_\mu^N)$ se extiende a una acción continua del álgebra de funciones $\mathcal{O}(T_p H^\vee)$ sobre $\mathcal{O}(Ig_M)$. Esto proporciona una interpolación $p$-ádica de los operadores diferenciales.
• Corolario 1.2.11 (Interpolación Localmente Analítica): Tras invertir $p$, la acción se extiende a un álgebra de funciones $\gamma$-localmente analíticas $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$. Esto generaliza los resultados previos al caso $\mu$-ordinario y a dimensiones superiores.
• Teorema B (Casi Sobreconvergencia): En el caso ordinario ($E = \mathbb{Q}_p$), la acción se extiende al espacio de formas automórficas casi sobreconvergentes, generalizando los resultados de Andreatta–Iovita–Stevens y otros.
• Teorema C (Relación con Operadores de Hecke): El artículo establece una compatibilidad precisa entre la acción del operador diferencial y la acción de Hecke. Específicamente, la acción de la subálgebra de funciones localmente constantes en el módulo de Tate corresponde exactamente a la acción del álgebra de Hecke $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$. Esto unifica las acciones diferencial y de Hecke dentro de un único marco algebraico.

3.2. Innovaciones Técnicas

• Construcción Libre de Coordenadas: A diferencia de trabajos previos que dependían de coordenadas de Serre–Tate explícitas, este artículo utiliza la paralelización del haz tangente de $P_{dR}$ mediante la conexión de Gauss–Manin. Esto simplifica la teoría y hace que la composición de operadores sea transparente.
• Generalización a $\mu$-Ordinario: La construcción funciona para el locus $\mu$-ordinario, que es estrictamente mayor que el locus ordinario en casos no PEL o no descompuestos, y maneja casos donde el radical unipotente no es abeliano.
• Automorfismo de Periodo: La introducción del automorfismo de periodo $\Omega_\zeta$ permite un emparejamiento preciso de la interpolación $p$-ádica con los operadores de Maass–Shimura con valores racionales en $E'$, corrigiendo la diferencia entre la filtración de Hodge y la filtración de pendiente.

4. Significado y Reivindicaciones

Los autores afirman que sus resultados:

1. Extienden Óptimamente las construcciones previas de los operadores de Maass–Shimura $p$-ádicos al entorno $\mu$-ordinario para variedades de Shimura de tipo Hodge general.
2. Clarifican la relación entre los operadores diferenciales y los operadores de Hecke, mostrando que están entrelazados mediante la acción de un único álgebra de funciones localmente analíticas.
3. Recuperan resultados conocidos (como aquellos para el caso ordinario y las variedades de Shimura unitarias) como casos especiales de su marco general.
4. Proporcionan una Base para la construcción de funciones $L$ $p$-ádicas. Al interpolar los operadores diferenciales, los autores sugieren una vía para construir funciones $L$ $p$-ádicas en entornos donde el locus $\mu$-ordinario no es el locus ordinario, lo que potencialmente clarifica las elecciones de vectores de prueba en las construcciones existentes.

El artículo señala explícitamente que, si bien no demuestra un resultado de casi sobreconvergencia para el caso $\mu$-ordinario (Teorema B) para todos los casos, formula una conjetura optimista (Conjetura 6.4.2) respecto a esta extensión. El trabajo se presenta como un avance teórico sistemático más que como una herramienta computacional inmediata, enfatizando la unificación estructural de las formas automórficas, los operadores diferenciales y el análisis $p$-ádico.