ScalingStacks

4.2.4 Curves [03U7]

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

4.2.4 Curves

Let X/KX/K be a connected smooth projective curve of genus g>1g>1. After passing to a finite extension Kโ€ฒK^{\prime} of KK we may assume that XX has a canonical model ๐’ณ{\cal X} with stable reduction. The graph ฮ“โ€ฒ\Gamma^{\prime} corresponding to the special fiber ๐’ณ0{\cal X}_{0} is a retraction of (XโŠ—KKโ€ฒ)aโ€‹n(X\otimes_{K}K^{\prime})^{an}. The quotient graph ฮ“=ฮ“โ€ฒ/Gโ€‹aโ€‹lโ€‹(Kโ€ฒ/K)\Gamma=\Gamma^{\prime}/Gal(K^{\prime}/K) is a retraction of the analytic curve Xaโ€‹nX^{an} (see [Be1]). We define B:=ฮ“B:=\Gamma. Then Bsโ€‹mB^{sm} is a complement to a finite set. As in Section 3.2.2, a ๐™{\bf Z}-affine structure on a graph is the same as a length element (i.e. a metric). Therefore ฮ“\Gamma is a metrized graph. Notice also that the maximal number of edges of the graph corresponding to a genus gg curve is 3โ€‹gโˆ’33g-3, which is the dimension of the moduli space of genus gg curves.

Notice that if in Section 4.2.1 subvariety ZZ is a curve then its projection is a noncompact metrized graph with unbounded edges corresponding to punctures Zยฏโˆ–Z{\overline{Z}}\setminus Z.

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