Differential forms on hyperelliptic curves with semistable reduction

Let C be a hyperelliptic curve over a local field K with odd residue characteristic, defined by some affine Weierstraß equation y2=f(x)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$y^2=f(x)$$\end{document}. We assume that C has semistable reduction and denote by X→SpecOK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {X}}\rightarrow \text {Spec}\, {\mathcal {O}}_K$$\end{document} its minimal regular model with relative dualising sheaf ωX/OK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega _{{\mathcal {X}}/ {\mathcal {O}}_K}$$\end{document}. We show how to directly read off a basis for H0(X,ωX/OK)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$H^0({\mathcal {X}},\omega _{{\mathcal {X}}/{\mathcal {O}}_K})$$\end{document} from the cluster picture of the roots of f. Furthermore we give a formula for the valuation of λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document} such that λ·dx2y∧…∧xg-1dx2y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda \cdot \frac{dx}{2y} \wedge \ldots \wedge x^{g-1}\frac{dx}{2y}$$\end{document} is a generator for detH0(X,ωX/OK)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/{\mathcal {O}}_K})$$\end{document}.


Introduction
Let K be a local field with ring of integers R, normalised valuation v and uniformiser π. For an element r ∈ R, we writer for the reduction modulo p. The separable closure of K is denoted by K sep and the algebraic closure byK . We assume that the residue field k = R/(π) is perfect and has characteristic p = 2.
Let C/K be a hyperelliptic curve given by a Weierstraß equation Throughout this paper, we will always assume that the curve C has semistable reduction and genus g > 1. Since p = 2, it is easy to read off from the polynomial f whether C is semistable and determine the semistable reduction. This is described in [1] and [2]. To a Weierstraß equation, we associate the differential forms 2y .
1. Let ω := ω 0 ∧ . . . ∧ ω g−1 ∈ det H 0 (C, 1 C/K ). Determine λ C ∈ K , such that λ C · ω generates det H 0 (X , ω X /R ) as an R-module. 2. Explicitly determine a basis for the global sections of ω X /R . Our approach is based on results of [4]. Under simplified hypotheses a formula for λ C and a description of a basis for the global sections of ω X /R is given in Proposition 5.5. of that paper.

Motivation
Our motivation for studying the differential forms on the minimal regular model comes from the Birch and Swinnerton-Dyer conjectures. Originally formulated for elliptic curves, the conjectures were later generalised to abelian varieties over number fields by Tate [6].
Let C be a hyperelliptic curve defined over the rational numbers Q and let J denote its Jacobian. The second Birch and Swinnerton-Dyer conjecture in this situation is lim s→1 (s − 1) −r L(J, s) = · Reg · p c p · #X(J, Q) · (#J (Q) tors ) −2 .
Here L(J, s) is the L-series of J and r its analytic rank. Reg denotes the regulator of J (Q). For a prime p, the Tamagawa number is denoted by c p . The Shafarevich-Tate group is represented by X(J, Q) and J (Q) tors is the torsion subgroup of J (Q). The results of this paper can be applied to calculate the sixth quantity, that is the period . For the description of this quantity we follow the outline in [7,Sect. 3] and [3,Sect. 3.5]. Both papers provide numerical evidence for the Birch and Swinnerton-Dyer conjectures for hyperelliptic curves.
Let J → SpecZ denote the Néron model of J . We have that H 0 (J , J /Z ) is a free Zmodule of rank g. Let (μ 0 , . . . , μ g−1 ) be a basis for this module. Then μ := μ 0 ∧ . . . ∧ μ g−1 is a generator for g H 0 (J , J /Z ) and is defined as Finding a basis for H 0 (J , J /Z ) can be done locally. Let p ∈ Z be a prime. We write R = Z p and use the notation introduced in the beginning. Since H 0 (J , J /R ) and H 0 (X , ω X /R ) are isomorphic as Z p -modules, see [7,Lemma 9], it is enough to find a basis for the global sections of ω X /R . For computational purposes it is not always necessary to know the basis of regular differentials. In [7] and [3] the authors first evaluate J (R) |ω|, where ω is the exterior product of the differentials ω 0 , . . . , ω g−1 associated to the Weierstraß equation for C and then compute a correction term in order to get the value := J (R) |μ|.

Results
We give a brief overview of our main results and illustrate them by means of an example. The results are stated in terms of cluster pictures. A cluster picture is a combinatorial object associated to the Weierstraß equation of a curve. It encodes different invariants of the curve. The concept has been studied in [2]. For definitions we refer to [2,Sect. 1.5.] or Sect. 2 of this paper. Here we only recall the necessary notation. First, we show how to read off a basis for H 0 (X , ω X /R ) from the cluster picture of a curve.
where the maximum is taken over all proper clusters in . If the maximal value is obtained by two different clusters s and s with s ⊂ s, choose s i = s. Then an R-basis for the global sections of the relative dualising sheaf ω X /R is given by Note that the sequence constructed in the theorem is not canonical, since it can happen that the maximum is obtained by two incomparable clusters, in which case any of the two clusters may be chosen. Before we illustrate the construction by an example, we make an observation concerning the assumptions in the theorem. Remark 1.2 In Theorem 1.1, it is assumed that the residue field is algebraically closed. This assures that every proper cluster has a K -rational centre. However, it should be pointed out that the construction of the minimal regular model commutes with taking the maximal unramified extension. More precisely, let K be a local field with ring of integers R, perfect residue field k and K ur the maximal unramified extension with ring of integers R . Let C be a smooth projective curve over K and X its minimal regular model. Then X = X × SpecR SpecR is the minimal regular model of C over R . This follows from Lemma 10.3.33.(b) in [5].
As a consequence H 0 (X , ω X /R ) = H 0 (X , ω X /R ) ⊗ R R . Moreover, if we find a basis for H 0 (X , ω X /R ) which is defined over K , it is also a basis for H 0 (X , ω X /R ). Translated to the situation of the theorem, this means that we can replace the assumption k algebraically closed with the condition that every proper cluster admits a K -rational centre.
Note that for the same reason, the residue field k does not need to be algebraically closed in the statement of Theorem 1.4.
The proper clusters are These clusters have depths d R = 0, d t 1 = 4, d t 2 = 6, d t 3 = 8 and relative depths δ t 1 = 4, δ t 2 = 2, δ t 3 = 8. This information is contained in the cluster picture : The subscript of the top cluster is its depth. The subscripts of the other clusters are their relative depths.
We construct a sequence of clusters as described in Theorem 1.1. The theorem is applicable since every cluster has a centre in Q p (see the previous remark). First we choose s 0 to be the cluster that maximises ν t 2 − d t . The evaluation of this term for each cluster can be found in the first column (after the double line) of the table below. Next we choose s 1 to be the cluster that maximises ν t 2 − d t − d t∧s 0 , the cluster s 2 is the one that In each column the maximal value is circled to indicate which cluster is chosen in the respective step. Three dots always represent the entire expression in the previous column. We can read off from the table and e 0 = 9, e 1 = 8, e 2 = 4, e 3 = 0, e 4 = 0.
If we choose z R = z t 1 = z t 2 = 0 and z t 3 = 1 as centres for the clusters, we get the following basis for the global sections of ω X /R : As mentioned before, it is often not necessary to determine the basis for H 0 (X , ω X /R ) explicitly, but it suffices to know a generator for det H 0 (X , ω X /R ). Theorem 1.4 gives a convenient formula for determining this generator. Theorem 1.4 (Theorem 3.1) Let C/K be a semistable hyperelliptic curve defined by C : 2y for the differentials associated to this equation and ω := ω 0 ∧ . . . ∧ ω g−1 ∈ det H 0 (C, 1 C/K ). Let X → SpecR be the minimal regular model of C. Suppose that λ C · ω is a basis for det H 0 (X , ω X /R ). Then Let us revisit the above example.
generates det H 0 (X , ω X /R ). Note that the value v(λ C ) = 21 is equal to the sum over the e i determined by Theorem 1.1.

Outline
In Sect. 2, we review some definitions and facts about cluster pictures. In Sect. 3 we translate Proposition 5.5. of [4] into the language of cluster pictures and generalise it in order to prove Theorem 1.4. The last section is dedicated to the proof of Theorem 1.1. This is done by first showing that the differentials forms defined in the theorem are indeed global sections of the canonical sheaf and then applying Theorem 1.4.

Cluster pictures
In this section, we describe the cluster picture associated to an equation defining a hyperelliptic curve and briefly introduce the notation used in the subsequent sections. All information is taken from [2]. Let C/K be a hyperelliptic curve defined by a Weierstraß equation C : y 2 = f (x). We write R for the set of roots of f (x) in K sep and c f for its leading coefficient, so that

Remark 2.2
Note that for a root r ∈ R and a cluster s, we have So ν s can also be calculated via There is a notion of equivalence for cluster pictures that respects isomorphisms of hyperelliptic curves. For a complete discussion of the topic we refer to [2, Sect. 14]. The following proposition is important for the proof of Theorem 3.1. So we state it here for the convenience of the reader.
be a separable polynomial with roots R ⊂ K sep , such that the absolute Galois group G K = G(K sep /K ) acts tamely on R, and let be the associated cluster picture. Suppose is a cluster picture obtained from by one of the following constructions: 1. Increasing the depth of all clusters by some n ∈ Z; 2. Adding a root to R, provided |R| is odd, d R ∈ Z and |k| > #{s < R : s is G K −stable}; 3. Redistributing the depth between s and R\s by decreasing the depth of s by 1 and increasing the depth of R\s by 1, provided |R| is even, is a hyperelliptic curve, then there is a K -isomorphic curve given by a Weierstraß model whose cluster picture is . 1 If R\s is not contained in , it is added to the cluster picture as a new cluster with relative depth δ R\s = 0. In accordance with [2, Definition 14.1.] redistributing the depth between s and R\s includes decreasing (respectively increasing) the depth of all proper clusters contained in s (respectively R\s).

A basis for det H 0 (X , ω X /R )
Let C/K be a semistable hyperelliptic curve of genus g defined by C : 2y for the differentials associated to this equation and ω := ω 0 ∧ . . . ∧ ω g−1 ∈ det H 0 (C, 1 C/K ). Let X → SpecR be the minimal regular model of C. The main result of this section is Theorem 3.1, where we determine λ C ∈ K , such that λ C · ω generates det H 0 (X , ω X /R ) as an R-module. Note that λ C is only well-defined up to a unit. Moreover it is not a curve invariant, but depends on the equation. Theorem 3.1 Let C/K be a semistable hyperelliptic curve of genus g defined by C : 2y for the differentials associated to this equation and ω : A result in [4] shows that this formula is true under several additional assumptions (Lemma 3.3). Our strategy for the proof of the theorem is to pass to a tamely ramified extension of the base field and apply several Möbius transformations until Lemma 3.3 can be applied. In the course of these transformations the valuation of λ changes. Hence it is necessary to add correction terms to the original formula. Their computation can be reduced to computing the change of the discriminant of the equation under these Möbius transformations, which has already been done in [2,Sect. 16]. A key ingredient for this reduction step is the hyperelliptic discriminant, see Definition 3.7. This is a curve invariant which connects the valuation of λ with the valuation of the discriminant of a Weierstraß equation.

Remark 3.2
The starting point for our proof is [4,Proposition 5.5.2]. The results in that article are phrased in a different language. For the convenience of the reader, we shortly introduce the necessary notation and explain how it compares to cluster pictures. This notation will only be used in the proof of the following lemma.
Throughout, let y 2 = f (x) be an equation defining a semistable hyperelliptic curve. Assume that the set of roots R of f is contained in R. Hence for any n ∈ N ∪ {0}, there is a natural map  = {r 1 , . . . , r m } R be a proper cluster with depth d s and relative depth δ s . Then ρ n (s) ∈ V n if and only if d s − δ s < n ≤ d s . Roughly speaking, for each proper cluster s R, the tree V(T ) contains δ s copies of this cluster. Note that δ s is integral by assumption. On the other hand, it is easy to see that each vertex in V(T ) corresponds to some proper cluster and the value φ(V ) is the cardinality of that cluster.

Lemma 3.3 Let C/K be a hyperelliptic curve defined by C
Then v(λ C ) can be computed using Equation 1.
Proof Under the conditions in the lemma, Equation 1 reduces to This formula is due to Kausz, see [4,Proposition 5.5.2.]. The formula in the original source reads as with the notation introduced in the remark preceding this lemma. Note that the e i 's play the same role as the e i 's defined in Theorem 4.1 and it directly follows from the first part of the proposition in [4] that e i = v(λ C ). Phrased in terms of cluster pictures, this is precisely Formula 2. Several conditions are imposed on the equation defining C (cf. [4,Lemma 4.1]). It is easy to see that these are implied by Conditions (i)-(v). Moreover, it is assumed that the residue field k is algebraically closed, but this has no effect on the valuation of λ C , see Remark 1.2.
Note that the conditions in the above lemma imply semistability, see for example [2, Theorem 7.1.]. Conversely, after a tamely ramified extension of the base field, there always exists an equation for C satisfying the conditions listed in the above lemma if C is semistable.

Proposition 3.4 Let C/K be a semistable hyperelliptic curve with minimal regular model X → SpecR. Let K /K be a finite field extension. Write C for the base-change of C to K , R = O K and X → SpecR for the minimal regular model of C . Then
Proof Let Y → SpecR and Y → SpecR be the stable models of C/K and C /K respectively. The stable model Y is obtained from X by contraction of all components of the special fibre for which K X /R . = 0. Write f : X → Y for the contraction morphism. Since the intersection matrix of the contracted components is negative definite, it follows from [5,Corollary 9.4.18 We have Y = Y × R R and by [5, Theorem 6.4.9

a finite extension and write C for the base-change of C to K . Then Equation 1 holds for C/K if and only if it holds for C /K .
Proof Let e K /K denote the ramification degree of the extension K /K . We write for the cluster picture associated to C : y 2 = f (x) and for the cluster picture associated to the equation C : y 2 = f (x) over K . The clusters themselves do not change under a finite extension, but their depths do. More precisely we have δ s = e K /K · δ s for each proper cluster s = R and d R = e K /K · d R . We write R := O K and v for the normalised valuation. That is v (r) = e K /K · v(r) for all r ∈ R.
For λ C , Equation 1 yields From Proposition 3.4 it follows that v (λ C ) = e K /K ·v(λ C ). So the above calculation shows that Formula 1 is true for C/K if and only if it is true for C /K .
While the discriminant defined above is not a curve invariant, but depends on the equation, there exists a more natural definition of discriminant. See also the paragraph before Proposition 2.2. in [4]. Definition 3.7 Let C/K be a hyperelliptic curve of genus g, defined by some Weierstraß equation y 2 = f (x) with discriminant . We associate to this equation the differential forms ω 0 , . . . , ω g−1 and write ω = ω 0 ∧ . . . ∧ ω g−1 ∈ H 0 (C, 1 C/K ). Then the element is called hyperelliptic discriminant of C.
The following proposition shows that is well-defined.
Proposition 3.8 Let C/K be a hyperelliptic curve with hyperelliptic discriminant . Let y 2 = f (x) be some Weierstraß equation for C. We associate to this equation the elements and λ. Then the following statements are true.
1. The element is independent of the choice of equation.

2.
Viewed as a rational section of (det H 0 (X , ω X /R )) ⊗8g+4 , the order of vanishing in p is given by 3. Let y 2 = g(x ) be another equation defining the same curve with and λ C the corresponding quantities. Then 3. This is a direct consequence of the first two statements. Lemma 3.9 Let C/K be a hyperelliptic curve defined by C : r) and v(c f ) in 2Z. Then the curve C /K defined by y 2 = r∈R (x − r) is isomorphic to C over K nr and Proof Since v(c f ) is even, c f is a square in K nr and the two equations define isomorphic curves over K nr . By definition, the discriminant of the equation Using part 3 of Proposition 3.8, we get Lemma 3.10 Let C/K be a hyperelliptic curve and y 2 = f (x) a Weierstraß equation defining this curve. Let be its cluster picture and λ C the quantity associated to this equation.
Let y 2 = g(x ) be a different equation for C. Denote by and λ C the corresponding elements.

If is obtained from by increasing the depths of all clusters by some t
3. If R has even size and is obtained from by redistributing the depth between s < R and R\s to d s = d s − t and d R\s Proof From [2, Lemma 16.6.], we know how the discriminant changes under the above modifications of the cluster picture. We will combine these results with Proposition 3.8, part 3.
Proof of Theorem 3.1 Let C/K be a hyperelliptic curve with semistable reduction defined by C : r). In Lemma 3.5 we have seen that it suffices to prove that the formula holds after a finite extension. So we may assume that R ⊂ K , v(r −s) ∈ 2Z for all r, s ∈ R, and v(c f ) ∈ 2Z. Subtracting the correction term 4g ·v(c f ) from the right hand side, we may even assume that v(c f ) = 0. This follows from Lemma 3.9. Further we can perform a Möbius transformation such that the cluster picture corresponding to the new equation has outer depth d R = 0 (see Proposition 2.3, part 1). By Lemma 3.10 this corresponds to subtracting d R (|R|−2)|R| if |R| = 2g +2 or d R (|R|−1) 2 if |R| = 2g + 1 from 8v(λ C ). Note that decreasing the absolute depths does not change any relative depths.
In case that |R| = 2g + 1, we can perform a Möbius transformation that corresponds to adding one root to the cluster picture (as in Proposition 2.3, part 2). Since d R = 0, this does not change the valuation of λ C . After these two steps we are left with proving the simplified formula that already appeared in Lemma 3.3. That is with Conditions (ii), (iii) and (iv) of the lemma being satisfied and d R = 0.
Without loss of generality we may always assume G K -stability for clusters because the formula for λ C behaves well under tamely ramified extension (see Lemma 3.5). So we can apply Part 3 of Proposition 2.3, that is redistribute depth between a (G K -stable) cluster s and R\s. This allows us to manipulate the cluster picture such that R has at least three children in the following way. Assume that R has exactly two children, s 1 and s 2 . Without loss of generality assume that s 1 is not a root, hence it has at least two children on its own, say t 1 and t 2 . After redistributing depth between s 1 and s 2 in such a way that d s 1 = 0, s 1 is no longer a cluster but R has at least three children given by t 1 , t 2 , s 2 . Together with the fact that d R = 0, this implies Condition (v) of Lemma 3.3.
Let us show that the formula behaves well when redistributing depths. Let s * < R be a cluster in . Let be the cluster picture obtained after redistributing depth between s * and R\s * . That is d s * = d s * − t and d R\s * = d R\s * + t for some t ∈ Z. We have already seen in Lemma 3.10, part 3 that The calculation below shows that this equals the change on the right hand side of the equation. (δ s * − t)(|s * | − 2)|s * | + (δ R\s * + t)(|R\s * | − 2)|R\s * |, |s * | even (δ s * − t)(|s * | − 1) 2 + (δ R\s * + t)(|R\s * | − 1) 2 , Now the only condition missing in order to apply Lemma 3.3 is R ⊂ R. We already have R ⊂ K . Since d R = 0 and v(c f ) = 0, it follows from [2, Theorem 13.3] that there exists . Clearly, such a shift changes neither the cluster picture nor the valuation of λ. Hence we may assume R ⊂ R without adding a further correction term.

A basis for H 0 (X , ω X /R )
Let C/K be a semistable hyperelliptic curve defined by a Weierstraß equation C : where the maximum is taken over all proper clusters in . If the maximal value is obtained by two different clusters s and s with s ⊂ s, choose s i = s. Then an R-basis for the global sections of the relative dualising sheaf ω X /R is given by Note that the same cluster can appear multiple times in the sequence s 0 , . . . , s g−1 . Moreover the sequence is not canonical, since it can happen that the maximum is obtained by two incomparable clusters, in which case any of the two clusters may be chosen. Since k is algebraically closed, one can find a centre z s ∈ K for every proper cluster s. This follows from [2,Lemma 4.2.]. For an illustration of the theorem, we refer to Example 1.3 in the introduction.
The strategy for the proof is a follows. First, we show that the sum over the e i is exactly the valuation of λ C as defined in the previous section. For this we need Lemma 4.2. Then, we show that the differential forms are indeed global sections by computing their order of vanishing along different components of the special fibre of the minimal regular models, see Lemma 4.3. The theorem then follows as a corollary of Theorem 3.1.

Lemma 4.2 Let C/K be a hyperelliptic curve defined by an integral Weierstraß equation C
: y 2 = f (x) and the associated cluster picture. Let the clusters s 0 , . . . , s g−1 ∈ be chosen according to Theorem 4.1. Then for every cluster s ∈ : Proof Since γ (R) = g, the statement is true for s = R. Let s = R and let s be the parent of s, that is s < s . Then Assume that s i = s, then by construction of the sequence (s j ), it must hold that ν s 2 − This yields a contradiction. So γ (s) = |s|−1 2 .
In order to prove Theorem 4.1, we have to show that the differential forms defined in the theorem are global sections of ω X /R . In particular, we need to be able to compute the order of vanishing along components of the special fibre of the minimal regular model X . For that purpose we use the description of X given in [Theorem 8.5] [2]. Broadly speaking, each principal cluster gives rise to one or possibly two components in the special fibre. These components are connected by chains of projective lines. In the following, we will write s ⊂ X s for the component(s) corresponding to the principal cluster s. On the other hand, a disc D(s) ⊂K is associated to a principal cluster s. Equations for s are now given in function of the disc D(s) in [2,Definition 5.4]. From this, we can conclude that there is an open neighbourhood U s of the generic point of s which is contained in with local coordinates x s = x − z s π d s , y s = y π ν s /2 .

Lemma 4.3 Let C/K be a hyperelliptic curve defined by an integral Weierstraß equation C
: y 2 = f (x) and the associated cluster picture. Let the clusters s 0 , . . . , s g−1 ∈ be chosen according to Theorem 4.1. Let X /R be the minimal regular model.
Then for any principal cluster s ∈ , we have that − ν s 2 − i−1 j=0 d s j ∧s − d s is a lower bound for the order of vanishing of the element i−1 j=0 (x − z s j ) dx 2y along the component of the special fibre of X that corresponds to s.
Proof Let s be a principal cluster in and denote by s the component (or possibly the two components) of the special fibre of X /R corresponding to this cluster.
It suffices to compute the order of vanishing of i−1 j=0 (x − z s j ) dx 2y in an open neighbourhood U of the generic point of the component s . We choose U = U s as described in the paragraph preceding this lemma.
We can write Since d s ≥ d s∧s j and z s −z s j π ds∧s j ∈ R for all clusters s, s j ∈ , the element i−1 j=0 (π d s −d s∧s j x s − z s −z s j π ds∧s j ) dx s 2y s is an integral section on ω X /R| U . The statement of the lemma follows.
Proof of Theorem 4.1 Let s 0 , . . . , s g−1 be a sequence constructed as described in the theorem and denote by μ 0 , . . . , μ g−1 the differential forms associated to this sequence. Claim 1: The differentials μ 0 , . . . μ g−1 are global sections of ω X /R . Here, we are going to make use of the fact that inside H 0 (C, C/K ) the global sections of the minimal regular model are equal to those of the stable model (cf. the proof of Proposition 3.4). So by [2,Theorem 5.24.], it suffices to check that the differentials μ 0 , . . . , μ g−1 are regular on the components of the special fibre corresponding to principal clusters. Let s be a component of the special fibre corresponding to a principal cluster s ∈ . From Lemma 4.3, we know that − ν s 2 − i−1 j=0 d s j ∧s − d s is a lower bound for the order of the element i−1 j=0 (x − z s j ) dx 2y on s . Since e i = max s∈ ν s 2 − i−1 j=0 d s j ∧s − d s , the order of μ i = π e i · i−1 j=0 (x − z s j ) dx 2y is non-negative on every such component. For the horizontal part, we have to consider the restriction of μ i to the generic fibre. Clearly μ i ⊗ 1 ∈ H 0 (X , ω X /R ) ⊗ R K = H 0 (C, C/K ). This proves the first claim.
Claim 2: Let λ C be the quantity defined in the previous section, then