Riassunto Tecnico: Operatori di Maass–Shimura $p$-adici sulle Varietà di Igusa $\mu$-ordinarie

1. Enunciato del Problema

Il saggio affronta il problema dell'interpolazione $p$-adica di operatori differenziali algebrici di Maass–Shimura su varietà di Shimura di tipo Hodge. Mentre gli operatori classici di Maass–Shimura agiscono su forme automorfe quasi olandi e sono cruciali per lo studio dei valori speciali di funzioni $L$, la loro interpolazione $p$-adica è stata storicamente limitata. Costruzioni precedenti (ad esempio, Eischen–Fintzen–Mantovan–Varma e Eischen–Mantoman) hanno interpolato con successo questi operatori in casi specifici, come le varietà di Shimura unitarie, ma spesso si basavano su descrizioni esplicite di coordinate (coordinate di Serre–Tate) ed erano ristrette a specifiche sottialgere di operatori differenziali o a specifici lotti (il lotto ordinario).

Gli autori mirano a generalizzare queste costruzioni al lotto $\mu$-ordinario di varietà di Shimura di tipo Hodge generale. Nello specifico, cercano di:

1. Costruire un quadro sistematico e privo di coordinate per questi operatori sul lotto delle varietà di Igusa $\mu$-ordinarie.
2. Integrare l'azione di operatori differenziali di rango uno in un'azione di un esplicito gruppo formale.
3. Utilizzare la teoria di Fourier $p$-adica per estendere questa azione a un'algebra di funzioni sul modulo di Tate di un gruppo $p$-divisibile duale, ottenendo così una piena interpolazione $p$-adica.
4. Chiarire la relazione tra questi operatori differenziali e gli operatori di Hecke $p$-adici.

2. Metodologia

Gli autori impiegano una sintesi di modelli integrali di varietà di Shimura, teoria di Dieudonné cristallina e teoria di Fourier $p$-adica.

2.1. Setup Geometrico e Torsori Canonici

• Modelli Integrali: Lavorano con il modello integrale canonico $S_K$ di una varietà di Shimura di tipo Hodge $(G, X)$ sul ring degli interi del campo di riflesso.
• Torsore Canonico ($P_{dR}$): Utilizzano il canonical torsore $P_{\mu^{-1}}$ su $S_K$, dove $P_{\mu^{-1}}$ è il sottogruppo parabolico associato all'inverso della cocaratteristica di Hodge $\mu$. Lo spazio delle forme automorfe quasi olandi algebriche $p$-integrali è identificato con le sezioni globali $\mathcal{O}(P_{dR})$.
• Parallelizzazione: Un'innovazione tecnica chiave è l'uso della connessione di Gauss–Manin per parallelizzare canonicamente il fibrato tangente $T P_{dR}$. Ciò produce un isomorfismo $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$, dove $\mathfrak{g}$ è l'algebra di Lie di $G$. Questo permette all'algebra di Lie $\mathfrak{u}_\mu$ (l'algebra di Lie del radicale unipotente del parabolico opposto) di agire su $\mathcal{O}(P_{dR})$ come operatori di Maass–Shimura algebrici.

2.2. Varietà di Igusa e Gruppi Formali

• Lotto $\mu$-ordinario: Gli autori si concentrano sul lotto $\mu$-ordinario, dove il poligono di Newton è minimo. Considerano la varietà di Igusa di Mantovan $Ig_M$, che è un torsore pro-etale per il gruppo $M_\mu(\mathbb{Z}_p)$ (il centralizzatore di $\mu$) sopra il lotto $\mu$-ordinario.
• Costruzione di $H$: Analizzando il gruppo di automorfismi della elevazione canonica del gruppo $p$-divisibile $\mu$-ordinario, costruiscono un esplicito gruppo formale $p$-divisibile $H$ sul fondo. L'algebra di Lie di $H$ è identificata con gli $N$-invarianti dell'algebra di Lie unipotente, $\mathfrak{u}_\mu^N$ (dove $N = M_\mu \cap U_\mu$).
• Integrazione: Dimostrano che l'azione dell'algebra di Lie $\text{Lie}(H)$ sullo spazio delle forme automorfe $p$-adiche $\mathcal{O}(Ig_M)$ si integra in un'azione del gruppo formale $H$ stesso.

2.3. Teoria di Fourier $p$-adica

• Azione Duale: Utilizzando la teoria di Fourier $p$-adica integrale sviluppata in [27], l'azione del gruppo formale $H$ viene dualizzata in un'azione dell'algebra di funzioni sul modulo di Tate del Serre duale, $\mathcal{O}(T_p H^\vee)$.
• Funzioni Localmente Analitiche: Passando alla fibra generica e invertendo $p$, descrivono l'azione in termini di un'algebra di funzioni localmente analitiche. Introducono un automorfismo di periodo $\Omega_\zeta$ (dipendente da una scelta di trivializzazione di $\mathbb{Z}_p(1)$) per relazionare gli operatori algebrici a queste funzioni analitiche.

3. Contributi Chiave e Risultati

3.1. Teoremi Principali

• Teorema A (Azione di Gruppo Formale): Esiste un esplicito gruppo formale $p$-divisibile $H$ con un'algebra di Lie $M_\mu(\mathbb{Z}_p)$-equivariante isomorfa a $\mathfrak{u}_\mu^N$. Questo gruppo agisce sulla varietà di Igusa di Mantovan $Ig_M$, e la differenziazione di questa azione recupera gli operatori di Maass–Shimura algebrici.
• Corollario 1.2.7 (Interpolazione Integrale): L'azione dell'algebra simmetrica $\text{Sym}(\mathfrak{u}_\mu^N)$ si estende a un'azione continua dell'algebra di funzioni $\mathcal{O}(T_p H^\vee)$ su $\mathcal{O}(Ig_M)$. Ciò fornisce un'interpolazione $p$-adica degli operatori differenziali.
• Corollario 1.2.11 (Interpolazione Localmente Analitica): Dopo l'inversione di $p$, l'azione si estende a un'algebra di funzioni $\gamma$-localmente analitiche $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$. Questo generalizza i risultati precedenti al caso $\mu$-ordinario e a dimensioni superiori.
• Teorema B (Near Overconvergence): Nel caso ordinario ($E = \mathbb{Q}_p$), l'azione si estende allo spazio delle forme automorfe quasi sovraconvergenti, generalizzando i risultati di Andreatta–Iovita–Stevens e altri.
• Teorema C (Relazione con gli Operatori di Hecke): Il saggio stabilisce una compatibilità precisa tra l'azione dell'operatore differenziale e l'azione di Hecke. Nello specifico, l'azione della sottialgebra delle funzioni localmente costanti sul modulo di Tate corrisponde esattamente all'azione dell'algebra di Hecke $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$. Ciò unifica le azioni differenziali e di Hecke all'interno di un unico quadro algebrico.

3.2. Innovazioni Tecniche

• Costruzione Senza Coordinate: A differenza dei lavori precedenti che si basavano su esplicite coordinate di Serre–Tate, questo saggio utilizza la parallelizzazione del fibrato tangente di $P_{dR}$ tramite la connessione di Gauss–Manin. Ciò semplifica la teoria e rende trasparente la composizione degli operatori.
• Generalizzazione al $\mu$-ordinario: La costruzione funziona per il lotto $\mu$-ordinario, che è strettamente più grande del lotto ordinario nei casi non-PEL o non-split, e gestisce casi in cui il radicale unipotente è non-abeliano.
• Automorfismo di Periodo: L'introduzione dell'automorfismo di periodo $\Omega_\zeta$ permette un accoppiamento preciso dell'interpolazione $p$-adica con gli operatori di Maass–Shimura razionali su $E'$, correggendo la differenza tra la filtrazione di Hodge e la filtrazione di pendenza (slope).

4. Significato e Rivendicazioni

Gli autori affermano che i loro risultati:

1. Estendono Ottimalmente le costruzioni precedenti di operatori di Maass–Shimura $p$-adici al contesto $\mu$-ordinario per varietà di Shimura di tipo Hodge generale.
2. Chiariscono la relazione tra operatori differenziali e operatori di Hecke, mostrando che sono intrecciati tramite l'azione di un'unica algebra di funzioni localmente analitiche.
3. Recuperano i risultati noti (come quelli per il caso ordinario e le varietà di Shimura unitarie) come casi speciali del loro quadro generale.
4. Forniscono una Fondazione per la costruzione di funzioni $L$ $p$-adiche. Interpolando gli operatori differenziali, gli autori suggeriscono una via per costruire funzioni $L$ $p$-adiche in contesti in cui il lotto $\mu$-ordinario non è il lotto ordinario, potenzialmente chiarendo le scelte dei vettori di test nelle costruzioni esistenti.

Il saggio nota esplicitamente che, sebbene non dimostri una generalizzazione del risultato di near overconvergence (Teorema B) per tutti i casi, formula una congettura ottimistica (Congettura 6.4.2) riguardo a tale estensione. Il lavoro è presentato come un avanzamento teorico sistematico piuttosto che come uno strumento computazionale immediato, enfatizzando l'unificazione strutturale di forme automorfe, operatori differenziali e analisi $p$-adica.