Arithmetic Kashiwara Regularity and Orbit Classification for Filtered Strongly Equivariant $\mathcal{D}^{\dagger}$-Modules

Technische Samenvatting: Arithmetische Kashiwara-regulariteit en Baanclassificatie voor Gefilterde Sterk Equivariante $D^\dagger$-modules

Probleemstelling
Het artikel behandelt het arithmetische analogue van Kashiwara's regulariteits- en baanclassificatietheorema voor equivariante $D$-modules op flagvariëteiten. In de klassieke complexe setting zijn coherente equivariante $D$-modules op flagvariëteiten regulier holonom, waarbij enkelvoudige objecten worden geclassificeerd door paren bestaande uit een groepbaan en een irreducibele equivariante lokaal systeem. Het doel is om een overeenkomstige theorie te vestigen voor Berthelot's arithmetische differentiaaloperatoren ($D^\dagger$-modules) op formele flagvariëteiten over een voltooide discrete waarderingstelling van gemengde karakteristiek $(0, p)$.

Een centrale moeilijkheid in de arithmetische setting is dat "holonomiteit" alleen onvoldoende is om "reguliere holonomiteit" te vervangen. De stabiele categorie voor de zes operaties is de categorie van overholonome modules. Bovendien rust het klassieke bewijs op de compatibiliteit van de groepswerking met infinitesimale symmetrieën (sterke equivariance) om de karakteristieke variëteit in de normaalbundel van de banen te dwingen. In de arithmetische context wordt de karakteristieke variëteit gedefinieerd via eindige-niveau modellen, wat een precieze definitie van equivariance vereist die zichtbaar is op deze eindige niveaus.

Methodologie
De auteur ontwikkelt een raamwerk gebaseerd op gefilterde sterke equivariance voor coherente $D^\dagger$-modules. De methodologie verloopt via de volgende logische stappen:

1. Gefilterde Sterke Equivariance: Het artikel introduceert een definitie van $K$-equivariante modules die een zwakke linearisatie (globale symmetrie) combineert met twee sterkere voorwaarden:

   • Infinitesimale Compatibiliteit (SE1): De door de linearisatie geïnduceerde infinitesimale werking moet overeenkomen met de werking van fundamentele vectorfelden binnen $D^\dagger$.
   • Gefilterde Eindelijke-Niveau Realiseerbaarheid (SE2): Deze overeenkomst moet gerealiseerd worden op voldoende grote goede eindelijke-niveau modellen ($\widehat{\mathcal{D}}^{(m)}$) met betrekking tot goede filtraties. Dit zorgt ervoor dat de hoofdsymbolen van de fundamentele vectorfelden goed gedefinieerd zijn en verdwijnen op de geassocieerde gegradeerde module.

2. Microlische Analyse (Moment Map Insluiting): Gebruikmakend van de eindelijke-niveau modellen, construeert de auteur een arithmetische moment map $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$. Het kernmicrolische argument toont aan dat voor elke gefilterde sterk equivariante module $M$, de hoofdsymbolen van alle fundamentele vectorfelden verdwijnen op de karakteristieke variëteit $\text{Car}(M)$. Bijgevolg is $\text{Car}(M)$ ingesloten in de nulvezel van de moment map, die onder de hypothese van baan-separabiliteit gelijk is aan de vereniging van de normaalbundels van de $K_s$-banen.

3. Holonomiteit en Overholonomiteit:

   • Holonomiteit: De normaalbundel-insluiting, gecombineerd met de aanname van eindig veel banen en de arithmetische Bernstein-ongelijkheid, dwingt $\dim \text{Car}(M) = \dim X_s$ af, wat bewijst dat $M$ holonom is. Dit resultaat geldt zonder een Frobenius-structuur aan te nemen.
   • Geometrische Overholonomiteit: In aanwezigheid van een Frobenius-structuur roept de auteur Caro's resolutie van Berthelot's holonomiteit-stabiliteitsconjecturen voor gladde projectieve formele schema's aan. Dit upgrade Frobenius-holonomiteit naar Frobenius-overholonomiteit. Gecombineerd met de Huyghe–Schmidt base-change conventies, levert dit geometrische overholonomiteit op.

4. Orbital Devissage: Zodra de objecten in de overholonome hart zijn geplaatst, voert het artikel een equivariante orbitale devissage uit. Door te beperken tot open banen en gebruik te maken van arithmetische intermediaire extensies ($j_{!+}$), worden enkelvoudige objecten gedecomposeerd in stukken ondersteund op een enkele baan.

Kernbijdragen en Resultaten

• Theorema 1.1 (Arithmetische Kashiwara Regulariteit):

  • Elke gefilterde sterke $K$-equivariante coherente $D^\dagger_{X, \mathbb{Q}}$-module is holonom.
  • Elke Frobenius gefilterde sterke $K$-equivariante coherente $D^\dagger_{X, \mathbb{Q}}$-module is geometrisch overholonom.
  • Betekenis: Dit vestigt dat de "gefilterde sterke" conditie een regulariteitsmechanisme is. Het dwingt objecten in de holonome en overholonome bereiken op basis van baan-geometrie, in plaats van overholonomiteit a priori aan te nemen.

• Theorema 1.2 (Gefilterde Arithmetische Baanclassificatie):

  • Enkelvoudige objecten in de categorie van Frobenius gefilterde sterke equivariante coherente $D^\dagger$-modules worden geclassificeerd door paren $(O, E)$, waarbij:
    • $O$ een $K_s$-baan is in de speciale vezel $X_s$.
    • $E$ een irreducibele $K$-equivariante overconvergente $F$-isocras op $(O, O)$ is.
  • De classificatiekaart wordt gegeven door restrictie naar de open baan, en de inverse is de arithmetische intermediaire extensie $j_{O, !+}(E)$.
  • Cruciaal is dat de afbeelding van deze classificatie beperkt is tot die isocras die hun intermediaire extensies voldoen aan de gefilterde sterke equivariance conditie (aangeduid als de admissible locus $\text{Adm}^{\Phi, \text{fstr}}_K$).

• Corollary 1.1 (Kristallijne Distributie-algebra):

  • Via de arithmetische Beilinson–Bernstein lokalisatie bij de triviale karakter, wordt de geometrische classificatie getransporteerd naar een algebraïsche classificatie. Enkelvoudige Frobenius gefilterde sterke equivariante eindig gepresenteerde modules over de kristallijne distributie-algebra $A_0$ worden geclassificeerd door dezelfde baan-isocras paren.

Betekenis en Claims
Het artikel claimt het "arithmetische analogue van de regulariteitskant van Kashiwara's theorema" te bieden. De primaire bijdrage is het equivariante eindelijke-niveau regulariteitsmechanisme.

• Regulariteit vs. Bestaan: De auteur stelt expliciet dat dit een regulariteitstheorema is, geen bestaanstheorema. Het bewijst dat indien een object aan de gefilterde sterke conditie voldoet, het gedwongen wordt in het holonome/overholonome bereik. Het beweert niet dat de gefilterde sterke conditie automatisch is voor alle zwak equivariante objecten, noch dat de resulterende klasse van modules groter is dan die verkregen door niet-equivariante overholonome classificaties te beperken tot baan-ondersteuningen.
• Microlische Noodzakelijkheid: De "gefilterde" clausule is geen cosmetische toevoeging maar een technische noodzaak. In Berthelot's theorie worden karakteristieke variëteiten gedefinieerd via eindelijke-niveau modellen. De sterke conditie zorgt ervoor dat de infinitesimale symmetrie zichtbaar is op dit niveau, waardoor het hoofdsymbool-argument kan functioneren. Zonder dit zouden grote coherente modules (zoals $D^\dagger$ zelf) zwak equivariant kunnen zijn maar niet holonom zijn.
• Onderscheid met Vorig Werk: Hoewel Huyghe en Schmidt eerder irreducibele modules classificeerden met behulp van overconvergente isocras op lokaal gesloten subvariëteiten, verfijnt dit artikel dat beeld naar de $K_s$-baan stratificatie. Het bewijst dat onder de hypothesen van eindig aantal banen en baan-separabiliteit, de ondersteuning van een enkelvoudig equivariant object exact de sluiting is van een enkele baan, en de coëfficiënt een equivariant isocras op die baan is.

Het artikel concludeert dat de classificatie steunt op specifieke hypothesen: de subgroep $K$ moet glad zijn, de werking op de speciale vezel moet een eindig aantal banen hebben, en de baan-separabiliteit conditie moet gelden (wat garandeert dat de infinitesimale werking tangent-richtingen detecteert). De resultaten worden gepresenteerd als een model voor een breder theorie van gefilterde sterke equivariante arithmetische $D^\dagger$-modules op gestratificeerde formele schema's, hoewel de huidige reikwijdte beperkt is tot formele flagvariëteiten bij de triviale karakter.