Abstract:Let \(k\) be a perfect field of exponential characteristic \(p\), and let \(R\) be a commutative \(\Z[1/p]\)-algebra. We prove that the first derived unramified functor \[
F\longmapsto R^1_{\mathrm{nr},R}F \] from homotopy invariant Nisnevich sheaves with transfers of \(R\)-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 $R^2_{\mathrm{nr},R}$ in categorical terms, which includes the familiar Griffiths group obstruction. As applications of the motivic nature of the functors \(R^q_{\mathrm{nr}}\), we prove torsion-order bounds and a correspondence-detection statement for surfaces.
From: David Kumallagov [view email]
[v1]
Sat, 13 Jun 2026 19:51:52 UTC (12 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。