Abstract:We define L-functions for the class of real-analytic modular forms recently introduced by F. Brown. We establish their main properties and construct the analogue of period polynomial in cases of special interest, including those of modular iterated integrals.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define appropriate period functions for real - analytic modular forms and study the properties of these functions and their relationship with L - functions. Specifically, the author focuses on how to generalize the concept of period polynomials to a special subclass in real - analytic modular forms - modular iterated integrals.
### Main problems and background
1. **Generalization of period polynomials**:
- Period polynomials are fundamental objects related to cusp forms and can characterize the "critical values" of their L - functions. However, for Maass cusp forms, it is more difficult to construct similar period functions.
- This paper aims to define period functions for a special subclass in real - analytic modular forms - modular iterated integrals, and explore the properties of these functions.
2. **Study of L - functions**:
- The author also studies the L - functions of real - analytic modular forms, especially their performance under different weights.
- The paper proposes a method based on Mellin transform to define these L - functions and proves some important properties of these L - functions, such as symmetry and convergence.
3. **Application of Eichler cohomology theory**:
- By introducing Eichler cohomology theory, the author links period functions with cohomology groups, further verifying the rationality of the defined period functions.
### Formula summary
- **Definition of period function**:
\[
P(\zeta)=\sum_{k = 0}^{\min(r,s)}\left(v_k\left(-\frac{1}{\zeta}\right)\zeta^{r + s-2k}-v_k(\zeta)\right)
\]
where \(v_k(\zeta)=\int_{i\infty}^{\zeta}\omega_k(\tilde{F}_k;\zeta)+\int_{-i\infty}^{\zeta}\omega_k(\check{F}_k;\zeta)\)
- **Definition of L - function**:
\[
L_f^*(w):=\left(\int_1^{\infty}\tilde{f}(it)t^{w - 1}dt+\int_{-\infty}^1\check{f}(it)t^{w - 1}dt\right)+i^{r - s}\left(\int_1^{\infty}\tilde{f}(it)t^{r + s-w-1}dt+\int_{-\infty}^1\check{f}(it)t^{r + s - w-1}dt\right)
\]
### Conclusion
Through the above research, the author successfully defines period functions for modular iterated integrals in real - analytic modular forms and proves that these functions have consistent properties with traditional period polynomials. In addition, the author also explores the relationship between these period functions and L - functions, providing new tools and methods for further studying the arithmetic properties of real - analytic modular forms.