Signs of Square-Free Fourier Coefficients of Half-Integral weight cusp forms and the Congruent Number Problem

Sintesi Tecnica: Segni dei Coefficienti di Fourier Liberi da Quadrati di Forme Cuspidali di Peso Semi-Intero e il Problema dei Numeri Congruenti

Enunciato del Problema
Il saggio investiga la distribuzione del segno dei coefficienti di Fourier liberi da quadrati di forme cuspidali di peso semi-intero. Nello specifico, affronta il problema di determinare se il numero di coefficienti positivi e negativi fino a un limite $X$ sia sufficientemente grande da garantire infiniti cambi di segno. Questa indagine è motivata dal Problema dei Numeri Congruenti, dove il segno di un coefficiente specifico di peso $3/2$, $\Delta(t)$, distingue tra le disuguaglianze $r_{Q_1}(t) > r_{Q_2}(t)$ e $r_{Q_1}(t) < r_{Q_2}(t)$ per interi dispari liberi da quadrati $t$. Sebbene la formula di Waldspurger relazioni il quadrato di questi coefficienti al valore $L$-centrale $L(E_t, 1)$, essa non determina i loro segni. Lavori precedenti di Hulse, Kıral, Kuan e Lim hanno stabilito infiniti cambi di segno per forme di livello 4, ma estendere questi risultati a livelli generali ha richiesto il superamento di significativi ostacoli analitici riguardanti le twist additive.

Metodologia
Gli autori impiegano una combinazione di tecniche di teoria analitica dei numeri, concentrandosi specificamente sulla continuazione di serie dirette e sul metodo di Rankin–Selberg.

1. Equazioni Funzionali per le Twist Additive: Una primaria innovazione tecnica è la derivazione delle equazioni funzionali per le twist additive di forme di peso semi-intero in cuspidi arbitrarie per un livello $N$ generale (dove $4|N$). A differenza delle analisi precedenti di livello 4 che trattavano le cuspidi caso per caso (in base al denominatore della cuspide), gli autori stabiliscono un'equazione funzionale unificata (Lemma 2.2) che relaziona la twist in un punto razionale $u/d$ con l'espansione di Fourier in una corrispondente cuspide. Ciò comporta la costruzione di matrici di scalatura specifiche e l'utilizzo del rivestimento metaplettico per gestire i fattori di automorfia.
2. Continuazione Analitica delle Serie Libere da Quadrati: Utilizzando le equazioni funzionali derivate, gli autori continuano la serie diretta dei coefficienti liberi da quadrati, $M_f(s) = \sum_{t \text{ sq-free}} a_f(t)t^{-s}$, al semipiano $\Re(s) > 3/4$. Ciò è ottenuto esprimendo la serie tramite twist additive, applicando le equazioni funzionali per spostare l'argomento sulla linea critica e utilizzando il principio di Phragmén–Lindelöf per limitare la crescita nella striscia critica.
3. Secondi Momenti di Rankin–Selberg: Il saggio stabilisce un limite inferiore per il secondo momento dei coefficienti liberi da quadrati, $B_f(X) = \sum_{t \le X, \text{sq-free}} |a_f(t)|^2$. Relazionando la somma su tutti gli interi alla somma sui numeri liberi da quadrati (usando un argomento di trasferimento simile a quello di Lau, Royer e Wu) e applicando la teoria spettrale delle serie di Eisenstein, dimostrano che $B_f(X) \asymp_f X$.
4. Argomento sulla Distribuzione dei Segni: Combinando il limite superiore per la somma firmata $S_f(X) = \sum a_f(t)W(t/X)$ (derivato dalla continuazione analitica a $\Re(s) > 3/4$) con il limite inferiore per la somma assoluta $A_f(X)$, gli autori dimostrano che i contributi positivi e negativi devono essere entrambi sostanziali. Ciò forza l'esistenza di un gran numero di coefficienti di ciascun segno.

Contributi Chiave e Risultati

• Teorema sul Segno per Livello Generale (Teorema 1.1): Gli autori dimostrano che per una forma cuspidale di peso semi-intero $f \in S_{k/2}(\Gamma_0(N))$ con $4|N$, soddisfacendo le condizioni di autoforte, avendo un lift di Shimura non nullo, e (per $k=3$) essendo ortogonale al sottospazio unario theta, il numero di coefficienti liberi da quadrati positivi e negativi fino a $X$ soddisfa:
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  per ogni $\varepsilon > 0$. Di conseguenza, i coefficienti cambiano segno infinitamente spesso.
• Applicazione al Problema dei Numeri Congruenti (Teorema 1.2): Applicando il teorema generale alla specifica forma di peso $3/2$ $\Psi$ associata alla curva ellittica $E: y^2 = x^3 - x$, il saggio dimostra che per interi dispari liberi da quadrati $t \le X$:
  $$\#\{t \le X : r_{Q_1}(t) > r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}$$
  e
  $$\#\{t \le X : r_{Q_1}(t) < r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}.$$
  Ciò conferma che $\Delta(t)$ cambia segno infinitamente spesso.
• Numeri Non Congruenti: Gli autori notano che poiché $L(E_t, 1) \neq 0$ per questi $t$ (implicato da $\Delta(t) \neq 0$), il teorema di Coates–Wiles implica che il rango di Mordell–Weil di $E_t$ è zero. Pertanto, ogni intero conteggiato nel Teorema 1.2 è un numero non congruente.

Significatività
La primaria significatività del saggio risiede nell'estensione dei risultati noti sui cambi di segno dei coefficienti liberi da quadrati da livello 4 a un livello $N$ generale divisibile per 4. Gli autori dichiarano esplicitamente che il "principale nuovo problema" in questa generalizzazione è il trattamento delle twist additive in cuspidi arbitrarie, che risolvono stabilendo nuove equazioni funzionali.

Per quanto riguarda il Problema dei Numeri Congruenti, il saggio fornisce una prova rigorosa che la funzione aritmetica che distingue i due conteggi delle rappresentazioni ($r_{Q_1}$ e $r_{Q_2}$) non è polarizzata verso un segno, poiché entrambi i casi si verificano frequentemente. Sebbene il saggio non fornisca una nuova interpretazione aritmetica del segno di $\Delta(t)$ stesso (notando che tale interpretazione è attualmente sconosciuta), esso stabilisce la densità dei numeri non congruenti derivanti da questo specifico criterio.

Gli autori rimangono modesti riguardo alla distribuzione dei segni, presentando dati numerici (Tabella 1) che suggeriscono che i segni siano asintoticamente equidistribuiti ($N_+(X) \sim N_-(X)$), ma formulano questo come Congettura 5.1 piuttosto che come un risultato dimostrato. Il saggio conclude che i cambi di segno sono infiniti e che i conteggi dei coefficienti positivi e negativi sono dello stesso ordine di grandezza, $X^{4/7-\varepsilon}$.