Let be a perfect field of exponential characteristic , and let be a commutative -algebra. We prove that the first derived unramified functor from homotopy invariant Nisnevich sheaves with transfers of -modules to birational sheaves commutes with arbitrary small direct sums. This gives a positive answer, after inverting the exponential characteristic, to a question of Kahn and Sujatha; on smooth projective varieties no inversion is needed. We also describe an obstruction to this for the functor in categorical terms, which includes the familiar Griffiths group obstruction. As applications of the motivic nature of the functors , we prove torsion-order bounds and a correspondence-detection statement for surfaces.

生成讲解博客的中文版本

生成AI智能校验的中文版本