Let $\widetilde{M}\_k^{\leq \ell}$ be the space of weight $k$ depth $\leq \ell$ quasimodular forms, and $\widetilde{M}\_{k,\mathbb R}^{\leq \ell}$ be a subspace of $\widetilde{M}\_k^{\leq \ell}$ whose elements have real Fourier coefficients.
Let $D=\frac{1}{2\pi i}\frac{d}{d\tau}=q\frac{q}{dq} : \widetilde{M}\_k^{\leq \ell} \to \widetilde{M}\_{k+2}^{\leq \ell+1}$ be the differential operator. If $k>2$, then we have:


**Theorem**. $\widetilde{M}\_k^{\leq 1}=M\_k \oplus DM\_{k-2}$.


It is obvious that $M\_{k,\mathbb R} \oplus DM\_{k-2,\mathbb R} \subseteq \widetilde{M}\_{k,\mathbb R}^{\leq 1}$, and I believe that $M\_{k,\mathbb R} \oplus DM\_{k-2,\mathbb R} = \widetilde{M}\_{k,\mathbb R}^{\leq 1}$. More generally, we have


**Theorem**. $\widetilde{M}\_k^{\leq \frac{k}{2}}=\bigoplus\_{j=0}^{\frac{k}{2}-2} D^j M\_{k-2j} \oplus \mathbb C D^{\frac{k}{2}-1}E\_2$.


and I hope to prove $\widetilde{M}\_{k,\mathbb R}^{\leq \frac{k}{2}}=\bigoplus\_{j=0}^{\frac{k}{2}-2} D^j M\_{k-2j,\mathbb R} \oplus \mathbb R D^{\frac{k}{2}-1}E\_2$ but I'm having trouble. Does anyone have an idea?



Decomposition of real quasimodular forms of depth 1
There is an involution of $\widetilde M\_k^{\le l}$, $$i : \; f(\tau) \mapsto \overline{f(-\overline{\tau})}, \quad \sum\_{n=0}^{\infty} a\_n q^n \mapsto \sum\_{n=0}^{\infty} \overline{a\_n} q^n$$ which commutes with $D$, whose fixed points are exactly the quasimodular forms with real Fourier coefficients. So if $f \in \widetilde M\_{k, \mathbb{R}}^{\ell}$ is decomposed $$f = \sum\_{j=0}^{\ell - 2} D^j f\_j + c \cdot D^{\ell - 1} E\_2, \quad f\_j \in M\_{k - 2j}, \; c \in \mathbb{C}$$ then $$f = i(f) = \sum\_{j=0}^{\ell - 2} D^j i(f\_j) + \overline{c} \cdot D^{\ell - 1} E\_2.$$


Since the sum $\widetilde M\_k^{\le \ell} = \bigoplus\_{j = 0}^{\ell - 2} D^j M\_{k - 2j} \oplus \mathbb{C} D^{\ell - 1} E\_2$ is direct, we have $$f\_j = i(f\_j) \; \text{for all} \; j \; \text{and} \; c = \overline{c},$$ so $f\_j \in M\_{k - 2j, \mathbb{R}}$ and $c \in \mathbb{R}$.


