 Dimension of level-one modular forms

For even nonnegative weight, the displayed dimension follows from multiplication by the modular discriminant and the constant-coefficient map. Every nonnegative even weight except two has a product $E_4^a{E}_6^b$ of Eisenstein series with constant term one, so $\dim M_k=1+\dim M_{k-12}$ for even $k\ge 4$. The initial dimensions are one in weight zero and zero in weight two; negative and odd weights have no nonzero level-one modular forms.