On some constancy of Hecke eigensystems for Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$

Sintesi Tecnica: Costanza dei Sistemi di Autovalori di Hecke per le Forme di Drinfeld

Enunciato del Problema
Il lavoro indaga il comportamento dei sistemi di autovalori di Hecke nello spazio delle forme di Drinfeld, concentrandosi specificamente su come tali sistemi variano all'aumentare del livello delle forme modulari. Nella teoria classica delle forme modulari ellittiche, i sistemi di autovalori di Hecke di pendenza $p$-adica finita sono noti per variare in famiglie analitiche $p$-adiche al variare del peso e della valutazione $p$-adica del livello. L'autore contrappone ciò al caso di Drinfeld, dove lavori precedenti (in particolare [Hat2]) hanno dimostrato una "banalità" inattesa dell'azione di Hecke sulla parte $t$-ordinaria delle forme di livello $\Gamma_1(t^r)$. Il problema centrale affrontato qui è generalizzare questo fenomeno alla parte di pendenza $\wp$-adica finita per livelli più generali della forma $\Gamma_1(n\wp^r)$, dove $n$ è un elemento non nullo nell'anello dei polinomi $A = \mathbb{F}_q[t]$, $\wp$ è un polinomio monico irriducibile e $r \geq 1$. La domanda specifica è se i sistemi di autovalori di Hecke di pendenza $\wp$-adica finita che appaiono nei livelli superiori $\Gamma_1(n\wp^r)$ siano mere ripetizioni di quelli trovati nel livello base $\Gamma_1(n\wp)$.

Metodologia
L'autore adotta un approccio combinatorio alle forme modulari di Drinfeld, utilizzando la descrizione delle forme di cuspide tramite cocicli armonici sull'albero di Bruhat–Tits $T$ per $SL_2(K_\infty)$, seguendo il lavoro di Teitelbaum [Tei] e Böckle [Böc].

1. Quadro Combinatorio: Lo spazio delle forme di cuspide di Drinfeld $S_k(\Gamma)$ è identificato con lo spazio dei cocicli armonici $\text{Char}_k(\Gamma)$, che a sua volta è isomorfo a un prodotto tensoriale che coinvolge il modulo di Steinberg e uno spazio di polinomi omogenei. Ciò permette di tradurre il problema nel linguaggio dei moduli di gruppo sul sottogruppo di congruenza $\Gamma$.
2. Operatori Diamante e Anelli di Gruppo: Il lavoro analizza l'azione del gruppo $\Theta_r = 1 + \wp(A/\wp^r A)$, un $p$-gruppo commutativo, sullo spazio delle forme di cuspide tramite operatori diamante. Lo spazio $S_k(\Gamma_1(n\wp^r))$ è visto come un modulo sull'anello di gruppo $C_\infty[\Theta_r]$.
3. Libertà dei Moduli: Un passo tecnico critico consiste nel dimostrare che $S_k(\Gamma_1(n\wp^r))$ è un modulo libero di rango finito sull'anello locale $C_\infty[\Theta_r]$. Ciò si basa sul fatto che $C_\infty$ ha caratteristica $p$, rendendo $C_\infty[\Theta_r]$ un anello locale in cui i moduli proiettivi sono liberi. La dimostrazione utilizza la successione esatta che relaziona il modulo di Steinberg al complesso di catene dell'albero e la libertà dei moduli indotti.
4. Isomorfismo delle Parti di Pendenza Finita: L'autore stabilisce un isomorfismo equivariante rispetto a Hecke tra le parti di pendenza $\wp$-adica finita degli spazi delle forme di cuspide ai livelli $\Gamma_1(n\wp)$ e $\Gamma_1^\wp(n, \wp^r)$ (un livello intermedio specifico). Ciò è ottenuto costruendo una mappa tra gli spazi e mostrando che il conucleo si annulla per autovalori non nulli dell'operatore $U_\wp$.

Contributi e Risultati Chiave
Il risultato principale è il Teorema 1.1, che stabilisce una "costanza" dei sistemi di autovalori di Hecke per le forme di cuspide di Drinfeld all'aumentare del livello. Nello specifico:

• Formula di Molteplicità: Per ogni autovalore non nullo $\alpha$ dell'operatore $U_\wp$ e per ogni pendenza $a$, la molteplicità di $\alpha$ (o la dimensione del sottospazio di pendenza $a$) in $S_k(\Gamma_1(n\wp^r))$ è esattamente $q^{(r-1)\deg(\wp)}$ volte la molteplicità in $S_k(\Gamma_1(n\wp))$.
  $$m(\Gamma_1(n\wp^r), k, \wp, \alpha) = q^{(r-1)\deg(\wp)} m(\Gamma_1(n\wp), k, \wp, \alpha)$$
• Costanza dei Sistemi di Autovalori: Un sistema di autovalori di Hecke $\lambda = (\lambda_Q)_{Q \in \Pi}$ con $\lambda_\wp \neq 0$ appare nello spazio $S_k(\Gamma_1(n\wp^r))$ se e solo se appare in $S_k(\Gamma_1(n\wp))$.

Questo risultato implica che l'insieme degli autovalori non nulli di $U_\wp$ e l'insieme delle pendenze finite non cambiano all'aumentare dell'esponente $r$ del livello; essi variano solo nella molteplicità.

Significato e Affermazioni
Il lavoro afferma che questo risultato evidenzia un "forte contrasto" con la teoria delle forme modulari ellittiche. Nel caso ellittico, variare il livello produce tipicamente famiglie analitiche $p$-adiche di forme proprie. Nel caso di Drinfeld, come dimostrato da questo teorema, variare il livello (specificamente la potenza di $\wp$) produce solo "famiglie costanti" di sistemi di autovalori di Hecke. Sebbene l'autore riconosca che esistono famiglie continue $\wp$-adiche di forme proprie di Drinfeld quando si varia il peso (citando [Hat1]), la variazione del livello in questo contesto non genera nuovi sistemi di autovalori, ma piuttosto replica quelli esistenti con una molteplicità aumentata.

Il lavoro generalizza i precedenti risultati dell'autore sulla parte $t$-ordinaria (dove l'azione era banale) al contesto più ampio della pendenza finita, suggerendo una rigidità fondamentale nell'aritmetica delle forme modulari di Drinfeld riguardo alla variazione del livello. La dimostrazione si basa pesantemente sulle proprietà strutturali dell'anello di gruppo $C_\infty[\Theta_r]$ e sulla descrizione combinatoria delle forme di cuspide, evitando la necessità di famiglie analitiche $p$-adiche nella variabile del livello.