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

Sintesi Tecnica: Regolarità di Kashiwara Aritmetica e Classificazione delle Orbite per $D^\dagger$-Moduli Fortemente Equivarianti Filtrati

Enunciato del Problema
Il saggio affronta l'analogo aritmetico del teorema di regolarità di Kashiwara e della classificazione delle orbite per i $D$-moduli equivarianti sulle varietà di flag. Nel contesto classico complesso, i $D$-moduli equivarienti coerenti sulle varietà di flag sono olo-regolari, e gli oggetti semplici sono classificati da coppie composte da un'orbita del gruppo e un sistema locale equivariante irriducibile. L'obiettivo è stabilire una teoria corrispondente per i $D^\dagger$-moduli aritmetici di Berthelot sulle varietà di flag formali su un anello di discrete disvalutazione completo di caratteristica mista $(0, p)$.

Una difficoltà centrale nel contesto aritmetico è che la sola "olo-nomicità" è insufficiente a sostituire la "olo-regolarità". La categoria stabile per le sei operazioni è la categoria dei moduli sovra-olo-nomici. Inoltre, la dimostrazione classica si basa sulla compatibilità dell'azione del gruppo con le simmetrie infinitesimali (forte equivarianza) per forzare la varietà caratteristica nel fibrato connettivo delle orbite. Nel contesto aritmetico, la varietà caratteristica è definita tramite modelli a livello finito, richiedendo una nozione precisa di equivarianza che sia visibile a questi livelli finiti.

Metodologia
L'autore sviluppa un framework basato sulla forte equivarianza filtrata per i $D^\dagger$-moduli coerenti. La metodologia procede attraverso i seguenti passaggi logici:

1. Forte Equivarianza Filtrata: Il saggio introduce una definizione di $K$-equivarianza che combina una debole linearizzazione (simmetria globale) con due condizioni più forti:

   • Compatibilità Infinitesimale (SE1): L'azione infinitesimale indotta dalla linearizzazione deve coincidere con l'azione dei campi vettoriali fondamentali all'interno di $D^\dagger$.
   • Realizzabilità a Livello Finito Filtrato (SE2): Questa coincidenza deve essere realizzata su modelli a livello finito sufficientemente grandi ($\widehat{\mathcal{D}}^{(m)}$) rispetto a buone filtrazioni. Ciò assicura che i simboli principali dei campi vettoriali fondamentali siano ben definiti e svaniscano sul modulo graduato associato.

2. Analisi Microlocale (Contenimento della Mappa di Momento): Utilizzando i modelli a livello finito, l'autore costruisce una mappa di momento aritmetica $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$. Il nucleo dell'argomento microlocale dimostra che, per ogni modulo $M$ fortemente equivariante filtrato, i simboli principali di tutti i campi vettoriali svaniscono sulla varietà caratteristica $\text{Car}(M)$. Di conseguenza, $\text{Car}(M)$ è contenuto nella fibra nulla della mappa di momento, che, sotto l'ipotesi di separabilità delle orbite, è uguale all'unione dei fibrati connettivi alle orbite di $K_s$.

3. Olo-nomicità e Sovra-olo-nomicità:

   • Olo-nomicità: Il contenimento connettivo, combinato con l'ipotesi di orbite finite e la disuguaglianza di Bernstein aritmetica, forza $\dim \text{Car}(M) = \dim X_s$, provando che $M$ è olo-nomico. Questo risultato vale senza assumere una struttura di Frobenius.
   • Sovra-olo-nomicità Geometrica: In presenza di una struttura di Frobenius, l'autore invoca la risoluzione di Caro delle congetture di olo-nomicità-stabilità di Berthelot per schemi formali proiettivi lisci. Questo eleva l'olo-nomicità Frobenius alla sovra-olo-nomicità Frobenius. Combinato con le convenzioni di base di Huyghe–Schmidt, ciò produce la sovra-olo-nomicità geometrica.

4. Devissage Orbitale: Una volta collocati gli oggetti nel cuore sovra-olo-nomico, il saggio esegue un devissage orbitale equivariante. Limitandosi alle orbite aperte e utilizzando le estensioni intermedie aritmetiche ($j_{!+}$), gli oggetti semplici vengono decomposti in pezzi supportati su singole orbite.

Contributi Chiave e Risultati

• Teorema 1.1 (Regolarità di Kashiwara Aritmetica):

  • Ogni $D^\dagger_{X, \mathbb{Q}}$-modulo coerente fortemente $K$-equivariante filtrante è olo-nomico.
  • Ogni $D^\dagger_{X, \mathbb{Q}}$-modulo coerente Frobenius fortemente $K$-equivariante filtrante è geometricamente sovra-olo-nomico.
  • Significato: Questo stabilisce che la condizione "forte filtrata" è un meccanismo di regolarità. Essa forza gli oggetti nell'intervallo olo-nomico/sovra-olo-nomico basandosi sulla geometria delle orbite, piuttosto che assumere la sovra-olo-nomicità a priori.

• Teorema 1.2 (Classificazione delle Orbite Aritmetiche Filtrate):

  • Gli oggetti semplici nella categoria dei $D^\dagger$-moduli coerenti Frobenius fortemente equivarianti filtranti sono classificati da coppie $(O, E)$, dove:
    • $O$ è un'orbita $K_s$ nella fibra speciale $X_s$.
    • $E$ è un $F$-isocristallo sovra-convergente $K$-equivariante irriducibile su $(O, O)$.
  • La mappa di classificazione è data dalla restrizione sull'orbita aperta, e l'inversa è l'estensione intermedia aritmetica $j_{O, !+}(E)$.
  • Crucialmente, l'immagine di questa classificazione è limitata a quegli isocristalli le cui estensioni intermedie soddisfano la condizione di forte equivarianza filtrata (denotata come il locus ammissibile $\text{Adm}^{\Phi, \text{fstr}}_K$).

• Corollario 1.1 (Algebra di Distribuzione Cristallina):

  • Tramite la localizzazione di Beilinson–Bernstein aritmetica al carattere banale, la classificazione geometrica viene trasportata in una classificazione algebrica. I moduli semplici Frobenius fortemente equivarianti filtranti finitamente presentati sopra l'algebra di distribuzione cristallina $A_0$ sono classificati dalle stesse coppie orbita-isocristallo.

Significatività e Rivendicazioni
Il saggio rivendica di fornire l'"analogo aritmetico della parte di regolarità del teorema di Kashiwara". Il suo contributo primario è il meccanismo di regolarità a livello finito equivariante.

• Regolarità vs. Esistenza: L'autore afferma esplicitamente che questo è un teorema di regolarità, non un teorema di esistenza. Dimostra che se un oggetto soddisfa la condizione forte filtrata, esso è forzato nell'intervallo olo-nomico/sovra-olo-nomico. Non sostiene che la condizione forte filtrata sia automatica per tutti gli oggetti debolmente equivarianti, né che la classe risultante sia più ampia di quella ottenuta restringendo le classificazioni non equivarianti a supporto delle orbite.
• Necessità Microlocale: La clausola "filtrata" non è un'aggiunta cosmetica ma una necessità tecnica. Nella teoria di Berthelot, le varietà caratteristiche sono definite tramite modelli a livello finito. La condizione forte assicura che la simmetria infinitesimale sia visibile a questo livello, permettendo al funzionamento dell'argomento del simbolo principale. Senza di essa, grandi moduli coerenti (come $D^\dagger$ stesso) potrebbero possedere una debole equivarianza ma fallire l'olo-nomicità.
• Distinzione dal Lavoro Precedente: Mentre Huyghe e Schmidt avevano precedentemente classificato moduli irriducibili usando isocristalli sovra-convergenti su sottovarietà localmente chiuse, questo saggio perfeziona tale quadro focalizzandolo sulla stratificazione delle orbite $K_s$. Dimostra che, sotto le ipotesi di orbite finite e separabilità delle orbite, il supporto di un oggetto equivariante semplice è esattamente la chiusura di una singola orbita, e il coefficiente è un isocristallo equivariante su tale orbita.

Il saggio conclude osservando che la classificazione dipende da ipotesi specifiche: il sottogruppo $K$ deve essere liscio, l'azione sulla fibra speciale deve avere un numero finito di orbite, e la condizione di separabilità delle orbite deve essere soddisfatta (garantendo che l'azione infinitesimale rilevi le direzioni tangenti). I risultati sono presentati come un modello per una teoria più ampia di $D^\dagger$-moduli fortemente equivarianti filtranti su schemi formali stratificati, sebbene l'ambito attuale sia limitato alle varietà di flag formali al carattere banale.