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

Resumo Técnico: Regularidade de Kashiwara Aritmética e Classificação de Órbitas para $D^\dagger$-Módulos Fortemente Equivariantes Filtrados

Enunciado do Problema
O artigo aborda o análogo aritmético do teorema da regularidade de Kashiwara e da classificação de órbitas para $D$-módulos equivariantes em variedades de flag. No cenário clássico complexo, $D$-módulos equivariantes coerentes em variedades de flag são holonômicos regulares, e os objetos simples são classificados por pares consistindo em uma órbita de um grupo e um l local sistema equivariante irredutível. O objetivo é estabelecer uma teoria correspondente para os operadores diferenciais aritméticos de Berthelot ($D^\dagger$-módulos) em variedades de flag formais sobre um anel de discretização completa de característica mista $(0, p)$.

Uma dificuldade central no contexto aritmético é que a "holonomia" sozinha é insuficiente para substituir a "regularidade holonômica". A categoria estável para as seis operações é a categoria de módulos sobreholonômicos. Além disso, a prova clássica depende da compatibilidade da ação do grupo com simetrias infinitesimais (equivariância forte) para forçar a variedade característica para dentro do feixe conormal das órbitas. No contexto aritmético, a variedade característica é definida via modelos de nível finito, exigindo uma noção precisa de equivariância que seja visível nesses níveis finitos.

Metodologia
O autor desenvolve um arcabouço baseado na equivariância forte filtrada para $D^\dagger$-módulos coerentes. A metodologia procede através dos seguintes passos lógicos:

1. Equivariância Forte Filtrada: O artigo introduz uma definição de $K$-equivariância que combina uma linearização fraca (simetria global) com duas condições mais fortes:

   • Compatibilidade Infinitesimal (SE1): A ação infinitesimal induzida pela linearização deve coincidir com a ação dos campos vetoriais fundamentais dentro de $D^\dagger$.
   • Realizabilidade em Nível Finito Filtrado (SE2): Esta coincidência deve ser realizada em modelos de nível finito suficientemente grandes ($\widehat{\mathcal{D}}^{(m)}$) em relação a filtrações boas. Isso garante que os símbolos principais dos campos vetoriais fundamentais sejam bem definidos e vençam no módulo graduado associado.

2. Análise Microlocal (Contenção do Mapa de Momento): Usando os modelos de nível finito, o autor constrói um mapa de momento aritmético $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$. O argumento microlocal central demonstra que, para qualquer módulo $M$ filtrado fortemente equivariante, os símbolos principais de todos os campos vetoriais fundamentais anulam-se na variedade característica $\text{Car}(M)$. Consequentemente, $\text{Car}(M)$ está contido na fibra zero do mapa de momento, que, sob a hipótese de separabilidade de órbitas, é igual à união dos feixes conormais às órbitas de $K_s$.

3. Holonomia e Sobreholonomia:

   • Holonomia: A contenção conormal, combinada com a hipótese de órbitas finitas e a desigualdade de Bernstein aritmética, força $\dim \text{Car}(M) = \dim X_s$, provando que $M$ é holonômico. Este resultado ocorre sem assumir uma estrutura de Frobenius.
   • Sobreholonomia Geométrica: Na presença de uma estrutura de Frobenius, o autor invoca a resolução de Caro para as conjecturas de estabilidade de holonomia de Berthelot para esquemas formais projetivos suaves. Isso eleva a holonomia de Frobenius para a sobreholonomia de Frobenius. Combinado com as convenções de mudança de base de Huyghe–Schmidt, isso produz a sobreholonomia geométrica.

4. Devissage Orbital: Uma vez que os objetos são colocados no coração sobreholonômico, o artigo realiza um devissage orbital equivariante. Ao restringir para órbitas abertas e usar extensões intermediárias aritméticas ($j_{!+}$), os objetos simples são decompostos em partes suportadas em órbitas únicas.

Principais Contribuições e Resultados

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

  • Todo $D^\dagger_{X, \mathbb{Q}}$-módulo coerente filtrado fortemente $K$-equivariante é holonômico.
  • Todo $D^\dagger_{X, \mathbb{Q}}$-módulo coerente Frobenius filtrado fortemente $K$-equivariante é geometricamente sobreholonômico.
  • Significância: Estabelece que a condição "forte filtrada" é um mecanismo de regularidade. Ela força os objetos para os intervalos holonômico e sobreholonômico baseando-se na geometria das órbitas, em vez de assumir a sobreholonomia a priori.

• Teorema 1.2 (Classificação de Órbitas Aritmética Filtrada):

  • Objetos simples na categoria de $D^\dagger$-módulos coerentes Frobenius filtrados fortemente equivariantes são classificados por pares $(O, E)$, onde:
    • $O$ é uma órbita de $K_s$ na fibra especial $X_s$.
    • $E$ é um $F$-isocristal sobreconvergente $K$-equivariante irredutível em $(O, O)$.
  • O mapa de classificação é dado pela restrição à órbita aberta, e a inversa é a extensão intermediária aritmética $j_{O, !+}(E)$.
  • Crucialmente, a imagem desta classificação é restrita àqueles isocristais cujas extensões intermediárias satisfazem a condição de equivariância forte filtrada (denotada como o lócus admissível $\text{Adm}^{\Phi, \text{fstr}}_K$).

• Corolário 1.1 (Álgebra de Distribuição Cristalina):

  • Via a localização de Beilinson–Bernstein aritmética no caráter trivial, a classificação geométrica é transportada para uma classificação algébrica. Módulos finitamente apresentados Frobenius filtrados fortemente equivariantes simples sobre a álgebra de distribuição cristalina $A_0$ são classificados pelos mesmos pares órbita-isocristal.

Significância e Alegações
O artigo alega fornecer o "análogo aritmético da parte de regularidade do teorema de Kashiwara". Sua principal contribuição é o mecanismo de regularidade de nível finito equivariante.

• Regularidade vs. Existência: O autor afirma explicitamente que este é um teorema de regularidade, não um teorema de existência. Ele prova que se um objeto satisfaz a condição forte filtrada, ele é forçado para o intervalo holonômico/sobreholonômico. Não se alega que a condição forte filtrada seja automática para todos os objetos fracamente equivariantes, nem que a classe resultante de módulos seja maior do que aquela obtida restringindo classificações de sobreconvergência não-equivariantes aos suportes das órbitas.
• Necessidade Microlocal: A cláusula "filtrada" não é uma adição cosmética, mas uma necessidade técnica. Na teoria de Berthelot, as variedades características são definidas via modelos de nível finito. A condição forte garante que a simetria infinitesimal seja visível neste nível, permitindo que o argumento do símbolo principal funcione. Sem isso, módulos coerentes grandes (como o próprio $D^\dagger$) poderiam carregar equivariância fraca, mas falhar em ser holonômicos.
• Distinção de Trabalhos Anteriores: Embora Huyghe e Schmidt tenham previamente classificado módulos irredutíveis usando isocristais sobreconvergentes em subvariedades localmente fechadas, este artigo refina essa imagem para a estratificação de órbitas de $K_s$. Ele prova que, sob as hipóteses de órbitas finitas e separabilidade de órbitas, o suporte de um objeto equivariante simples é exatamente o fechamento de uma única órbita, e o coeficiente é um isocristal equivariante sobre essa órbima.

O artigo conclui observando que a classificação depende de hipóteses específicas: o subgrupo $K$ deve ser suave, a ação na fibra especial deve ter órbitas finitas e a condição de separabilidade de órbitas deve ser mantida (garantindo que a ação infinitesimal detecte as direções tangentes). Os resultados são apresentados como um modelo para uma teoria mais ampla de $D^\dagger$-módulos fortemente equivariantes filtrados em esquemas formais estratificados, embora o escopo atual seja limitado às variedades de flag formais no caráter trivial.