Abstract:Borisov and Gunnells have proved that certain linear combinations of products of Eisenstein series are Eisenstein series themselves, in analogy with the Manin 3-term relations for modular symbols. We devise a new method to determine and prove such relations, by differentiating with respect to the parameters of the Eisenstein series.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the linear combination relations of Eisenstein series. Specifically, the author aims to prove that the product of certain Eisenstein series is still an Eisenstein series, similar to the case of Manin's triple relation for modular symbols.
### Main Problem Description
The core problem of the paper is to study whether the product of Eisenstein series can be represented as Eisenstein series itself and to find the specific forms of these relations. Borisov and Gunnells have already proven that in some cases, the linear combination of Eisenstein series is indeed an Eisenstein series (reference [3]). This paper determines and proves these relations by introducing a new method - differentiating the parameters of Eisenstein series.
### Specific Objectives
1. **Prove Linear Dependence Relations**: For any weight \(k \geq 2\), integers \(r, s \geq 0\) satisfying \(r + s=k - 2\), and \(a, b, c\in (\mathbb{Z}/N\mathbb{Z})^2\) satisfying \(a + b + c = 0\) and \(a, b, c\neq 0\), prove the following linear dependence relation:
\[
X^r Y^s[a,b] + (-X - Y)^r X^s[b,c] + Y^r (-X - Y)^s[c,a]=\frac{(-1)^{s + 1}}{s+1}E(k;N)_a+\frac{(-1)^{r+1}}{r+1}E(k;N)_b+\frac{(-1)^{r + s+1}r!s!}{(r + s+1)!}E(k;N)_c
\]
2. **Generalize to Broader Eisenstein Series**: Generalize the above results to Eisenstein series \(E(k)_x\) with continuous parameters and prove more general theorems.
### Method Overview
- **Differentiation Method**: By differentiating the parameters of Eisenstein series, the author found the specific forms of these relations.
- **Induction Method**: Prove that these relations hold for different weights by induction.
- **Fourier Expansion Analysis**: Analyze the behavior of Eisenstein series at specific points by using the Fourier expansion properties of Eisenstein series.
### Applications and Significance
These relations are not only of great theoretical significance but also provide a method for calculating the Fourier expansion of modular forms algorithmically, especially at the cusps (references [5, 6]). In addition, these relations are helpful for understanding the regulator calculation of the K4 - group of modular curves (reference [4]).
### Summary
The main contribution of this paper is to provide a new method to determine and prove the linear combination relations of Eisenstein series and generalize them to broader situations, thus deepening our understanding of modular forms.