{"id":"arxiv/2607.10184","url":"https://arxiv.org/abs/2607.10184","tags":["math.AG","math.CT"],"score":0,"title":"Reconstruction of Formal Schemes from Categories of Nuclear Modules","domain":"math.AG","source":"arxiv","authors":["Hisato Matsukawa"],"reviews":0,"subject":"math.AG","summary":"We provide a partially functorial and constructive reconstruction procedure for formal schemes from symmetric monoidal categories of nuclear modules. More precisely, for a formal scheme $\\mathfrak{X}$, we show that the torsion subcategory $D_{\\mathrm{tors}}(\\mathfrak{X})$ can be recovered as the maximal strongly compactly generated localizing tensor ideal of Efimov's category $\\mathrm{Nuc}^{\\mathrm{Ef}}(\\mathfrak{X})$, and similarly for the Clausen--Scholze category $\\mathrm{Nuc}^{\\mathrm{CS}}(\\mathfrak{X})$. Combining this with the Balmer spectrum, we reconstruct $\\mathfrak{X}$ from the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-11","reactions":{}}