Taylor coefficients of Anderson-Thakur series and explicit formulae (Q2664158)

In function field arithmetic, \textit{D. S. Thakur} defined positive characteristic multiple zeta values (MZV) in [Function field arithmetic. River Edge, NJ: World Scientific (2004; Zbl 1061.11001)] as analogs of the classical multiple zeta values over the complex numbers. For studying transcendence questions for such kind of values, an often successful strategy is to first relate the values to periods (period vectors) of Anderson t-modules or to logarithms (logarithmic vectors) of algebraic points of Anderson t-modules. For those, one has several tools for examining transcendence at hand like the ABP-criterion (see [\textit{G. W. Anderson} et al., Ann. Math. (2) 160, No. 1, 237--313 (2004; Zbl 1064.11055)]) or Yu's sub-t-module theorem [\textit{J. Yu}, Ann. Math. (2) 145(2), 215--233 (1997: Zbl 0881.11055)]. For a given MZV, \textit{Y. Mishiba, C.Y. Chang} in [Invent. Math. 223, No. 1, 49--102 (2021: Zbl 1462.11107)] constructed a t-module together with an algebraic point such that certain coordinates of the logarithm of the point are so called Carlitz multiple polylogarithms (defined by \textit{C.Y. Chang} in [Compos. Math. 150, No. 11, 1789--1808 (2014: Zbl 1306.11058)] ) whereof the MZV is a rational linear combination. Thus they fulfill the first step mentioned above. The main theorem in the paper under review is a description of the other components of this logarithmic vector. Using deformations of the Carlitz multiple polylogarithms (CMPL) -- so called t-motivic Carlitz multiple polylogarithms, the other components turn out to be certain Taylor coefficients of these t-motivic CMPL's (see Theorem 3.3.5 in the paper). An investigation of the algebraic relations respectively the transcendence of the components of the logarithmic vector is postponed to future research.