Hecke Eigenvalues of Ikeda Lifts

Sintesi Tecnica: Autovalori di Hecke dei Sollevamenti di Ikeda

Enunciato del Problema
Il lavoro indaga gli autovalori di Hecke $\lambda_F(T)$ associati ai sollevamenti di Ikeda, che sono forme cuspidali di Siegel di genere $2n$ costruite a partire da forme modulari ellittiche di genere 1. Sebbene sia stabilito che gli autovalori di Hecke $\lambda_F(p)$ per l'operatore $T(p)$ siano positivi per i sollevamenti di Ikeda, la positività degli autovalori $\lambda_F(p^r)$ per potenze superiori $r \ge 1$ rimane una questione non banale. Gli approcci precedenti si basavano su relazioni di serie di Dirichlet coinvolgenti la funzione $L$ di spin, analizzando specificamente il polinomio numeratore $P(x)$ nello sviluppo del fattore locale. Tuttavia, le formule esplicite per questo numeratore sono note solo per generi bassi ($n \le 4$), limitando la capacità di generalizzare i risultati di positività a un genere arbitrario $n$. Gli autori mirano a stabilire la positività di $\lambda_F(p^r)$ per ogni $n$ senza fare affidamento sulla forma esplicita del numeratore della serie di Dirichlet.

Metodologia
Gli autori adottano un approccio algebrico diretto calcolando l'immagine sferica degli operatori di Hecke $T(p^r)$ tramite la mappa sferica $\Omega$. La metodologia procede come segue:

1. Costruzione della Mappa Sferica: Il lavoro utilizza la mappa sferica $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$, che mappa gli elementi dell'algebra di Hecke locale in polinomi invarianti sotto il gruppo di Weyl. L'autovalore $\lambda_F(T)$ è ottenuto valutando $\Omega(T)$ sui parametri $p$-di Satake della forma $F$.
2. Riduzione al Gruppo Lineare Generale: Gli autori relazionano la mappa sferica per il gruppo simplettico a quella del gruppo lineare generale. Utilizzano una formula esplicita per l'immagine sferica di $T(p^r)$ nel caso lineare generale (derivata dalle rappresentazioni dell'algebra di convoluzione e dalle funzioni simmetriche) per costruire la formula simplettica.
3. Specializzazione ai Sollevamenti di Ikeda: L'innovazione tecnica fondamentale consiste nel sostituire i parametri specifici di Satake di un sollevamento di Ikeda nella formula simplettica generale. I parametri di Satake del sollevamento di Ikeda $F$ sono derivati da quelli della forma ellittica sottostante $f$ (denotati $a, a^{-1}$).
4. Termini Nulle: Un passaggio critico comporta l'analisi della somma sul gruppo simmetrico $S_{2n}$ presente nella formula generale. Gli autori dimostrano che, per i sollevamenti di Ikeda, i coefficienti $c(\sigma(a_1, \dots, a_{2n}))$ si annullano per tutte le permutazioni $\sigma \neq \text{id}$. Questa drastica semplificazione riduce la somma complessa a un singolo termine corrispondente alla permutazione identità.
5. Analisi dei Polinomi: La formula esplicita risultante per $\lambda_F(p^r)$ è espressa come un polinomio in $p^{\pm 1/2}$. Gli autori analizzano i coefficienti di questo polinomio, stabilendo limiti sulla loro magnitudine e identificando il termine principale.

Contributi e Risultati Chiave

• Formula Esplicita: Il lavoro deriva un'espressione in forma chiusa per gli autovalori di Hecke $\lambda_F(p^r)$ di un sollevamento di Ikeda $F \in S_{k+n}(\Gamma_{2n})$ in termini dei parametri di Satake $a, a^{-1}$ della forma ellittica generatrice $f$.
  $$\lambda_F(p^r) = p^{r(nk - \frac{n}{2})} \sum_{0 \le \delta_1 \le \dots \le \delta_{2n} \le r} a^{-nr + \sum \delta_i} p^{\sum (-n-\frac{1}{2}+i)\delta_i} \frac{\phi_{2n}(p^{-1})}{\phi_{k_1}(p^{-1})\dots\phi_{k_t}(p^{-1})}$$
  dove $\phi_m$ sono polinomi specifici legati alla struttura dell'algebra di Hecke.

• Positività per Grandi Primi: Analizzando la struttura polinomiale, gli autori dimostrano che $\lambda_F(p^r)$ può essere scritto come un polinomio in $p^{1/2}$ con coefficienti interi in $\mathbb{Z}[a, a^{-1}]. Dimostrano che il coefficiente principale è 1 e che i restanti coefficienti sono limitati. Di conseguenza, per ogni$r \ge 1$ fissato, l'autovalore $\lambda_F(p^r)$ è strettamente positivo per tutti i primi sufficientemente grandi $p$.

• Limite Inferiore Esplicito: Il lavoro fornisce un limite inferiore concreto per i primi $p$ che garantiscono la positività. Nello specifico, $\lambda_F(p^r) > 0$ per tutti:
  $$p > \left( 4n \left( 2rn^2 + 2n(2n-1) \right) \right)^2$$
  Questo limite è derivato dalle stime precise dei coefficienti polinomiali ottenute nella Proposizione 3.

Significato
Il lavoro rivendica importanza fornendo un metodo per determinare la positività degli autovalori di Hecke per i sollevamenti di Ikeda di genere arbitrario senza fare affidamento sulla conoscenza esplicita del polinomio numeratore nella serie di Dirichlet della funzione $L$ di spin. Questo aggira il limite dei risultati precedenti, che erano ristretti al genere $n \le 4$. Il risultato generalizza il teorema di Breulmann (che collegava la positività degli autovalori al sollevamento di Saito-Kurokawa per genere 2) alla più ampia classe dei sollevamenti di Ikeda per qualsiasi genere $2n$. Il lavoro stabilisce che, analogamente al caso di genere 2, gli autovalori di Hecke dei sollevamenti di Ikeda sono positivi per primi grandi, offrendo ulteriori prove riguardo alle proprietà aritmetiche di questi sollevamenti.