On Zagier-Hoffman's conjectures in positive characteristic (Q2170809)

One main goal of having introduced the multiple zeta values (MZV's) is to understand all \(\mathbb{Q}\)-linear relations among MZV's. More precisely, let \(\mathcal{Z}_k\) be the \(\mathbb{Q}\)-vector space spanned by MZV's of weight \(k\). A conjecture of D. Zagier asserts that \(\dim_{\mathbb{Q}}\mathcal{Z}_k =d_k\), where \(d_k\) is a Fibonacci-like sequence of integers. Then, M.E. Hoffman went further and suggested a refinement of Zagier's conjecture: The \(\mathbb{Q}\)-vector space \(\mathcal{Z}_k\) is generated by the basis consisting of MZV's of weight \(k\) of the form \(\zeta(n_1,\ldots , n_r)\) with \(n_i \in \lbrace 2, 3 \rbrace\). In the last two decades, these conjectures were proved by \textit{F. Brown} [Ann. Math. (2) 175, No. 2, 949--976 (2012; Zbl 1278.19008)], \textit{P. Deligne} and \textit{A. B. Goncharov} [Ann. Sci. Éc. Norm. Supér. (4) 38, No. 1, 1--56 (2005; Zbl 1084.14024)] and \textit{T. Terasoma} [Invent. Math. 149, No. 2, 339--369 (2002; Zbl 1042.11043)]. In the paper under review, the author states the above conjectures in the function field setting and provides explicit proofs in positive characteristic which lead to an explicit algorithm to express every MZV of weight \(\omega\) as \(K=\mathbb{F}_q(\theta)\)-linear combination of MZV's in the basis \(\mathcal{T}_\omega\) of \(\mathcal{Z}_\omega\).