A $t$-motivic interpretation of shuffle relations for multizeta values

Wei-Cheng Huang
DOI: https://doi.org/10.48550/arXiv.1904.02248
2019-04-04
Abstract:Thakur (2010) showed that, for $r,$ $s\in \mathbb{N}$, a product of two Carlitz zeta values $\zeta_A(r)$ and $\zeta_A(s)$ can be expressed as an $\mathbb{F}_p$-linear combination of $\zeta_A(r+s)$ and double zeta values of weight $r+s$. Such an expression is called shuffle relation by Thakur. Fixing $r,$ $s\in \mathbb{N}$, we construct a $t$-module $E'$. To determine whether an $(r+s)$-tuple $\mathfrak{C}$ in $\mathbb{F}_q(\theta)^{r+s}$ gives a shuffle relation, we relate it to the $\mathbb{F}_q[t]$-torsion property of the point $\mathbf{v}_\mathfrak{C}\in E'(\mathbb{F}_q[\theta])$ constructed with respect to the given $(r+s)$-tuple $\mathfrak{C}$. We also provide an effective criterion for deciding the $\mathbb{F}_q[t]$-torsion property of the point $\mathbf{v}_\mathfrak{C}$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the understanding and interpretation of the shuffle relations of multizeta values, especially the manifestations of these relations in function fields of characteristic \(p\). Specifically, the author attempts to provide a motivic interpretation by constructing specific \(t\)-modules and Frobenius modules to determine whether a given coefficient \(n\)-tuple satisfies the shuffle relation. ### Specific Problem Description: 1. **Background Introduction**: - The paper mainly discusses the Carlitz ζ - function and its generalization - multizeta values. - Thakur proved that the product of two Carlitz ζ - values can be expressed as a linear combination, and this expression is called the shuffle relation. - Chen provided an explicit shuffle relation formula. 2. **Research Objectives**: - For given positive integers \(r, s\in\mathbb{N}\), consider their sum \(n = r + s\). - Study how to judge whether an \(n\)-tuple \(C\in k^n\) satisfies the shuffle relation by constructing a \(t\)-module \(E'\). - Provide an effective criterion for judging whether \(C\) satisfies the shuffle relation. 3. **Core Problems**: - Construct a Frobenius module \(M_C\) and study whether it is an \(F_q[t]\)-torsion point. - If \(M_C\) is an \(F_q[t]\)-torsion point, then \(C\) satisfies the shuffle relation; and vice versa. - In the case of \((q - 1)\mid n\), give the shuffle relation modulo \(\tilde{\pi}^n\). ### Main Contributions: - Provide a motivic interpretation, linking the shuffle relation to \(t\)-modules. - Give an effective algorithm for judging whether a given \(n\)-tuple satisfies the shuffle relation. - Verify the validity of theoretical results through specific calculation examples. ### Mathematical Formulas: The main formulas involved in the paper include: - **Shuffle Relation Formula**: \[ \zeta_A(r)\zeta_A(s)-\zeta_A(r, s)-\zeta_A(s, r)=b_0\zeta_A(n)+\sum_{i = 1}^{n-1}a_i\zeta_A(i, n - i) \] where \(n = r + s\), \(C=(b_0, a_1,\ldots,a_{n-1})\in k^n\). - **Anderson - Thakur Polynomial**: \[ G_n(y):=\prod_{i = 1}^n(t^{q^i}-y^{q^i}) \] - **Key Matrix \(\Phi_C\)**: \[ \Phi_C=\begin{pmatrix} (t-\theta)^n&H_1^{(-1)}(t-\theta)^n&\cdots&H_{n-1}^{(-1)}(t-\theta)^n\\ 0&(t-\theta)^n&\cdots&H_{n-2}^{(-1)}(t-\theta)^n\\ \vdots&\vdots&\ddots \end{pmatrix}