Reconstruction of Formal Schemes from Categories of Nuclear Modules
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.10184
curl -X POST /api/v1/records/arxiv/2607.10184/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.10184/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'