ScalingStacks

0MXS

Proof. First, note that the higher KK-theory of finite fields Ki​(Spec⁑(𝔽q))K_{i}(\operatorname{Spec}(\mathbb{F}_{q})) is torsion for i>0i>0 by [Qui72, Theorem 8]. The same is true for the algebraic closure, since KK-theory commutes with filtered colimits. Hence, Ki​(k)β„š=0K_{i}(k)_{\mathbb{Q}}=0 for i>0.i>0. By the Riemann–Roch theorem for rational higher Chow groups, see [Blo86, Theorem 9.1], CHm⁑(k,2​mβˆ’n)β„š\operatorname{CH}^{m}(k,2m-n)_{\mathbb{Q}} is a direct summand of K2​mβˆ’n​(k)β„š.K_{2m-n}(k)_{\mathbb{Q}}. The statement follows from (3.2). ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2