Abstract:In their seminal paper "Double zeta values and modular forms" Gangl, Kaneko and Zagier defined a double Eisenstein series and used it to study the relations between double zeta values. One of their key ideas is to study the formal double space and apply the double shuffle relations. They also proved the double shuffle relations for the double Eisenstein series. More recently, Kaneko and Tasaka extended the double Eisenstein series to level 2, proved its double shuffle relations and studied the double zeta values of level 2. Motivated by the above works, we define in this paper the corresponding objects at higher levels and prove that the double Eisenstein series of level N satisfies the double shuffle relations for every positive integer N. In order to obtain our main theorem we prove a key result on the multiple divisor functions of level N and then use it to solve a complicated under-determined system of linear equations by some standard techniques from linear algebra.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the double shuffle relations of double zeta values and double Eisenstein series at any positive integer level \(N\). Specifically, the authors hope to prove that at any positive integer level \(N\), the double Eisenstein series satisfy the double shuffle relations, and solve a complex under - determined linear equations problem by studying multiple divisor functions.
### Main objectives of the paper
1. **Define corresponding objects at higher levels**: The authors define double zeta values and double Eisenstein series at a higher level \(N\).
2. **Prove double shuffle relations**: They aim to prove that for every positive integer \(N\), the double Eisenstein series at level \(N\) satisfy the double shuffle relations.
3. **Solve under - determined linear equations**: In order to obtain the main results, the authors need to prove a key result involving the \(N\)-th roots of unity and the multiple divisor functions at level \(N\), and use standard techniques in linear algebra to solve this complex under - determined linear equations problem.
### Key methods and techniques
- **Multiple divisor functions**: The authors introduce the multiple divisor functions at level \(N\) and prove a key result.
- **Fourier series expansion**: By performing Fourier series expansion on the double Eisenstein series, the authors are able to transform the problem into a more tractable form.
- **Linear algebra techniques**: Using standard techniques in linear algebra, the authors solve the complex under - determined linear equations problem.
### Main contributions
- Prove that the double Eisenstein series satisfy the double shuffle relations at any positive integer level \(N\).
- Provide a systematic method to deal with double zeta values and double Eisenstein series at higher levels.
- Generalize the previous research results at levels \(N = 1\) and \(N = 2\).
In summary, the goal of this paper is to expand the understanding of double zeta values and double Eisenstein series at any positive integer level \(N\) through rigorous mathematical derivations and innovative technical means, and prove that they satisfy important double shuffle relations.