ScalingStacks

Definition 9.1 . [0309]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 9.1.

A log curve over a fine saturated log scheme W†W^{\dagger} is a fine saturated log scheme C†C^{\dagger} with a morphism C†→W†C^{\dagger}\rightarrow W^{\dagger} which is flat of relative dimension one, log smooth, and with all geometric fibres reduced.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.