Abstract:Gangl, Kaneko, and Zagier gave explicit linear relations among double zeta values of odd indices coming from the period polynomials of modular forms for ${\rm SL}(2,\mathbb{Z})$. In this paper, we generalize their result to the linear relations among colored double zeta values of level $N$ coming from the modular forms for level $N$ congruence subgroups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the linear relations of double zeta values with odd indices by Gangl, Kaneko and Zagier. These relations are derived from the period polynomials of modular forms of the modular group \(SL(2, \mathbb{Z})\). Specifically, the author aims to generalize these results to the linear relations of colored double zeta values generated by modular forms of congruence subgroups of general level \(N\).
### Specific content analysis
1. **Background and motivation**:
- In previous research, Gangl, Kaneko and Zagier gave \(\mathbb{Q}\)-linear relations between double zeta values with odd indices by using the even period polynomials of modular forms of the modular group \(SL(2, \mathbb{Z})\).
- The goal of this paper is to generalize these results to more general colored multiple zeta values, especially those double zeta values from the even period polynomials of modular forms of congruence subgroups of level \(N\).
2. **Main contributions**:
- Generalize the Gangl - Kaneko - Zagier theorem so that it is applicable to colored double zeta values, and these relations are from modular forms of congruence subgroups of general level \(N\).
- Propose a new framework, namely "formal double zeta space", to describe these zeta values and the double shuffle relations they satisfy.
3. **Mathematical formula representation**:
- The double zeta value is defined as:
\[
\zeta(k_1, k_2) := \sum_{0 < m_1 < m_2} \frac{1}{m_1^{k_1}m_2^{k_2}}
\]
- The colored multiple zeta value is defined as:
\[
\zeta\left(\begin{array}{c}
k_1, \ldots, k_d \\
z_1, \ldots, z_d
\end{array}\right)=\sum_{0 < m_1 < \cdots < m_d} \frac{z_1^{m_1}\cdots z_d^{m_d}}{m_1^{k_1}\cdots m_d^{k_d}}
\]
where \(k_1, \ldots, k_d\) are positive integers, \(z_1, \ldots, z_d\) are \(N\)-th roots of unity, and \((k_d, z_d)\neq(1, 1)\).
4. **Application examples**:
- Through specific examples, it shows how to use period polynomials to construct these linear relations and verifies the validity of these relations in specific cases.
- For example, for the modular group \(\Gamma_0(p)\), where \(p\) is an odd prime, the article gives specific linear relations and verifies that the dimensions of these relations match the dimensions of the modular form space.
In conclusion, the main purpose of this paper is to generalize the existing research results on double zeta values by introducing new mathematical tools and frameworks, thereby providing theoretical support for a broader class of zeta values.