Determination of Hilbert modular forms using squarefree coefficients

Sintesi Tecnica: Determinazione di Forme Modulari di Hilbert mediante Coefficienti Squarefree

Enunciato del Problema
Il saggio affronta il problema della determinazione univoca di forme modulari di Hilbert a peso semintero su un campo numerico totalmente reale $F$ (di numero di classe stretto 1) attraverso un sottoinsieme dei loro coefficienti di Fourier. Sebbene l'intera collezione di coefficienti di Fourier determini univocamente una forma modulare, gli autori indagano se un insieme "minimo" sia sufficiente. Nello specifico, si concentrano sui coefficienti supportati su interi algebrici squarefree (liberi da quadrati). Questa indagine estende il lavoro precedente di Kohnen (limitato allo "spazio plus" su $\mathbb{Q}$) e di Luo-Ramakrishnan (concernente forme a peso intero e valori $L$ centrali) al contesto più generale delle forme modulari di Hilbert con pesi e livelli variabili.

Metodologia
Gli autori impiegano una combinazione di tecniche di teoria analitica dei numeri, sfruttando nello specifico la corrispondenza di Shimura, la formula di Waldspurger e la teoria di Rankin-Selberg.

1. Corrispondenza di Shimura ed Equazioni Funzionali: La strategia centrale consiste nel relazionare le forme a peso semintero $f$ e $g$ ai loro lift di Shimura a peso intero, indicati con $\tilde{f}$ e $\tilde{g}$. Gli autori stabiliscono le equazioni funzionali per le serie direzionali associate a queste forme. Un passaggio critico è l'involuzione di Fricke e l'operatore $W(n)$, che permettono agli autori di relazionare la funzione $L$ di una forma con quella del suo twist.
2. Confronto di Serie Direzionali: Assumendo che i coefficienti di Fourier normalizzati di $f$ e $g$ concordino su tutti gli interi squarefree (fino a una costante $\kappa$), gli autori costruiscono un rapporto tra le loro funzioni $L$ completate, $C(s) = \Lambda(s, f) / \Lambda(s, g)$.
3. Continuazione Analitica e Contraddizione: Analizzando le equazioni funzionali delle funzioni $L$ e le proprietà dei fattori Gamma coinvolti, gli autori dimostrano che $C(s)$ deve essere una costante. Ciò comporta una prova per contraddizione riguardante i pesi e i livelli delle forme, utilizzando la formula di duplicazione di Legendre e il comportamento delle funzioni $L$ in punti specifici per escludere parametri discordanti.
4. Unicità tramite Twist: Una volta stabilita l'uguaglianza delle funzioni $L$, gli autori utilizzano un lemma (Lemma 2) riguardante l'annullamento delle serie direzionali twistate. Questo lemma, derivato dall'ortogonalità dei caratteri e dalle proprietà dei gruppi di classi di raggio, permette di concludere che se le funzioni $L$ dei twist sono uguali, allora le forme stesse devono essere uguali.
5. Teoria di Rankin-Selberg: Per il risultato di non-annullamento, gli autori utilizzano la funzione $L$ di Rankin-Selberg $L(s, f \times f)$ e il suo polo in $s=1$. Stimando la somma dei quadrati dei coefficienti e applicando il limite di Ramanujan, derivano un limite inferiore per l'ampiezza dei coefficienti supportati su interi squarefree.

Contributi Chiave e Risultati

• Teorema 3 (Risultato di Determinazione Principale): Gli autori dimostrano che se $f$ e $g$ sono forme proprie di Hecke cuspidali di Hilbert a peso semintero di pesi e livelli variabili, e i loro coefficienti di Fourier normalizzati soddisfano $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ per ogni $\tau$ squarefree in $\mathcal{O}_F$ (con $\kappa \neq 0$), allora $f = \kappa g$. Questo generalizza il risultato di Kohnen rimuovendo la restrizione allo "spazio plus" e permettendo pesi e livelli variabili, sebbene mantenga il requisito che l'uguaglianza valga per ogni intero squarefree anziché per "quasi tutti".
• Teorema 4 (Risultato di Non-Annullamento): Il saggio fornisce una "dimostrazione soft" che per una forma propria di Hecke non nulla $f$, il limite superiore dei valori assoluti dei suoi coefficienti di Fourier supportati su interi squarefree è non nullo. Nello specifico, $\limsup_{T \to \infty, N(\tau)<T, \tau \text{ sq.free}} |\lambda_f(\tau)| \gg_{f,F} 1$. Ciò conferma che infinitamente molti di tali coefficienti sono non nulli.
• Corollario 1 (Specializzazione dello Spazio Plus): Gli autori recuperano un risultato analogo al Teorema 1 di Kohnen per lo spazio plus di Kohnen su $F$, mostrando che l'uguaglianza dei coefficienti su discriminanti fondamentali implica che le forme siano identiche.

Significatività e Rivendicazioni
Il saggio sostiene di fornire una formulazione rigorosa dell'aspettativa filosofica secondo cui i coefficienti squarefree contengono tutte le informazioni necessarie per determinare univocamente una forma modulare di Hilbert a peso semintero. Gli autori posizionano il Teorema 3 come un risultato intermedio tra il caso specifico di Kohnen (peso/livello fissi, spazio plus) e il risultato di Luo-Ramakrishnan (peso intero, valori $L$ centrali).

Gli autori sono modesti riguardo all'estensione della loro generalizzazione. Essi dichiarano esplicitamente che i loro attuali metodi non sembrano in grado di rimuovere il requisito che l'uguaglianza dei coefficienti valga per ogni intero squarefree (anziché per "quasi tutti") o di rilassare l'uguaglianza dei coefficienti all'uguaglianza delle loro ampiezze. Inoltre, sebbene il Teorema 4 stabilisca il non-annullamento, gli autori notano che dimostrare il risultato più forte che il limite superiore sia infinito (ovvero $\limsup |\lambda_f(\tau)| = \infty$) rimane un problema aperto, sebbene citino il recente lavoro di GKS24 come un passo in questa direzione.

L'assunzione che il numero di classe stretto di $F$ sia 1 è annotata come una comodità e una parziale necessità per la struttura attuale della dimostrazione, sebbene gli autori suggeriscano che parti dell'argomento potrebbero essere adattate per campi in cui il discriminante è un ideale principale. Il lavoro si basa fortemente sulla robustezza della corrispondenza di Shimura e delle equazioni funzionali delle associate funzioni $L$ per colmare il divario tra i regni a peso semintero e a peso intero.