Twisted periods of modular forms

Sintesi Tecnica: Periodi Torsiti di Forme Modulari

Problematica
Il saggio investiga la indipendenza lineare dei "periodi torsiti" associati a forme di cuspide di peso $k$ e livello uno, denotata dallo spazio $S_k$. Mentre la classica teoria di Eichler-Shimura stabilisce che i periodi generano lo spazio duale $S_k^*$, questi periodi soddisfano numerose relazioni di dipendenza lineare (relazioni di Eichler-Shimura), il che significa che non sono linearmente indipendenti. Lavori precedenti di Fukuhara, Lei et al., e altri hanno affrontato l'indipendenza lineare di specifici sottoinsiemi di periodi dispari o pari. Questo saggio estende tali indagini ai periodi torsiti, definiti per un carattere di Dirichlet primitivo $\chi$ modulo $D$ e un intero $0 \le n \le k-2$ come:
$$r_{n,\chi}(f) := \int_0^{i\infty} f_\chi(z) z^n dz = \frac{n!}{(-2\pi i)^{n+1}} L(f, \chi, n+1),$$
dove $f_\chi$ è la torsione della forma di cuspide $f$. Il problema centrale è determinare le condizioni sotto le quali insiemi di periodi torsiti sono linearmente indipendenti. Nello specifico, gli autori affrontano due scenari:

1. Carattere Fisso, Indici Diversi: I periodi $\{r_{\ell_i-1, \chi}\}$ (o $\{r_{\ell_i, \chi}\}$) sono linearmente indipendenti per un $\chi$ fissato e indici $\ell_i$ distinti?
2. Indice Fisso, Caratteri Diversi: I periodi $\{r_{\ell-1, \chi_i}\}$ (o $\{r_{\ell, \chi_i}\}$) sono linearmente indipendenti per un indice $\ell$ fissato e distinti caratteri primitivi $\chi_i$ modulo $D$?

Metodologia
Gli autori impiegano una strategia analoga ai recenti lavori sui periodi non torsiti, facendo affidamento sul metodo di Rankin-Selberg e sullo studio delle funzioni kernel. Il flusso logico centrale è il seguente:

1. Costruzione della Forma Kernel: Il periodo torsito $r_{n,\chi}(f)$ è realizzato come prodotto interno di Petersson $\langle f, K_{n,\chi} \rangle$. Invece di analizzare direttamente il kernel $K_{n,\chi}$ (che possiede coefficienti di Fourier trascendenti), gli autori costruiscono esplicite forme di cuspide $F_{K,\ell,\chi}$ e $G_{K,\ell,\chi}$ in $S_K$ che sono correlate a questi periodi.

   • Per i periodi dispari (indici $\ell-1$), $F_{K,\ell,\chi}$ è derivata dalla proiezione cuspidale della traccia del prodotto di serie di Eisenstein: $\text{Tr}_1^D(G_{\ell,\chi} G_{K-\ell,\chi})$.
   • Per i periodi pari (indici $\ell$), $G_{K,\ell,\chi}$ è derivata dal operatore di Rankin-Cohen delle serie di Eisenstein: $\text{Tr}_1^D([G_{\ell,\chi}, G_{K-2-\ell,\chi}]_1)$.

2. Equivalenza dell'Indipendenza: Utilizzando le formule di convoluzione di Rankin-Selberg, gli autori dimostrano che l'indipendenza lineare dell'insieme dei periodi torsiti è equivalente all'indipendenza lineare dell'insieme corrispondente di forme di cuspide $\{F_{K,\ell_i,\chi}\}$ o $\{G_{K,\ell,\chi_i}\}$.

3. Analisi dei Coefficienti di Fourier: Per dimostrare l'indipendenza lineare delle forme di cuspide, gli autori analizzano i loro coefficienti di Fourier. Essi derivano esplicite formule per i coefficienti delle serie di Eisenstein, dei prodotti e dei brani di Rankin-Cohen sotto la mappa di traccia.

   • Stabiliscono comportamenti asintotici per questi coefficienti quando il peso $K$ diventa sufficientemente grande rispetto agli indici e al livello $D$.
   • Nello specifico, mostrano che i coefficienti di Fourier normalizzati $q^{2j}$ di queste forme di cuspide si comportano asintoticamente come $\sigma_{\ell-1,\chi}(2^j)$ (per $F$) e $2^j \sigma_{\ell-1,\chi}(2^j)$ (per $G$), con termini di errore che svaniscono per $K \to \infty$.

4. Non Singolarità della Matrice: L'indipendenza lineare delle forme di cuspide è ridotta alla non singolarità di matrici formate da questi coefficienti di Fourier.

   • Per caratteri fissi e indici variabili, le matrici rilevanti sono mostrate essere perturbazioni di matrici di tipo Vandermonde coinvolgenti potenze di $\chi(2)$.
   • Per indici fissi e caratteri variabili, le matrici coinvolgono potenze di $\chi_i(2)$.
   • Limitando i termini di errore e confrontando il determinante della matrice perturbata con il termine principale (utilizzando le proprietà del determinante di Vandermonde), gli autori dimostrano che queste matrici sono non singolari quando $K$ è sufficientemente grande.

Contributi Chiave e Risultati
Il saggio stabilisce quattro teoremi principali riguardanti l'indipendenza lineare dei periodi torsiti, assumendo che $D$ sia un intero dispari privo di quadrati e che $K$ sia sufficientemente grande rispetto a $n$ e $D$:

• Teorema 1.1 & 1.2: Per un dato carattere primitivo $\chi$, qualsiasi $n$ periodi torsiti con la stessa torsione ma indici diversi (sia di tipo dispari che pari) sono linearmente indipendenti.
• Teorema 1.3 & 1.4: Per un dato indice, qualsiasi $n$ periodi torsiti con diversi caratteri primitivi $\chi_i$ (che soddisfano $\chi_i(-1) = (-1)^\ell$ e valori distinti in un primo fissato, ad esempio $\chi_i(2)$) sono linearmente indipendenti.

Applicazioni
Gli autori dimostrano due applicazioni del loro metodo:

1. Somme di Convoluzione: Derivano identità esplicite che valutano somme di convoluzione di funzioni divisore torsite in termini di numeri di Bernoulli generalizzati. Queste identità derivano dal fatto che, per certi pesi dove $\dim S_K = 0$, le forme di cuspide costruite devono annullarsi, imponendo relazioni tra i loro coefficienti di Fourier.
2. Non Annullamento dei Valori L: Assumendo la congettura di Maeda (specificamente che i coniugati galoisiani di un automorfo Hecke spiegano $S_K$), gli autori mostrano che i valori centrali L torsiti $L(f, \chi, K/2)$ sono non nulli per forme Hecke normalizzate $f$ quando $K \ge 10D + 2$. Ciò si basa sulla prova che la forma kernel associata $F_{K, K/2, \chi}$ non è identicamente nulla.

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima evidenza sistematica dell'indipendenza lineare dei periodi torsiti, estendendo i risultati precedenti sui periodi non torsiti al contesto torsito. Gli autori dichiarano esplicitamente che la questione se i periodi torsiti generino l'intero spazio $S_k^*$ e l'esistenza di relazioni di tipo Eichler-Shimura per essi siano oltre l'ambito di questo lavoro, sebbene propongano congetture (Congetture 6.1–6.4) suggerendo che i periodi torsiti effettivamente generino $S_k^*$ sotto certe condizioni. I risultati sono condizionati al fatto che il peso $K$ sia "sufficientemente grande", e gli autori forniscono una verifica numerica per pesi piccoli ($K, D \le 40$) a supporto delle loro congetture. Il lavoro connette l'aritmetica dei valori L, la struttura delle forme modulari e le proprietà dei caratteri di Dirichlet attraverso la lente dell'algebra lineare sui coefficienti di Fourier.