Determination of Hilbert modular forms using squarefree coefficients

Technische Samenvatting: Bepaling van Hilbert Modulaire Vormen met Gebruik van Vierkantvrije Coëfficiënten

Probleemstelling
Het artikel behandelt het probleem van het uniek bepalen van half-integraal gewicht Hilbert modulaire vormen over een totaal reëel getalveld $F$ (met smalle klassenaantal 1) door een deelverzameling van hun Fouriercoëfficiënten. Terwijl de volledige collectie Fouriercoëfficiënten een modulaire vorm uniek bepaalt, onderzoeken de auteurs of een "minimale" verzameling volstaat. In het bijzonder richten zij zich op coëfficiënten die worden ondersteund op vierkantvrije algebraïsche gehele getallen. Deze vraagstelling breidt eerder werk van Kohnen (beperkt tot de "plus-ruimte" over $\mathbb{Q}$) en Luo-Ramakrishnan (betreffende gehele gewichtsvormen en centrale $L$-waarden) uit naar de meer algemene setting van Hilbert modulaire vormen met variërende gewichten en niveaus.

Methodologie
De auteurs maken gebruik van een combinatie van analytische getaltheoretische technieken, waarbij specifiek gebruik wordt gemaakt van de Shimura-correspondentie, de Waldspurger-formule en de Rankin-Selberg-theorie.

1. Shimura-correspondentie en Functionele Vergelijkingen: De kernstrategie omvat het relateren van de half-integraal gewicht vormen $f$ en $g$ aan hun integraal gewicht Shimura-lifts, aangeduid als $\tilde{f}$ en $\tilde{g}$. De auteurs stellen de functionele vergelijkingen vast voor de Dirichletreeksen geassocieerd met deze vormen. Een cruciale stap is de Fricke-involutie en de $W(n)$-operator, die de auteurs in staat stellen de $L$-functie van een vorm te relateren aan die van zijn twist.
2. Vergelijking van Dirichletreeksen: Uitgaande van het scenario waarin de genormaliseerde Fouriercoëfficiënten van $f$ en $g$ overeenkomen op alle vierkantvrije gehele getallen (tot een constante $\kappa$), construeren de auteurs een ratio van de voltooide $L$-functies, $C(s) = \Lambda(s, f) / \Lambda(s, g)$.
3. Analytische Voortzetting en Tegenspraak: Door de functionele vergelijkingen van de $L$-functies en de eigenschappen van de Gamma-factoren te analyseren, tonen de auteurs aan dat $C(s)$ een constante moet zijn. Dit omvat een bewijs door tegenstrijdigheid met betrekking tot de gewichten en niveaus van de vormen, waarbij de Legendre-duplicatieformule en het gedrag van de $L$-functies bij specifieke punten worden gebruikt om mismatched parameters uit te sluiten.
4. Uniciteit via Twists: Zodra de gelijkheid van de $L$-functies is vastgesteld, maken de auteurs gebruik van een lemma (Lemma 2) betreffende het verdwijnen van getwiste Dirichletreeksen. Dit lemma, afgeleid van de orthogonaliteit van karakters en eigenschappen van ray-klasgroepen, stelt hen in staat om te concluderen dat als de $L$-functies van de twists gelijk zijn, de vormen zelf gelijk moeten zijn.
5. Rankin-Selberg-theorie: Voor het resultaat betreffende niet-verdwijning maken de auteurs gebruik van de Rankin-Selberg $L$-functie $L(s, f \times f)$ en haar pool bij $s=1$. Door de som van gekwadrateerde coëfficiënten te schatten en de Ramanujan-grens toe te passen, leiden zij een ondergrens af voor de grootte van de coëfficiënten die worden ondersteund op vierkantvrije gehele getallen.

Belangrijkste Bijdragen en Resultaten

• Stelling 3 (Hoofdresultaat van Bepaling): De auteurs bewijzen dat als $f$ en $g$ half-integraal gewicht cuspidale Hilbert Hecke-eigenvormen zijn van variërende gewichten en niveaus, en hun genormaliseerde Fouriercoëfficiënten voldoen aan $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ voor elk vierkantvrij $\tau \in \mathcal{O}_F$ (met $\kappa \neq 0$), dan is $f = \kappa g$. Dit generaliseert het resultaat van Kohnen door de restrictie tot de "plus-ruimte" te verwijderen en variërende gewichten en niveaus toe te staan, hoewel het de vereiste behoudt dat de gelijkheid geldt voor elk vierkantvrij geheel getal in plaats van "bijna alle".
• Stelling 4 (Niet-verdwijningsresultaat): Het artikel levert een "zachte bewijsvoering" dat voor een niet-nul Hecke-eigenvorm $f$, de limiet superieur van de absolute waarden van zijn Fouriercoëfficiënten ondersteund op vierkantvrije gehele getallen niet nul is. Specifiek: $\limsup_{T \to \infty, N(\tau)<T, \tau \text{ sq.free}} |\lambda_f(\tau)| \gg_{f,F} 1$. Dit bevestigt dat oneindig veel van dergelijke coëfficiënten niet verdwijnen.
• Corollary 1 (Specialisatie naar de Plus-ruimte): De auteurs herstellen een resultaat analoog aan Kohnens Stelling 1 voor de Kohnen plus-ruimte over $F$, waarbij zij aantonen dat gelijkheid van coëfficiënten op fundamentele discriminanten impliceert dat de vormen identiek zijn.

Betekenis en Claims
Het artikel claimt een rigoureuze formulering te bieden van de filosofische verwachting dat vierkantvrije coëfficiënten alle noodzakelijke informatie bevatten om een half-integraal gewicht Hilbert modulaire vorm uniek te bepalen. De auteurs positioneren Stelling 3 als een tussenresultaat tussen Kohnens specifieke geval (vast gewicht/niveau, plus-ruimte) en het resultaat van Luo-Ramakrishnan (integraal gewicht, centrale $L$-waarden).

De auteurs zijn bescheiden over de reikwijdte van hun generalisatie. Zij stellen expliciet dat hun huidige methoden niet in staat lijken om de vereiste te verwijderen dat de gelijkheid van coëfficiënten geldt voor elk vierkantvrij geheel getal (in plaats van "bijna alle"), of om de gelijkheid van coëfficiënten te versoepelen naar een gelijkheid van hun absolute waarden. Bovendien, hoewel Stelling 4 de niet-verdwijning vaststelt, merken de auteurs op dat het bewijzen van het sterkere resultaat dat de limiet superieur oneindig is (d.w.z. $\limsup |\lambda_f(\tau)| = \infty$) een open probleem blijft, hoewel zij recent werk van GKS24 aanhalen als een stap in die richting.

De aanname dat het smalle klassenaantal van $F$ gelijk is aan 1 wordt genoteerd als een gemak en een gedeeltelijke noodzaak voor de huidige bewijsstructuur, hoewel de auteurs suggereren dat delen van het argument kunnen worden aangepast voor velden waar de discriminant een hoofdideaal is. Het werk steunt zwaar op de robuustheid van de Shimura-correspondentie en de functionele vergelijkingen van de geassocieerde $L$-functies om de kloof tussen de half-integraal en integraal gewicht domeinen te overbruggen.