Zeros of Hecke polynomials arising from weak eigenforms

Titel: Nulpunten van Hecke-polynomen afgeleid van zwake eigenvormen

Auteur: Kevin Gomez
Onderwerp: Getaltheorie, Modulaire vormen, Harmonische Maass-vormen

1. Probleemstelling en Context

Het artikel bouwt voort op een klassiek resultaat van Rankin en Swinnerton-Dyer (1976), die bewezen hebben dat de nulpunten van de Eisenstein-reeksen $E_k(\tau)$ van gewicht $k$ op de ondergrens van de fundamentele domein van $SL_2(\mathbb{Z})$ liggen. Concreet liggen deze nulpunten op de boog $A$ van de eenheidscirkel in het bovenhalfvlak. Via de $j$-functie (de modulaire invariant) corresponderen deze nulpunten met reële nulpunten in het interval $[0, 1728]$.

Later hebben Asai, Kaneko en Ninomiya dit fenomeen uitgebreid naar "Hecke-polynomen" die voortkomen uit de actie van Hecke-operatoren op de modulaire $j$-functie. Zij toonden aan dat de nulpunten van deze polynomen eveneens eenvoudig en gelegen zijn in $[0, 1728]$.

Het centrale probleem dat Gomez aanpakt, is het uitbreiden van deze theorie naar een brede klasse van harmonische Maass-vormen, specifiek zwake Hecke-eigenvormen van gewicht $2-k$ (waarbij $k$ een positief even geheel getal is). Deze vormen zijn niet holomorf, maar bestaan uit een holomorf deel en een niet-holomorf deel (de "schaduw"). De vraag is of de analoog gedefinieerde Hecke-polynomen voor deze vormen dezelfde mooie eigenschappen vertonen wat betreft de ligging en eenvoud van hun nulpunten.

2. Methodologie

De aanpak van Gomez combineert de theorie van Hecke-operatoren op harmonische Maass-vormen met een nauwkeurige asymptotische analyse van Maass-Poincaré-reeksen.

• Constructie van Hecke-polynomen:
  Voor een zwake Hecke-eigenvorm $F$ van gewicht $2-k$ met reële Fourier-coëfficiënten en schaduw $G$ (een holomorphe cuspvorm), definieert de auteur een functie $H_n(F; \tau)$. Deze wordt geconstrueerd door de actie van de Hecke-operator $T_{2-k}(n)$ op $F$ te combineren met de eigenwaarde $a(n)$ van de schaduw, en vervolgens te vermenigvuldigen met geschikte machten van de discriminant $\Delta(\tau)$ en een aangepaste Eisenstein-reeks $\tilde{E}_{k-2}(\tau)$.
  Het resultaat is een zwak holomorf modulaire functie die, via de $j$-functie, kan worden geschreven als een polynoom $P_n(F; x)$.

• Decompositie in Poincaré-reeksen:
  De vorm $F$ wordt uitgedrukt als een lineaire combinatie van Maass-Poincaré-reeksen $F_{2-k, -l}(\tau)$. Dit maakt het mogelijk om de actie van de Hecke-operatoren expliciet te berekenen.

• Asymptotische Analyse op de Boog $A$:
  De kern van het bewijs ligt in het analyseren van de gedragingen van deze functies op de boog $A$ ($\tau = e^{i\theta}$ met $\theta \in [\pi/3, \pi/2]$).

  1. De auteur isoleert de dominante term in de Fourier-ontwikkeling van de Poincaré-reeksen. Deze term gedraagt zich als een gedempte cosinusgolf.
  2. De resterende termen (de "staart") worden gecontroleerd en afgeschat met behulp van bounds voor Maass-Poincaré-reeksen, Whittaker-functies en Bessel-functies (specifiek $I$- en $J$-Bessel functies en Kloosterman-sommen).
  3. Er wordt bewezen dat voor voldoende grote $n$, de dominante cosinus-term de staarttermen overwint. Hierdoor oscilleert de functie $H_n(F; \tau)$ op de boog $A$ op een voorspelbare manier.

• Toepassing van de Tussenwaarde-stelling:
  Omdat de dominante term een cosinus is, wisselt het teken van de functie een specifiek aantal keren op het interval. Door de Tussenwaarde-stelling (Intermediate Value Theorem) toe te passen, wordt aangetoond dat er nulpunten moeten bestaan op specifieke locaties die corresponderen met het interval $[0, 1728]$.

3. Belangrijkste Resultaten

Het artikel presenteert twee hoofdstellingen:

Stelling 1.1 (Constructie en Graad):
Voor een zwake Hecke-eigenvorm $F$ van gewicht $2-k$ met reële Fourier-coëfficiënten, bestaat er voor elke $n \geq 2$ een monische polynoom $P_n(F; x)$ met reële coëfficiënten en graad $m_n - b(k-2)$ (waarbij $m$ de orde van de pool in het oneindige is en $b(k)$ een correctiefactor afhankelijk van $k \pmod{12}$). Deze polynoom voldoet aan $P_n(F; j(\tau)) = H_n(F; \tau)$.

Stelling 1.2 (Locatie en Eenvoud van Nulpunten):
Voor voldoende grote $n$ (concreet wanneer $C_F n^{k-1} e^{-\pi n \sqrt{3}/2} < 1$), heeft de polynoom $P_n(F; x)$ precies $m_n - b(k-2)$ eenvoudige (niet-herhaalde) nulpunten, en liggen al deze nulpunten strikt in het interval $[0, 1728]$.

• De auteur geeft ook specifieke criteria wanneer de nulpunten precies op de randpunten $0$ of $1728$ liggen, afhankelijk van $k \pmod 4$ of $k \pmod 6$.

Technische details:

• De constante $C_F$ hangt alleen af van de Fourier-coëfficiënten van het hoofdgedeelte van $F$.
• De methode generaliseert eerdere resultaten van Ono en Gomez (die specifiek werkten met een vorm van gewicht $-10$) naar een algemene klasse van gewichten $2-k$.

4. Bijdrage en Betekenis

• Generalisatie van Holomorfe Theorie: Het artikel toont aan dat de prachtige eigenschap dat Hecke-polynomen nulpunten hebben in $[0, 1728]$ niet beperkt is tot holomorphe modulaire vormen of de $j$-functie, maar ook geldt voor een grote klasse van niet-holomorphe objecten (harmonische Maass-vormen).
• Verbinding tussen Analyse en Getaltheorie: De methode koppelt de analytische eigenschappen van Whittaker- en Bessel-functies (die de niet-holomorphe delen beschrijven) direct aan de algebraïsche eigenschappen van de nulpunten van polynomen.
• Verduidelijking van de "Cosine"-structuur: Het werk bevestigt en verfijnt het inzicht dat de gedragingen van deze complexe vormen op de fundamentele boog gedomineerd worden door een cosinus-term, wat de locatie van de nulpunten verklaart.
• Toepassingsgebied: Dit resultaat is relevant voor onderzoek naar de verdeling van nulpunten van modulaire vormen, de theorie van mock modulaire vormen, en de interactie tussen Hecke-operatoren en de geometrie van het fundamentele domein.

Samenvattend levert Gomez een rigoureus bewijs dat de "Rankin-Swinnerton-Dyer/Asai-Kaneko-Ninomiya" fenomenologie robuust is en zich uitstrekt naar de wereld van harmonische Maass-vormen, waarbij hij een schone graadsformule en criteria voor de nulpunten levert.