2025/10/28 by Hu, Xianyu, Schimpf, Maximilian
#14A21 #Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2510.23959
Many concepts in logarithmic geometry are invariant under log blowups. To formalize this invariance, we introduce the m-open, m-étale, m-smooth, m-fppf, and m-fpqc topologies for fs log schemes. These refine the standard topologies from scheme theory by treating log modifications as covers. In constructing them, we identify and correct errors in the definitions of log modifications and the full log étale topology. Our m-topologies are variants of those introduced by Niziol and Park; specifically, the m-étale topology is a subtopology of Kato's full log étale topology, characterized by a stronger lifting property than for log étale maps. This strengthening ensures the functoriality of the corresponding small site. We also characterize the sheaves for all these sites and connect the m-open site to Kato's valuative space.