Resumo Técnico: Operadores de Maass–Shimura $p$-ádicos em Variedades de Igusa $\mu$-ordinárias

1. Enunciado do Problema

O artigo aborda o problema da interpolação $p$-ádica de operadores diferenciais de Maass–Shimura algébricos em variedades de Shimura de tipo Hodge. Embora os operadores de Maass–Shimura clássicos atuem sobre formas automórficas quase holomorfas e sejam cruciais para o estudo de valores especiais de funções $L$, sua interpolação $p$-ádica tem sido historicamente limitada. Construções anteriores (por exemplo, de Eischen–Fintzen–Mantovan–Varma e Eischen–Mantovan) interpolaram com sucesso esses operadores em casos específicos, como variedades de Shimura unitárias, mas frequentemente dependiam de descrições de coordenadas explícitas (coordenadas de Serre–Tate) e eram restritas a subálgebras específicas de operadores diferenciais ou a lócus específicos (o lócus ordinário).

Os autores visam generalizar essas construções para o lócus $\mu$-ordinário de variedades de Shimura de tipo Hodge geral. Especificamente, eles buscam:

1. Construir um arcabouço sistemático e livre de coordenadas para esses operadores em variedades de Igusa $\mu$-ordinárias.
2. Integrar a ação de operadores diferenciais de posto um em uma ação de um grupo formal explícito.
3. Usar a teoria de Fourier $p$-ádica para estender essa ação a uma álgebra de funções no módulo de Tate de um grupo $p$-divisível dual, alcançando assim uma interpolação $p$-ádica completa.
4. Esclarecer a relação entre esses operadores diferenciais e operadores de Hecke $p$-ádicos.

2. Metodologia

Os autores empregam uma síntese de modelos integrais de variedades de Shimura, teoria de Dieudonné cristalina e teoria de Fourier $p-ádica$.

2.1. Configuração Geométrica e Torsores Canônicos

• Modelos Integrais: Eles trabalham com o modelo integral canônico $S_K$ de uma variedade de Shimura de tipo Hodge $(G, X)$ sobre o anel de inteiros do corpo de reflexo.
• Torsor Canônico ($P_{dR}$): Eles utilizam o torsor canônico $P_{\mu^{-1}}$ sobre $S_K$, onde $P_{\mu^{-1}}$ é o subgrupo parabólico associado ao cocaracter Hodge inverso $\mu$. O espaço das seções globais de formas automórficas quase holomorfas $p$-integrais algébricas é identificado com as seções globais $\mathcal{O}(P_{dR})$.
• Paralelização: Uma inovação técnica fundamental é o uso da conexão de Gauss–Manin para paralelizar canonicamente o fibrado tangente $T P_{dR}$. Isso produz um isomorfismo $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$, onde $\mathfrak{g}$ é a álgebra de Lie de $G$. Isso permite que a álgebra de Lie $\mathfrak{u}_\mu$ (a álgebra de Lie do radical unipotente do parabólico oposto) atue sobre $\mathcal{O}(P_{dR})$ como operadores de Maass–Shimura algébricos.

2.2. Variedades de Igusa e Grupos Formais

• Lócus $\mu$-ordinário: Os autores focam no lócus $\mu$-ordinário, onde o polígono de Newton é mínimo. Eles consideram a variedade de Igusa de Mantovan $Ig_M$, que é um torsor pro-etale para o grupo $M_\mu(\mathbb{Z}_p)$ (o centralizador de $\mu$) sobre o lócus $\mu$-ordinário.
• Construção de $H$: Ao analisar o grupo de automorfismos do levantamento canônico do grupo $p$-divisível $\mu$-ordinário, eles constroem um grupo formal $p$-divisível explícito $H$ sobre a base. A álgebra de Lie de $H$ é identificada com os invariantes de $N$ da álgebra de Lie unipotente, $\mathfrak{u}_\mu^N$ (onde $N = M_\mu \cap U_\mu$).
• Integração: Eles provam que a ação da álgebra de Lie $\text{Lie}(H)$ sobre o espaço de formas automórficas $p$-ádicas $\mathcal{O}(Ig_M)$ integra-se para uma ação do próprio grupo formal $H$.

2.3. Teoria de Fourier $p$-ádica

• Ação Dual: Usando a teoria de Fourier $p$-ádica integral desenvolvida em [27], a ação do grupo formal $H$ é dualizada para uma ação da álgebra de funções no módulo de Tate do Serre dual, $\mathcal{O}(T_p H^\vee)$.
• Funções Localmente Analíticas: Ao passar para o corpo genérico e inverter $p$, eles descrevem a ação em termos de uma álgebra de funções localmente analíticas. Eles introduzem um automorfismo de período $\Omega_\zeta$ (dependente de uma escolha de trivialização de $\mathbb{Z}_p(1)$) para relacionar os operadores algébricos a essas funções analíticas.

3. Principais Contribuições e Resultados

3.1. Teoremas Principais

• Teorema A (Ação de Grupo Formal): Existe um grupo formal $p$-divisível explícito $H$ com uma álgebra de Lie $M_\mu(\mathbb{Z}_p)$-equivariante isomórfica a $\mathfrak{u}_\mu^N$. Este grupo atua na variedade de Igusa de Mantovan $Ig_M$, e a diferenciação desta ação recupera os operadores de Maass–Shimura algébricos.
• Corolário 1.2.7 (Interpolação Integral): A ação da álgebra simétrica $\text{Sym}(\mathfrak{u}_\mu^N)$ estende-se para uma ação contínua da álgebra de funções $\mathcal{O}(T_p H^\vee)$ sobre $\mathcal{O}(Ig_M)$. Isso fornece uma interpolação $p$-ádica dos operadores diferenciais.
• Corolário 1.2.11 (Interpolação Localmente Analítica): Após inverter $p$, a ação estende-se para uma álgebra de funções $\gamma$-localmente analíticas $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$. Isso generaliza resultados anteriores para o caso $\mu$-ordinário e dimensões superiores.
• Teorema B (Quase Sobreconvergência): No caso ordinário ($E = \mathbb{Q}_p$), a ação estende-se ao espaço de formas automórficas quase sobreconvergentes, generalizando resultados de Andreatta–Iovita–Stevens e outros.
• Teorema C (Relação com Operadores de Hecke): O artigo estabelece uma compatibilidade precisa entre a ação do operador diferencial e a ação de Hecke. Especificamente, a ação da subálgebra de funções localmente constantes no módulo de Tate corresponde exatamente à ação da álgebra de Hecke $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$. Isso unifica as ações diferencial e de Hecke dentro de um único arcabouço algébrico.

3.2. Inovações Técnicas

• Construção Livre de Coordenadas: Diferente de trabalhos anteriores que dependiam de coordenadas de Serre–Tate explícitas, este artigo utiliza a paralelização do fibrado tangente de $P_{dR}$ via conexão de Gauss–Manin. Isso simplifica a teoria e torna a composição de operadores transparente.
• Generalização para $\mu$-Ordinário: A construção funciona para o lócus $\mu$-ordinário, que é estritamente maior que o lócus ordinário em casos não-PEL ou não-split, e lida com casos onde o radical unipotente é não-abeliano.
• Automorfismo de Período: A introdução do automorfismo de período $\Omega_\zeta$ permite um ajuste preciso da interpolação $p$-ádica com os operadores de Maass–Shimura racionais de $E'$, corrigindo a diferença entre a filtração de Hodge e a filtração de inclinação (slope).

4. Significância e Alegações

Os autores alegam que seus resultados:

1. Estendem de Forma Ótima as construções anteriores de operadores de Maass–Shimura $p$-ádicos para o cenário $\mu$-ordinário para variedades de Shimura de tipo Hodge geral.
2. Esclarecem a relação entre operadores diferenciais e operadores de Hecke, mostrando que eles estão entrelaçados via a ação de uma única álgebra de funções localmente analíticas.
3. Recuperam resultados conhecidos (como os para o caso ordinário e variedades de Shimura unitárias) como casos especiais de seu arcabouço geral.
4. Fornecem uma Base para a construção de funções $L$ $p$-ádicas. Ao interpolar os operadores diferenciais, os autores sugerem um caminho para construir funções $L$ $p$-ádicas em cenários onde o lócus $\mu$-ordinário não é o lócus ordinário, potencialmente esclarecendo escolhas de vetores de teste em construções existentes.

O artigo observa explicitamente que, embora não prove uma generalização da quase sobreconvergência (Teorema B) para todos os casos, ele formula uma conjectura otimista (Conjectura 6.4.2) em relação a essa extensão. O trabalho é apresentado como um avanço teórico sistemático em vez de uma ferramenta computacional imediata, enfatizando o avanço estrutural de formas automórficas, operadores diferenciais e análise $p$-ádica.