Proof. First, note that the higher -theory of finite fields is torsion for by [Qui72, Theorem 8]. The same is true for the algebraic closure, since -theory commutes with filtered colimits. Hence, for By the RiemannβRoch theorem for rational higher Chow groups, see [Blo86, Theorem 9.1], is a direct summand of The statement follows from (3.2). β
Original source: arXiv:2109.00305v2