Hecke Eigenvalues of Ikeda Lifts

Technische Samenvatting: Hecke-eigenwaarden van Ikeda-liften

Probleemstelling
Het artikel onderzoekt de Hecke-eigenwaarden $\lambda_F(T)$ die geassocieerd zijn met Ikeda-liften, welke Siegel-cusp-vormen van genus $2n$ zijn die zijn geconstrueerd uit elliptische modulaire vormen van genus 1. Hoewel is vastgesteld dat de Hecke-eigenwaarden $\lambda_F(p)$ voor de operator $T(p)$ positief zijn voor Ikeda-liften, blijft de positiviteit van de eigenwaarden $\lambda_F(p^r)$ voor hogere machten $r \ge 1$ een niet-triviale vraag. Vorige benaderingen maakten gebruik van Dirichlet-reeksrelaties die de spin-$L$-functie betreffen, met name door de tellerpolynoom $P(x)$ in de lokale factorontwikkeling te analyseren. Echter, expliciete formules voor deze teller zijn alleen bekend voor lage genera ($n \le 4$), wat de mogelijkheid beperkt om positiviteitsresultaten te generaliseren naar een willekeurig genus $n$. De auteurs beogen de positiviteit van $\lambda_F(p^r)$ voor alle $n$ vast te stellen zonder te vertrouwen op de expliciete vorm van de teller van de Dirichlet-reeks.

Methodologie
De auteurs hanteren een directe algebraïsche aanpak door de sferische afbeelding van de Hecke-operatoren $T(p^r)$ onder de sferische afbeelding $\Omega$ te berekenen. De methodologie verloopt als volgt:

1. Constructie van de Sferische Afbeelding: Het artikel maakt gebruik van de sferische afbeelding $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$, die elementen van de lokale Hecke-algebra afbeeldt op door de Weyl-groep invariante polynomen. De eigenwaarde $\lambda_F(T)$ wordt verkregen door $\Omega(T)$ te evalueren bij de Satake-$p$-parameters van de vorm $F$.
2. Reductie tot de Algemene Lineaire Groep: De auteurs relateren de sferische afbeelding voor de symplectische groep aan die van de algemene lineaire groep. Zij maken gebruik van een expliciete formule voor de sferische afbeelding van $T(p^r)$ in het geval van de algemene lineaire groep (afgeleid uit convolutie-algebra-representaties en symmetrische functies) om de symplectische formule te construeren.
3. Specialisatie tot Ikeda-liften: De kern van de technische innovatie ligt in het substitueren van de specifieke Satake-parameters van een Ikeda-lift in de algemene symplectische formule. De Satake-parameters van de Ikeda-lift $F$ worden afgeleid van die van de onderliggende elliptische vorm $f$ (aangeduid als $a, a^{-1}$).
4. Verdwijnende Termen: Een kritieke stap houdt in het analyseren van de som over de symmetrische groep $S_{2n}$ die in de algemene formule voorkomt. De auteurs bewijzen dat voor Ikeda-liften de coëfficiënten $c(\sigma(a_1, \dots, a_{2n}))$ verdwijnen voor alle permutaties $\sigma \neq \text{id}$. Deze drastische vereenvoudiging reduceert de complexe som tot een enkele term die overeenkomt met de identiteitspermutatie.
5. Polynoomanalyse: De resulterende expliciete formule voor $\lambda_F(p^r)$ wordt uitgedrukt als een polynoom in $p^{\pm 1/2}$. De auteurs analyseren de coëfficiënten van dit polynoom, stellen grenzen vast voor hun grootte en identificeren de leidende term.

Belangrijkste Bijdragen en Resultaten

• Expliciete Formule: Het artikel leidt een gesloten uitdrukking af voor de Hecke-eigenwaarden $\lambda_F(p^r)$ van een Ikeda-lift $F \in S_{k+n}(\Gamma_{2n})$ in termen van de Satake-parameters $a, a^{-1}$ van de genererende elliptische vorm $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})}$$
  waarbij $\phi_m$ specifieke polynomen zijn die gerelateerd zijn aan de structuur van de Hecke-algebra.

• Positiviteit voor Grote Priemgetallen: Door de polynoomstructuur te analyseren, bewijzen de auteurs dat $\lambda_F(p^r)$ kan worden geschreven als een polynoom in $p^{1/2}$ met geheeltallige coëfficiënten in $\mathbb{Z}[a, a^{-1}]$. Zij tonen aan dat de leidende coëfficiënt 1 is en dat de overige coëfficiënten begrensd zijn. Bijgevolg is voor elke vaste $r \ge 1$ de eigenwaarde $\lambda_F(p^r)$ strikt positief voor alle voldoende grote priemgetallen $p$.

• Expliciete Ondergrens: Het artikel biedt een concrete ondergrens voor de priemgetallen $p$ die positiviteit garanderen. Specifiek geldt $\lambda_F(p^r) > 0$ voor alle:
  $$p > \left( 4n \left( 2rn^2 + 2n(2n-1) \right) \right)^2$$
  Deze grens is afgeleid uit de nauwkeurige schattingen van de polynoomcoëfficiënten die in Proposition 3 worden verkregen.

Betekenis
Het artikel claimt betekenis door een methode te bieden om de positiviteit van Hecke-eigenwaarden voor Ikeda-liften van willekeurig genus te bepalen zonder te vertrouwen op de expliciete kennis van de tellerpolynoom in de Dirichlet-reeks van de spin-$L$-functie. Dit omzeilt de beperking van eerdere resultaten die beperkt waren tot genus $n \le 4$. Het resultaat generaliseert de stelling van Breulmann (die de positiviteit van eigenwaarden linkte aan de Saito-Kurokawa-lift voor genus 2) naar de bredere klasse van Ikeda-liften voor elk genus $2n$. Het werk stelt vast dat, net als in het geval van genus 2, de Hecke-eigenwaarden van Ikeda-liften positief zijn voor grote priemgetallen, wat verdere bewijzen biedt met betrekking tot de rekenkundige eigenschappen van deze liften.