1 Introduction

Let K be a local field with ring of integers R, normalised valuation v and uniformiser \(\pi \). For an element \(r \in R\), we write \({\bar{r}}\) for the reduction modulo \({\mathfrak {p}}\). The separable closure of K is denoted by \(K^{sep}\) and the algebraic closure by \({\bar{K}}\). We assume that the residue field \(k = R/(\pi )\) is perfect and has characteristic \(p \ne 2\).

Let C/K be a hyperelliptic curve given by a Weierstraß equation

$$\begin{aligned} C : y^2 =f(x). \end{aligned}$$

Throughout this paper, we will always assume that the curve C has semistable reduction and genus \(g > 1\). Since \(p \ne 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

$$\begin{aligned} \omega _0 = \frac{dx}{2y},\; \omega _1 = \frac{xdx}{2y},\; \ldots , \; \omega _{g-1} = \frac{x^{g-1}dx}{2y}. \end{aligned}$$

These form a basis of \(H^0(C, \Omega _{C/K})\). Let \({\mathcal {X}}\rightarrow \text {Spec}R\) be the minimal regular model of C and \(\omega _{{\mathcal {X}}/R}\) the relative dualising sheaf [5, Definition 6.4.18.]. In our situation, the relative dualising sheaf is isomorphic to the canonical sheaf [5, Theorem 6.4.32]. We have that \(H^0(C, \Omega _{C/K}) = H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R}) \otimes _R K\) and \(H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) is a free R-module of rank g. So \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R}) := \bigwedge ^g H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) is free of rank one over R.

In this paper, we are going to study the following two problems:

  1. 1.

    Let \( \omega := \omega _0 \wedge \ldots \wedge \omega _{g-1} \in \det H^0(C,\Omega ^1_{C/K})\). Determine \(\lambda _C \in K\), such that \(\lambda _C \cdot \omega \) generates \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) as an R-module.

  2. 2.

    Explicitly determine a basis for the global sections of \(\omega _{{\mathcal {X}}/R}\).

Our approach is based on results of [4]. Under simplified hypotheses a formula for \(\lambda _C\) and a description of a basis for the global sections of \(\omega _{{\mathcal {X}}/R}\) is given in Proposition 5.5. of that paper.

1.1 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 \({\mathbb {Q}}\) and let J denote its Jacobian. The second Birch and Swinnerton-Dyer conjecture in this situation is

Here L(Js) is the L-series of J and r its analytic rank. Reg denotes the regulator of \(J({\mathbb {Q}})\). For a prime p, the Tamagawa number is denoted by \(c_{p}\). The Shafarevich-Tate group is represented by and \(J({\mathbb {Q}})_{\mathrm {tors}}\) is the torsion subgroup of \(J({\mathbb {Q}})\). The results of this paper can be applied to calculate the sixth quantity, that is the period \(\Omega \). 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 \({\mathcal {J}}\rightarrow \text {Spec}{\mathbb {Z}}\) denote the Néron model of J. We have that \(H^0({\mathcal {J}},\Omega _{{\mathcal {J}}/{\mathbb {Z}}})\) is a free \({\mathbb {Z}}\)-module of rank g. Let \((\mu _0, \ldots , \mu _{g-1})\) be a basis for this module. Then \(\mu := \mu _0 \wedge \ldots \wedge \mu _{g-1}\) is a generator for \(\bigwedge ^g H^0({\mathcal {J}},\Omega _{{\mathcal {J}}/{\mathbb {Z}}})\) and \(\Omega \) is defined as

$$\begin{aligned} \Omega := \int _{J({\mathbb {R}})} |\mu |. \end{aligned}$$

Finding a basis for \(H^0({\mathcal {J}},\Omega _{{\mathcal {J}}/{\mathbb {Z}}})\) can be done locally. Let \(p \in {\mathbb {Z}}\) be a prime. We write \(R={\mathbb {Z}}_p\) and use the notation introduced in the beginning. Since \(H^0({\mathcal {J}},\Omega _{{\mathcal {J}}/R})\) and \(H^0({\mathcal {X}}, \omega _{{\mathcal {X}}/R})\) are isomorphic as \({\mathbb {Z}}_p\)-modules, see [7, Lemma 9], it is enough to find a basis for the global sections of \(\omega _{{\mathcal {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 \(\int _{J({\mathbb {R}})} |\omega |\), where \(\omega \) is the exterior product of the differentials \(\omega _0, \ldots , \omega _{g-1}\) associated to the Weierstraß equation for C and then compute a correction term in order to get the value \(\Omega := \int _{J({\mathbb {R}})} |\mu |\).

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

\(c_f\):

leading coefficient of f

\({\mathfrak {R}}\):

set of roots of f in \(K^{sep}\)

\({\mathfrak {s}}\):

a cluster

\(z_{{\mathfrak {s}}}\):

a centre of \({\mathfrak {s}}\)

\(d_{{\mathfrak {s}}}\):

depth of \({\mathfrak {s}}\)

\(\delta _{{\mathfrak {s}}}\):

relative depth of \({\mathfrak {s}}\)

\({\mathfrak {s}}\wedge {\mathfrak {s}}'\):

smallest cluster containing \({\mathfrak {s}}\) and \({\mathfrak {s}}'\)

\(\nu _{{\mathfrak {s}}}\):

\( = v(c_f)+\sum _{r \in {\mathfrak {R}}} d_{r \wedge {\mathfrak {s}}}\)

First, we show how to read off a basis for \(H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) from the cluster picture of a curve.

Theorem 1.1

(Theorem 4.1) Let C/K be a semistable hyperelliptic curve defined by an integral Weierstraß equation \(C:y^2=f(x)\) with cluster picture \(\Sigma \). Let \({\mathcal {X}}/ R\) be the minimal regular model. Assume that the residue field k is algebraically closed.

Choose clusters \({\mathfrak {s}}_0, \ldots , {\mathfrak {s}}_{g-1}\) inductively such that

$$\begin{aligned} e_i = \frac{\nu _{{\mathfrak {s}}_i}}{2} - \sum _{j=0}^{i}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}_i} = \max \left( \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}}\right) , \end{aligned}$$

where the maximum is taken over all proper clusters in \(\Sigma \). If the maximal value is obtained by two different clusters \({\mathfrak {s}}\) and \({\mathfrak {s}}'\) with \({\mathfrak {s}}' \subset {\mathfrak {s}}\), choose \({\mathfrak {s}}_i = {\mathfrak {s}}\).

Then an R-basis for the global sections of the relative dualising sheaf \(\omega _{{\mathcal {X}}/R}\) is given by \((\mu _0, \ldots \mu _{g-1})\), where

$$\begin{aligned} \mu _i = \pi ^{e_i} \prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}. \end{aligned}$$

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 \({\mathcal {X}}\) its minimal regular model. Then \({\mathcal {X}}'= {\mathcal {X}}\times _{\text {Spec}R} \text {Spec}R'\) is the minimal regular model of C over \(R'\). This follows from Lemma 10.3.33.(b) in [5].

As a consequence \(H^0({\mathcal {X}}',\omega _{{\mathcal {X}}'/R'}) = H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R}) \otimes _{R} R'\). Moreover, if we find a basis for \(H^0({\mathcal {X}}',\omega _{{\mathcal {X}}'/R'})\) which is defined over K, it is also a basis for \(H^0({\mathcal {X}},\omega _{{\mathcal {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.

Example 1.3

Let \(p>3\) and \(C/{\mathbb {Q}}_p\) the hyperelliptic curve of genus \(g = 5\) defined by

$$\begin{aligned} y^2&= x(x-p^6)(x-2p^6)(x-p^4)(x-2p^4)(x-3p^4)(x-1)(x-1-p^8)\\&\quad (x-1-2p^8)(x-3p^8)(x-2)(x-3). \end{aligned}$$

The proper clusters are

$$\begin{aligned} {\mathfrak {R}},\; {\mathfrak {t}}_1 = \{0,p^6, 2p^6, p^4,2p^4, 3p^4\},\; {\mathfrak {t}}_2 = \{0, p^6, 2p^6\},\; {\mathfrak {t}}_3 = \{1, 1+p^8, 1+2p^8,1+3p^8\}. \end{aligned}$$

These clusters have depths \(d_{\mathfrak {R}}= 0, \; d_{{\mathfrak {t}}_1} = 4, \; d_{{\mathfrak {t}}_2} = 6\), \(d_{{\mathfrak {t}}_3} = 8\) and relative depths \(\delta _{{\mathfrak {t}}_1} = 4, \; \delta _{{\mathfrak {t}}_2} = 2\), \(\delta _{{\mathfrak {t}}_3} = 8\). This information is contained in the cluster picture \(\Sigma \):

figure a

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 \({\mathbb {Q}}_p\) (see the previous remark). First we choose \({\mathfrak {s}}_0\) to be the cluster that maximises \(\frac{\nu _{{\mathfrak {t}}}}{2}-d_{{\mathfrak {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 \({\mathfrak {s}}_1\) to be the cluster that maximises \(\frac{\nu _{{\mathfrak {t}}}}{2}-d_{{\mathfrak {t}}}- d_{{\mathfrak {t}}\wedge {\mathfrak {s}}_0}\), the cluster \({\mathfrak {s}}_2\) is the one that maximises \(\frac{\nu _{{\mathfrak {t}}}}{2}-d_{{\mathfrak {t}}}- d_{{\mathfrak {t}}\wedge {\mathfrak {s}}_0}- d_{{\mathfrak {t}}\wedge {\mathfrak {s}}_1}\) and so on.

 

\(\nu _{{\mathfrak {t}}}\)

\(d_{{\mathfrak {t}}}\)

\(\frac{\nu _{{\mathfrak {t}}}}{2}-d_{{\mathfrak {t}}}\)

\(\frac{\nu _{{\mathfrak {t}}}}{2}-d_{{\mathfrak {t}}} - d_{{\mathfrak {t}}\wedge {\mathfrak {t}}_2}\)

...\(- d_{{\mathfrak {t}}\wedge {\mathfrak {t}}_3}\)

...\(-d_{{\mathfrak {t}}\wedge {\mathfrak {t}}_1}\)

\(\ldots - d_{{\mathfrak {t}}\wedge {\mathfrak {R}}}\)

\({\mathfrak {R}}\)

0

0

0

0

0

\({\mathfrak {t}}_1\)

24

4

8

4

0

0

\({\mathfrak {t}}_2\)

30

6

3

3

-1

-1

\({\mathfrak {t}}_3\)

32

8

8

0

0

0

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

$$\begin{aligned} {\mathfrak {s}}_0= & {} {\mathfrak {t}}_2, \quad {\mathfrak {s}}_1 = {\mathfrak {t}}_3, \quad {\mathfrak {s}}_2 = {\mathfrak {t}}_1,\quad {\mathfrak {s}}_3 = {\mathfrak {R}},\quad {\mathfrak {s}}_4 = {\mathfrak {R}}, \\ \hbox {and }\quad e_0= & {} 9, \quad e_1 = 8, \quad e_2 = 4, \quad e_3 = 0, \quad e_4 = 0. \end{aligned}$$

If we choose \(z_{{\mathfrak {R}}} = z_{{\mathfrak {t}}_1} = z_{{\mathfrak {t}}_2} = 0 \text { and } z_{{\mathfrak {t}}_3} = 1\) as centres for the clusters, we get the following basis for the global sections of \(\omega _{{\mathcal {X}}/R}\):

$$\begin{aligned} \left( \mu _0 = p^9 \,\frac{dx}{2y}, \;\mu _1 = p^8 x\,\frac{dx}{2y}, \; \mu _2 = p^4 x(x-1)\, \frac{dx}{2y}, \; \mu _3 = x^2(x-1) \,\frac{dx}{2y}, \; \mu _4 = x^3(x-1)\, \frac{dx}{2y} \right) \end{aligned}$$

As mentioned before, it is often not necessary to determine the basis for \(H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) explicitly, but it suffices to know a generator for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {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: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-r)\). We write \(\omega _0 = \frac{dx}{2y}, \ldots , \omega _{g-1} = \frac{x^{g-1}\,dx}{2y}\) for the differentials associated to this equation and \(\omega := \omega _0 \wedge \ldots \wedge \omega _{g-1} \in \det H^0(C,\Omega ^1_{C/K})\). Let \({\mathcal {X}}\rightarrow \text {Spec}R\) be the minimal regular model of C. Suppose that \(\lambda _C \cdot \omega \) is a basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\). Then

$$\begin{aligned} \begin{aligned} 8 \, v(\lambda _C) =&\; 4\, g \cdot v(c_f) + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-1)^2\\&~~~~+ d_{{\mathfrak {R}}} {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1 \end{array}\right. }. \end{aligned} \end{aligned}$$

Let us revisit the above example.

Example 1.5

Let \(p>3\) and \(C/{\mathbb {Q}}_p^{ur}\) be the hyperelliptic curve from Example 1.3. Recall the cluster picture \(\Sigma \):

figure g

Then the formula of Theorem 1.4 yields

$$\begin{aligned} 8 \, v(\lambda _C)&= 4 \cdot g \cdot v(c_f)&+\;&\delta _{{\mathfrak {t}}_1}(|{\mathfrak {t}}_1|-2)|{\mathfrak {t}}|&+\; \delta _{{\mathfrak {t}}_2}(|{\mathfrak {t}}_2|-1)^2&+\;&\delta _{{\mathfrak {t}}_3}(|{\mathfrak {t}}_3|-2) |{\mathfrak {t}}_3|&+\;&d_{{\mathfrak {R}}}\, (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|\\&= 4 \cdot 5 \cdot 0&+\;&4 \cdot 4 \cdot 6&+\; 2 \cdot 2^2&+\;&8 \cdot 2 \cdot 4&+\;&0 \cdot 10 \cdot 12\\&= 8 \cdot 21.&&\end{aligned}$$

So

$$\begin{aligned}\mu : = p^{21} \, \frac{dx}{2y} \wedge \frac{xdx}{2y}\wedge \frac{x^2dx}{2y}\wedge \frac{x^3dx}{2y} \wedge \frac{x^4dx}{2y} \end{aligned}$$

generates \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\). Note that the value \(v(\lambda _C) = 21\) is equal to the sum over the \(e_i\) determined by Theorem 1.1.

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

2 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 \({\mathfrak {R}}\) for the set of roots of f(x) in \(K^{sep}\) and \(c_f\) for its leading coefficient, so that

$$\begin{aligned} f(x)= c_f\prod _{r\in {\mathfrak {R}}}(x-r). \end{aligned}$$

Definitions 2.1

 

  1. (i)

    ([2] Definition 1.1.) A cluster is a non-empty subset \({\mathfrak {s}}\subset {\mathfrak {R}}\) of the form \({\mathfrak {s}}= D\cap {\mathfrak {R}}\) for some disc \(D = \{x \in {\bar{K}} \,|\,v(x-z) \ge d\}\) for some \(d\in {\mathbb {Q}}\) and \(z\in {\bar{K}}\). We say that z is a centre of the cluster and write \(z = z_{{\mathfrak {s}}}\).

  2. (ii)

    ([2] Definition 1.1.) If \(|{\mathfrak {s}}|>1\), then \({\mathfrak {s}}\) is called a proper cluster and its depth is defined to be \(d_{{\mathfrak {s}}} = \min _{r,r' \in {\mathfrak {s}}} v(r-r')\).

  3. (iii)

    ([2] Definition 1.3.) If \({\mathfrak {s}}' \subsetneq {\mathfrak {s}}\) is a maximal subcluster, we write \({\mathfrak {s}}' < {\mathfrak {s}}\) and say that \({\mathfrak {s}}'\) is a child of \({\mathfrak {s}}\). For two clusters (possibly roots) \({\mathfrak {s}},\; {\mathfrak {s}}'\) we write \({\mathfrak {s}}\wedge {\mathfrak {s}}'\) for the smallest cluster that contains them.

  4. (iv)

    ([2] Definition 1.4.) A cluster \({\mathfrak {s}}\) is principal if \(|{\mathfrak {s}}| \ge 3\), except if either \({\mathfrak {s}}= {\mathfrak {R}}\) is even and has exactly two children, or if \({\mathfrak {s}}\) has a child of size 2g.

  5. (v)

    ([2] Definition 1.5.) If \({\mathfrak {s}}\ne {\mathfrak {R}}\) is proper, the relative depth of \({\mathfrak {s}}\) is defined as the difference between the depth of \({\mathfrak {s}}\) and the depth of the smallest cluster strictly containing \({\mathfrak {s}}\). It is denoted by \(\delta _{{\mathfrak {s}}}\).

  6. (vi)

    ([2] Definition 1.6.) For a proper cluster \({\mathfrak {s}}\), set \(\nu _{{\mathfrak {s}}} = v(c_f)+\sum _{r \in {\mathfrak {R}}} d_{r \wedge {\mathfrak {s}}}\).

By the cluster picture associated to an equation, we mean the collection of clusters \(\{{\mathfrak {s}}\subset {\mathfrak {R}}\}\) together with their depths. See Example 1.3 in the introduction for an illustration of these definitions.

Remark 2.2

Note that for a root \(r \in {\mathfrak {R}}\) and a cluster \({\mathfrak {s}}\), we have

$$\begin{aligned}d_{r \wedge {\mathfrak {s}}} = d_{{\mathfrak {R}}} + \sum _{\begin{array}{c} {\mathfrak {s}}' \ne {\mathfrak {R}}:\\ {\mathfrak {s}}\wedge r \subseteq {\mathfrak {s}}' \end{array}} \delta _{{\mathfrak {s}}'}.\end{aligned}$$

So \(\nu _{{\mathfrak {s}}}\) can also be calculated via

$$\begin{aligned}\nu _{{\mathfrak {s}}} = v(c_f)+d_{{\mathfrak {R}}}|{\mathfrak {R}}| + \sum _{\begin{array}{c} {\mathfrak {s}}' \ne {\mathfrak {R}}:\\ {\mathfrak {s}}\subseteq {\mathfrak {s}}' \end{array}} \delta _{{\mathfrak {s}}'} |{\mathfrak {s}}'|. \end{aligned}$$

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.

Proposition 2.3

( [2], Proposition 14.6.) Let \(f(x) \in K[x]\) be a separable polynomial with roots \({\mathfrak {R}}\subset K^{sep}\), such that the absolute Galois group \(G_K = G(K^{sep}/K)\) acts tamely on \({\mathfrak {R}}\), and let \(\Sigma \) be the associated cluster picture. Suppose \(\Sigma '\) is a cluster picture obtained from \(\Sigma \) by one of the following constructions:

  1. 1.

    Increasing the depth of all clusters by some \(n\in {\mathbb {Z}}\);

  2. 2.

    Adding a root to \({\mathfrak {R}}\), provided \(|{\mathfrak {R}}|\) is odd, \(d_{{\mathfrak {R}}} \in {\mathbb {Z}}\) and \(|k|> \#\{{\mathfrak {s}}< {\mathfrak {R}}: {\mathfrak {s}}\text { is } G_K-\text {stable}\}\);

  3. 3.

    Redistributing the depth between \({\mathfrak {s}}\) and \({\mathfrak {R}}\backslash {\mathfrak {s}}\) by decreasing the depth of \({\mathfrak {s}}\) by 1 and increasing the depth of \({\mathfrak {R}}\backslash {\mathfrak {s}}\) by 1, provided \(|{\mathfrak {R}}|\) is even, \({\mathfrak {s}}< {\mathfrak {R}}\) is \(G_K\)-stable with \(d_{{\mathfrak {R}}}, \,d_{{\mathfrak {s}}} \in {\mathbb {Z}}\) and \(|k| > \#\{{\mathfrak {t}}< {\mathfrak {s}}: {\mathfrak {t}}\text { is } G_K- \text {stable} \}\).Footnote 1

Then there is a Möbius transformation \(\phi (z) = \frac{az+b}{cz+d}\) with \(a, b, c, d \in K\), such that \(\Sigma '\) is the cluster picture of \({\mathfrak {R}}' = \{\phi (r): r \in {\mathfrak {R}}\} \backslash \{\infty \}\) if \(|{\mathfrak {R}}|\) is even and of \({\mathfrak {R}}' = \{\phi (r): r \in {\mathfrak {R}}\cup \{\infty \}\}\backslash \{\infty \}\) if \(|{\mathfrak {R}}|\) is odd. Moreover, if \(y^2 = f(x)\) is a hyperelliptic curve, then there is a K-isomorphic curve given by a Weierstraß model whose cluster picture is \(\Sigma '\).

3 A basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\)

Let C/K be a semistable hyperelliptic curve of genus g defined by \(C: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-r)\). We write \(\omega _0 = \frac{dx}{2y}, \ldots , \omega _{g-1} = \frac{x^{g-1}\,dx}{2y}\) for the differentials associated to this equation and \(\omega := \omega _0 \wedge \ldots \wedge \omega _{g-1} \in \det H^0(C,\Omega ^1_{C/K})\). Let \({\mathcal {X}}\rightarrow \text {Spec}R\) be the minimal regular model of C. The main result of this section is Theorem 3.1, where we determine \(\lambda _C \in K\), such that \(\lambda _C \cdot \omega \) generates \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) as an R-module. Note that \(\lambda _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: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-r)\). We write \(\omega _0 = \frac{dx}{2y}, \ldots , \omega _{g-1} = \frac{x^{g-1}\,dx}{2y}\) for the differentials associated to this equation and \(\omega := \omega _0 \wedge \ldots \wedge \omega _{g-1} \in \det H^0(C,\Omega ^1_{C/K})\). Let \({\mathcal {X}}\rightarrow \text {Spec}R\) be the minimal regular model of C. Suppose that \(\lambda _C \cdot \omega \) is a basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\). Then

$$\begin{aligned} \begin{aligned} 8 \, v(\lambda _C) =&\; 4\, g \cdot v(c_f) + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-1)^2\\&~~~~+ d_{{\mathfrak {R}}} {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1 \end{array}\right. }. \end{aligned} \end{aligned}$$
(1)

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 \(\lambda \) 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 \(\lambda \) 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 \({\mathfrak {R}}\) of f is contained in R. Hence for any \(n \in {\mathbb {N}}\cup \{0\}\), there is a natural map

$$\begin{aligned} \rho _n: {\mathfrak {R}}\rightarrow R/{\mathfrak {p}}^n \end{aligned}$$

and one may define

$$\begin{aligned} {\mathcal {V}}_n = \{V \in R/{\mathfrak {p}}^n \mid \#\rho _n^{-1}(V) \ge 2\}. \end{aligned}$$

The set

$$\begin{aligned} {\mathcal {V}}(T) = \cup _{n\ge 0} {\mathcal {V}}_n \end{aligned}$$

naturally has the structure of a rooted tree. For each V in \({\mathcal {V}}(T)\), one defines \(\phi (V) = |\rho _n^{-1}(V)|\) and \(\gamma (V) = \lfloor (\phi (V) - 1)/2 \rfloor \).

Let us now compare the tree \({\mathcal {V}}(T)\) to the cluster picture of the equation. Clearly, \({\mathfrak {R}}\) corresponds to the vertex \(V_0\). Let \({\mathfrak {s}}= \{r_1, \ldots , r_m\} \subsetneq {\mathfrak {R}}\) be a proper cluster with depth \(d_{{\mathfrak {s}}}\) and relative depth \(\delta _{{\mathfrak {s}}}\). Then \(\rho _n({\mathfrak {s}}) \in {\mathcal {V}}_n\) if and only if \(d_{{\mathfrak {s}}} -\delta _{{\mathfrak {s}}}< n \le d_{{\mathfrak {s}}}\). Roughly speaking, for each proper cluster \({\mathfrak {s}}\subsetneq {\mathfrak {R}}\), the tree \({\mathcal {V}}(T)\) contains \(\delta _{{\mathfrak {s}}}\) copies of this cluster. Note that \(\delta _{{\mathfrak {s}}}\) is integral by assumption. On the other hand, it is easy to see that each vertex in \({\mathcal {V}}(T)\) corresponds to some proper cluster and the value \(\phi (V)\) is the cardinality of that cluster.

Lemma 3.3

Let C/K be a hyperelliptic curve defined by \(C: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-r)\). Assume that

  1. (i)

    \({\mathfrak {R}}\subset R\),

  2. (ii)

    \(v(r-s) \in 2{\mathbb {Z}}\) for all \( r,\, s \in {\mathfrak {R}}\),

  3. (iii)

    \(c_f\) is a unit in R,

  4. (iv)

    \(\#{\mathfrak {R}}= 2g+2\),

  5. (v)

    \(\#\{{\bar{r}} \,|\, r\in {\mathfrak {R}}\} \ge 3\).

Then \(v(\lambda _C)\) can be computed using Equation 1.

Proof

Under the conditions in the lemma, Equation 1 reduces to

$$\begin{aligned} 8 \,v(\lambda _C) = \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-1)^2. \end{aligned}$$
(2)

This formula is due to Kausz, see [4, Proposition 5.5.2.]. The formula in the original source reads as

$$\begin{aligned} \sum _{i=0}^{g-1} e_i = \frac{1}{2} \sum _{\begin{array}{c} V>V_0\\ \phi (V) \text { even} \end{array}} \gamma (V)(\gamma (V) + 1) + \frac{1}{2} \sum _{\begin{array}{c} V>V_0\\ \phi (V) \text { odd} \end{array}} \gamma (V)^2 \end{aligned}$$

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 \(\sum e_i = v(\lambda _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 \(\lambda _C\), see Remark 1.2. \(\square \)

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 \({\mathcal {X}}\rightarrow \text {Spec}R\). Let \(K'/K\) be a finite field extension. Write \(C'\) for the base-change of C to \(K'\), \(R' = {\mathcal {O}}_{K'}\) and \({\mathcal {X}}'\rightarrow \text {Spec}R'\) for the minimal regular model of \(C'\). Then

$$\begin{aligned} H^0({\mathcal {X}}', \omega _{{\mathcal {X}}'/R'}) = H^0({\mathcal {X}}, \omega _{{\mathcal {X}}/ R}) \otimes _R R' \end{aligned}$$

inside \(H^0(C', \Omega _{C'/K'}) = H^0(C, \Omega _{C/K}) \otimes _K K'\).

Proof

Let \({\mathcal {Y}}\rightarrow \text {Spec}R\) and \({\mathcal {Y}}' \rightarrow \text {Spec}R'\) be the stable models of C/K and \(C'/K'\) respectively. The stable model \({\mathcal {Y}}\) is obtained from \({\mathcal {X}}\) by contraction of all components \(\Gamma \) of the special fibre for which \(K_{{\mathcal {X}}/ R} . \Gamma = 0\). Write \(f: {\mathcal {X}}\rightarrow {\mathcal {Y}}\) for the contraction morphism. Since the intersection matrix of the contracted components is negative definite, it follows from [5, Corollary 9.4.18.] that \(\omega _{{\mathcal {X}}/R} = f_*\omega _{{\mathcal {Y}}/R}\). Therefore \( H^0({\mathcal {X}}, \omega _{{\mathcal {X}}/R}) = H^0({\mathcal {Y}},\omega _{{\mathcal {Y}}/R})\) inside \(H^0(C, \Omega _{C/K})\). By the same reasoning \( H^0({\mathcal {X}}', \omega _{{\mathcal {X}}'/ R'}) = H^0({\mathcal {Y}}',\omega _{{\mathcal {Y}}'/ R'})\). So it suffices to show that \(H^0({\mathcal {Y}}',\omega _{{\mathcal {Y}}'/R'}) = H^0({\mathcal {Y}},\omega _{{\mathcal {Y}}/R}) \otimes _R R'\).

We have \({\mathcal {Y}}' = {\mathcal {Y}}\times _R R'\) and by [5, Theorem 6.4.9.b] \(\omega _{{\mathcal {Y}}'/ R'} = p^* \omega _{{\mathcal {Y}}/R}\), where \(p : {\mathcal {Y}}\times _R R' \rightarrow {\mathcal {Y}}\) is the first projection. So the result follows from [5, Corollary 5.2.27]. \(\square \)

Lemma 3.5

Let C/K be a hyperelliptic curve with semistable reduction defined by \(C: y^2=f(x)\). Let \(K'/K\) be 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 \(\Sigma \) for the cluster picture associated to \(C:y^2 = f(x)\) and \(\Sigma '\) 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 \(\delta _{{\mathfrak {s}}}' = e_{K'/K} \cdot \delta _{{\mathfrak {s}}}\) for each proper cluster \({\mathfrak {s}}\ne {\mathfrak {R}}\) and \(d_{{\mathfrak {R}}}' = e_{K'/K} \cdot d_{{\mathfrak {R}}}\). We write \(R' := {\mathcal {O}}_{K'}\) and \(v'\) for the normalised valuation. That is \(v'(r) = e_{K'/K}\cdot v(r)\) for all \(r\in R\).

For \(\lambda _{C'}\), Equation 1 yields

$$\begin{aligned} 8\,v'(\lambda _{C'}) =&e_{K'/K} \cdot \Bigg (g \cdot v(c_f) + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}}(|{\mathfrak {s}}|-1)^2 \\&~~~~~~~~~+ d_{{\mathfrak {R}}} {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1 \end{array}\right. }\Bigg ).\\ \end{aligned}$$

From Proposition 3.4 it follows that \(v'(\lambda _{C'})=e_{K'/K} \cdot v(\lambda _C)\). So the above calculation shows that Formula 1 is true for C/K if and only if it is true for \(C'/K'\). \(\square \)

Definition 3.6

Let C/K be a hyperelliptic curve of genus g, defined by some Weierstraß equation \(y^2 =f(x)\). We denote by \(c_f\) the leading coefficient of f. Then the discriminant\(\Delta \) of the equation is defined as

$$\begin{aligned}\Delta := 2^{4g}\, c_f^{4g+2} \text {disc}\left( \frac{1}{c_f} \,f(x)\right) .\end{aligned}$$

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 \(\Delta \). We associate to this equation the differential forms \(\omega _0, \ldots , \omega _{g-1}\) and write \(\omega = \omega _0 \wedge \ldots \wedge \omega _{g-1} \in H^0(C,\Omega ^1_{C/K})\).

Then the element

$$\begin{aligned} \Lambda :=\Delta ^g \cdot \omega ^{\otimes 8g+4} \in (\det H^0(C,\Omega ^1_{C/K}))^{\otimes 8g+4} \end{aligned}$$

is called hyperelliptic discriminant of C.

The following proposition shows that \(\Lambda \) is well-defined.

Proposition 3.8

Let C/K be a hyperelliptic curve with hyperelliptic discriminant \(\Lambda \). Let \(y^2 =f(x)\) be some Weierstraß equation for C. We associate to this equation the elements \(\Delta \) and \(\lambda \). Then the following statements are true.

  1. 1.

    The element \(\Lambda \) is independent of the choice of equation.

  2. 2.

    Viewed as a rational section of \((\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R}))^{\otimes 8g+4}\), the order of vanishing in \({\mathfrak {p}}\) is given by

    $$\begin{aligned} \text {ord}_{{\mathfrak {p}}}(\Lambda ) = g\cdot v(\Delta ) - (8g+4) \cdot v(\lambda _C). \end{aligned}$$
  3. 3.

    Let \(y'^2 = g(x')\) be another equation defining the same curve with \(\Delta '\) and \(\lambda _{C'}\) the corresponding quantities. Then

    $$\begin{aligned} \frac{v(\Delta ') - v(\Delta )}{8g+4} = \frac{v(\lambda _{C'})-v(\lambda _C)}{g}. \end{aligned}$$

Proof

 

  1. 1.

    This is Proposition 2.2.1. in [4].

  2. 2.

    This follows from the definition of \(\Lambda \). See also [4, Sect. 5, Formula 1].

  3. 3.

    This is a direct consequence of the first two statements.

\(\square \)

Lemma 3.9

Let C/K be a hyperelliptic curve defined by \(C:y^2 =f(x)\) with \(f(x)=c_f\prod _{r\in {\mathfrak {R}}}(x-r)\) and \(v(c_f)\) in \(2{\mathbb {Z}}\). Then the curve \(C'/K\) defined by \(y'^2 = \prod _{r\in {\mathfrak {R}}}(x-r)\) is isomorphic to C over \(K^{nr}\) and

$$\begin{aligned} v(\lambda _C) = v(\lambda _{C'}) +g \cdot \frac{v(c_f)}{2}. \end{aligned}$$

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 \(y^2=c_f\prod _{r\in {\mathfrak {R}}}(x-r)\) is

$$\begin{aligned}\Delta = 2^{4g}\, c_f^{4g+2}\,\text {disc}\left( \prod _{r\in {\mathfrak {R}}}(x-r)\right) .\end{aligned}$$

So

$$\begin{aligned} v(\Delta ) = v(\Delta ') + (4g+2)\, v(c_f). \end{aligned}$$

Using part 3 of Proposition 3.8, we get

$$\begin{aligned} v(\lambda _C) = v(\lambda _{C'}) +g \cdot \frac{v(c_f)}{2}. \end{aligned}$$

\(\square \)

Lemma 3.10

Let C/K be a hyperelliptic curve and \(y^2 = f(x)\) a Weierstraß equation defining this curve. Let \(\Sigma \) be its cluster picture and \(\lambda _C\) the quantity associated to this equation.

Let \(y'^2=g(x')\) be a different equation for C. Denote by \(\Sigma '\) and \(\lambda _{C'}\) the corresponding elements.

  1. 1.

    If \(\Sigma '\) is obtained from \(\Sigma \) by increasing the depths of all clusters by some \(t\in {\mathbb {Z}}\), then

    $$\begin{aligned} v(\lambda _C) = v(\lambda _{C'}) - \frac{t}{8} \cdot {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1 \end{array}\right. }\\ \end{aligned}$$
  2. 2.

    If \(\Sigma '\) is obtained from \(\Sigma \) by adding a root to \({\mathfrak {R}}\), then

    $$\begin{aligned} v(\lambda _C) = v(\lambda _{C'}) - \frac{d_{{\mathfrak {R}}} (|{\mathfrak {R}}|-1)}{4}. \end{aligned}$$
  3. 3.

    If \({\mathfrak {R}}\) has even size and \(\Sigma '\) is obtained from \(\Sigma \) by redistributing the depth between \({\mathfrak {s}}<{\mathfrak {R}}\) and \({\mathfrak {R}}\backslash {\mathfrak {s}}\) to \(d_{{\mathfrak {s}}}' = d_{{\mathfrak {s}}} - t\) and \(d_{{\mathfrak {R}}\backslash {\mathfrak {s}}}' = d_{{\mathfrak {R}}\backslash {\mathfrak {s}}} +t\), then

    $$\begin{aligned} v(\lambda _C) = v(\lambda _{C'}) - t \cdot \frac{(|{\mathfrak {R}}|-2)(|{\mathfrak {R}}|-2|{\mathfrak {s}}|)}{8}. \end{aligned}$$

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.

  1. 1.

    By  [2, Lemma 16.6.(i)]

    $$\begin{aligned} v(\Delta ') - v(\Delta ) = t |{\mathfrak {R}}|(|{\mathfrak {R}}|-1). \end{aligned}$$

    Now Proposition 3.8 implies

    $$\begin{aligned} v(\lambda _{C'})-v(\lambda _C) =&\,g\cdot \frac{ t\, |{\mathfrak {R}}|(|{\mathfrak {R}}|-1)}{8g+4}\\ =&\,\frac{t}{8} \cdot {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1 \end{array}\right. }\\ \end{aligned}$$
  2. 2.

    By [2, Lemma 16.6.(ii)]

    $$\begin{aligned} v(\Delta ') - v(\Delta ) = 2\, d_{{\mathfrak {R}}}\, |{\mathfrak {R}}|. \end{aligned}$$

    Now Proposition 3.8 implies

    $$\begin{aligned} v(\lambda _{C'})-v(\lambda _C) =&g\cdot \frac{2\,d_{{\mathfrak {R}}}\, |{\mathfrak {R}}|}{8g+4}\\ =&\frac{|{\mathfrak {R}}|-1}{2} \cdot \frac{d_{{\mathfrak {R}}}}{2}. \end{aligned}$$
  3. 3.

    By [2, Lemma 16.6.(iv)]

    $$\begin{aligned} v(\Delta ') - v(\Delta ) = t \cdot (|{\mathfrak {R}}|-2|{\mathfrak {s}}|)(|{\mathfrak {R}}|-1). \end{aligned}$$

    Now Proposition 3.8 implies

    $$\begin{aligned} v(\lambda _{C'})-v(\lambda _C) =&g\cdot \frac{t (|{\mathfrak {R}}|-2|{\mathfrak {s}}|)(|{\mathfrak {R}}|-1)}{8g+4}\\ =&t\cdot \frac{|{\mathfrak {R}}|-2}{2} \cdot \frac{|{\mathfrak {R}}|-2|{\mathfrak {s}}|}{4}. \end{aligned}$$

\(\square \)

Proof of Theorem 3.1

Let C/K be a hyperelliptic curve with semistable reduction defined by \(C: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-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 \({\mathfrak {R}}\subset K\), \(v(r-s) \in 2{\mathbb {Z}}\) for all \(r,s \in {\mathfrak {R}}\), and \(v(c_f) \in 2 {\mathbb {Z}}\). Subtracting the correction term \(4g \cdot 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_{\mathfrak {R}}=0\) (see Proposition 2.3, part 1). By Lemma 3.10 this corresponds to subtracting \( d_{{\mathfrak {R}}} (|{\mathfrak {R}}|-2) |{\mathfrak {R}}|\) if \(|{\mathfrak {R}}| = 2g+2\) or \(d_{{\mathfrak {R}}} (|{\mathfrak {R}}|-1)^2\) if \(|{\mathfrak {R}}| = 2g+1\) from \(8v(\lambda _C)\). Note that decreasing the absolute depths does not change any relative depths.

In case that \(|{\mathfrak {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_{\mathfrak {R}}=0\), this does not change the valuation of \(\lambda _C\). After these two steps we are left with proving the simplified formula that already appeared in Lemma 3.3. That is

$$\begin{aligned} 8 \,v(\lambda _C) = \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-1)^2. \end{aligned}$$

with Conditions (ii), (iii) and (iv) of the lemma being satisfied and \(d_{{\mathfrak {R}}} =0\).

Without loss of generality we may always assume \(G_K\)-stability for clusters because the formula for \(\lambda _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 \({\mathfrak {s}}\) and \({\mathfrak {R}}\backslash {\mathfrak {s}}\). This allows us to manipulate the cluster picture such that \({\mathfrak {R}}\) has at least three children in the following way. Assume that \({\mathfrak {R}}\) has exactly two children, \({\mathfrak {s}}_1\) and \({\mathfrak {s}}_2\). Without loss of generality assume that \({\mathfrak {s}}_1\) is not a root, hence it has at least two children on its own, say \({\mathfrak {t}}_1\) and \({\mathfrak {t}}_2\). After redistributing depth between \({\mathfrak {s}}_1\) and \({\mathfrak {s}}_2\) in such a way that \(d_{{\mathfrak {s}}_1} = 0\), \({\mathfrak {s}}_1\) is no longer a cluster but \({\mathfrak {R}}\) has at least three children given by \({\mathfrak {t}}_1, {\mathfrak {t}}_2,{\mathfrak {s}}_2\). Together with the fact that \(d_{{\mathfrak {R}}}=0\), this implies Condition (v) of Lemma 3.3.

Let us show that the formula behaves well when redistributing depths. Let \({\mathfrak {s}}^* < {\mathfrak {R}}\) be a cluster in \(\Sigma \). Let \(\Sigma '\) be the cluster picture obtained after redistributing depth between \({\mathfrak {s}}^*\) and \({\mathfrak {R}}\backslash {\mathfrak {s}}^*\). That is \(d_{{\mathfrak {s}}^*}' = d_{{\mathfrak {s}}^*} - t\) and \(d_{{\mathfrak {R}}\backslash {\mathfrak {s}}^*}' = d_{{\mathfrak {R}}\backslash {\mathfrak {s}}^*} +t\) for some \(t\in {\mathbb {Z}}\). We have already seen in Lemma 3.10, part 3 that

$$\begin{aligned} 8\,\left( v(\lambda _{C'}) - v(\lambda _C)\right) =t \cdot (|{\mathfrak {R}}|-2)(|{\mathfrak {R}}|-2|{\mathfrak {s}}|). \end{aligned}$$

The calculation below shows that this equals the change on the right hand side of the equation.

$$\begin{aligned} \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}}&\delta _{{\mathfrak {s}}}' (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}}'(|{\mathfrak {s}}|-1)^2\\ =&\sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {s}}^*,{\mathfrak {R}}\backslash {\mathfrak {s}}^* \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd} \\ {\mathfrak {s}}\ne {\mathfrak {s}}^*,{\mathfrak {R}}\backslash {\mathfrak {s}}^* \end{array}} \delta _{{\mathfrak {s}}}(|{\mathfrak {s}}|-1)^2 \\&~~~~~+ {\left\{ \begin{array}{ll} (\delta _{{\mathfrak {s}}^*}-t) (|{\mathfrak {s}}^*|-2) |{\mathfrak {s}}^*| + (\delta _{{\mathfrak {R}}\backslash {\mathfrak {s}}^*}+t) (|{\mathfrak {R}}\backslash {\mathfrak {s}}^*|-2) |{\mathfrak {R}}\backslash {\mathfrak {s}}^*|, &{} |{\mathfrak {s}}^*|\text { even}\\ (\delta _{{\mathfrak {s}}^*}-t) (|{\mathfrak {s}}^*|-1)^2 + (\delta _{{\mathfrak {R}}\backslash {\mathfrak {s}}^*}+t) (|{\mathfrak {R}}\backslash {\mathfrak {s}}^*|-1)^2, &{} |{\mathfrak {s}}^*|\text { odd} \end{array}\right. }\\ =&\sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}}(|{\mathfrak {s}}|-1)^2\\&~~~~~~ + {\left\{ \begin{array}{ll} -t (|{\mathfrak {s}}^*|-2)|{\mathfrak {s}}^*|+ {t}(2g- |{\mathfrak {s}}^*|)(2g+2-|{\mathfrak {s}}^*|), &{} |{\mathfrak {s}}^*|\text { even}\\ -t(|{\mathfrak {s}}^*|-1)^2 + {t}(2g + 1 - |{\mathfrak {s}}^*|)^2, &{} |{\mathfrak {s}}^*|\text { odd} \end{array}\right. }\\ =&\sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}}(|{\mathfrak {s}}|-1)^2 + t (|{\mathfrak {R}}|-2)(|{\mathfrak {R}}|-2|{\mathfrak {s}}|) \end{aligned}$$

Now the only condition missing in order to apply Lemma 3.3 is \({\mathfrak {R}}\subset R\). We already have \({\mathfrak {R}}\subset K\). Since \(d_{{\mathfrak {R}}} =0\) and \(v(c_f) = 0\), it follows from [2, Theorem 13.3] that there exists \(z \in K\) such that \(f(x-z) \in R[x]\). Clearly, such a shift changes neither the cluster picture nor the valuation of \(\lambda \). Hence we may assume \({\mathfrak {R}}\subset R\) without adding a further correction term. \(\square \)

4 A basis for \(H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\)

Let C/K be a semistable hyperelliptic curve defined by a Weierstraß equation \(C: y^2=f(x)\) with \(f(x) = c_f\prod _{r\in {\mathfrak {R}}}(x-r)\). To this equation we associate the cluster picture \(\Sigma \). Let \({\mathcal {X}}\rightarrow \text {Spec}R\) be the minimal regular model of C. In this section we show how to read off a basis for the global sections of the canonical sheaf \(\omega _{{\mathcal {X}}/R}\) from the cluster picture \(\Sigma \). Our result is valid in a more general setting than [4, Proposition 5.5.1.] and at the same time simplifies the construction of the basis described therein.

Theorem 4.1

Let C/K be a semistable hyperelliptic curve defined by an integral Weierstraß equation \(C:y^2=f(x)\) with cluster picture \(\Sigma \). Let \({\mathcal {X}}/ R\) be the minimal regular model. Assume that the residue field k is algebraically closed.

Choose clusters \({\mathfrak {s}}_0, \ldots , {\mathfrak {s}}_{g-1}\) inductively such that

$$\begin{aligned} e_i = \frac{\nu _{{\mathfrak {s}}_i}}{2} - \sum _{j=0}^{i}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}_i} = \max \left( \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}}\right) , \end{aligned}$$

where the maximum is taken over all proper clusters in \(\Sigma \). If the maximal value is obtained by two different clusters \({\mathfrak {s}}\) and \({\mathfrak {s}}'\) with \({\mathfrak {s}}' \subset {\mathfrak {s}}\), choose \({\mathfrak {s}}_i = {\mathfrak {s}}\).

Then an R-basis for the global sections of the relative dualising sheaf \(\omega _{{\mathcal {X}}/R}\) is given by \((\mu _0, \ldots \mu _{g-1})\), where

$$\begin{aligned} \mu _i = \pi ^{e_i} \prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}. \end{aligned}$$

Note that the same cluster can appear multiple times in the sequence \({\mathfrak {s}}_0, \ldots , {\mathfrak {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_{{\mathfrak {s}}} \in K\) for every proper cluster \({\mathfrak {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 \(\lambda _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 \(\Sigma \) the associated cluster picture. Let the clusters \({\mathfrak {s}}_0, \ldots , {\mathfrak {s}}_{g-1} \in \Sigma \) be chosen according to Theorem 4.1. Then for every cluster \({\mathfrak {s}}\in \Sigma \):

$$\begin{aligned} \gamma ({\mathfrak {s}}) := \# \{{\mathfrak {s}}_i \,|\, {\mathfrak {s}}_i \subset {\mathfrak {s}}\} = \left\lfloor {\frac{|{\mathfrak {s}}|-1}{2}}\right\rfloor \end{aligned}$$

Proof

Since \(\gamma ({\mathfrak {R}}) = g\), the statement is true for \({\mathfrak {s}}= {\mathfrak {R}}\). Let \({\mathfrak {s}}\ne {\mathfrak {R}}\) and let \({\mathfrak {s}}'\) be the parent of \({\mathfrak {s}}\), that is \({\mathfrak {s}}< {\mathfrak {s}}'\). Then

$$\begin{aligned} d_{{\mathfrak {s}}} =&d_{{\mathfrak {s}}'} + \delta _{{\mathfrak {s}}},\\ \nu _{{\mathfrak {s}}} =&\nu _{{\mathfrak {s}}'}+\delta _{{\mathfrak {s}}}|{\mathfrak {s}}|,\\ d_{{\mathfrak {s}}_j\wedge {\mathfrak {s}}} =&{\left\{ \begin{array}{ll} d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}'} + \delta _{{\mathfrak {s}}} &{}\text { if } {\mathfrak {s}}_j \subset {\mathfrak {s}}\\ d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}'} &{}\text {otherwise} \end{array}\right. } ~~\text { for }j \in \{0, \ldots , i-1\}. \end{aligned}$$

So for any \(i \in \{0, \ldots ,g-1\}\)

$$\begin{aligned} \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}} = \frac{\nu _{{\mathfrak {s}}'}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}'} -d_{{\mathfrak {s}}'} + \delta _{{\mathfrak {s}}} \left( \frac{|{\mathfrak {s}}|}{2} - 1 -\# \{{\mathfrak {s}}_j \,|\, {\mathfrak {s}}_j \subset {\mathfrak {s}}, \;0 \le j \le i-1\}\right) . \end{aligned}$$

Assume that \({\mathfrak {s}}_i = {\mathfrak {s}}\), then by construction of the sequence \(({\mathfrak {s}}_j)\), it must hold that \(\frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}} > \frac{\nu _{{\mathfrak {s}}'}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}'} -d_{{\mathfrak {s}}'}\). The equation above then implies \( \# \{{\mathfrak {s}}_j \,|\, {\mathfrak {s}}_j \subset {\mathfrak {s}}, \;0 \le j \le i-1\} < \frac{|{\mathfrak {s}}|}{2} - 1\). Hence \(\{{\mathfrak {s}}_j \,|\, {\mathfrak {s}}_j \subset {\mathfrak {s}}, \;0 \le j \le i\} \le \frac{|{\mathfrak {s}}| -1}{2}\). Since this is true for every i, we may conclude \(\gamma ({\mathfrak {s}}) \le \lfloor \frac{|{\mathfrak {s}}|-1}{2} \rfloor \).

To show equality, we proceed by induction. Again let \({\mathfrak {s}}\ne {\mathfrak {R}}\) and assume that the statement holds for every cluster strictly containing \({\mathfrak {s}}\). If \(\gamma ({\mathfrak {s}}) < \lfloor \frac{|{\mathfrak {s}}|-1}{2} \rfloor \), then at any step i, we have \(\frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}} > \frac{\nu _{{\mathfrak {s}}'}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}'} -d_{{\mathfrak {s}}'}\), hence \({\mathfrak {s}}_i \ne {\mathfrak {s}}'\). This implies \(\gamma ({\mathfrak {s}}') = \sum _{{\mathfrak {t}}< {\mathfrak {s}}'}\gamma ({\mathfrak {t}})\). Using that \(|{\mathfrak {s}}'| = \sum _{{\mathfrak {t}}< {\mathfrak {s}}'}|{\mathfrak {t}}|\), \(\gamma ({\mathfrak {t}})\le \lfloor \frac{|{\mathfrak {t}}|-1}{2} \rfloor \) for every \({\mathfrak {t}}< {\mathfrak {s}}'\) and \(\gamma ({\mathfrak {s}}) <\lfloor \frac{|{\mathfrak {s}}|-1}{2} \rfloor \), we get

$$\begin{aligned} \gamma ({\mathfrak {s}}') = \sum _{{\mathfrak {t}}< {\mathfrak {s}}'} \gamma ({\mathfrak {t}})< \left\lfloor \frac{|{\mathfrak {s}}|-1}{2} \right\rfloor + \sum _{{\mathfrak {s}}\ne {\mathfrak {t}}< {\mathfrak {s}}'} \left\lfloor \frac{|{\mathfrak {t}}|-1}{2} \right\rfloor \le \left\lfloor \frac{\sum _{{\mathfrak {t}}< {\mathfrak {s}}'} |{\mathfrak {t}}| - 1}{2} \right\rfloor = \left\lfloor \frac{|{\mathfrak {s}}'|-1}{2} \right\rfloor . \end{aligned}$$

This yields a contradiction. So \(\gamma ({\mathfrak {s}}) = \lfloor \frac{|{\mathfrak {s}}|-1}{2} \rfloor \). \(\square \)

In order to prove Theorem 4.1, we have to show that the differential forms defined in the theorem are global sections of \(\omega _{{\mathcal {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 \({\mathcal {X}}\). For that purpose we use the description of \({\mathcal {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 \(\Gamma _{{\mathfrak {s}}} \subset {\mathcal {X}}_s\) for the component(s) corresponding to the principal cluster \({\mathfrak {s}}\). On the other hand, a disc \(D({\mathfrak {s}}) \subset {\bar{K}}\) is associated to a principal cluster \({\mathfrak {s}}\). Equations for \(\Gamma _{{\mathfrak {s}}}\) are now given in function of the disc \(D({\mathfrak {s}})\) in [2, Definition 5.4]. From this, we can conclude that there is an open neighbourhood \(U_{{\mathfrak {s}}}\) of the generic point of \(\Gamma _{{\mathfrak {s}}}\) which is contained in

$$\begin{aligned} \text {Spec}\left( R[x_{{\mathfrak {s}}},y_{{\mathfrak {s}}}]/ (y_{{\mathfrak {s}}}^2 - f_{{\mathfrak {s}}}(x_{{\mathfrak {s}}})) \right) \end{aligned}$$

with local coordinates

$$\begin{aligned} x_{{\mathfrak {s}}} = \frac{x-z_{{\mathfrak {s}}}}{\pi ^{d_{\mathfrak {s}}}}, \; y_{{\mathfrak {s}}} = \frac{y}{\pi ^{\nu _{{\mathfrak {s}}}/2}}. \end{aligned}$$

Lemma 4.3

Let C/K be a hyperelliptic curve defined by an integral Weierstraß equation \(C:y^2=f(x)\) and \(\Sigma \) the associated cluster picture. Let the clusters \({\mathfrak {s}}_0, \ldots , {\mathfrak {s}}_{g-1} \in \Sigma \) be chosen according to Theorem 4.1. Let \({\mathcal {X}}/R\) be the minimal regular model.

Then for any principal cluster \({\mathfrak {s}}\in \Sigma \), we have that \(-\left( \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}}\right) \) is a lower bound for the order of vanishing of the element \(\prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}\) along the component of the special fibre of \({\mathcal {X}}\) that corresponds to \({\mathfrak {s}}\).

Proof

Let \({\mathfrak {s}}\) be a principal cluster in \(\Sigma \) and denote by \(\Gamma _{{\mathfrak {s}}}\) the component (or possibly the two components) of the special fibre of \({\mathcal {X}}/R\) corresponding to this cluster.

It suffices to compute the order of vanishing of \(\prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}\) in an open neighbourhood U of the generic point of the component \(\Gamma _{{\mathfrak {s}}}\). We choose \(U = U_{{\mathfrak {s}}}\) as described in the paragraph preceding this lemma.

We can write

$$\begin{aligned} \prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}&= \prod _{j=0}^{i-1}(\pi ^{d_{{\mathfrak {s}}}} x_{{\mathfrak {s}}}+z_{{\mathfrak {s}}}-z_{{\mathfrak {s}}_{j}}) \cdot \frac{d(\pi ^{d_{{\mathfrak {s}}}}x_{{\mathfrak {s}}} +z_{{\mathfrak {s}}})}{2\pi ^{\nu _{{\mathfrak {s}}}/2}y_{{\mathfrak {s}}}}\\&=\prod _{j=0}^{i-1}\pi ^{d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}} \cdot (\pi ^{d_{{\mathfrak {s}}}-d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}} x_{{\mathfrak {s}}} - \frac{z_{{\mathfrak {s}}}-z_{{\mathfrak {s}}_{j}}}{\pi ^{d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}}}) \cdot \frac{\pi ^{d_{{\mathfrak {s}}}}}{\pi ^{\nu _{{\mathfrak {s}}}/2}} \frac{dx_{{\mathfrak {s}}}}{2y_{{\mathfrak {s}}}}\\&=\pi ^ {\sum _{j=0}^{i-1}d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j} + d_{{\mathfrak {s}}} - \frac{\nu _{{\mathfrak {s}}}}{2}} \cdot \prod _{j=0}^{i-1} (\pi ^{d_{{\mathfrak {s}}}-d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}} x_{{\mathfrak {s}}} - \frac{z_{{\mathfrak {s}}}-z_{{\mathfrak {s}}_{j}}}{\pi ^{d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}}}) \cdot \frac{dx_{{\mathfrak {s}}}}{2y_{{\mathfrak {s}}}}. \end{aligned}$$

Since \(d_{{\mathfrak {s}}} \ge d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}\) and \(\frac{z_{{\mathfrak {s}}}-z_{{\mathfrak {s}}_{j}}}{\pi ^{d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}}} \in R\) for all clusters \({\mathfrak {s}}, {\mathfrak {s}}_j \in \Sigma \), the element \(\prod _{j=0}^{i-1} (\pi ^{d_{{\mathfrak {s}}}-d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}} x_{{\mathfrak {s}}} - \frac{z_{{\mathfrak {s}}}-z_{{\mathfrak {s}}_{j}}}{\pi ^{d_{{\mathfrak {s}}\wedge {\mathfrak {s}}_j}}}) \frac{dx_{{\mathfrak {s}}}}{2y_{{\mathfrak {s}}}}\) is an integral section on \(\omega _{{\mathcal {X}}/R|_{U}}\). The statement of the lemma follows. \(\square \)

Proof of Theorem 4.1

Let \({\mathfrak {s}}_0, \ldots , {\mathfrak {s}}_{g-1}\) be a sequence constructed as described in the theorem and denote by \(\mu _0, \ldots , \mu _{g-1}\) the differential forms associated to this sequence.

Claim 1: The differentials \(\mu _0, \ldots \mu _{g-1}\) are global sections of \(\omega _{{\mathcal {X}}/R}\).

Here, we are going to make use of the fact that inside \(H^0(C, \Omega _{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 \(\mu _0, \ldots ,\mu _{g-1}\) are regular on the components of the special fibre corresponding to principal clusters. Let \(\Gamma _{{\mathfrak {s}}}\) be a component of the special fibre corresponding to a principal cluster \({\mathfrak {s}}\in \Sigma \). From Lemma 4.3, we know that \(-\left( \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}}\right) \) is a lower bound for the order of the element \(\prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}\) on \(\Gamma _{{\mathfrak {s}}}\). Since \(e_i = \max _{{\mathfrak {s}}\in \Sigma } \left( \frac{\nu _{{\mathfrak {s}}}}{2} - \sum _{j=0}^{i-1}d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}} -d_{{\mathfrak {s}}}\right) \), the order of \(\mu _i = \pi ^{e_i} \cdot \prod _{j=0}^{i-1}(x-z_{{\mathfrak {s}}_{j}}) \frac{dx}{2y}\) is non-negative on every such component.

For the horizontal part, we have to consider the restriction of \(\mu _i\) to the generic fibre. Clearly \(\mu _i \otimes 1 \in H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R}) \otimes _R K = H^0(C,\Omega _{C/K})\). This proves the first claim.

Claim 2: Let \(\lambda _C\) be the quantity defined in the previous section, then \(\sum _{i=0}^{g-1} e_i = v(\lambda _C)\). By definition we have

$$\begin{aligned} 2 \sum _{i=0}^{g-1} e_i~ = \sum _{i=0}^{g-1}\left( \nu _{{\mathfrak {s}}_{i}}- 2 \sum _{j=0}^{i} d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}_i}\right) . \end{aligned}$$

We divide this expression into two parts. For the first part, we use the formula from Remark 2.2 and get

$$\begin{aligned} \sum _{i=0}^{g-1}\nu _{{\mathfrak {s}}_{i}} =&\; \sum _{i=0}^{g-1} \left( v(c_f) + d_{{\mathfrak {R}}} |{\mathfrak {R}}| + \sum _{{\mathfrak {s}}\supset {\mathfrak {s}}_i} \delta _{{\mathfrak {s}}} |{\mathfrak {s}}|\right) =g (v(c_f) + d_{{\mathfrak {R}}} |{\mathfrak {R}}|) + \sum _{{\mathfrak {s}}\ne {\mathfrak {R}}} \delta _{{\mathfrak {s}}} |{\mathfrak {s}}| \gamma ({\mathfrak {s}}). \end{aligned}$$

The second part gives

$$\begin{aligned} 2 \sum _{i=0}^{g-1}\sum _{j=0}^{i} d_{{\mathfrak {s}}_j \wedge {\mathfrak {s}}_i} = 2\sum _{i\ge j} \left( \sum _{{\mathfrak {s}}\supset {\mathfrak {s}}_j\wedge {\mathfrak {s}}_i} \delta _{{\mathfrak {s}}} +d_{{\mathfrak {R}}} \right) = \sum _{{\mathfrak {s}}\ne {\mathfrak {R}}} \delta _{{\mathfrak {s}}} \gamma ({\mathfrak {s}})(\gamma ({\mathfrak {s}})+1) + d_{{\mathfrak {R}}} \gamma ({\mathfrak {R}})(\gamma ({\mathfrak {R}}) + 1). \end{aligned}$$

For the first equality, we used the fact that the depth of a proper cluster \({\mathfrak {t}}\) may be written as \(d_{{\mathfrak {t}}} = \sum _{{\mathfrak {s}}\supset {\mathfrak {t}}} \delta _{{\mathfrak {s}}} + d_{{\mathfrak {R}}}\). For the second equality, we used that \( \#\{{\mathfrak {s}}_j\wedge {\mathfrak {s}}_i \subseteq {\mathfrak {s}}~|~ j\le i\} = \left( {\begin{array}{c}\gamma ({\mathfrak {s}})+1\\ 2\end{array}}\right) \) for every proper cluster \({\mathfrak {s}}\). By Lemma 4.2, we have \(\gamma ({\mathfrak {s}}) = \lfloor \frac{|{\mathfrak {s}}|-1}{2}\rfloor \). Combining the two parts, we obtain

$$\begin{aligned} 8 \sum _{i=0}^{g-1} e_i~ =&~~ 4g \cdot v(c_f) + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { even}\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}} \cdot (|{\mathfrak {s}}|-2)|{\mathfrak {s}}| + \sum _{\begin{array}{c} |{\mathfrak {s}}| \text { odd},\\ {\mathfrak {s}}\ne {\mathfrak {R}} \end{array}} \delta _{{\mathfrak {s}}}(|{\mathfrak {s}}|-1)^2 \\&~~~~~~ + d_{{\mathfrak {R}}} {\left\{ \begin{array}{ll} (|{\mathfrak {R}}|-2)|{\mathfrak {R}}|, &{} \text {if }|{\mathfrak {R}}| = 2g+2,\\ (|{\mathfrak {R}}|-1)^2, &{} \text {if }|{\mathfrak {R}}| = 2g+1. \end{array}\right. } \end{aligned}$$

The claim now follows from Theorem 3.1.

Claim 3:\(\mu : = \mu _0 \wedge \ldots \wedge \mu _{g-1}\) is a basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\).

Let \(\omega _0, \ldots ,\omega _{g-1}\) denote the differentials associated to the Weierstraß equation \(C: y^2 = f(x)\). By construction, we have that

$$\begin{aligned} (\mu _0,\ldots ,\mu _{g-1}) = (\omega _0, \ldots ,\omega _{g-1}) \cdot A, \end{aligned}$$

where A is a matrix of the form \( A = \begin{pmatrix} \pi ^{e_0} &{} &{} *\\ &{} \ddots &{} \\ 0 &{} &{} \pi ^{e_{g-1}} \end{pmatrix}.\)

Therefore

$$\begin{aligned} \mu = \det (A) \cdot \omega _0 \wedge \ldots \wedge \omega _{g-1} = \pi ^{v(\lambda _C)} \cdot \omega _0 \wedge \ldots \wedge \omega _{g-1}. \end{aligned}$$

So by Theorem 3.1, \(\mu \) is a basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\).

We have seen that \(\mu _0,\ldots ,\mu _{g-1} \in H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\) and that \(\mu : = \mu _0 \wedge \ldots \wedge \mu _{g-1}\) is a basis for \(\det H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\). Therefore \((\mu _0,\ldots ,\mu _{g-1})\) is a basis for \(H^0({\mathcal {X}},\omega _{{\mathcal {X}}/R})\). \(\square \)