Abstract:In the number theory in positive characteristic, there are analogues of some special values introduced by Carlitz, Carlitz gamma values and Carlitz zeta values for instance. Each of them is further developed to arithmetic gamma values and multiple zeta values by Goss and Thakur respectively. In this paper, by generalizing a result of Chang-Papanikolas-Thakur-Yu (2010), we obtain the algebraic independence of certain arithmetic gamma values, positive characteristic multiple zeta values of restricted indices and hyperderivatives of their deformations. We prove this by using Chang-Papanikolas-Yu's derivation, Maurichat's prolongation, Namoijam's formula and Papanikolas' theory of $t$-motivic Galois group.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the algebraic independence between specific arithmetic gamma values, positive - characteristic multiple zeta values and their hyper - derivatives of deformations. Specifically, by generalizing the results of Chang - Papanikolas - Thakur - Yu (2010), the author has studied the following points:
1. **Algebraic independence of arithmetic gamma values and multiple zeta values**: The author has proved the algebraic independence between certain arithmetic gamma values, positive - characteristic multiple zeta values (with restricted indices) and their hyper - derivatives of deformations.
2. **Introduction of new mathematical tools and techniques**: In order to prove these results, the author has used Chang - Papanikolas - Yu's derivatives, Maurischat's continuation, Namoijam's formula and Papanikolas's t - motive Galois group theory.
### Specific problem description
In the field of positive characteristics, Carlitz introduced analogues of some special values, such as Carlitz period \(\tilde{\pi}\), Carlitz gamma value \(\Gamma_C(s)\) and Carlitz zeta value \(\zeta_A(s)\), which are analogues of the classical gamma function and Riemann zeta function. Goss and Thakur respectively generalized these values to arithmetic gamma values and multiple zeta values.
Chang, Papanikolas, Thakur and Yu determined the algebraic independence between arithmetic gamma values and Carlitz zeta values in their 2010 research. This paper aims to further generalize this result, mainly focusing on two directions:
1. **Thakur's multiple zeta values**: This is a multi - index generalization of Carlitz zeta values.
2. **Hyper - derivatives of deformation series**: Consider certain deformations of Carlitz period, arithmetic gamma values and multiple zeta values and study their hyper - derivatives.
### Main conclusions
The main conclusions of the paper are Theorem 0.3 and Theorem 0.4, which are as follows respectively:
#### Theorem 0.3
For non - negative integers \(n\) and \(l\) and a finite index set \(I\) satisfying condition (1), we have:
\[
\text{tr.deg}_k k\left( \partial^{(n')}_t \Omega|_{t = \theta}, \partial^{(n')}_t \Omega^{(-l')}|_{t=\theta}, \partial^{(n')}_t \zeta^A_{AT}(s)|_{t=\theta} \mid 0\leq n' \leq n, 0\leq l' \leq l - 1, s\in I \right)
\]
is equal to:
\[
\text{tr.deg}_k k\left( \partial^{(n')}_t \Omega|_{t = \theta}, \partial^{(n')}_t \Omega^{(-l')}|_{t=\theta} \mid 0\leq n' \leq n, 0\leq l' \leq l - 1 \right)
+ \text{tr.deg}_k k\left( \partial^{(n')}_t \Omega|_{t = \theta}, \partial^{(n')}_t \zeta^A_{AT}(s)|_{t=\theta} \mid 0\leq n' \leq n, s\in I \right)
- \text{tr.deg}_k k\left( \partial^{(n')}_t \Omega|_{t = \theta} \mid 0\leq n' \leq n \right).
\]
#### Theorem 0.4
For an index \(s=(s_1,\ldots, s_r)\in \mathbb{Z}_{\geq 1}^r\) satisfying specific conditions, by...