Abstract:We generalize the linear relation formula between the square of normalized Hecke eigenforms of weight $k$ and normalized Hecke eigenforms of weight $2k$, to Rankin-Cohen brackets of general degree. As an ingredient of the proof, we also generalize a formula of Zagier on the Petersson inner product of Rankin-Cohen brackets involving Eisenstein series.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the formula of the linear relationship between Hecke eigenforms and Rankin - Cohen brackets of half - integral weight modular forms. Specifically, the authors aim to generalize the previous research only for the square of eigenforms to higher - order Rankin - Cohen brackets.
### Problem Background
In previous literature, the linear relationship between the square \( f(\tau)^2 \) of the normalized Hecke eigenform \( f(\tau) \) of weight \( k \) and the normalized Hecke eigenform of weight \( 2k \) has been given. This relationship is described by the special values of certain shifted L - functions and the Fourier coefficients of half - integral weight modular forms. The proof process uses the classical Petersson formula and known identities related to the first Shimura lift.
### Main Contributions of the Paper
The main purpose of this paper is to generalize the above results to the case where \( f(\tau)^2 \) is replaced by the Rankin - Cohen bracket \( [f(\tau), f(\tau)]_\nu \), where \( \nu\geq0 \). To achieve this goal, the authors:
1. **Generalize Zagier's results**: Generalize the Petersson inner product formula involving Eisenstein series to the case including Poincaré series.
2. **Utilize Popa's work**: Cite and extend Popa's results on the first Shimura lift.
3. **Introduce new mathematical tools**: Include in - depth analysis of Petersson inner products, Rankin - Cohen brackets, and Shimura correspondences.
### Specific Representation of the Formula
For any even integral weight \( k \), any normalized Hecke eigenform \( f\in S_k \), and any non - negative integer \( \nu \), the authors derive the following key formula:
\[
\frac{(k + 2\nu- 1)!}{(k+\nu - 1)!}S_1\left([\theta(\tau), f(4\tau)]_\nu\right)=[f(\tau), f(\tau)]_{2\nu}
\]
Here, \( S_1 \) represents the first Shimura lift, \( \theta(\tau) \) is the standard theta function, and \( [\cdot,\cdot]_\nu \) represents the Rankin - Cohen bracket.
### Conclusion
Through these generalizations, the authors not only deepen the understanding of Hecke eigenforms and their Rankin - Cohen brackets but also provide a theoretical basis for further research on the algebraicity and special values of modular forms. These results are of great significance in number theory and modular form theory.