An explicit basis for the rational higher Chow groups of abelian number fields (Q1746037)

The paper under review provides a tour de force cycle-theoretic description of an explicit basis for the motivic cohomology of a point over a cyclotomic field (and by extension, of an abelian number field), paralleling \textit{A. A. Beilinson}'s construction of such a basis (section 7 of his seminal work on higher regulators [J. Sov. Math. 30, 2036--2070 (1985; Zbl 0588.14013); translation from Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat. 24, 181--238 (1984)], albeit in terms of \(K\)-theory). Beilinson's (and that of the authors) relies on a theorem of Borel, together with the coincidence of the Borel and Beilinson regulators (up to a factor of \(1/2\)), proven in detail by \textit{J. I. Burgos Gil} [The regulators of Beilinson and Borel. Providence, RI: American Mathematical Society (AMS) (2002; Zbl 0994.19003)], and which was modelled after Beilinson's original sketch of his `proof'. The `calculus' of expressing the Beilinson regulator in terms of polylogarithmic currents, was established by Kerr, Lewis and Mueller-Stach [\textit{M. Kerr} et al., Compos. Math. 142, No. 2, 374--396 (2006; Zbl 1123.14006)], but there is a caveat in order here. The latter (viz., an integral version of the Beilinson regulator) requires higher Chow cycles that are admissible in the sense of meeting the real negative cube and its faces properly. This required a moving lemma which was only proven over \(\mathbb{Q}\) [\textit{M. Kerr} and the reviewer, Invent. Math. 170, No. 2, 355--420 (2007; Zbl 1139.14010)]; but an integral moving lemma is now established.