Abstract:We prove that the weight 6, depth 3, multiple polylogarithm $ \mathrm{Li}_{4,1,1}((xyz)^{-1}, x, y) $, or rather its more natural `divergent' incarnation $ \mathrm{Li}_{3;1,1,1}(x,y,z) $, satisfies the 6-fold anharmonic symmetries of the dilogarithm $ \mathrm{Li}_2 $, $ \lambda \mapsto 1-\lambda $ and $ \lambda \mapsto \lambda^{-1} $, in each of $x$, $y$ and $z$ independently, modulo terms of depth $ \leq2 $. This establishes the `higher Zagier' part of the weight 6, depth 3, reduction conjectured by Matveiakin and Rudenko. Together with their proof of the `higher Gangl' part of the weight 6, depth 3, reduction (which is formulated modulo the `higher Zagier' part), we establish Goncharov's Depth Conjecture in the case of weight 6, depth 3.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper is mainly devoted to proving and explaining the properties of specific multiple polylogarithms with weight 6 and depth 3, especially regarding the six - fold anharmonic symmetry of these functions. Specifically, the goals of the paper include:
1. **Verify the six - fold anharmonic symmetry**:
- The author proves that the multiple polylogarithm \( \text{Li}_{3,1,1}(x, y, z) \) satisfies the six - fold anharmonic symmetry, that is, for each variable \( x \), \( y \), and \( z \), the function respectively satisfies the following relations (modulo terms with depth ≤ 2):
\[
\text{Li}_{3;1,1,1}(x, y, z) \equiv -\text{Li}_{3;1,1,1}(1 - x, y, z) \pmod{\text{dp} 2}
\]
\[
\text{Li}_{3;1,1,1}(x, y, z) \equiv -\text{Li}_{3;1,1,1}(x^{-1}, y, z) \pmod{\text{dp} 2}
\]
2. **Establish the Goncharov depth conjecture**:
- Combining the previous work of Matveiakin and Rudenko, this paper further verifies the correctness of the Goncharov depth conjecture in the case of weight 6 and depth 3. The Goncharov depth conjecture states that a linear combination of a set of multiple polylogarithms has depth ≤ \( k \) if and only if its \( k \) - th iterated truncated coproduct \( \Delta^{[k]} \) is zero.
3. **Derive the Nielsen formula and the Zagier formula**:
- The paper also derives the specific forms of the Nielsen formula and the Zagier formula in the case of weight 6. These formulas describe the simplified expressions of specific multiple polylogarithms at certain special values.
Through these results, the author not only verifies the symmetry and simplified forms of multiple polylogarithms under specific conditions, but also provides a theoretical basis for further research on high - weight multiple polylogarithms.
### Main conclusions
- **Theorem 1.2**: Proves that \( \text{Li}_{3;1,1,1}(x, y, z) \) independently satisfies the six - fold anharmonic symmetry in each variable.
- **Theorem 1.3**: Proves that when any one variable takes the value of 1, \( \text{Li}_{3;1,1,1}(x, y, z) \) can be expressed as a function with depth ≤ 2.
- **Corollary 1.4**: Verifies the correctness of the Goncharov depth conjecture in the case of weight 6 and depth 3, that is, a linear combination of multiple polylogarithms with weight 6 has depth ≤ 2 if and only if its second iterated truncated coproduct \( \Delta^{[2]} \) is zero.
These conclusions provide important theoretical support for understanding the structure of multiple polylogarithms and their behavior at different weights and depths.