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

Résumé Technique : Régularité Arithmétique de Kashiwara et Classification des Orbites pour les $\mathcal{D}^\dagger$-modules Fortement Équivariants Filtrés

Énoncé du Problème
Le papier traite de l'analogue arithmétique du théorème de régularité de Kashiwara et de la classification des orbites pour les $\mathcal{D}$-modules équivariants sur les variétés de drapeaux. Dans le cadre classique complexe, les $\mathcal{D}$-modules équivariants cohérents sur les variétés de drapeaux sont holonomes réguliers, et les objets simples sont classés par des paires composées d'une orbite de groupe et d'un système local équivariant irréductible. L'objectif est d'établir une théorie correspondante pour les $\mathcal{D}^\dagger$-modules de Berthelot (opérateurs différentiels arithmétiques) sur les variétés de drapeaux formelles sur un anneau de valuation discrète complet de caractéristique mixte $(0, p)$.

Une difficulté centrale dans le contexte arithmétique est que la « holonomie » seule est insuffisante pour remplacer la « régularité holonome ». La catégorie stable pour les six opérations est la catégorie des modules surholonomes. De plus, la preuve classique repose sur la compatibilité de l'action du groupe avec les symétries infinitésimales (équivariance forte) pour forcer la variété caractéristique dans le fibré conormal des orbites. Dans le contexte arithmétique, la variété caractéristique est définie via des modèles à niveaux finis, ce qui nécessite une notion précise d'équivariance qui soit visible à ces niveaux finis.

Méthodologie
L'auteur développe un cadre basé sur l'équivariance forte filtrée pour les $\mathcal{D}^\dagger$-modules cohérents. La méthodologie procède à travers les étapes logiques suivantes :

1. Équivariance Forte Filtrée : Le papier introduit une définition de l'équivariance $K$ qui combine une linéarisation faible (symétrie globale) avec deux conditions plus fortes :

   • Compatibilité Infinitésimale (SE1) : L'action infinitésimale induite par la linéarisation doit coïncider avec l'action des champs de vecteurs fondamentaux à l'intérieur de $\mathcal{D}^\dagger$.
   • Réalisabilité à Niveau Fini Filtrée (SE2) : Cette coïncidence doit être réalisée sur des modèles à niveaux finis suffisamment grands ($\widehat{\mathcal{D}}^{(m)}$) par rapport à de bonnes filtrations. Cela garantit que les symboles principaux des champs de vecteurs fondamentaux sont bien définis et s'annulent sur le module gradué associé.

2. Analyse Microlocale (Contenance de la Carte de Moment) : En utilisant les modèles à niveaux finis, l'auteur construit une carte de moment arithmétique $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$. L'argument microlocal central démontre que pour tout $\mathcal{D}^\dagger$-module filtré fortement équivariant, les symboles principaux de tous les champs de vecteurs fondamentaux s'annulent sur la variété caractéristique $\text{Car}(M)$. Par conséquent, $\text{Car}(M)$ est contenu dans la fibre nulle de la carte de moment qui, sous l'hypothèse de séparabilité des orbites, est égale à la réunion des fibrés conormaux aux orbites de $K_s$.

3. Holonomie et Surholonomie :

   • Holonomie : La contenance conormale, combinée à l'hypothèse de finitude des orbites et à l'inégalité de Bernstein arithmétique, force $\dim \text{Car}(M) = \dim X_s$, prouvant que $M$ est holonome. Ce résultat est valable sans supposer de structure de Frobenius.
   • Surholonomie Géométrique : En présence d'une structure de Frobenius, l'auteur invoque la résolution de Caro des conjectures de stabilité de l'holonomie de Berthelot pour les schémas formels lisses projectifs. Cela élève l'holonomie de Frobenius en surholonomie de Frobenius. Combiné avec les conventions de changement de base de Huyghe–Schmidt, cela produit la surholonomie géométrique.

4. Devissage Orbital : Une fois les objets placés dans le cœur surholonome, le papier effectue un devissage orbital équivariant. En se restreignant aux orbites ouvertes et en utilisant les extensions intermédiaires arithmétiques ($j_{!+}$), les objets simples sont décomposés en morceaux supportés sur une orbite unique.

Contributions Clés et Résultats

• Théorème 1.1 (Régularité Arithmétique de Kashiwara) :

  • Tout $\mathcal{D}^\dagger_{X, \mathbb{Q}}$-module cohérent filtré fortement $K$-équivariant est holonome.
  • Tout $\mathcal{D}^\dagger_{X, \mathbb{Q}}$-module cohérent Frobenius filtré fortement $K$-équivariant est géométriquement surholonome.
  • Signification : Ceci établit que la condition « forte filtrée » est un mécanisme de régularité. Elle force les objets dans les plages holonomes et surholonomes basées sur la géométrie des orbites, plutôt que de supposer la surholonomie a priori.

• Théorème 1.2 (Classification des Orbites Arithmétiques Filtrées) :

  • Les objets simples dans la catégorie des $\mathcal{D}^\dagger$-modules cohérents Frobenius filtrés fortement équivariants sont classés par des paires $(O, E)$, où :
    • $O$ est une orbite $K_s$ dans la fibre spéciale $X_s$.
    • $E$ est un $F$-isocristale surconvergente $K$-équivariante irréductible sur $(O, O)$.
  • La carte de classification est donnée par la restriction à l'orbite ouverte, et l'inverse est l'extension intermédiaire arithmétique $j_{O, !+}(E)$.
  • Crucialement, l'image de cette classification est restreinte à ceux des isocristales dont les extensions intermédiaires satisfont la condition d'équivariance forte filtrée (notée le lieu admissible $\text{Adm}^{\Phi, \text{fstr}}_K$).

• Corollaire 1.1 (Algèbre de Distribution Cristalline) :

  • Via la localisation de Beilinson–Bernstein arithmétique au caractère trivial, la classification géométrique est transportée vers une classification algébrique. Les modules simples Frobenius filtrés fortement équivariants de présentation finie sur l'algèbre de distribution cristalline $A_0$ sont classés par les mêmes paires orbite-isocristale.

Signification et Revendications
Le papier revendique fournir « l'analogue arithmétique de la partie régularité du théorème de Kashiwara ». Sa contribution primaire est le mécanisme de régularité de niveau fini équivariant.

• Régularité vs Existence : L'auteur stipule explicitement qu'il s'agit d'un théorème de régularité, et non d'un théorème d'existence. Il prouve que si un objet satisfait la condition forte filtrée, il est forcé dans la plage holonome/surholonome. Il ne prétend pas que la condition forte filtrée est automatique pour tous les objets faiblement équivariants, ni que la classe résultante d'objets est plus large que celle obtenue en restreignant les classifications non équivariantes sur les supports d'orbites.
• Nécessité Microlocale : La clause « filtrée » n'est pas un ajout cosmétique mais une nécessité technique. Dans la théorie de Berthelot, les variétés caractéristiques sont définies via des modèles à niveaux finis. La condition forte assure que la symétrie infinitésimale est visible à ce niveau, permettant au raisonnement du symbole principal de fonctionner. Sans cela, de grands modules cohérents (comme $\mathcal{D}^\dagger$ lui-même) pourraient porter une équivariance faible mais échouer à être holonomes.
• Distinction avec les Travaux Précédents : Bien que Huyghe et Schmidt aient précédemment classifié les modules irréductibles en utilisant des isocristales surconvergentes sur des sous-variétés localement fermées, ce papier affine cette image à la stratification par orbites $K_s$. Il prouve que sous les hypothèses de finitude d'orbites et de séparabilité des orbites, le support d'un objet équivariant simple est exactement la clôture d'une orbite unique, et le coefficient est un isocristale équivariant sur cette orbite.

Le papier conclut en notant que la classification repose sur des hypothèses spécifiques : le sous-groupe $K$ doit être lisse, l'action sur la fibre spéciale doit avoir un nombre fini d'orbites, et la condition de séparabilité des orbites doit être satisfaite (garantissant que l'action infinitésimale détecte les directions tangentes). Les résultats sont présentés comme un modèle pour une théorie plus large de $\mathcal{D}^\dagger$-modules fortement filtrés équivariants sur des schémas formels stratifiés, bien que la portée actuelle soit limitée aux variétés de drapeaux formelles au caractère trivial.