Consider holomorphic modular forms and take their derivatives. The resulting functions are not modular.
In fact, let
Take any weight modular form , that is a holomorphic function satisfying
and is holomorphic at infinity, hence looks like
We have the following formula for it’s derivatives
So instead of just the term , we have extra terms involving the factors
In general, a function that transforms similar to the above expression is called a quasi-modular function. More precisely, if
we call a quasi-modular of depth . Here are holomorphic functions. (We will see that they have to quasi-modular)
Note that the the first function should be equal to because if we take the identity matrix , the transformation gives
The functions are quasi-modular and satisfy the equation
So they have weight and depth .
The proof is easy, just compare the transformation formula for a product of matrices and to get some relations which can be inverted to the above formulae.
Quasi-Modular forms: If the function is a modular form, we call the function a quasi-modular form.
The ‘s have fourier expansions that have no negative terms, that is
The derivatives are quasi-modular form of weight and depth if has weigh and depth .
Let
Then the function
is a quasi-modular form of weight and depth .
We have
Note that we can define using the usual formula
but the sum is not absolutely convergent, that’s reason the proof of modularity fails in this cases, and is in fact reflected by the fact that we have an extra term in the transformation formula above.
We have a nice property. If is a modular form of weight
is a modular form of weight , although is just quasi-modular.
We have the examples of derivatives of modular forms, , do we have other examples of quasi-modular forms?
No, all the quasi-modular forms (for are generated by and the ring of modular forms. That is is the algebra of quasi-modular forms. To see this note that is of strictly smaller depth than .
So quasi-modular forms are modular forms and the almost modular and is closed under their derivatives.