Rational spanning sets of level-one cusp forms from Eisenstein series at prime levels

Technische Samenvatting: Rationale Spannende Sets van Level-één Cuspidale Vormen uit Eisenstein-reeksen van Primaire Niveaus

Probleemstelling
Het artikel behandelt de constructie van expliciete rationale spannende sets voor de ruimte van cuspidale vormen van gewicht $k$ en niveau één, aangeduid als $S_k$. Hoewel het algemeen bekend is dat $S_k$ gespannen kan worden door producten van niveau-één Eisenstein-reeksen (bijv. $E_l \cdot E_{k-l} - E_k$), is het vinden van een expliciete basis vanuit deze vormen moeilijk. Recente werken hebben spannende sets opgeleverd met behulp van Rankin-Cohen-brackets van niveau-één Eisenstein-reeksen. De centrale vraag die aan dit werk ten grondslag ligt, is of men een expliciete rationale spannende deelverzameling van $S_k$ kan construeren met uitsluitend Eisenstein-reeksen van hogere niveaus (specifiek primaire niveaus), in plaats van te vertrouwen op niveau-één Eisenstein-reeksen van lager gewicht.

Methodologie
De auteur hanteert een strategie waarbij de trace-afbeelding en Rankin-Cohen-brackets worden gebruikt om vormen van hogere niveaus naar niveau één te liften. De kernmethodologie verloopt als volgt:

1. Constructie van Vormen: Het artikel definieert een familie van modulaire vormen $F_{p, k_1, k_2, c}(z)$ door de $c$-de Rankin-Cohen-bracket te nemen van twee Eisenstein-reeksen, $G_{k_1, \chi_p}$ en $G_{k_2, \chi_p}$, van niveau $p$ (waarbij $p$ een oneven priemgetal is en $\chi_p$ het Legendre-symbool). Deze vormen worden vervolgens via de trace-afbeelding $\text{Tr}_1^p$ teruggebracht naar de niveau-één ruimte.
2. Rankin-Selberg Convolutie: De relatie tussen deze geconstrueerde vormen en cuspidale vormen wordt vastgesteld via de Rankin-Selberg convolutie. Specifiek wordt aangetoond dat het Petersson inproduct van een genormaliseerde Hecke-eigenvorm $f \in S_k$ met $F_{p, k_1, k_2, c}$ proportioneel is aan het product van een centrale $L$-waarde en een getwiste $L$-waarde: $L(f, k_1+k_2+c-1)L(f, \chi_p, k_2+c)$.
3. Bepaling door Niet-centrale $L$-waarden: Het bewijs steunt op een nieuw resultaat (Theorema 3.2) dat aantoont dat een cuspidale vorm uniek bepaald wordt (en nul moet zijn indien alle relevante coëfficiënten verdwijnen) door zijn niet-centrale kwadratische-twist $L$-waarden $L(f, \chi_p, s)$ voor priemgetallen $p$ in een specifieke rekenkundige progressie. Dit resultaat maakt gebruik van:
   • De orthogonaliteit van Dirichlet-karakters en de Siegel-Walfisz-stelling om over priemgetallen te middelen.
   • Eigenschappen van symmetrische kwadratische $L$-functies om getwiste $L$-waarden te relateren aan Fourier-coëfficiënten van vierkant-vrije indices.
   • Een lemma van Anamby en Das, dat stelt dat een cuspidale vorm die verdwijnt op alle vierkant-vrije Fourier-coëfficiënten, identiek nul is.

Belangrijkste Bijdragen en Resultaten

• Theorema 1.1 (Hoofdresultaat): Het artikel bewijst dat de verzameling vormen $\{F_{p, k_1, k_2, c}(z)\}_{p \in P_{4, (-1)^{k_1}}}$ de volledige ruimte $S_{k_1+k_2+2c}$ spant. Hierbij is $P_{4, (-1)^{k_1}}$ de verzameling priemgetallen in de residuklasse $(-1)^{k_1} \pmod 4$. Dit geeft een bevestigend antwoord op de motiverende vraag door een rationale spannende verzameling te construeren die volledig bestaat uit Eisenstein-reeksen bij variërende primaire niveaus.
• Theorema 3.2 (Bepalingsstelling): Een belangrijk tussenresultaat stelt vast dat als een cuspidale vorm $f \in S_k$ voldoet aan $L(f, \chi_p, s) = 0$ voor alle priemgetallen $p$ in een vaste residuklasse modulo 4 (met $\text{Re}(s) > k + 1/2$), dan moet $f$ de nulvorm zijn. Dit generaliseert eerder werk over centrale $L$-waarden naar niet-centrale waarden en algemene cuspidale vormen.
• Numeriek Bewijs en Conjectuur: Het artikel levert numerieke voorbeelden (bijv. voor $S_{24}$) die aantonen dat voor onderscheiden priemgetallen $p_1, p_2$ de vormen $F_{p_1}$ en $F_{p_2}$ lineair onafhankelijk zijn. Op basis hiervan stelt de auteur Conjectuur 1.4 voor, die suggereert dat elke deelverzameling van $d = \dim S_k$ dergelijke vormen (waarbij de priemgetallen onderscheiden zijn en in de juiste residuklasse liggen) een basis vormt voor $S_k$.

Betekenis en Claims
Het artikel claimt de eerste expliciete constructie van een rationale spannende verzameling voor niveau-één cuspidale vormen te bieden die uitsluitend afgeleid is van Eisenstein-reeksen van hogere niveaus. In tegenstelling tot eerdere constructies die vertrouwen op niveau-één Eisenstein-reeksen van lagere gewichten, fixeert deze methode de indices van de Eisenstein-reeksen terwijl het niveau varieert.

De betekenis van het werk ligt in:

1. Expliciete Constructie: Het biedt een concrete, berekenbare verzameling rationale vormen die $S_k$ spannen, afgeleid van de trace van Rankin-Cohen-brackets van Eisenstein-reeksen.
2. Theoretische Vooruitgang: Het bewijs introduceert een methode om cuspidale vormen te bepalen via niet-centrale kwadratische-twist $L$-waarden, wat technisch eenvoudiger is dan methoden die steunen op centrale waarden.
3. Verbinding met Getwiste Perioden: In de discussie (Sectie 5) verbindt de auteur deze resultaten met de theorie van getwiste perioden van modulaire vormen, waarmee een specifieke vraag wordt beantwoord over de vraag of getwiste perioden met vaste indices maar variërende kwadratische karakters de duale ruimte $S_k^*$ spannen.

De auteur blijft bescheiden over de eindigheid van de spannende verzameling; hoewel het theorema garandeert dat de oneindige verzameling priemgetallen de ruimte spant, bewijst het artikel niet dat een eindige deelverzameling van deze priemgetallen voldoende is om een basis te vormen, hoewel numerieke gegevens suggereren dat dit waarschijnlijk het geval is.