Abstract:Given modular forms $f$ and $g$ of weights $k$ and $\ell$, respectively, their Rankin-Cohen bracket $[f,g]^{(k, \ell)}_n$ corresponding to a nonnegative integer $n$ is a modular form of weight $k +\ell +2n$, and it is given as a linear combination of the products of the form $f^{(r)} g^{(n-r)}$ for $0 \leq r \leq n$. We use a correspondence between quasimodular forms and sequences of modular forms to express the Dirichlet series of a product of derivatives of modular forms as a linear combination of the Dirichlet series of Rankin-Cohen brackets.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to represent the Dirichlet series of the product of modular form derivatives as a linear combination of the Dirichlet series of Rankin - Cohen brackets. Specifically, given two modular forms $\varphi$ and $\psi$ and their derivatives $\varphi^{(m)}$ and $\psi^{(n)}$, the author hopes to express the Dirichlet series $L(\varphi^{(m)}\psi^{(n)}, s)$ of $\varphi^{(m)}\psi^{(n)}$ as a linear combination of the Dirichlet series of Rankin - Cohen brackets $[\varphi, \psi]_{m + n-\ell}^{(\mu, \nu)}$.
### Main problems
1. **Dirichlet series of the product of modular form derivatives**:
Given modular forms $\varphi$ and $\psi$ and their derivatives $\varphi^{(m)}$ and $\psi^{(n)}$ (where $m, n$ are non - negative integers), how to express their Dirichlet series $L(\varphi^{(m)}\psi^{(n)}, s)$?
2. **Dirichlet series of Rankin - Cohen brackets**:
How to represent the above Dirichlet series by the Dirichlet series of Rankin - Cohen brackets $[\varphi, \psi]_{m + n-\ell}^{(\mu, \nu)}$?
### Solution
The author uses the correspondence between quasi - modular forms and sequences of modular forms and utilizes the following key formula:
\[ L(\varphi^{(m)}\psi^{(n)}, s)=\sum_{\ell = 0}^{m + n}a_{m,n}^{\mu,\nu}(\ell)L([\varphi, \psi]_{m + n-\ell}^{(\mu, \nu)}, s-\ell), \]
where the coefficient $a_{m,n}^{\mu,\nu}(\ell)$ is given by:
\[ a_{m,n}^{\mu,\nu}(\ell)=\frac{(2\pi i)^\ell n!(\mu + m - 1)!(\nu + n - 1)!(\mu + \nu + 2\ell - 1)!}{(\mu+\ell - 1)!(\mu + \nu + 2m + 2n-\ell - 1)!h^\ell}\times\sum_{j = 0}^{\ell}\frac{(-1)^j(m + n-\ell + j)!(2\ell+\mu+\nu - j - 2)!}{j!(\ell - j)!(n-\ell + j)!(\nu+\ell - j - 1)!}. \]
### Research background
- **Modular forms and quasi - modular forms**: Modular forms are a type of automorphic form with specific transformation properties. Quasi - modular forms are generalizations of modular forms, allowing for additional terms in the transformation.
- **Rankin - Cohen brackets**: This is a method of constructing modular forms, generating new modular forms through linear combinations of two modular forms and their derivatives.
- **Dirichlet series**: This is an important tool for studying modular forms, defined by Fourier coefficients and widely used in number theory and other fields of mathematics.
Through these tools and methods, the author successfully represents the Dirichlet series of the product of modular form derivatives as a linear combination of the Dirichlet series of Rankin - Cohen brackets, thus solving the problem.