English

Representability of continuous K-theory in rigid analytic motivic $\mathbb{A}^1$-homotopy theory

K-Theory and Homology 2026-08-06 v1 Algebraic Geometry

Abstract

We prove that both continuous K-theory and analytic K-theory of rigid analytic spaces (\`a la Kerz--Saito--Tamme) satisfiy descent with respect to the Nisnevich topology. Together with the fact that it is A1\mathbb{A}^1-invariant assuming resolutions of singularities, we deduce that it is representable in the A1\mathbb{A}^{1}-homotopy category of rigid spaces (\`a la Dahlhausen--Yaylali). We identifiy the representing object with both Z×BGL\mathbb{Z}\times\mathrm{BGL} and the analytification of algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra. Moreover, we show Weibel vanishing and that continuous K-theory is A1\mathbb{A}^1-invariant on local Tate pairs (without any regularity assumption).

Keywords

Cite

@article{arxiv.2608.06209,
  title  = {Representability of continuous K-theory in rigid analytic motivic $\mathbb{A}^1$-homotopy theory},
  author = {Christian Dahlhausen and Can Yaylali and Yicheng Zhou},
  journal= {arXiv preprint arXiv:2608.06209},
  year   = {2026}
}

Comments

52 pages. Split-off from arXiv:2407.09606v2 with new coauthor, corrected proofs, and new results. Comments very welcome!