Regulators in the Arithmetic of Function Fields

Problematica

Questo articolo affronta lo sviluppo di una teoria del regolatore per i motivi di Anderson $A$ su campi di funzioni, con l'obiettivo di stabilire analoghi delle congetture di Beilinson note nella aritmetica dei campi numerici. Nello specifico, l'autore mira a definire un morfismo di regolatore per i motivi di Anderson $A$ rigidamente analicamente triviali e a investigare le proprietà di finitezza e di rango dei gruppi di coomologia motivica associati.

Nel contesto classico sui campi numerici, le congetture di Beilinson mettono in relazione la dimensione dei gruppi di estensione di motivi misti (specificamente $\text{Ext}^1_{\mathbb{Z}}(1, M)$) con i valori speciali delle funzioni $L$ tramite una mappa di regolatore verso spazi di realizzazione di Hodge. Nel contesto dei campi di funzioni, il lavoro precedente dell'autore ([Gaz22]) ha avviato lo studio della coomologia $A$-motivica ma ha incontrato ostacoli: il modulo naturale delle estensioni, $\text{Ext}^1_{A}(1, M)$, non è generalmente di tipo finito generato. Questo fallimento deriva da due fonti: la non-esattezza nel prendere le filtrazioni di Hodge e la natura infinita del gruppo galoisiano assoluto $G_\infty$ al luogo all'infinito. Il presente articolo mira a risolvere tali problemi definendo un modulo di estensioni raffinato con "riduzione analitica" e costruendo un corrispondente regolatore verso strutture di Hodge-Pink.

Metodologia

L'autore impiega una sintesi di geometria analitica rigida, coomologia galoisiana e teoria dei modelli di shtuka. La metodologia procede attraverso diverse fasi chiave:

1. Motivi di Anderson $A$ rigidamente analicamente triviali e realizzazione di Betti: Lo studio è limitato alla sottocategoria dei motivi di Anderson $A$ rigidamente analicamente triviali ($\text{AMot}^{\text{rat}}_K$). Per tali motivi, il funtore di realizzazione di Betti $M \mapsto M_B$ è esatto. L'autore stabilisce che $M_B$ possiede un'azione continua naturale del gruppo profinito di Galois $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$.
2. Riduzione analitica ed estensioni regolate: Per affrontare la mancanza di finitezza generata, l'autore definisce la "riduzione analitica all'infinito" per le estensioni. Un'estensione ha riduzione analitica se si scinde come rappresentazione di $G_\infty$. Ciò porta alla definizione del modulo di estensioni \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M), il nucleo della mappa dalle estensioni regolate alla coomologia galoisiana $H^1(G_\infty, M_B)$.
3. Strutture di Hodge-Pink con Frobenii infiniti: Il saggio estende la teoria delle strutture di Hodge-Pink di Pink introducendo "Frobenii infiniti", ovvero rappresentazioni continue di $G_\infty$ compatibili con il reticolo di Hodge-Pink. Ciò permette la costruzione di un funtore di realizzazione di Hodge-Pink $H^+$ da $\text{AMot}^{\text{rat}}_K$ alla categoria delle strutture di Hodge-Pink con Frobenii infiniti ($\text{HdgPk}^+$).
4. Modelli di shtuka: Uno strumento tecnico centrale è l'associazione di motivi di Anderson $A$ con modelli di shtuka.
   • Modelli di $C$-shtuka: Associati a qualsiasi motivo di Anderson $A$ su la superficie $(\text{Spec } A) \times C$.
   • Modelli di $C \times C$-shtuka: Associati a motivi di Anderson $A$ con pesi negativi su $C \times C$.
     L'autore dimostra che il complesso che calcola la coomologia motivica ($G_M$) è quasi-isomorfo alla coomologia coerente di questi modelli di shtuka. Questa connessione permette l'uso del teorema di Grothendieck sulle funzioni formali e della finitezza della coomologia coerente su schemi propri per dedurre risultati di finitezza.
5. Costruzione del regolatore: L'esattezza del funtore di realizzazione di Hodge-Pink induce un morfismo (il regolatore) dal modulo delle estensioni regolate e analicamente ridotte di motivi di Anderson $A$ allo spazio delle estensioni di strutture di Hodge-Pink analicamente ridotte e Hodge-additive.

Contributi principali e Risultati

Il saggio stabilisce due teoremi principali riguardanti la struttura della coomologia $A$-motivica e le proprietà del regolatore:

1. Teorema di Finitezza (Teorema 6.1):

   • I moduli $A$ \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) (estensioni integrali, regolate con riduzione analitica) e il modulo di classe $\text{Cl}(M)$ (il cokernel della mappa di riduzione analitica) sono di tipo finito generato.
   • Se i pesi di $M$ sono tutti negativi, il modulo di classe $\text{Cl}(M)$ è finito.
   • Questo risultato funge da analogo per i campi di funzioni dell'aspettativa che $\text{Ext}^1_{\mathbb{Z}}(1, M)$ sia di dimensione finita nel contesto dei campi numerici.

2. Teorema di uguaglianza del rango (Teorema 6.2):

   • Assumendo che i pesi di $M$ siano tutti negativi, il rango di \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) come modulo $A$ è uguale alla dimensione dello spazio bersaglio \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) come spazio vettoriale su $K_\infty$.
   • Questa dimensione è esplicitamente computabile in termini dei pesi positivi di Hodge-Pink di $M$.

3. Fallimento del rango pieno:

   • Contrariamente al quadro congetturale sui campi numerici (dove si prevede che il regolatore abbia un rango denso/pieno), l'autore dimostra che l'immagine del regolatore di Hodge-Pink $\text{Reg}(M)$ può non avere rango pieno nel suo spazio bersaglio.
   • Tale fallimento è osservato anche in casi semplici, come la torsione di Carlitz all'ordine $p$. Di conseguenza, un analogo diretto della congettura di Beilinson riguardante la densità dell'immagine non è valido in questo contesto.

Significato e Rivendicazioni

Il saggio sostiene di fornire un quadro rigoroso per la coomologia motivica nel contesto dei campi di funzioni, superando i problemi di generazione infinita presenti nelle formulazioni precedenti. Introducendo il concetto di riduzione analitica e utilizzando i modelli di shtuka, l'autore riesce a dimostrare risultati di finitezza che rispecchiano le aspettative classiche.

Tuttavia, il saggio nota con modestia una divergenza significativa dall'analogia con i campi numerici: il regolatore non ha necessariamente rango pieno. L'autore suggerisce che questa discrepanza implichi che le strutture di Hodge-Pink standard potrebbero non essere gli oggetti corretti per formulare una piena congettura di tipo Beilinson nei campi di funzioni. Invece, l'autore propone che le "strutture di Hodge di campi di funzioni" (senza i dati del reticolo) potrebbero dover essere riabilitate per definire un regolatore con rango pieno. Il saggio conclude che, sebbene l'uguaglianza del rango (Teorema 6.2) sia valida, la precisa formulazione dell'analogo della congettura di Beilinson (relativa all'immagine del regolatore ai valori speciali delle funzioni $L$) rimane un problema aperto che richiede ulteriori investigazioni. Il lavoro è presentato come un naturale seguito di [Gaz22], colmando il divario tra i motivi di Anderson $A$ e il panorama congetturale dei motivi misti.