{"id":"arxiv/2606.24532","url":"https://arxiv.org/abs/2606.24532","tags":["math.NT","math.AG","math.KT"],"score":0,"title":"Elements in $K_4$ and regulator maps of Fermat curves","domain":"math.NT","source":"arxiv","authors":["François Brunault","David T. -B. G. Lilienfeldt","Yusuke Nemoto"],"reviews":0,"subject":"math.NT","summary":"We construct explicit elements in the group $K_4^{(3)}$ of the Fermat curves $x^N+y^N=1$ for all $N\\geq 3$. The construction, which is uniform in $N$, uses polylogarithmic complexes and a map of de Jeu to $K$-theory. We prove that the elements are non-trivial by showing that their images under Beilinson's regulator map are non-zero. Notably, we obtain explicit formulas for their regulator integrals involving special values of Zagier's trilogarithm function. As a corollary, we show that these regulator integrals are asymptotic to $\\frac{3}{2}ζ(3)N^2$ as $N\\to +\\infty$. Moreover, we derive…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}