ScalingStacks

Proof. [01DU]

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

Proof.

Let CC be KK-proper curve in ๐’ณK\mathcal{X}_{K} and let ๐’ž\mathcal{C} be its closure in ๐’ณ\mathcal{X}. Since ๐’ž\mathcal{C} is flat over SS, the degree of โ„’|๐’ž\mathcal{L}|_{\mathcal{C}} on the generic fiber and on the special fiber concide, which reads โ„’โ‹…C=โ„’โ‹…๐’ž0\mathcal{L}\cdot C=\mathcal{L}\cdot\mathcal{C}_{0}. Now ๐’ž0\mathcal{C}_{0} is an effective linear combination of vertical curves, and the result follows. โˆŽ

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