\(K\)-theory of non-Archimedean rings. I (Q2318714)

Let \(\kappa\) be a complete discretely valued field with the ring of integers \({\kappa}_0.\) Let \(\pi\in {\kappa}_0\) be a prime. Let \(X\) be a proper smooth scheme over \({\kappa}_0.\) The description of the image of the following map: \[ K_0(X)\rightarrow {\lim}_n K_0(X_n) \] where \(X_n=X{\otimes}_{{\kappa}_0}{\kappa}_0/{({\pi}^n)}\) is an interesting mathematical problem. It is connected (in case of abelian schemes) with the Hodge conjecture for abelian varieties [\textit{S. Bloch} et al., Algebr. Geom. 1, No. 3, 290--310 (2014; Zbl 1322.14024)]. The codomain of the above map is a sort of continuous \(K\)-theory. The authors study such a continuous \(K\)-theory of affine formal schemes over \({\kappa}_0\) and of affinoid spaces over \({\kappa}.\) Then the authors construct the \textit{analytic \(K\)-theory} and relate it to the continuous \(K\)-theory. For this construction the affinoid exhaustion od the analytic line \({{({\mathbb A}^1)}}^{an}_{\kappa}={\mathrm{colim}}_n {\mathbb B}_{\kappa}(\rho)\) is used instead of the rigid analytic unit ball \({\mathbb B}_{\kappa}(1)\) to construct appropriate homotopy theory. Analytic \(K\)-theory is homotopy invariant with respect to this theory. The authors prove, under some assumptions concerning regularity, the analog of the Bass Fundamental Theorem. Some results about the algebraic \(K\)-theory of Tate rings are also obtained.