Computing L-functions of $λ$-adic representations of global function fields

Sintesi Tecnica: Calcolo delle Funzioni L di Rappresentazioni $\lambda$-adiche di Campi di Funzioni Globali

Enunciato del Problema
Sebbene l'aritmetica degli oggetti su campi di funzioni globali $K = \mathbb{F}_q(C)$ sia teoricamente ben compresa — specificamente, che le loro funzioni $L$ associate siano funzioni razionali in $q^{-s}$ che soddisfano note equazioni funzionali e l'ipotesi di Riemann — l'ecosistema computazionale per tali oggetti è severamente limitato. A differenza dell'estesa infrastruttura disponibile per i campi numerici (ad esempio, la LMFDB e gli algoritmi di Dokchitser, Booker e Rubinstein), i sistemi principali di algebra computazionale come PARI e SageMath offrono scarso supporto per computazioni esplicite su campi di funzioni. Magma fornisce una funzionalità per casi specifici (ad esempio, curve ellittiche non costanti), ma manca un framework sistematico e generale per il calcolo dei coefficienti delle funzioni $L$ e dei loro numeri di radice ($\epsilon$-fattori) per arbitrarie rappresentazioni $\lambda$-adiche. Questa lacuna ostacola la creazione di un analogo alla LMFDB per i campi di funzioni e limita la verifica esplicita delle congetture in questo ambito.

Metodologia
Il documento stabilisce un framework sistematico per calcolare la funzione $L$ formale $L(\rho_\lambda, T)$ e il suo segno $\epsilon(\rho_\lambda)$ per una rappresentazione $\lambda$-adica $\rho_\lambda$, quasi ovunque non ramificata, di un campo di funzioni globale $K$. L'approccio si basa sulla razionalità di $L(\rho_\lambda, T)$ e della sua equazione funzionale.

1. Fondamento Teorico: Il documento esamina gli invarianti di $\rho_\lambda$, tra cui il conduttore di Artin $f(\rho_\lambda)$, il peso $w(\rho_\lambda)$ e il segno $c(\rho_\lambda) \in \{\text{id}, \text{cc}\}$. Stabilisce che $L(\rho_\lambda, T)$ è una funzione razionale $N(\rho_\lambda, T)/D(\rho_\lambda, T)$ dove la differenza di grado $n(\rho_\lambda) - d(\rho_\lambda)$ è determinata dal conduttore e dal genere della curva $C$.
2. Stratificazione e Razionalità: Gli autori definiscono una "stratificazione" dei fattori Euler locali $L_v(\rho_\lambda, T)$. Propongono l'Algoritmo 3.4, che calcola il polinomio numeratore $N(\rho_\lambda, T)$ moltiplicando i fattori locali per un numero sufficiente di luoghi $v$ al fine di determinare i coefficienti fino al grado $n(\rho_\lambda)$.
3. Ottimizzazione tramite Equazioni Funzionali: Se $\rho_\lambda$ è auto-duale, l'equazione funzionale mette in relazione i coefficienti di $N(\rho_\lambda, T)$ ad alti gradi con quelli ad alti gradi.
   • L'Algoritmo 3.6 utilizza questa relazione per calcolare i primi $\lfloor n/2 \rfloor$ coefficienti di $N(\rho_\lambda, T)$ e derivare simultaneamente i coefficienti rimanenti, a condizione che $\epsilon(\rho_\lambda)$ sia noto.
   • L'Algoritmo 3.9 combina questi passaggi per produrre il polinomio completo $N(\rho_\lambda, T)$ quando $\epsilon(\rho_\lambda)$ è noto, riducendo la complessità computazionale da esponenziale in $n$ a circa esponenziale in $\lfloor n/2 \rfloor$.
4. Calcolo del Segno: Quando $\epsilon(\rho_\lambda)$ è ignoto, l'Algoritmo 3.11 utilizza l'equazione funzionale per calcolarlo. Esso calcola i coefficienti parziali e risolve per $\epsilon(\rho_\lambda)$ utilizzando un coefficiente non nullo derivato dalla relazione $N_k = \epsilon M_{n-k}$.

Contributi Chiave e Risultati
Il documento presenta tre principali risultati algoritmici, riassunti nel Teorema 1.1:

1. Calcolo Generale: Un algoritmo (Algoritmo 3.4) per calcolare $L(\rho_\lambda, T)$ con un tempo di esecuzione approssimativamente esponenziale nel grado $n(\rho_\lambda)$.
2. Calcolo Ottimizzato: Se $\epsilon(\rho_\lambda)$ è noto, un algoritmo (Algoritmo 3.9) per calcolare $L(\rho_\lambda, T)$ con un tempo di esecuzione approssimativamente esponenziale in $\lfloor n(\rho_\lambda)/2 \rfloor$.
3. Calcolo del Segno: Un algoritmo (Algoritmo 3.11) per calcolare $\epsilon(\rho_\lambda)$ con un tempo di esecuzione tipicamente esponenziale in $\lfloor n(\rho_\lambda)/2 \rfloor$, e al massimo esponenziale in $n(\rho_\lambda)$.

Gli autori hanno implementato questi algoritmi in Magma e li hanno verificati rispetto alle implementazioni esistenti per curve ellittiche e funzioni $L$ torce (twisted). Il documento fornisce esempi espliciti calcolati a mano per:

• Rappresentazioni triviali: Calcolo della funzione $\zeta$ di Dedekind di una curva iperellittica.
• Curve ellittiche: Calcolo della funzione $L$ di una curva ellittica non costante su $\mathbb{F}_7(t)$.
• Caratteri di Dirichlet: Calcolo della funzione $L$ e del $\epsilon$-fattore per un carattere primitivo su $\mathbb{F}_3(t)$.

In tutti gli esempi, le radici calcolate dei polinomi numeratori soddisfano l'ipotesi di Riemann (moduli $q^{-(w+1)/2}$), fungendo da controllo di coerenza per l'implementazione.

Significatività
Il documento sostiene di fornire il primo analogo generale e sistematico dell'algoritmo di T. Dokchitser per le funzioni $L motiviche su campi numerici, adattato specificamente per i campi di funzioni globali. Riempendo la lacuna negli strumenti computazionali per le rappresentazioni $\lambda$-adiche su $K$, questo lavoro consente il calcolo esplicito dei dati delle funzioni $L$ per una classe più ampia di oggetti (inclusi rappresentazioni di Artin, Jacobiani e forme automorfe) rispetto a quanto precedentemente possibile. Ciò facilita la potenziale creazione di un analogo della LMFDB per i campi di funzioni e supporta la formulazione esplicita di congetture aritmetiche, come le formule di tipo BSD torce, nell'ambito dei campi di funzioni. Il lavoro è modesto nell'ambito, concentrandosi sul framework algoritmico e sulla sua verifica su esempi specifici, pur notando che le estensioni a endomorfismi più complessi $c(\rho_\lambda)$ e prodotti tensoriali sono soggetti per lavori futuri.