On a conjecture of Furusho over function fields (Q2225229): Difference between revisions

\textit{H. Furusho} [Invent. Math. 155, No. 2, 253--286 (2004; Zbl 1061.11034)] introduced the \(p\)-adical analogues of the multiple zeta values (\(MZV\)), and later he conjectured [Contemp. Math. 416, 49--82 (2006; Zbl 1156.14018); Am. Math. J. 129, 1105--1144 (2007; Zbl 1182.11031)] an explicit linear surjection from the \(\mathbb Q\)-vector space spanned by all real \(MZV\) of fixed weight to the space spanned by all \(p\)-adical \(MZV\) of the same weight. The authors establish the analogue of this conjecture in the case of function fields, using the \(\infty\)-adic \(MZV\) and \(v\)-adic \(MZV\), defined by \textit{D. S. Thakur} [Int. Math. Res. Not. 2010, No. 11, 1973--1980 (2010; Zbl 1198.11077)]. Put \(K=\mathbb F_q(X)\), let \(k_\infty\) be the completion of \(k\) with respect to the absolute value associated with the infinite place, and denote by \(\bar k\) the algebraic closure of \(k\) in the completion of the algebraic closure of \(k_\infty\). The main theorem (Theorems 1.2.2 and 6.4.1) states that if \(v\) is a finite place of \(k\), then there exists an explicitly defined surjective \(\bar k\)-linear map of the \(\bar k\)-vector space spanned by \(\infty\)-adic \(MZV\) of given weight onto the space spanned by \(v\)-adic \(MZV\) of the same weight. Let us denote these spaces by \(M_\infty\) and \(M_v\). It has been shown by \textit{D. S. Thakur} [Function field arithmetic. River Edge, NJ: World Scientific (2004; Zbl 1061.11001)] that \(M_\infty\) is a \(k\)-algebra, and the authors conjecture that \(M_v\) is also a \(k\)-algebra and the map given by the theorem is a \(k\)-algebra homomorphism.