Abstract:We study meromorphic modular forms associated with positive definite binary quadratic forms and their cycle integrals along closed geodesics in the modular curve. We show that suitable linear combinations of these meromorphic modular forms have rational cycle integrals. Along the way we evaluate the cycle integrals of the Siegel theta function associated with an even lattice of signature (1, 2) in terms of Hecke's indefinite theta functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the rationality problem of period integrals of a specific type of modular forms (i.e., meromorphic modular forms related to positive definite binary quadratic forms). Specifically, the paper focuses on the period integrals of these meromorphic modular forms along closed geodesics in the modular curve and proves that these period integrals are rational under certain linear combinations. In addition, the paper also evaluates the period integrals of Siegel theta functions related to a specific even lattice (signature (1,2)), and these integrals can be expressed in terms of Hecke's indefinite theta functions.
### Main contributions of the paper:
1. **Rationality of period integrals**: The paper proves that for odd \(k \geq 3\), if the Fourier coefficients \(a_g(d)\) of the weakly holomorphic modular form \(g\) are rational for \(d < 0\), then the period integrals of these meromorphic modular forms \(f_{k,d}\) are also rational.
2. **Period integrals of Siegel theta functions**: The paper conducts a detailed study on the period integrals of Siegel theta functions related to a specific even lattice (signature (1,2)) and gives specific expressions of these integrals, which involve Hecke's indefinite theta functions.
### Description of specific problems:
- **Problem 1**: For odd \(k \geq 3\), if the Fourier coefficients \(a_g(d)\) of the weakly holomorphic modular form \(g\) are rational for \(d < 0\), then are the period integrals of the linear combination \(\sum_{d<0} a_g(d) f_{k,d}\) rational?
- **Problem 2**: How to evaluate the period integrals of Siegel theta functions related to a specific even lattice (signature (1,2)) and express them in the form of Hecke's indefinite theta functions?
### Solutions:
- **Solution 1**: By using the theta - lifting technique, represent the meromorphic modular form \(f_{k,d}\) as the result of theta - lifting, and then use the theory of harmonic Maass forms to evaluate its period integrals.
- **Solution 2**: Through detailed calculations, evaluate the period integrals of Siegel theta functions and represent them in the form of Hecke's indefinite theta functions.
### Main results:
- **Theorem 1.2**: It is proved that for odd \(k \geq 3\), if the Fourier coefficients \(a_g(d)\) of the weakly holomorphic modular form \(g\) are rational for \(d < 0\), then the period integrals of the linear combination \(\sum_{d<0} a_g(d) f_{k,d}\) are rational.
- **Theorem 3.1**: Specific expressions of the period integrals of Siegel theta functions related to a specific even lattice (signature (1,2)) are given, and these expressions involve Hecke's indefinite theta functions.
### Conclusion:
Through in - depth research on the period integrals of meromorphic modular forms and their relationship with Siegel theta functions, the paper proves the rationality of these integrals under specific conditions, thus providing an important theoretical basis for further research in related fields.