Hecke Eigenvalues of Ikeda Lifts

Resumen Técnico: Valores Propios de Hecke de Elevaciones de Ikeda

Enunciado del Problema
El artículo investiga los valores propios de Hecke $\lambda_F(T)$ asociados a las elevaciones de Ikeda, que son formas cuspidales de Siegel de género $2n$ construidas a partir de formas modulares elípticas de género 1. Si bien está establecido que los valores propios de Hecke $\lambda_F(p)$ para el operador $T(p)$ son positivos para las elevaciones de Ikeda, la positividad de los valores propios $\lambda_F(p^r)$ para potencias superiores $r \ge 1$ sigue siendo una cuestión no trivial. Los enfoques anteriores se basaban en relaciones de series de Dirichlet que involucraban la función $L$ de espín, analizando específicamente el polinomio numerador $P(x)$ en la expansión del factor local. Sin embargo, las fórmulas explícitas para este numerador solo son conocidas para géneros bajos ($n \le 4$), lo que limita la capacidad de generalizar los resultados de positividad a un género arbitrario $n$. Los autores tienen como objetivo establecer la positividad de $\lambda_F(p^r)$ para todo $n$ sin depender de la forma explícita del numerador de la serie de Dirichlet.

Metodología
Los autores adoptan un enfoque algebraico directo calculando la imagen esférica de los operadores de Hecke $T(p^r)$ bajo el mapa esférico $\Omega$. La metodología procede de la siguiente manera:

1. Construcción del Mapa Esférico: El artículo utiliza el mapa esférico $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$, que mapea elementos del álgebra de Hecke local a polinomios invariantes bajo el grupo de Weyl. El valor propio $\lambda_F(T)$ se obtiene evaluando $\Omega(T)$ en los parámetros $p$-satake de la forma $F$.
2. Reducción al Grupo Lineal General: Los autores relacionan el mapa esférico para el grupo simpléctico con el del grupo lineal general. Utilizan una fórmula explícita para la imagen esférica de $T(p^r)$ en el caso lineal general (derivada de representaciones del álgebra de convolución y funciones simétricas) para construir la fórmula simpléctica.
3. Especialización a Elevaciones de Ikeda: La innovación técnica central radica en sustituir los parámetros de Satake específicos de una elevación de Ikeda en la fórmula simpléctica general. Los parámetros de Satake de la elevación de Ikeda $F$ se derivan de los de la forma elíptica subyacente $f$ (denotados $a, a^{-1}$).
4. Términos Nulos: Un paso crítico implica analizar la suma sobre el grupo simétrico $S_{2n}$ presente en la fórmula general. Los autores demuestran que, para las elevaciones de Ikeda, los coeficientes $c(\sigma(a_1, \dots, a_{2n}))$ se anulan para todas las permutaciones $\sigma \neq \text{id}$. Esta simplificación drástica reduce la suma compleja a un único término correspondiente a la permutación identidad.
5. Análisis Polinómico: La fórmula explícita resultante para $\lambda_F(p^r)$ se expresa como un polinomio en $p^{\pm 1/2}$. Los autores analizan los coeficientes de este polinomio, estableciendo cotas para su magnitud e identificando el término principal.

Contribuciones y Resultados Clave

• Fórmula Explícita: El artículo deriva una expresión en forma cerrada para los valores propios de Hecke $\lambda_F(p^r)$ de una elevación de Ikeda $F \in S_{k+n}(\Gamma_{2n})$ en términos de los parámetros de Satake $a, a^{-1}$ de la forma elíptica generadora $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})}$$
  donde $\phi_m$ son polinomios específicos relacionados con la estructura del álgebra de Hecke.

• Positividad para Primos Grandes: Mediante el análisis de la estructura polinómica, los autores demuestran que $\lambda_F(p^r)$ puede escribirse como un polinomio en $p^{1/2}$ con coeficientes enteros en $\mathbb{Z}[a, a^{-1}]$. Demuestran que el coeficiente principal es 1 y que los coeficientes restantes están acotados. En consecuencia, para cualquier $r \ge 1$ fijo, el valor propio $\lambda_F(p^r)$ es estrictamente positivo para todos los primos $p$ suficientemente grandes.

• Cota Inferior Explícita: El artículo proporciona una cota inferior concreta para los primos $p$ que garantizan la positividad. Específicamente, $\lambda_F(p^r) > 0$ para todo:
  $$p > \left( 4n \left( 2rn^2 + 2n(2n-1) \right) \right)^2$$
  Esta cota se deriva de las estimaciones precisas de los coeficientes polinómicos obtenidas en la Proposición 3.

Significado
El artículo reclama su importancia al proporcionar un método para determinar la positividad de los valores propios de Hecke para elevaciones de Ikeda de género arbitrario sin depender del conocimiento explícito del polinomio numerador en la serie de Dirichlet de la función $L$ de espín. Esto elude la limitación de resultados anteriores que estaban restringidos al género $n \le 4$. El resultado generaliza el teorema de Breulmann (que vinculaba la positividad de los valores propios con la elevación de Saito-Kurokawa para género 2) a la clase más amplia de elevaciones de Ikeda para cualquier género $2n$. El trabajo establece que, de manera similar al caso de género 2, los valores propios de Hecke de las elevaciones de Ikeda son positivos para primos grandes, ofreciendo más evidencia sobre las propiedades aritméticas de estas elevaciones.