Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes
Abstract
Let $S$ be a locally Noetherian normal scheme and $\blacklozenge/S$ a set of properties of $S$-schemes. Then we shall write Sch$_{\blacklozenge/S}$ for the full subcategory of the category of $S$-schemes Sch$_{/S}$ determined by the objects $X\in {\rm Sch}_{\blacklozenge/S}$ that satisfy every property of $\blacklozenge/S$. In the present paper, we shall mainly be concerned with the properties "reduced", "quasi-compact over $S$", "quasi-separated over $S$", and "separated over $S$". We give a functorial category-theoretic algorithm for reconstructing $S$ from the intrinsic structure of the abstract category Sch$_{\blacklozenge/S}$. This result is analogous to a result of Mochizuki \cite{Mzk04} and may be regarded as a partial generalization of a result of de Bruyn \cite{deBr19} in the case where $S$ is a locally Noetherian normal scheme.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.04447
- arXiv:
- arXiv:2203.04447
- Bibcode:
- 2022arXiv220304447Y
- Keywords:
-
- Mathematics - Algebraic Geometry;
- 14A15 (primary) 14A25 (secondary)
- E-Print:
- 64 pages. to appear in Kodai Math. J