Explicit generators of the space of modular forms

Technische Samenvatting: Expliciete Generatoren van de Ruimte van Modulaire Vormen

Probleemstelling
Het artikel behandelt twee onderling verbonden problemen met betrekking tot de ruimte van cuspvormen $S_\kappa$ van even gewicht $\kappa \ge 12$ en niveau één, en de duale ruimte $S^*_\kappa$.

1. Generatoren voor $S_\kappa$: Hoewel bekend is dat ruimtes van modulaire vormen worden gespannen door vormen met rationale Fourier-coëfficiënten, blijft de specifieke vraag open of de subspace van cuspvormen $S_\kappa$ gegenereerd kan worden door Rankin-Cohen-brackets van Eisenstein-reeksen. Vorig werk door Xue [17] heeft dit vastgesteld voor specifieke gevallen van de bracket-orde $n$ (bijv. $n=0, 1, 2, 3$) en vermoedde dat de verzameling brackets $\{[E_k, E_\ell]_n\}$ $S_\kappa$ spant voor elke $n$, mits $\kappa$ voldoende groot is ten opzichte van $n$.
2. Generatoren voor $S^*_\kappa$: De duale ruimte $S^*_\kappa$ wordt gespannen door perioden van modulaire vormen. Hoewel de Eichler-Shimura-relaties impliceren dat zowel de even perioden $\{r_0, r_2, \dots, r_{\kappa-2}\}$ als de oneven perioden $\{r_1, r_3, \dots, r_{\kappa-3}\}$ beide $S^*_\kappa$ spannen, zijn deze verzamelingen niet lineair onafhankelijk (hun omvang is ongeveer $6 \dim S_\kappa$). Het probleem is het identificeren van expliciete, kleinere deelverzamelingen van perioden die een spannende verzameling (of basis) vormen voor $S^*_\kappa$.

Methodologie
De auteurs maken gebruik van een combinatie van analytische getaltheorie en lineaire algebra:

• Rankin-Selberg Methode: Om de spannende eigenschap voor $S_\kappa$ te bewijzen, gebruiken de auteurs de Rankin-Selberg-methode om de inwendige product van een cuspvorm met een Rankin-Cohen-bracket te relateren aan de perioden van de cuspvorm. Specifiek tonen zij aan dat als een cuspvorm $g$ orthogonaal is aan de span van de brackets, de bijbehorende lineaire combinatie van perioden nul moet zijn.
• Eichler-Shimura Relaties: De kern van het bewijs rust op de lineaire afhankelijkheidsrelaties tussen perioden (vergelijkingen (1t), (2t) en (3t) in het artikel). De auteurs construeren een matrix $A$ die een subsystem van deze relaties representeert.
• Matrixanalyse: Om te bewijzen dat een specifieke deelverzameling van perioden de duale ruimte spant, moeten de auteurs aantonen dat de complementaire deelverzameling van perioden als lineaire combinaties van de gekozen deelverzameling uitgedrukt kan worden. Dit vereist het bewijzen dat de matrix $A$ (gevormd door de coëfficiënten van de "niet-gekozen" perioden in de relaties) niet-singulier is.
• Combinatorische Technieken: Het bewijs van de niet-singulariteit omvat het reduceren van matrix $A$ met behulp van een specifieke eliminatiematrix $P$. In tegenstelling tot standaard Gaussische eliminatie gericht op boven-triangulaire matrices, reduceren de auteurs $A$ tot een onder-anti-triangulaire matrix. Zij maken gebruik van eigenschappen van Stirlinggetallen van de eerste en tweede soort (Lemma 3.1) en combinatorische identiteiten om aan te tonen dat de termen boven de anti-diagonaal van $PA$ verdwijnen en dat de anti-diagonale termen niet nul zijn.

Belangrijkste Bijdragen en Resultaten

1. Resolutie van de Spanningsvermoeden voor $S_\kappa$ (Theorem 1.1):
   De auteurs geven een bevestigend antwoord op de conjectuur in [17]. Zij bewijzen dat voor elke geheel getal $n \ge 1$, indien $\kappa \ge 4n + 18$, de verzameling Rankin-Cohen-brackets $\{[E_k, E_\ell]_n\}$ met even $k, \ell \ge 4$ en $k + \ell + 2n = \kappa$ de vectorruimte $S_\kappa$ spant.

   • Mechanisme: Zij definiëren een functie $G_g$ gebaseerd op de perioden van een hypothetische orthogonaal cuspvorm $g$. Door de range van de indices van de betrokken perioden te analyseren, tonen zij aan dat $G_g$ voldoet aan de verdwijningscriteria van Proposition 2.2, wat impliceert dat $G_g = 0$ en dus $g=0$.

2. Expliciete Spannende Deelverzamelingen voor $S^*_\kappa$ (Theorem 1.2):
   Het artikel identificeert expliciete deelverzamelingen van perioden die $S^*_\kappa$ spannen. Laat $\kappa = 12m + 2a$ met $0 \le a \le 5$. De auteurs definiëren een indexverzameling $I = \{i \in \mathbb{Z} : \lceil \frac{3m}{2} \rceil + 1 \le i \le 3m + \lfloor \frac{a}{2} \rfloor - 1\}$.

   • Zij bewijzen dat de even perioden $\{r_{2i}\}_{i \in I}$ $S^*_\kappa$ spannen.
   • Similair spannen de oneven perioden $\{r_{2i-1}\}_{i \in I}$ $S^*_\kappa$.
   • De omvang van deze spannende verzamelingen is ongeveer $\lceil \frac{3}{2} \dim S_\kappa \rceil$, wat verschilt van de basis gevonden door Fukuhara [4].

3. Niet-singulariteit van de Relatiematrix:
   Een significante technische bijdrage is het bewijs dat de matrix $A$, afgeleid van de Eichler-Shimura-relaties, niet-singulier is. Dit wordt bereikt door de constructie van een eliminatiematrix $P$ die $A$ transformeert naar een onder-anti-triangulaire matrix met niet-nul anti-diagonale termen. Dit resultaat valideert de lineaire onafhankelijkheid van de specifieke perioden die uit de spannende verzameling zijn uitgesloten, waarmee de spannende eigenschap van de gekozen deelverzameling wordt bevestigd.

Betekenis en Claims
Het artikel claimt de conjectuur met betrekking tot de generatie van cuspvormen door Rankin-Cohen-brackets van Eisenstein-reeksen voor voldoende grote gewichten te hebben opgelost. Bovendien biedt het nieuwe, expliciete spannende verzamelingen voor de duale ruimte van cuspvormen, wat een verfijndere verstandhouding biedt van de lineaire afhankelijkheden tussen perioden dan voorheen beschikbaar was.

De auteurs merken op dat hun resultaten voor niveau één enigszins mysterieus zijn vergeleken met hogere niveaus (bijv. $\Gamma_0(N)$), waar perioden over het algemeen geen basis vormen vanwege dimensiebeperkingen. Het artikel concludeert door hun bevindingen te koppelen aan bredere conjecturen (Conjectures 4.2 en 4.3) met betrekking tot de lineaire onafhankelijkheid van willekeurige verzamelingen van perioden, waarbij zij suggereren dat Theorem 1.2 een bijgerecht (corollary) is van deze conjecturen. Het werk steunt op de aanname dat $\kappa$ groot genoeg is ($\kappa \ge 4n + 18$) om de noodzakelijke ongelijkheden voor de perioden-indices te waarborgen.