Abstract:It is well known that sometimes Euler sums (i.e., alternating multiple zeta values) can be expressed as $\Q$-linear combinations of multiple zeta values (MZVs). In her thesis Glanois presented a criterion for motivic Euler sums to be unramified, namely, expressible as $\Q$-linear combinations of motivic MZVs. By applying this criterion we present a few families of such unramified motivic Euler sums in two groups. In one such group we can further prove the concrete identities relating the motivic Euler sums to the motivic MZVs, determined up to rational multiple of a motivic Riemann zeta value by a result of Brown, under the assumption that the analytic version of such identities hold.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the research on certain unramified motivic Euler sums. Specifically, the authors focus on how to express these special Euler sums as rational - linear - combination multiple zeta values (MZVs), and explore the properties of these expressions and their manifestations in different groups.
### Detailed Explanation
1. **Background and Motivation**
- The paper first reviews the importance of multiple zeta values (MZVs) and their wide applications in the fields of mathematics and theoretical physics.
- Euler sums are a special type of multiple zeta values, and they can sometimes be expressed as rational - linear - combination MZVs.
- Glanois proposed a criterion in his doctoral thesis to determine whether a motivic Euler sum is unramified, that is, whether it can be expressed as a rational - linear - combination of motivic MZVs.
2. **Main Problem**
- The authors apply Glanois' criterion, find several types of unramified motivic Euler sums, and further prove some specific identities among them.
- Specifically, the authors study the unramified motivic Euler sums in two types of groups:
- The first type of group includes Euler sums of the form \(\zeta_m({\bar{2},3}^\ell)\) and \(\zeta_m({3,\bar{2}}^\ell)\).
- The second type of group includes Euler sums of the form \(\zeta_m({\bar{2},1}^\ell)\) and \(\zeta_m({1,\bar{2}}^\ell)\).
3. **Main Results**
- Through strict mathematical derivations, the authors prove that the Euler sums in the above two types of groups are indeed unramified.
- Further, they propose several conjectures involving more complex Euler sum expressions and verify their correctness in some special cases.
4. **Methods and Techniques**
- The paper uses the concept of motivic integrals and combines techniques such as path reversal and homomorphic transformation to handle these complex sums.
- The authors also utilize the concept of coaction to ensure that the proposed identities still hold after applying the coaction.
### Summary
The main contribution of this paper lies in the systematic study of certain specific forms of motivic Euler sums and proving that they can be expressed as rational - linear - combination motivic MZVs. This not only expands our understanding of multiple zeta values but also provides new tools and ideas for future research.