Technische Samenvatting: $p$-adische Maass–Shimura-operatoren op $\mu$-ordinaire Igusa-variëteiten

1. Probleemstelling

Het artikel behandelt het probleem van de $p$-adische interpolatie van algebraïsche Maass–Shimura differentiaaloperatoren op Shimura-variëteiten van Hodge-type. Hoewel klassieke Maass–Shimura-operatoren optreden op bijna holomorfe automorfe vormen en cruciaal zijn voor het bestuderen van speciale waarden van $L$-functies, is hun $p$-adische interpolatie historisch gezien beperkt gebleven. Eerdere constructies (bijv. door Eischen–Fintzen–Mantovan–Varma en Eischen–Mantovan) hebben deze operatoren succesvol geïnterpoleerd in specifieke gevallen, zoals bij unitaire Shimura-variëteiten, maar vertrouwden vaak op expliciete coördinaatbeschrijvingen (Serre–Tate-coördinaten) en waren beperkt tot specifieke subalgebraën van differentiaaloperatoren of specifieke loci (de ordinaire locus).

De auteurs beogen deze constructies te generaliseren naar de $\mu$-ordinaire locus van algemene Hodge-type Shimura-variëteiten. Specifiek zoeken zij naar:

1. Een systematisch, coördinaatvrij kader voor deze operatoren op $\mu$-ordinaire Igusa-variëteiten.
2. Het integreren van de werking van rang-één differentiaaloperatoren in de werking van een expliciete formele groep.
3. Het gebruik van $p$-adische Fourier-theorie om deze werking uit te breiden naar een algebra van functies op de Tate-module van een duale $p$-divisibele groep, om zo een volledige $p$-adische interpolatie te bereiken.
4. Het verhelderen van de relatie tussen deze differentiaaloperatoren en $p$-adische Hecke-operatoren.

2. Methodologie

De auteurs maken gebruik van een synthese van integrale modellen van Shimura-variëteiten, kristallijne Dieudonné-theorie en $p$-adische Fourier-theorie.

2.1. Geometrische Opzet en Canonieke Torsoren

• Integrale Modellen: Zij werken met het canonieke integrale model $S_K$ van een Shimura-variëteit van Hodge-type $(G, X)$ over de ring van gehele elementen van het reflexveld.
• Canonieke Torsor ($P_{dR}$): Zij maken gebruik van de canonieke $P_{\mu^{-1}}$-torsor $P_{dR}$ over $S_K$, waarbij $P_{\mu^{-1}}$ de paraboolgroep is geassocieerd met de inverse van de Hodge-cocharacter $\mu$. De ruimte van algebraïsche $p$-integrale bijna holomorfe automorfe vormen wordt geïdentificeerd met de globale secties $\mathcal{O}(P_{dR})$.
• Parallellisatie: Een belangrijke technische innovatie is het gebruik van de Gauss–Manin-verbinding om de tangentiële bundel $T P_{dR}$ canoniek te parallelliseren. Dit levert een isomorfisme op $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$, waarbij $\mathfrak{g}$ de Lie-algebra is van $G$. Dit maakt het mogelijk dat de Lie-algebra $\mathfrak{u}_\mu$ (de Lie-algebra van de unipotente radicaal van de tegenovergestelde parabool) werkt op $\mathcal{O}(P_{dR})$ als algebraïsche Maass–Shimura-operatoren.

2.2. Igusa-variëteiten en Formele Groepen

• $\mu$-Ordinaire Locus: De auteurs richten zich op de $\mu$-ordinaire locus, waar de Newton-polygon minimaal is. Zij beschouwen de Mantovan Igusa-variëteit $Ig_M$, die een pro-étale torsor is voor de groep $M_\mu(\mathbb{Z}_p)$ (de centralisator van $\mu$) over de $\mu$-ordinaire locus.
• Constructie van $H$: Door de automorfisme-groep van de canonieke lift van de $\mu$-ordinaire $p$-divisibele groep te analyseren, construeren zij een expliciete $p$-divisibele formele groep $H$ over de basis. De Lie-algebra van $H$ wordt geïdentificeerd met de $N$-invarianten van de unipotente Lie-algebra, $\mathfrak{u}_\mu^N$ (waarbij $N = M_\mu \cap U_\mu$).
• Integratie: Zij bewijzen dat de werking van de Lie-algebra $\text{Lie}(H)$ op de ruimte van $p$-adische automorfe vormen $\mathcal{O}(Ig_M)$ integreert naar een werking van de formele groep $H$ zelf.

2.3. $p$-Adische Fourier-theorie

• Duale Werking: Met behulp van de integrale $p$-adische Fourier-theorie ontwikkeld in [27], wordt de werking van de formele groep $H$ gedualiseerd naar een werking van de algebra van functies op de Tate-module van de Serre-duale groep, $\mathcal{O}(T_p H^\vee)$.
• Lokaal Analytische Functies: Door over te gaan naar de generieke breuk en $p$ te inverteren, beschrijven zij de werking in termen van een algebra van lokaal analytische functies. Zij introduceren een periode-automorfisme $\Omega_\zeta$ (afhankelijk van een keuze van een trivialisering van $\mathbb{Z}_p(1)$) om de algebraïsche operatoren te relateren aan deze analytische functies.

3. Belangrijkste Bijdragen en Resultaten

3.1. Hoofdstellingen

• Theorem A (Formele Groep Werking): Er bestaat een expliciete $p$-divisibele formele groep $H$ met een $M_\mu(\mathbb{Z}_p)$-equivariante Lie-algebra isomorf aan $\mathfrak{u}_\mu^N$. Deze groep werkt op de Mantovan Igusa-variëteit $Ig_M$, en de differentiatie van deze werking herstelt de algebraïsche Maass–Shimura-operatoren.
• Corollary 1.2.7 (Integrale Interpolatie): De werking van de symmetrische algebra $\text{Sym}(\mathfrak{u}_\mu^N)$ breidt zich uit tot een continue werking van de algebra van functies $\mathcal{O}(T_p H^\vee)$ op $\mathcal{O}(Ig_M)$. Dit biedt een $p$-adische interpolatie van de differentiaaloperatoren.
• Corollary 1.2.11 (Lokaal Analytische Interpolatie): Na het inverteren van $p$ breidt de werking zich uit tot een algebra van $\gamma$-lokaal analytische functies $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$. Dit generaliseert eerdere resultaten naar het $\mu$-ordinaire geval en hogere dimensies.
• Theorem B (Nabij Overconvergentie): In het ordinaire geval ($E = \mathbb{Q}_p$) breidt de werking zich uit naar de ruimte van nabij overconvergente automorfe vormen, wat de resultaten van Andreatta–Iovita–Stevens en anderen generaliseert.
• Theorem C (Relatie met Hecke-operatoren): Het artikel stelt een precieze compatibiliteit vast tussen de differentiaaloperator-werking en de Hecke-werking. Specifiek komt de werking van de subalgebra van lokaal constante functies op de Tate-module exact overeen met de werking van de Hecke-algebra $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$. Dit verenigt de differentiaal- en Hecke-werking binnen één enkel algebraïsch kader.

3.2. Technische Innovaties

• Coördinaatvrije Constructie: In tegenstelling tot voorgaande werken die vertrouwden op expliciete Serre–Tate-coördinaten, gebruikt dit artikel de parallellisatie van de tangentiële bundel van $P_{dR}$ via de Gauss–Manin-verbinding. Dit vereenvoudigt de theorie en maakt de compositie van operatoren transparant.
• Generalisatie naar $\mu$-Ordinaire: De constructie werkt voor de $\mu$-ordinaire locus, die strikt groter is dan de ordinaire locus in niet-PEL of niet-gesplitste gevallen, en behandelt gevallen waarin de unipotente radicaal niet-abeliaans is.
• Periode-Automorfisme: De introductie van het periode-automorfisme $\Omega_\zeta$ maakt een precieze afstemming van de $p$-adische interpolatie met de $E'$-rationale Maass–Shimura-operatoren mogelijk, waarbij het verschil tussen de Hodge-filtratie en de hellings-filtratie wordt gecorrigeerd.

4. Betekenis en Claims

De auteurs beweren dat hun resultaten:

1. Optimaal Uitbreiden van eerdere constructies van $p$-adische Maass–Shimura-operatoren naar de $\mu$-ordinaire setting voor algemene Hodge-type Shimura-variëteiten.
2. Verhelderen van de relatie tussen differentiaaloperatoren en Hecke-operatoren, door aan te tonen dat zij verweven zijn via de werking van een enkele algebra van lokaal analytische functies.
3. Terugbrengen van bekende resultaten (zoals die voor het ordinaire geval en unitaire Shimura-variëteiten) als speciale gevallen van hun algemene kader.
4. Een Fundament Bieden voor de constructie van $p$-adische $L$-functies. Door de differentiaaloperatoren te interpoleren, suggereren de auteurs een pad naar de constructie van $p$-adische $L$-functies in situaties waar de $\mu$-ordinaire locus niet de ordinaire locus is, wat potentieel de keuze van testvectoren in bestaande constructies kan verhelderen.

Het artikel merkt expliciet op dat hoewel het geen $\mu$-ordinaire generalisatie van het nabij overconvergentie-resultaat (Theorem B) voor alle gevallen bewijst, het een optimistische conjectuur (Conjecture 6.4.2) formuleert met betrekking tot deze uitbreiding. Het werk wordt gepresenteerd als een systematische theoretische vooruitgang in plaats van een directe computationele tool, waarbij de nadruk ligt op de structurele unificatie van automorfe vormen, differentiaaloperatoren en $p$-adische analyse.