Structure and bases of modular spaces sequences \((M_{2k}(\Gamma_0(N)))_{k\in\mathbb{N}^*}\) (Q2662192)

In the paper under review, it is aimed to have an explicit decomposition of modular form spaces \((M_{2k}(\mathrm{SL}_2(\mathbb{Z})))_{(k, N) \in {\mathbb{N}^*}^2}\). To do this, the author defines a strong modular unit \(\Delta_N\) of level \(N\) for any positive integer \(N\). He shows the existence of the strong modular unit \(\Delta_N\), first for the case \(N\) is prime and then for all \(N\). In an earlier result in the literature, in [\textit{J.-P. Serre}, Cours d'arithmétique. Paris: Presses Universitaires de France (1970; Zbl 0225.12002)], the structure of the sequence \((M_{2k}(\mathrm{SL}_2(\mathbb{Z})))_{k \in \mathbb{N}^*}\) is obtained by using the \(\Delta\) function, and he obtains an explicit basis for each subspace where the level is 1. In the paper under review, the author generalizes this result for the case \(N \geq 2\). Furthermore, he applies this result to the search of bases for each of the \((M_{2k}(\mathrm{SL}_2(\mathbb{Z})))_{k \in \mathbb{N}^*}\) spaces. Proofs are based on properties of Dedekind-\(\eta\) function and fundamental facts on modular forms. There are some typos in the paper, for instance, ``Dedeking'', ``rôle'', etc.