ScalingStacks

Definition 9.2 . [030A]

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.2.

Let X†→S†X^{\dagger}\rightarrow S^{\dagger} be a morphism of fine saturated log schemes. A log curve in X†X^{\dagger} with base W†W^{\dagger} is a log curve C†/W†C^{\dagger}/W^{\dagger} together with a morphism f:C†→X†f:C^{\dagger}\rightarrow X^{\dagger} fitting into a commutative diagram of log schemes

C†\textstyle{C^{\dagger}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}f\scriptstyle{f}X†\textstyle{X^{\dagger}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}W†\textstyle{W^{\dagger}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}S†\textstyle{S^{\dagger}}

A log curve in X†X^{\dagger} is a stable log map if for every geometric point w¯→W\bar{w}\rightarrow W, the restriction of ff to the underlying marked curve Cw¯→w¯C_{\bar{w}}\rightarrow\bar{w} is an ordinary stable map. We write the data as (C†/W†,f)(C^{\dagger}/W^{\dagger},f).

This definition can be further decorated in the usual way by labelling marked points.

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