2025/02/06 by Efimov, Alexander I. · 4 citations
#19D55 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #K-Theory and Homology (math.KT) #Number Theory (math.NT)
paper · doi:10.48550/arxiv.2502.04123
In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \citeCS20. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the K-theory (in the sense of \citeE24) of the category of nuclear modules on Spf(R\wedgeI) is isomorphic to the classical continuous K-theory, which in the noetherian case is given by the limit \varprojlimn K(R/In). This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \citeCS20 and a different version, which contains the original one as a full subcategory. For our category Nuc(R\wedgeI) we give three equivalent definitions. The first definition is by taking the internal Hom in the category CatRdual of R-linear dualizable categories. The second definition is by taking the rigidification of the usual I-complete derived category of R. The third definition is by taking an inverse limit in CatRdual. For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same K-theory, and in fact the same finitary localizing invariants.