{"id":"arxiv/2601.19455","url":"https://arxiv.org/abs/2601.19455","tags":["math.QA"],"score":0,"title":"The kernel of formal polylogarithms","domain":"math.QA","source":"arxiv","authors":["Anton Alekseev","Megan Howarth","Florian Naef","Muze Ren","Pavol Ševera"],"reviews":0,"subject":"math.QA","summary":"Polylogarithmic functions (polylogs) in $n$ variables can be viewed as elements of $(U\\mathfrak{p}_{m})^*$, the dual of the universal enveloping algebra of the Lie algebra $\\mathfrak{p}_{m}$ of infinitesimal spherical pure braids with $m=n+3$ strands. Polylogs with $m=4,5$ are used in the theory relating double shuffle relations and Drinfeld associators \\cite{furusho_double_2011}. We give explicit formulas for elements of $(U\\mathfrak{p}_{m})^*$ representing polylogs, and compute the left ideal $J_{m} \\subset U\\mathfrak{p}_{m}$ given by their joint kernel. We introduce Lie subalgebras…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}