Category-Theoretic Reconstruction of Log Schemes from Categories of Reduced fs Log Schemes

J. Math. Sci. Univ. Tokyo
Vol. 31 (2024), No. 2, Page 181–229.

Yuji, Tomoki
Category-Theoretic Reconstruction of Log Schemes from Categories of Reduced fs Log Schemes
[Full Article (PDF)] [MathSciNet Review (HTML)] [MathSciNet Review (PDF)]


Abstract:
Let $S^{\log}$ be a locally Noetherian fs log scheme and $\blacklozenge/S^{\log}$ a set of properties of fs log schemes over $S^{\log}$. In the present paper, we shall mainly be concerned with the properties "reduced", "quasi-compact over $S^{\log}$", "quasi-separated over $S^{\log}$", "separated over $S^{\log}$", and "of finite type over $S^{\log}$". We shall write $\mathsf{Sch}^{\log}_{\blacklozenge/S^{\log}}$ for the full subcategory of the category of fs log schemes over $S^{\log}$ determined by the fs log schemes over $S^{\log}$ that satisfy every property contained in $\blacklozenge/S^{\log}$. In the present paper, we discuss a purely category-theoretic reconstruction of the log scheme $S^{\log}$ from the intrinsic structure of the abstract category $\mathsf{Sch}^{\log}_{\blacklozenge/S^{\log}}$.

Keywords: logarithmic geometry, category-theoretic reconstruction, and group log scheme.

Mathematics Subject Classification (2020): Primary 14A21; Secondary 14A25, 14L99.
Received: 2023-11-08