Abstract:We prove identities between cycle integrals of non-holomorphic modular forms arising from applications of various differential operators to weak Maass forms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the identities between the period integrals of non - holomorphic modular forms of weak Maass forms. Specifically, the author aims to generalize the period integral identities discovered by Bringmann, Guerzhoy and Kane when studying the Shintani lift of weakly holomorphic modular forms.
### Background and Problem Description
1. **Existing Research Results**:
- Bringmann, Guerzhoy and Kane [1, 2] discovered astonishing identities between the period integrals of weakly holomorphic modular forms and the period integrals of cusp forms of the same weight. Specifically, if \( f \) is a weakly holomorphic modular form of weight \( 2k\in2\mathbb{N} \), and it is orthogonal to cusp forms and the constant term in its Fourier expansion vanishes, then there exists a cusp form \( g \) of weight \( 2k \), such that for any binary quadratic form \( Q \) with positive non - square discriminant, the following period integral identity holds:
\[
\int_{C_Q} f(z) Q(z,1)^{k - 1} dz=-\frac{(2k - 2)!}{(4\pi)^{2k - 1}}\int_{C_Q} g(z) Q(z,1)^{k - 1} dz
\]
where \( C_Q \) is the geodesic associated with \( Q \).
2. **Proof Method**:
- The proof of the above identities depends on the theory of harmonic weak Maass forms, which was first systematically developed by Bruinier and Funke [3]. Through the results of Bruinier, Ono and Rhoades [4], for each weakly holomorphic modular form \( f \) as above, there exists a harmonic weak Maass form \( F \) of weight \( 2 - 2k \), such that \( f = D^{2k - 1}F \) and \( g=\xi_{2 - 2k}F \) is a cusp form of weight \( 2k \), where the differential operators are defined as:
\[
\xi_{2 - 2k}=2iy^{2 - 2k}\frac{\partial}{\partial z},\quad D = \frac{1}{2\pi i}\frac{\partial}{\partial z}
\]
### Main Contributions of the Paper
1. **Generalize Existing Results**:
- The author of this paper generalizes these identities to non - holomorphic modular forms generated by various differential operators acting on weak Maass forms.
2. **New Proof Method**:
- The author obtains a more concise proof by direct calculation using the explicit parameterization of period integrals and the commutation relations of differential operators.
### Main Conclusions
- **Theorem 1.1**: Let \( F:\mathcal{H}\to\mathbb{C} \) be a smooth function with transformation behavior like a modular form of weight \( 2 - 2k\in2\mathbb{Z} \), then the following period integral identities hold:
\[
C(L_{2 - 2k}F, Q)=C(R_{2 - 2k}F, Q)=C(\xi_{2 - 2k}F, Q)
\]
where \( L_{2 - 2k}=-2iy^2\frac{\partial}{\partial z} \) and \( R_{2 - 2k}=2i\frac{\partial}{\partial z}+(2 - 2k)y^{-1} \) are Maass lowering and raising operators.
- **Corollary 1.2**: Let \( F \) be a harmonic weak Maass form of weight \( 2 - 2k \), then the following formula holds:
\[
C\left(R^{2j - 1}_{2 - 2k}F, Q\right)=\frac{(j - 1)!(k - j)!(2k - 2)!}{(k - 1)!(2k)