Abstract:We study algebraic independence problem for the Taylor coefficients of the Anderson-Thakur series arisen as deformation series of positive characteristic multiple zeta values (abbreviated as MZV's). These Taylor coefficients are simply specialization of hyperderivatives of the Anderson-Thakur series. We consider the prolongation of t-motives associated with MZV's, and then determine the dimension of the t-motivic Galois groups in question under certain hypothesis. By using Papanikolas' theory, it enables us to obtain the desired algebraic independence result.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of algebraic independence of Taylor coefficients of the Anderson - Thakur series. Specifically, the author studied the algebraic independence of these Taylor coefficients in positive characteristic. The following is a detailed interpretation:
### Research Background and Motivation
1. **Motivation**:
- The author first defined Thakur's multiple zeta values (MZV), which are analogues in the positive characteristic function field of multiple zeta values on the real number field.
- Thakur's multiple zeta values have properties similar to those of multiple zeta values of characteristic 0, for example, they form an \( F_q(\theta) \)-algebra and can be calculated by the q - shuffle product formula.
- However, there are still many unsolved problems in the study of the transcendence and algebraic independence of these multiple zeta values.
2. **Anderson - Thakur Series**:
- Anderson and Thakur constructed a power series \(\zeta_{AT}^A(s)\), which is a power series in the variable \( t \), and the coefficients are algebraic elements over \( F_q((1/\theta)) \).
- The constant term of the Taylor expansion of this series at \( t=\theta \) gives Thakur's multiple zeta values (under an explicit scalar multiple of \( F_q(\theta) \)).
- These Taylor coefficients have important mathematical significance, for example, Chang, Green and Mishiba proved that these coefficients can be expressed in logarithmic form.
### Main Research Problem
The author's main problem is to explore whether the high - order Taylor coefficients of the Anderson - Thakur series are algebraically independent over \( F_q(\theta) \). Specifically, the paper attempts to answer the following questions:
- Given an exponent \( s=(s_1,\ldots,s_r) \), consider the Taylor expansion of the Anderson - Thakur series \(\zeta_{AT}^A(s)\):
\[
\zeta_{AT}^A(s)=\sum_{n = 0}^{\infty}\alpha_{s,n}(t - \theta)^n
\]
- Are these Taylor coefficients \(\{\alpha_{s,n}\}\) algebraically independent over \( F_q(\theta) \)?
### Main Results
The main result of the paper (Theorem 5.18) shows that under certain assumptions, these Taylor coefficients are indeed algebraically independent. Specifically, for any integer \( n\geq0 \) and exponents \( s \) satisfying specific conditions, the transcendence degree of the \( F_q(\theta) \) extension generated by these Taylor coefficients is \((n + 1)(2^r)\).
### Methods and Tools
To prove this result, the author used Papanikolas theory, especially the research on t - motive Galois groups. By constructing appropriate t - motives and determining their Galois groups, the author was able to prove the algebraic independence of these Taylor coefficients.
### Conclusion
This paper solves the problem of algebraic independence of Taylor coefficients of the Anderson - Thakur series, providing new perspectives and tools for further research on multiple zeta values in positive characteristic function fields.