Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic

Sintesi Tecnica: Tracce di Frobenio per Moduli di Drinfeld di Rango 2, Rappresentazioni di Galois in Dimensione Superiore e un Teorema di Moltitudine Uno Forte in Caratteristica Positiva

Enunciato del Problema
Il lavoro affronta la misura in cui le tracce di Frobenio determinano le rappresentazioni di Galois a meno di isomorfismo nel contesto della caratteristica positiva. In caratteristica 0, il teorema di Brauer-Nesbitt stabilisce che due rappresentazioni semisemplici sono isomorfe se le loro tracce di Frobenio coincidono per tutti i luoghi tranne un numero finito. Tuttavia, in caratteristica positiva, questo principio non è generalmente valido perché la ricostruzione dei polinomi caratteristici dalle tracce tramite le identità di Newton richiede condizioni di divisibilità (nello specifico, che la caratteristica del campo sia maggiore della dimensione della rappresentazione), condizioni che spesso non sono soddisfatte. Il lavoro indaga le condizioni specifiche sotto le quali l'uguaglianza delle tracce di Frobenio impone ancora l'isomorfismo per le rappresentazioni associate ai moduli di Drinfeld e, più in generale, per le rappresentazioni di Galois semisemplici su campi locali di caratteristica positiva.

Metodologia
L'autore impiega una combinazione di teoria algebrica dei numeri, teoria dei moduli di Drinfeld e teoria dei gruppi algebrici.

1. Specificità dei Moduli di Drinfeld: Per i moduli di Drinfeld di rango 2, l'autore utilizza la coppia di Weil per stabilire una relazione tra il determinante di Frobenio e l'immagine di una rappresentazione associata a un modulo di Carlitz torcido. Ciò permette la ricostruzione del polinomio caratteristico (che dipende sia dalla traccia che dal determinante) senza fare affidamento sulle identità di Newton, aggirando così i vincoli di divisibilità della caratteristica positiva.
2. Riduzione a Estensioni Finite: Le dimostrazioni coinvolgono frequentemente la restrizione delle rappresentazioni a un'estensione finita $L/K$ dove l'immagine del gruppo di Galois diventa sufficientemente "aperta" o irriducibile. Il Lemma 3.1 dimostra che per i moduli di Drinfeld di rango 2 non-CM, esiste un'estensione finita in cui i determinanti delle rappresentazioni diventano uguali, riducendo il problema al confronto delle tracce su un sottogruppo dove le rappresentazioni sono irriducibili.
3. Densità di Chebotarev Algebrica: Per generalizzare i risultati a dimensioni superiori e a rappresentazioni semisemplici arbitrarie, il lavoro introduce una versione algebrica del teorema di densità di Chebotarev. Ciò implica l'analisi della chiusura di Zariski $H$ dell'immagine della rappresentazione di Galois in $GL_r \times GL_r$. L'autore definisce una condizione di "sottigliezza componente per componente" (CT) riguardante la misura di Haar dell'intersezione dell'immagine con specifici sottoinsiemi chiusi di Zariski.
4. Teorema di Burnside e Lemma di Schur: Nel caso generale (Proposizione 3.4), la dimostrazione si basa sul Teorema di Burnside per mostrare che l'algebra generata da una rappresentazione assolutamente irriducibile è l'intero anello degli endomorfismi. Ciò viene utilizzato per costruire una mappa equivariante non nulla tra due rappresentazioni con tracce coincidenti, che, tramite il Lemma di Schur, produce un isomorfismo.

Contributi e Risultati Chiave

• Teorema Principale 1 (Teorema 3.3): Per due moduli di Drinfeld di rango 2 non-CM su un'estensione finita di un campo di funzioni, se le loro rappresentazioni di Galois $\ell$-adiche associate hanno tracce di Frobenio uguali per tutti i luoghi tranne un numero finito, allora i moduli sono isogeni e le rappresentazioni sono isomorfe. Questo risultato vale senza l'assunzione che la caratteristica del campo dei coefficienti sia maggiore del rango.
• Generalizzazione a Ranghi Superiori (Corollario 3.7): Il risultato è esteso ai moduli di Drinfeld non-CM di rango arbitrario $r$. Se le tracce di Frobenio coincidono per tutti i luoghi tranne un numero finito, i moduli sono isogeni. Ciò si basa sull'esistenza di un primo $\tilde{\ell}$ di grado sufficientemente grande tale che le rappresentazioni associate siano assolutamente irriducibili (una conseguenza del Teorema dell'Immagine Aperta per i moduli di Drinfeld).
• Moltitudine Uno Forte in Caratteristica Positiva (Teorema 4.4): Il lavoro formula e dimostra un analogo per i campi di funzioni del teorema di moltitudine uno forte di Rajan. Stabilisce che per due rappresentazioni di Galois semisemplici $\rho_1, \rho_2$ su un campo locale di caratteristica positiva:
  • Se la chiusura di Zariski della rappresentazione prodotto soddisfa una specifica condizione di connettività ($H^\circ \subset X$, dove $X$ è il luogo in cui i polinomi caratteristici coincidono), allora le rappresentazioni diventano isomorfe dopo la restrizione a un'estensione finita.
  • Se $\rho_1$ è assolutamente irriducibile e la sua chiusura di Zariski è connessa, allora $\rho_2$ è isomorfa a $\rho_1$ twistata da un carattere finito.
• Criteri di Densità (Corollari 4.5 e 4.7): Il lavoro fornisce criteri basati sulla densità di Dirichlet. Se l'insieme dei luoghi in cui i polinomi caratteristici coincidono ha una densità maggiore di $1 - 1/|\Phi|$ (dove $\Phi$ è il gruppo delle componenti della chiusura di Zariski), le rappresentazioni sono isomorfe (a meno di un twist di carattere finito). Ciò contrasta con i risultati di Rajan in caratteristica 0, notando che la strategia che fa affidamento su matrici unitarie e sottogruppi compatti massimali non si applica direttamente in caratteristica positiva.

Significato
Il lavoro afferma di risolvere l'ambiguità della determinazione tramite traccia di Frobenio in caratteristica positiva per una classe significativa di rappresentazioni (quelle che derivano da moduli di Drinfeld non-CM). Evitando le identità di Newton, fornisce un teorema di isogenia robusto per moduli di Drinfeld di rango 2 e di rango superiore. Inoltre, stabilisce un quadro rigoroso per i teoremi di moltitudine uno forte in caratteristica positiva, identificando le precise condizioni algebriche (irriducibilità e connettività di Zariski) necessarie per garantire che l'uguaglianza delle tracce implichi l'isomorfismo. Il lavoro evidenzia le differenze strutturali tra gli ambienti di caratteristica 0 e di caratteristica positiva, in particolare riguardo alla necessità di assunzioni di irriducibilità e al comportamento della chiusura di Zariski delle immagini di Galois.