{"id":"arxiv/2610.25365","url":"https://arxiv.org/abs/2610.25365","tags":["math.NT"],"score":0,"title":"Mixed Tate Chabauty--Kim beyond the polylog quotient","domain":"math.NT","source":"arxiv","authors":["David Corwin","Ishai Dan-Cohen","Martin Lüdtke"],"reviews":0,"subject":"math.NT","summary":"We develop an algorithmic approach to mixed Tate Chabauty--Kim theory for the full unipotent fundamental group of $\\mathbb{P}^1 \\smallsetminus \\{0,1,\\infty\\}$, beyond the polylogarithmic quotient used in previous work. The key step is computing the cocycle evaluation map in the presence of a nontrivial motivic Galois action, using relations among motivic multiple zeta values. This yields explicit Kim functions involving multiple polylogarithms, as well as an algorithm for solving the $S$-unit equation whose halting is implied by certain natural conjectures.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}