Signs of Square-Free Fourier Coefficients of Half-Integral weight cusp forms and the Congruent Number Problem

Technische Samenvatting: Tekens van Vierkantvrije Fouriercoëfficiënten van Cuspvormen met Halve Heelgetalige Gewicht en het Probleem van de Congruente Getallen

Probleemstelling
Het artikel onderzoekt de tekenverdeling van vierkantvrije Fouriercoëfficiënten van cuspvormen met halve heelgetalige gewichten. Specifiek behandelt het de vraag of het aantal positieve en negatieve coëfficiënten tot een grens $X$ voldoende groot is om oneindig veel tekenveranderingen te garanderen. Deze vraagstelling wordt gemotiveerd door het Probleem van de Congruente Getallen, waarbij het teken van een specifieke gewicht $3/2$ coëfficiënt, $\Delta(t)$, de ongelijkheden $r_{Q_1}(t) > r_{Q_2}(t)$ en $r_{Q_1}(t) < r_{Q_2}(t)$ onderscheidt voor oneven vierkantvrije gehele getallen $t$. Hoewel Waldspurger's formule de kwadratische waarde van deze coëfficiënten relateert aan de centrale $L$-waarde $L(E_t, 1)$, bepaalt zij niet de tekens van deze coëfficiënten. Voorgaand werk van Hulse, Kıral, Kuan en Lim stelde oneindige tekenveranderingen vast voor niveau 4 vormen, maar het uitbreiden van deze resultaten naar algemene niveaus vereiste het overwinnen van aanzienlijke analytische hindernissen met betrekking tot additieve twists.

Methodologie
De auteurs maken gebruik van een combinatie van analytisch-getaltheoretische technieken, met een specifieke focus op de voortzetting van Dirichletreeksen en de Rankin–Selberg methode.

1. Functionele Vergelijkingen voor Additieve Twists: Een primaire technische innovatie is de afleiding van functionele vergelijkingen voor additieve twists van halfgetalige gewicht cuspvormen bij willekeurige cuspen voor een algemeen niveau $N$ (waarbij $4|N$). In tegenstelling tot eerdere niveau 4 analyses die cuspen geval per geval behandelden (gebaseerd op de noemer van de cusp), stellen de auteurs een verenigde functionele vergelijking op (Lemma 2.2) die de twist bij een rationeel punt $u/d$ relateert aan de Fourier-expansie bij een corresponderende cusp. Dit omvat het construeren van specifieke schaalingsmatrices en het gebruik van de metaplectische dekking om de automorfiefactoren te behandelen.
2. Analytische Voortzetting van Vierkantvrije Series: Met behulp van de afgeleide functionele vergelijkingen zetten de auteurs de Dirichletreeks van vierkantvrije coëfficiënten, $M_f(s) = \sum_{t \text{ sq-free}} a_f(t)t^{-s}$, voort naar het halfvlak $\Re(s) > 3/4$. Dit wordt bereikt door de reeks uit te drukken via additieve twists, de functionele vergelijkingen toe te passen om het argument naar de kritieke lijn te verplaatsen, en het Phragmén–Lindelöf principe te gebruiken om de groei in de kritieke strip te begrenzen.
3. Rankin–Selberg Tweede Momenten: Het artikel stelt een ondergrens vast voor het tweede moment van vierkantvrije coëfficiënten, $B_f(X) = \sum_{t \le X, \text{sq-free}} |a_f(t)|^2$. Door de som over alle gehele getallen te relateren aan de som over vierkantvrije gehele getallen (met behulp van een transferargument vergelijkbaar met dat van Lau, Royer en Wu) en de spectrale theorie van Eisenstein-reeksen toe te passen, bewijzen zij dat $B_f(X) \asymp_f X$.
4. Tekenverdelingsargument: Door de bovenste grens voor de getekende som $S_f(X) = \sum a_f(t)W(t/X)$ (afgeleid van de analytische voortzetting naar $\Re(s) > 3/4$) te combineren met de ondergrens voor de absolute som $A_f(X)$, tonen de auteurs aan dat zowel de positieve als de negatieve bijdragen substantieel moeten zijn. Dit dwingt het bestaan af van een groot aantal coëfficiënten van elk teken.

Belangrijkste Bijdragen en Resultaten

• Algemene Niveau Tekenstelling (Stelling 1.1): De auteurs bewijzen dat voor een halfgetalige gewicht cuspvorm $f \in S_{k/2}(\Gamma_0(N))$ met $4|N$, die voldoet aan eigenvormcondities, een niet-nul Shimura-lift heeft, en (voor $k=3$) orthogonaal is aan de unaire theta-subruimte, het aantal positieve en negatieve vierkantvrije coëfficiënten tot $X$ voldoet aan:
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  voor elke $\varepsilon > 0$. Bijgevolg veranderen de coëfficiënten oneindig vaak van teken.
• Toepassing op het Probleem van de Congruente Getallen (Stelling 1.2): Door de algemene stelling toe te passen op de specifieke gewicht $3/2$ vorm $\Psi$ geassocieerd met de elliptische curve $E: y^2 = x^3 - x$, bewijst het artikel dat voor oneven vierktratvrije gehele getallen $t \le X$:
  $$\#\{t \le X : r_{Q_1}(t) > r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}$$
  en
  $$\#\{t \le X : r_{Q_1}(t) < r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}.$$
  Dit bevestigt dat $\Delta(t)$ oneindig vaak van teken verandert.
• Niet-Congruente Getallen: De auteurs merken op dat aangezien $L(E_t, 1) \neq 0$ (geïmpliceerd door $\Delta(t) \neq 0$), de Coates–Wiles stelling impliceert dat de Mordell–Weil rang van $E_t$ nul is. Elk geheel getal dat in Stelling 1.2 wordt geteld, is dus een niet-congruent getal.

Significantie
De primaire significantie van het artikel ligt in het uitbreiden van de bekende resultaten over tekenveranderingen van vierkantvrije coëfficiënten van niveau 4 naar een algemeen niveau $N$ deelbaar door 4. De auteurs stellen expliciet dat het "belangrijkste nieuwe probleem" in deze generalisatie de behandeling van additieve twists bij willekeurige cuspen is, wat zij oplossen door nieuwe functionele vergelijkingen vast te stellen.

Wat betreft het Probleem van de Congruente Getallen, biedt het artikel een rigoureus bewijs dat de rekenkundige functie die de twee representatie-aantallen ($r_{Q_1}$ en $r_{Q_2}$) onderscheidt, niet bevooroordeeld is naar één teken; beide ongelijkheden komen frequent voor. Hoewel het artikel geen nieuwe rekenkundige interpretatie geeft voor het teken van $\Delta(t)$ zelf (en opmerkt dat een dergelijke interpretatie momenteel onbekend is), stelt het de dichtheid van niet-congruente getallen vast die voortkomen uit dit specifieke criterium.

De auteurs blijven bescheiden over de verdeling van de tekens en presenteren numerieke gegevens (Tabel 1) die suggereren dat de tekens asymptotisch equidistributief zijn ($N_+(X) \sim N_-(X)$), maar zij formuleren dit als Conjectuur 5.1 in plaats van een bewezen resultaat. Het artikel concludeert dat de tekenveranderingen oneindig zijn en dat de tellingen van positieve en negatieve coëfficiënten van dezelfde orde van grootte zijn, $X^{4/7-\varepsilon}$.