A $v$-adic variant of Anderson-Brownawell-Papanikolas linear independence criterion and its application

Yen-Tsung Chen

2023-08-11

Abstract:Let $\overline{k}$ be a fixed algebraic closure of $k$. When the finite place $v$ is of degree one, we show that all $\overline{k}$-linear relations among $v$-adic Carlitz multiple polylogarithms at algebraic points arise from $k$-linear relations among these values of the same weight. As an application, we establish a function field analogue of Furusho-Yamashita's conjecture for $v$-adic multiple zeta values whenever the degree of the place $v$ is one.

Number Theory

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

This paper aims to establish a linear independence criterion for Carlitz multiple polylogarithms (CMPLs) and v - adic multiple zeta values (v - adic MZVs) and its applications. Specifically, the author attempts to solve the following two main problems:

1. **v - adic linear independence criterion**:
- For a finite place \(v\) of the rational function field \(k\) over a finite field, the author hopes to establish a v - adic version similar to the Anderson - Brownawell - Papanikolas (ABP) linear independence criterion.
- When the degree of the finite place \(v\) is 1, prove that all \(k\)-linear relations between v - adic Carlitz multiple polylogarithms at algebraic points come from \(k\)-linear relations between these values of the same weight.

2. **Function field analogue of the Furusho - Yamashita conjecture**:
- As an application of the above linear independence criterion, the author attempts to establish the Furusho - Yamashita conjecture of the function field analogue of v - adic multiple zeta values when the degree of the finite place \(v\) is 1.

### Main contributions of the paper

- **v - adic linear independence criterion**: The author successfully established the linear independence criterion for v - adic CMPLs and proved its important properties in the function field.
- **Application to v - adic MZVs**: Through this criterion, the author further verified the linear independence of v - adic MZVs in the function field and proved the correctness of the Furusho - Yamashita conjecture under specific conditions.

### Formula representation

To ensure the accuracy and readability of the formulas, the following are some key formulas involved in the paper:

1. **v - adic Anderson - Thakur series**:
\[
\Omega_\alpha(t) := \prod_{i \geq 1} (1 - \alpha^{q^i}t) \in C_v[[t]]
\]

2. **v - adic CMPLs definition**:
\[
L_s(z_1,\ldots,z_r)_v := \sum_{i_1 > \cdots > i_r \geq 0} \frac{z_1^{q^{i_1}} \cdots z_r^{q^{i_r}}}{L_{s_1}^{i_1} \cdots L_{s_r}^{i_r}}
\]
where \(L_i := (\theta - \theta^q)\cdots(\theta - \theta^{q^i})\).

3. **v - adic MZVs definition**:
\[
\zeta_A(s)_v := \sum_{a_1 > \cdots > a_r > 0} \frac{1}{a_1^{s_1} \cdots a_r^{s_r}}
\]

### Summary

This paper, through the study of v - adic CMPLs and v - adic MZVs, established an important linear independence criterion and successfully applied it to the Furusho - Yamashita conjecture in the function field. This not only deepens our understanding of these mathematical objects but also provides new tools and methods for future research.