On the Integral Part of A-Motivic Cohomology

Sintesi Tecnica: Sulla parte integrale della coomologia A-motivica

Enunciato del Problema
Il saggio affronta la definizione e le proprietà della "parte integrale" della coomologia motivica nel contesto dei campi di funzioni globali di caratteristica positiva. Nel contesto classico dei campi numerici, la parte integrale della coomologia motivica è congetturata essere catturata da due approcci equivalenti: uno tramite la K-teoria di modelli integrali regolari di varietà, e l'altro tramite la realizzazione $\ell$-adica di estensioni che possiedono una riduzione buona. Si prevede che queste due definizioni coincidano (Congettura C4) e che lo spazio risultante sia finito-dimensionale su $\mathbb{Q}$ (Congettura C5).

L'autore mira a stabilire una teoria analoga per i motivi $A$-di Anderson, che fungono da controparti dei motivi misti classici per i campi di funzioni. Il problema centrale è definire la parte integrale della coomologia $A$-motivica utilizzando modelli integrali massimali (analoghi ai modelli regolari) e la parte $\ell$-adica "buona" (estensioni con riduzione buona), e investigare se queste due definizioni coincidano e se il modulo risultante sia finitamente generato.

Metodologia
Il saggio impiega il framework dei motivi $A$-di Anderson su campi di funzioni globali e locali. La metodologia procede attraverso diverse fasi chiave:

1. Fondamenti dei motivi $A$-di Anderson: L'autore ripassa la categoria dei motivi $A$-di Anderson ($\mathcal{M}_R$), stabilendola come una categoria esatta (sebbene non abeliana). I moduli di estensione $\text{Ext}^i_{\mathcal{M}_R}(1, M)$ vengono calcolati esplicitamente utilizzando il complesso $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$, dove $j$ è l'ideale generato da $a \otimes 1 - 1 \otimes \kappa(a)$.
2. Mixedness e Pesi: Il concetto di motivi $A$-di Anderson misti viene sviluppato attraverso la filtrazione dei pendenze (slope filtration) degli isocristalli associati al punto all'infinito $\infty$. L'autore definisce i pesi e stabilisce che la categoria dei motivi misti si comporta in modo simile al caso dei campi numerici per quanto riguarda la sparizione delle estensioni per $i > 1$, sebbene la sottocategoria dei motivi puri non sia semi-semplice.
3. Modelli Integrali Massimali: Ispirandosi al lavoro di Gardeyn sulle $\tau$-sheaves, il saggio introduce la nozione di modelli integrali massimali per i motivi $A$-di su campi di funzioni locali e globali. A differenza degli approcci precedenti, l'autore non assume a priori che questi modelli siano localmente liberi, dimostrando tale proprietà come conseguenza della massimalità.
   • Per i campi locali, si dimostra che i modelli massimali esistono e sono unici.
   • Per i campi globali, il modello integrale massimale è costruito come l'intersezione dei modelli massimali locali.
4. Confronto delle Estensioni: L'autore definisce la "parte integrale" della coomologia ($\text{Ext}^1_{\mathcal{O}_p}(1, M)$) come l'immagine del modello integrale massimale sotto la mappa di estensione $\iota$. Questa viene confrontata con la "parte $\ell$-adica buona" ($\text{Ext}^1_{\text{good}}(1, M)_\ell$), definita come il nucleo della mappa di realizzazione $\ell$-adica ristretta al sottogruppo di inerzia.
5. Estensioni Regolate: Per affrontare le discrepanze tra le parti integrali e buone, il saggio introduce le "estensioni regolate", definite dall'additività dei poligoni di Hodge (analogamente all'additività di Hodge nella teoria di Pink).

Contributi Chiave e Risultati

• Esistenza e Unicità dei Modelli Massimali: Il saggio dimostra che i modelli integrali massimali per i motivi $A$-di esistono e sono unici sia su campi di funzioni locali che globali. Inoltre, si mostra che questi modelli massimali sono automaticamente proiettivi (localmente liberi) sugli anelli tensoriali rilevanti, semplificando i requisiti tecnici presenti nel precedente lavoro di Gardeyn sulle $\tau$-sheaves.
• Inclusione dell'Integrale nel Buono: Il risultato primario (Teorema D) stabilisce che la parte integrale della coomologia $A$-motivica è contenuta nella parte $\ell$-adica buona:
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• Fallimento dell'Uguaglianza: Contrariamente alle aspettative nel contesto dei campi numerici (Congettura C4), il saggio dimostra che l'inclusione sopra citata è generalmente stretta. Nella Sottosezione 5.1, viene costruito un controesempio esplicito per il motivo neutro $\mathbf{1}$, mostrando un'estensione che ha una riduzione buona rispetto a un ideale massimale $\ell$ ma che non deriva dal modello integrale massimale.
• Problema della Finità di Generazione: Il saggio nota che il modulo delle estensioni integrali $\text{Ext}^1_{\mathcal{O}_F}(1, M)$ non è tipicamente finitamente generato su $A$, violando l'analogo della Congettura C5. Ciò suggerisce che la categoria di tutti i motivi $A$-di sia troppo vasta per supportare una teoria della coomologia motivica ben comportata senza ulteriori restrizioni.
• Estensioni Regolate: L'autore propone le "estensioni regolate" come una sottocategoria raffinata in cui il poligono di Hodge dell'estensione corrisponde alla somma dei poligoni di Hodge dei costituenti.
  • Si dimostra che la mappa $\iota$ induce un isomorfismo tra un particolare quoziente del motivo e il modulo delle estensioni regolate (Corollario 5.5).
  • Il saggio congettura che per le estensioni regolate le parti integrale e buona coincidano (Congettura 5.8).
  • Questa congettura è verificata in casi specifici: quando il motivo deriva da uno spazio di Frobenius con riduzione buona (Teorema 5.9) e per i twist di Carlitz positivi $A(n)$ (Teorema 5.13).

Significatività e Rivendicazioni
Il saggio sostiene di avviare lo studio sistematico della coomologia $A$-motivica per i campi di funzioni globali. La sua significatività risiede nel:

1. Stabilire il Framework: Fornire definizioni rigorose per la parte integrale della coomologia $A$-motivica utilizzando i modelli massimali, che fungono da analogo dei modelli integrali regolari per i campi di funzioni.
2. Evidenziare la Divergenza: Dimostrare che il quadro dei campi di funzioni differisce fondamentalmente da quello dei campi numerici, specificamente che le definizioni integrale e $\ell$-adica buona non coincidono in generale. Ciò mette in discussione il diretto trasferimento delle congetture dai campi numerici ai campi di funzioni.
3. Proporre una Correzione: Introdurre la nozione di estensioni regolate come una condizione necessaria per ripristinare l'uguaglianza attesa tra le parti integrale e buona e per potenzialmente recuperare le proprietà di finita generazione.

L'autore conclude con modestia che, sebbene il caso generale dell'uguaglianza per le estensioni regolate rimanga aperto, il lavoro fornisce un percorso concreto identificando gli ostacoli strutturali specifici (mancanza di additività di Hodge) e risolvendo il problema per classi importanti di motivi. I risultati si basano fortemente sul formalismo delle categorie esatte e sull'interazione tra motivi $A$-di, isocristalli e rappresentazioni $\ell$-adiche.