Traces of Hecke operators on Drinfeld modular forms for $\mathrm{GL}_2(\mathbb{F}_q[T])$

1. Introduzione e Problema di Ricerca

Il lavoro si colloca nell'ambito della teoria dei numeri sui campi di funzioni, studiando le forme modulari di Drinfeld per l'anello $A = \mathbb{F}_q[T]$. Queste forme sono analoghi sui campi di funzioni delle forme modulari ellittiche classiche.

Il problema centrale affrontato è lo studio degli operatori di Hecke $T_p$ (dove $p$ è un ideale primo di $A$) che agiscono sullo spazio delle forme cuspidali $S_{k,l}$ di peso $k$ e tipo $l$. In particolare, l'autore mira a:

• Calcolare esplicitamente le tracce degli operatori di Hecke $Tr(T_p^n | S_{k,l})$.
• Ottenere espressioni in forma chiusa per primi di grado basso e algoritmi per gradi superiori.
• Migliorare i limiti di Ramanujan noti per queste forme.
• Indagare la decomposizione delle forme cuspidali di livello $\Gamma_0(p)$ in forme "vecchie" (oldforms) e "nuove" (newforms), una questione aperta in questo contesto poiché manca un prodotto interno di Petersson.
• Determinare la struttura degli autovalori di Hecke, specialmente in caratteristica 2, e verificare la congettura di Bandini-Valentino sull'iniettività degli operatori.

2. Metodologia

L'approccio metodologico si basa su una combinazione di teoria geometrica, combinatoria e calcoli computazionali:

• Formula delle Tracce Geometrica: Il punto di partenza è una formula delle tracce geometrica (proveniente da [Vri25a]) che esprime la traccia di un operatore di Hecke come una somma sulle classi di isomorfismo di moduli di Drinfeld di rango 2 su campi finiti $\mathbb{F}_{p^n}$.
  $$Tr(T_p^n | S_{k+2,l}) = \sum_{[\phi]/\mathbb{F}_{p^n}} h_k(\pi_\phi, \bar{\pi}_\phi) \cdot \left(\frac{\pi_\phi \bar{\pi}_\phi}{\wp^n}\right)^{l-k-1}$$
  dove $h_k$ sono polinomi simmetrici omogenei e $\pi_\phi$ è l'endomorfismo di Frobenius.

• Classificazione dei Moduli di Drinfeld: Per valutare esplicitamente la somma, l'autore classifica le classi di isomorfismo di moduli di Drinfeld in una data classe di isogenia. Questo viene fatto collegando il numero di tali classi ai numeri di classe di Hurwitz e al numero di punti su curve iperellittiche e le loro Jacobiane (Appendice A).

• Identità Combinatorie e Teorema di Lucas: Per primi di grado 1 e in caratteristica 2, l'autore utilizza identità binomiali e il teorema di Lucas per semplificare le somme e ottenere formule chiuse.

• Algoritmi Computazionali: Per primi di grado superiore, specialmente in caratteristica dispari, vengono sviluppati algoritmi (implementati in Magma) per calcolare le tracce utilizzando i risultati sulla classificazione dei moduli e i numeri di Hurwitz.

3. Risultati Chiave e Contributi

A. Tracce degli Operatori di Hecke

1. Primi di Grado 1: È stata ottenuta un'espressione in forma chiusa per le tracce di $T_p$ quando $p$ è un primo di grado 1 (Teorema 1.1). La traccia è data da una somma finita di termini binomiali moltiplicati per potenze del generatore monico $\wp$.
   $$Tr(T_p | S_{k+2,l}) = \sum_{0 \le j < k/2, \, j \equiv l-1 \pmod{q-1}} (-1)^j \binom{k-j}{j} \wp^j$$
2. Caratteristica 2: In caratteristica 2, il comportamento è eccezionalmente semplice. Le tracce di qualsiasi operatore di Hecke $T_p^n$ seguono la stessa formula dei primi di grado 1 (Teorema 1.2 e Teorema 3.26). Questo permette di determinare esplicitamente tutti gli autovalori che appaiono con molteplicità dispari.
3. Primi di Grado Superiore: Per primi di grado 2 e superiori in caratteristica dispari, le tracce sono più complesse ma calcolabili efficacemente tramite un algoritmo (Algoritmo 3.38). Sono state fornite formule esplicite per primi di grado 2 (Teorema 3.33).

B. Autovalori e Iniettività

• Iniettività: È stato dimostrato che gli operatori di Hecke $T_p$ sono iniettivi sullo spazio $S_{k,l}$ per qualsiasi primo $p$ (Teorema 1.4), confermando una congettura di Bandini e Valentino. La dimostrazione si basa su un risultato di Joshi e Petrov riguardante la riduzione modulo primi di grado 1.
• Autovalori in Caratteristica 2: Il Teorema 5.9 descrive completamente gli autovalori con molteplicità dispari in caratteristica 2. Tuttavia, il Teorema 5.13 mostra che, per $q$ pari, esistono infiniti pesi in cui gli autovalori si ripetono (molteplicità pari), rendendo impossibile recuperarli solo dalle tracce.
• Controesempio alle Espansioni A: È stato dimostrato che un'autofunzione con un sistema di autovalori "potenza" (dove $T_p f = \wp^{n-1}f$) non necessariamente possiede un'espansione A (Teorema 1.6). In particolare, per $q=3$, la forma $g_2 h_2 \in S_{12,0}$ ha autovalore $\wp^3$ ma non ha un'espansione A.

C. Limiti di Ramanujan e Decomposizione Old/New

• Limite di Ramanujan Forte: Il limite classico di Ramanujan per le tracce non è affilato (sharp) a livello 1. L'autore propone un "Strong Ramanujan Bound" (Congettura 4.3) e lo dimostra in casi speciali (Teorema 4.9), ad esempio quando $nd \le 3$ o in caratteristica 2.
• Decomposizione Old/New: Utilizzando il miglioramento del limite di Ramanujan, si dimostra che se $\dim S_{k,l} < p$, allora lo spazio delle forme cuspidali di livello $\Gamma_0(p)$ si decompone direttamente in forme nuove e vecchie (Teorema 1.5). Questo risolve parzialmente una congettura di Bandini-Valentino sotto l'ipotesi che nessun autovalore di Hecke abbia molteplicità $p$.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella comprensione della teoria degli operatori di Hecke per le forme modulari di Drinfeld:

1. Chiarezza Computazionale: Fornisce strumenti pratici (formule chiuse e algoritmi) per calcolare le tracce, un'operazione precedentemente difficile, specialmente per primi di grado superiore.
2. Struttura degli Autovalori: Risolve il problema della determinazione degli autovalori in caratteristica 2, rivelando una struttura ricca ma con ripetizioni frequenti, e chiarisce la relazione tra sistemi di autovalori e espansioni A.
3. Teoria delle Forme Nuove: Avanza la teoria della decomposizione old/new in un contesto privo di prodotto interno di Petersson, fornendo condizioni sufficienti per la validità della decomposizione.
4. Connessioni Geometriche: L'appendice collega profondamente la teoria dei moduli di Drinfeld ai numeri di classe di Hurwitz e alla geometria algebrica (curve iperellittiche), offrendo nuovi metodi per contare le classi di isomorfismo.

In sintesi, il paper colma lacune fondamentali nella teoria delle forme modulari di Drinfeld, fornendo sia risultati teorici profondi (limiti, iniettività, decomposizione) sia strumenti computazionali robusti per l'analisi esplicita di questi oggetti.