The Stacks project

Lemma 107.23.4. Let $f : X \to S$ be a prestable family of curves of genus $g \geq 1$. There is a factorization $X \to Y \to S$ of $f$ where $g : Y \to S$ is a stable family of curves and $c : X \to Y$ has the following properties

  1. $\mathcal{O}_ Y = c_*\mathcal{O}_ X$ and $R^1c_*\mathcal{O}_ X = 0$ and this remains true after base change by any morphism $S' \to S$, and

  2. for any $s \in S$ the morphism $c_ s : X_ s \to Y_ s$ is the contraction of rational tails and bridges discussed in Algebraic Curves, Section 53.24.

Moreover $c : X \to Y$ is unique up to unique isomorphism.

Proof. Let $s \in S$. Let $c_0 : X_ s \to Y_0$ be the contraction of Algebraic Curves, Section 53.24 (more precisely Algebraic Curves, Lemma 53.24.2). By Lemma 107.23.3 there exists an elementary étale neighbourhood $(U, u)$ and a morphism $c : X_ U \to Y$ of families of curves over $U$ which recovers $c_0$ as the fibre at $u$. Since $\omega _{Y_0}$ is ample, after possibly shrinking $U$, we see that $Y \to U$ is a stable family of genus $g$ by the openness inherent in Lemmas 107.22.3 and 107.22.5. After possibly shrinking $U$ once more, assertion (1) of the lemma for $c : X_ U \to Y$ follows from Lemma 107.23.1. Moreover, part (2) holds by the uniqueness in Algebraic Curves, Lemma 53.24.2. We conclude that a morphism $c$ as in the lemma exists étale locally on $S$. More precisely, there exists an étale covering $\{ U_ i \to S\} $ and morphisms $c_ i : X_{U_ i} \to Y_ i$ over $U_ i$ where $Y_ i \to U_ i$ is a stable family of curves having properties (1) and (2) stated in the lemma.

To finish the proof it suffices to prove uniqueness of $c : X \to Y$ (up to unique isomorphism). Namely, once this is done, then we obtain isomorphisms

\[ \varphi _{ij} : Y_ i \times _{U_ i} (U_ i \times _ S U_ j) \longrightarrow Y_ i \times _{U_ j} (U_ i \times _ S U_ j) \]

satisfying the cocycle condition (by uniqueness) over $U_ i \times U_ j \times U_ k$. Since $\overline{\mathcal{M}_ g}$ is an algebraic stack, we have effectiveness of descent data and we obtain $Y \to S$. The morphisms $c_ i$ descend to a morphism $c : X \to Y$ over $S$. Finally, properties (1) and (2) for $c$ are immediate from properties (1) and (2) for $c_ i$.

Finally, if $c_1 : X \to Y_ i$, $i = 1, 2$ are two morphisms towards stably families of curves over $S$ satisfying (1) and (2), then we obtain a morphism $Y_1 \to Y_2$ compatible with $c_1$ and $c_2$ at least locally on $S$ by Lemma 107.23.3. We omit the verification that these morphisms are unique (hint: this follows from the fact that the scheme theoretic image of $c_1$ is $Y_1$). Hence these locally given morphisms glue and the proof is complete. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0E8A. Beware of the difference between the letter 'O' and the digit '0'.