English

On relative $K$-motives, weights for them, and negative $K$-groups

Algebraic Geometry 2018-01-03 v4 K-Theory and Homology

Abstract

We study certain triangulated categories of KK-motives DK()DK(-) over a wide class of base schemes, and define certain "weights" for them. We relate the weights of particular KK-motives to (negative) homotopy invariant KK-groups (tensored by Z[S1]\mathbb{Z}[S^{-1}] for SS being the set of "non-invertible primes") K()\mathcal{K}_*(-). Our results yield a (new) result on the vanishing of Ki()\mathcal{K}_i(-) and of relative K\mathcal{K}-groups for ii being "too negative"; this statement is closely related to a question of Ch. Weibel. We also prove that Ki()\mathcal{K}_i(-) for i<0i<0 is "supported in codimension i-i". Moreover, we establish several criteria for bounding (below) the weights of f(1Y)f_*(1_Y) (1Y1_Y is the tensor unit in DK(Y)DK(Y)); this automatically implies the vanishing of the corresponding E2E_2-terms of Chow-weight spectral sequences (and of the factors of the corresponding Chow-weight filtrations) for any (co)homology of these motives. Our methods of bounding weights can be applied to various "motivic" triangulated categories; this yields some new statements on (constructible) complexes of \'etale sheaves. We also relate the weights of KK-motives with rational coefficients to that of Beilinson motives; the Chow-weight spectral sequences converging to their Ql\mathbb{Q}_l-\'etale (co)homology yield Deligne-type weights for the latter. Somewhat surprisingly, we are able to prove in certain ("extreme") cases that the corresponding weight bounds coming from \'etale (co)homology are precise. We illustrate these statements by simple examples.

Keywords

Cite

@article{arxiv.1605.08435,
  title  = {On relative $K$-motives, weights for them, and negative $K$-groups},
  author = {Mikhail V. Bondarko and Alexander Yu. Luzgarev},
  journal= {arXiv preprint arXiv:1605.08435},
  year   = {2018}
}

Comments

A few corrections made; references updated