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

Resumen Técnico: Regularidad Aritmética de Kashiwara y Clasificación de Órbitas para $D^\dagger$-módulos Fuertemente Equivariantes Filtrados

Planteamiento del Problema
El artículo aborda el análogo aritmético del teorema de la regularidad de Kashiwara y la clasificación de órbitas para $D$-módulos equivariantes en variedades de banderas. En el caso clásico complejo, los $D$-módulos equivarientes coherentes en variedades de banderas son holonómicos regulares, y los objetos simples se clasifican mediante pares que consisten en una órbita de un grupo y un sistema local equivariante irreducible. El objetivo es establecer una teoría correspondiente para los operadores diferenciales aritméticos de Berthelot ($D^\dagger$-módulos) sobre variedades de banderas formales sobre un anillo de valoración discreta completa de característica mixta $(0, p)$.

Una dificultad central en el contexto aritmético es que la "holonomicidad" por sí sola es insuficiente para reemplazar la "regularidad holonómica". La categoría estable para las seis operaciones es la categoría de módulos sobreholonómicos. Además, la prueba clásica se basa en la compatibilidad de la acción del grupo con las simetrías infinitesimales (equivariancia fuerte) para forzar la variedad característica dentro del haz conormal de las órbitas. En el contexto aritmético, la variedad característica se define mediante modelos de nivel finito, lo que requiere una noción precisa de equivariancia que sea visible en estos niveles finitos.

Metodología
El autor desarrolla un marco basado en la equivariancia fuerte filtrada para $D^\dagger$-módulos coherentes. La metodología procede a través de los siguientes pasos lógicos:

1. Equivariancia Fuerte Filtrada: El artículo introduce una definición de $K$-equivariancia que combina una linealización débil (simetría global) con dos condiciones más fuertes:

   • Compatibilidad Infinitesimal (SE1): La acción infinitesimal inducida por la linealización debe coincidir con la acción de los campos vectoriales fundamentales dentro de $D^\dagger$.
   • Realizabilidad de Nivel Finito Filtrada (SE2): Esta coincidencia debe realizarse en modelos de nivel finito suficientemente grandes ($\widehat{\mathcal{D}}^{(m)}$) con respecto a filtraciones buenas. Esto asegura que los símbolos principales de los campos vectoriales fundamentales estén bien definidos y se anulen en el módulo graduado asociado.

2. Análisis Microlocal (Contención del Mapa de Momento): Utilizando los modelos de nivel finito, el autor construye un mapa de momento aritmético $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$. El argumento microlocal central demuestra que, para cualquier módulo $M$ filtrado fuertemente equivariante, los símbolos principales de todos los campos vectoriales se anulan en la variedad característica $\text{Car}(M)$. En consecuencia, $\text{Car}(M)$ está contenido en la fibra cero del mapa de momento, la cual, bajo la hipótesis de separabilidad de órbitas, es igual a la unión de los haces conormales a las órbitas de $K_s$.

3. Holonomicidad y Sobreholonomicidad:

   • Holonomicidad: La contención conormal, combinada con la suposición de órbitas finitas y la desigualdad de Bernstein aritmética, fuerza $\dim \text{Car}(M) = \dim X_s$, demostrando que $M$ es holonómico. Este resultado se sostiene sin asumir una estructura de Frobenius.
   • Sobreholonomicidad Geométrica: En presencia de una estructura de Frobenius, el autor invoca la resolución de Caro para las conjeturas de estabilidad de la holonomicidad de Berthelot para esquemas formales proyectivos suaves. Esto eleva la holonomicidad de Frobenius a la sobreholonomicidad de Frobenius. Combinado con las convenciones de cambio de base de Huyghe–Schmidt, esto produce la sobreholonomicidad geométrica.

4. Devissage Orbital: Una vez que los objetos se sitúan en el corazón sobreholonómico, el artículo realiza un devissage orbital equivariante. Mediante la restricción a órbitas abiertas y el uso de extensiones intermedias aritméticas ($j_{!+}$), los objetos simples se descomponen en piezas soportadas en órbitas individuales.

Contribuciones Clave y Resultados

• Teorema 1.1 (Regularidad de Kashiwara Aritmética):

  • Todo $D^\dagger_{X, \mathbb{Q}}$-módulo coherente filtrado fuertemente $K$-equivariante es holonómico.
  • Todo $D^\dagger_{X, \mathbb{Q}}$-módulo coherente Frobenius filtrado fuertemente $K$-equivariante es geométricamente sobreholonómico.
  • Significancia: Esto establece que la condición "fuerte filtrada" es un mecanismo de regularidad. Fuerza a los objetos hacia los rangos holonómicos y sobreholonómicos basados en la geometría de las órbitas, en lugar de asumir la sobreholonomicidad a priori.

• Teorema 1.2 (Clasificación de Órbitas Aritmética Filtrada):

  • Los objetos simples en la categoría de $D^\dagger$-módulos coherentes Frobenius filtrados fuertemente equivariantes se clasifican mediante pares $(O, E)$, donde:
    • $O$ es una órbita $K_s$ en la fibra especial $X_s$.
    • $E$ es un $F$-isocristal sobreconvergente $K$-equivariante irreducible en $(O, O)$.
  • El mapa de clasificación viene dado por la restricción a la órbita abierta, y la inversa es la extensión intermedia aritmética $j_{O, !+}(E)$.
  • Crucialmente, la imagen de esta clasificación se restringe a aquellos isocristales cuyas extensiones intermedias satisfacen la condición de equivariancia fuerte filtrada (denotado como el locus admisible $\text{Adm}^{\Phi, \text{fstr}}_K$).

• Corolario 1.1 (Álgebra de Distribución Cristalina):

  • Mediante la localización de Beilinson–Bernstein aritmética en el carácter trivial, la clasificación geométrica se transporta a una clasificación algebraica. Los objetos simples de la categoría de módulos de presentación finita Frobenius filtrados fuertemente equivariantes sobre el álgebra de distribución cristalina $A_0$ se clasifican por los mismos pares de órbita-isocristal.

Significancia y Reivindicaciones
El artículo afirma proporcionar el "análogo aritmético de la parte de regularidad del teorema de Kashiwara". Su contribución principal es el mecanismo de regularidad de nivel finito equivariante.

• Regularidad vs. Existencia: El autor establece explícitamente que este es un teorema de regularidad, no de existencia. Demuestra que si un objeto satisface la condición fuerte filtrada, es forzado hacia el rango holonómico/sobreholonómico. No pretende que la condición fuerte filtrada sea automática para todos los objetos débilmente equivariantes, ni que la clase resultante de módulos sea mayor que la obtenida al restringir las clasificaciones no equivariantes a los soportes de las órbitas.
• Necesidad Microlocal: La cláusula "filtrada" no es una adición cosmética sino una necesidad técnica. En la teoría de Berthelot, las variedades características se definen mediante modelos de nivel finito. La condición fuerte asegura que la simetría infinitesimal sea visible en este nivel, permitiendo que el argumento del símbolo principal funcione. Sin esto, los módulos coherentes grandes (como $D^\dagger$ mismo) podrían portar una equivariancia débil pero fallar en ser holonómicos.
• Distinción de Trabajos Previos: Mientras que Huyghe y Schmidt clasificaron previamente los módulos irreducibles usando isocristales sobreconvergentes en subvariedades localmente cerradas, este trabajo refina esa imagen hacia la estratificación de órbitas de $K_s$. Demuestra que, bajo las hipótesis de órbitas finitas y separabilidad de órbitas, el soporte de un objeto equivariante simple es exactamente el cierre de una única órbita, y el coeficiente es un isocristal equivariante en esa órbita.

El artículo concluye señalando que la clasificación depende de hipótesis específicas: el subgrupo $K$ debe ser suave, la acción en la fibra especial debe tener un número finito de órbitas, y debe cumplirse la condición de separabilidad de órbitas (que asegura que la acción infinitesimal detecte las direcciones tangentes). Los resultados se presentan como un modelo para una teoría más amplia de $D^\dagger$-módulos fuertemente equivariantes filtrados sobre esquemas formales estratificados, aunque el alcance actual se limita a las variedades de banderas formales en el carácter trivial.