Premium
On Smooth, Unramified, Étale and Flat Morphisms of Fine Logarithmic Schemes
Author(s) -
Bauer Werner
Publication year - 1995
Publication title -
mathematische nachrichten
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.913
H-Index - 50
eISSN - 1522-2616
pISSN - 0025-584X
DOI - 10.1002/mana.19951760102
Subject(s) - mathematics , morphism , flatness (cosmology) , logarithm , pure mathematics , context (archaeology) , smoothness , discrete mathematics , mathematical analysis , paleontology , physics , cosmology , quantum mechanics , biology
Abstract The notion of unramified morphisms of schemes is generalized in a natural way to the category of fine logarithmic schemes. There are given several equivalent conditions for a morphism of fine log schemes to be unramified: vanishing of the differential module, all fibres to be unramified and a local structure theorem using charts of the log structures. In the main part of the paper there are shown some criterions for a morphism of fine log schemes to be smooth, fiat or étale in the sense of K. Kato. Let f : X → Y be a map of fine log schemes. Then f is smooth if and only if locally it can be factorized over an étale map into the standard log affine space over Y . The map f is étale if and only if it is flat and unramified. Further there are generalizations of the usual fibre criterions for flatness or smoothness of morphisms of schemes to the context of log schemes: Let f: X → Y be an S‐morphism of fine log schemes. Assume that X/S is flat and that the underlying maps of schemes are locally of finite presentation. Then f is flat if and only if the induced maps on the fibres f s : X s → Y s , s → S , are flat. Finally f is smooth if and only if it is flat and the induced maps on the fibres f −1 ( y ) → y,y → Y , are smooth.