# On the de-Rham cohomology of hyperelliptic curves

- 102 Downloads

## Abstract

For any hyperelliptic curve *X*, we give an explicit basis of the first de-Rham cohomology of *X* in terms of Čech cohomology. We use this to produce a family of curves in characteristic \(p>2\) for which the Hodge-de-Rham short exact sequence does not split equivariantly; this generalises a result of Hortsch. Further, we use our basis to show that the hyperelliptic involution acts on the first de-Rham cohomology by multiplication by \(-1\), i.e., acts as the identity when \(p=2\).

## Keywords

Hyperelliptic curve de-Rham cohomology Čech cohomology Hodge-de-Rham short exact sequence Hyperelliptic involution## Mathematics Subject Classification

14F40 14G17 14H37## 1 Introduction

*X*over an algebraically closed field

*k*is defined as the hypercohomology of the de-Rham complex

*d*denotes the usual differential map \(f \mapsto df\). In particular, we have a long exact sequence relating \(H^*_\mathrm {dR}(X/k)\) to ordinary cohomology of the structure sheaf \( {\mathcal {O}}_X\) and of the sheaf \(\Omega _X\) of differentials on

*X*. The very general and famous fact that the Hodge-de-Rham spectral sequence degenerates at \(E_1\) (e.g., see [13]) means for our curve

*X*that the following main part of that long sequence is a short exact sequence, see Proposition 3.1:

*k*.

We now assume furthermore that a finite group *G* acts on our curve *X*. If \(p:= \mathrm {char}(k)\) does not divide the order of *G*, Maschke’s Theorem implies that the Hodge-de-Rham short exact sequence also splits as a sequence of modules over the group ring *k*[*G*].

However, the latter fact fails to be true in general when \(p>0\) does divide \(\mathrm {ord}(G)\). A counterexample has been constructed in the recent paper [4] by Hortsch. The main goal of this paper is to generalise that counterexample. More precisely, we will prove the following theorem, see Theorem 4.3 and Example 4.4.

## Theorem

Let \(p \ge 3\) and let \(q(z) \in k[z]\) be a monic polynomial of odd degree without repeated roots. Let *X* denote the hyperelliptic curve over *k* defined by the equation \(y^2=q(x^p-x)\) and let *G* denote the subgroup of \(\mathrm {Aut}(X)\) generated by the automorphism \(\tau \) given by \((x,y) \mapsto (x+1, y)\). Then the Hodge-de-Rham short exact sequence does not split as a sequence of *k*[*G*]-modules.

We remark that the hyperelliptic curves considered in this theorem are exactly those hyperelliptic curves \(y^2=f(x)\) which allow an automorphism that maps *x* to \(x+1\) and for which *f*(*x*) is of odd degree, see Example 4.4 and Proposition 4.6.

When \(q(z)= z\), the theorem above becomes the main theorem of [4]. Beyond [4], our theorem shows (see Remark 4.5) that, for every algebraically closed field *k* of characteristic \(p\ge 3\), there exist infinitely many \(g \ge 2\) and hyperelliptic curves *X* over *k* of genus *g* for which the Hodge-de-Rham short exact sequence does not split equivariantly. It also shows that, for every \(g \ge 2\), there exists a prime \(p\ge 3\) and hyperelliptic curves in characteristic *p* of genus *g* for which the Hodge-de-Rham short exact sequence does not split equivariantly.

In Example 4.8 and Remark 4.9 we show, using the modular curve \(X_0(22)\) for \(p=3\), that, without assuming the degree of *q*(*x*) to be odd, this theorem may be false.

To prove our main theorem, we follow the same broad strategy as in [4]: we give an explicit basis of \(H^1_\mathrm {dR}(X/k)\) in terms of Čech cohomology (in fact for an arbitrary hyperelliptic curve *X*), see Theorem 3.2, and study the action of \(\tau \) on that basis. The actual computations towards the end however do not generalise those in [4], see Remarks 3.5 and 4.7.

We provide a basis of \(H^1_\mathrm {dR}(X/k)\) for any hyperelliptic curve *X* also when \(p=2\) and use this to show that the hyperelliptic involution acts trivially on \(H^1_\mathrm {dR}(X/k)\) when \(p=2\). In fact, the hyperelliptic involution acts on \(H^1_\mathrm {dR}(X/k)\) by multiplication by \(-1\) for all *p*, see Theorem 4.1.

If \(p=2\), Elkin and Pries construct a subtler basis of \(H^1_\mathrm {dR}(X/k)\) in [2] which is suitable to study the action of Frobenius and Verschiebung and, finally, to determine the Ekedahl–Oort type.

## 2 Preliminaries

In this section, we introduce assumptions and notations used throughout this paper and collect and prove some auxiliary results.

*k*is an algebraically closed field of characteristic \(p \ge 0\) and that

*X*is a hyperelliptic curve over

*k*of genus \(g \ge 2\). We recall that a curve (always assumed to be smooth, projective and irreducible in this paper) is hyperelliptic if there exists a finite, separable morphism of degree two from the curve to \({\mathbb {P}}_k^1\). We fix such a map

*X*and of \({\mathbb {P}}_k^1\) (see [7, Remark 7.4.30]). Let \(K(X)/K({\mathbb P}^1_k)= k(x)\) denote the extension of function fields corresponding to \(\pi \). According to [7, Proposition 7.4.24 and Remark 7.4.25], we may and will furthermore assume the following concrete description of

*K*(

*X*).

*y*satisfies

*f*(

*x*) is of degree \(2g +1\) if \(\infty \in {\mathbb P}^1_k\) is a branch point of \(\pi \) and of degree \(2g+2\) otherwise. The branch points of \(\pi \) are then the roots of

*f*(

*x*), together with \(\infty \in {\mathbb P}^1_k\) if \(\mathrm {deg}(f(x)) = 2g+1\).

*y*satisfies

*h*(

*x*) have no common roots in

*k*; moreover, we have \(d:=\mathrm {deg}(h(x)) \le g+1\), with equality if and only if \(\infty \) is not a branch point of \(\pi \). The branch points of \(\pi \) are the roots of

*h*(

*x*), together with \(\infty \in {\mathbb P}^1_k\) if \(d<g+1\).

The following estimate for the order of *y* above \(\infty \) is true for both \(p \not =2\) and \(p=2\).

## Lemma 2.1

## Proof

This is [5, Inequality (5.2)]. \(\square \)

## Lemma 2.2

If \(p \not =2\), let \(\omega := \frac{dx}{y}\) and, if \(p=2\), let \(\omega := \frac{dx}{h(x)}\). Then the differentials \(\omega , x\omega , \ldots , x^{g-1}\omega \) form a basis of the *k*-vector space \(H^0(X, \Omega _X)\) of global holomorphic differentials on *X*.

## Proof

This is [7, Proposition 7.4.26]. \(\square \)

## Remark 2.3

A different basis of \(H^0(X,\Omega _X)\) is given in [8, Lemma 5]. The action of the Cartier operator on \(H^0(X,\Omega _X)\) is studied in [10] and [14].

## Lemma 2.4

## Proof

*P*and \(\delta _P\) denotes the order of the ramification divisor of \(\pi \) at

*P*. It is easy to see that \(\mathrm {ord}_\infty (dx) = -2\). Therefore \(\mathrm {ord}_P(dx) = -2\) if \(\pi \) is unramified at

*P*. On the other hand, if \(\pi \) is ramified at

*P*, we have \(\delta _P = 2(g+1-d)\) by [5, Equation (5.3)] and hence

*X*formed by \(U_0\) and \(U_\infty \). Given any sheaf \(\mathcal F\) on

*X*we have the Čech differential \(\check{d}:\mathcal{F}(U_0) \times \mathcal{F} (U_\infty ) \rightarrow \mathcal{F}(U_0 \cap U_\infty )\), defined by \((f_0,f_\infty ) \mapsto f_0|_{U_0 \cap U_\infty } - f_\infty |_{U_0 \cap U_\infty }\). In general we will suppress the notation denoting the restriction map. The first cohomology group \(\frac{ {\mathcal {O}}_X(U_0 \cap U_\infty )}{\mathrm{Im}(\check{d})}\) of the cochain complex

*f*].

## Proposition 2.5

The elements \(\frac{y}{x}, \ldots , \frac{y}{x^g} \in K(X)\) are regular on \(U_0 \cap U_\infty \), and their residue classes \(\left[ \frac{y}{x} \right] , \ldots , \left[ \frac{y}{x^g} \right] \) form a basis of \(H^1(X, {\mathcal {O}}_X)\).

## Proof

By [7, Proposition 7.4.24(b)], we may identify \( {\mathcal {O}}_X(U_\infty )\) with the *k*-algebra *k*[*x*, *y*] defined by the relation given in (1) or (2). Then \( {\mathcal {O}}_X(U_0 \cap U_\infty )\) is \(k[x^{\pm 1},y]\). As the relations in (1) and (2) are quadratic in *y*, the elements \(\ldots , \frac{1}{x^2}, \frac{1}{x}, 1, x, x^2, \ldots \) and \(\ldots , \frac{y}{x^2}, \frac{y}{x}, y, xy, x^2y, \ldots \) form a *k*-basis of \(k[x^{\pm 1},y]\). The elements \(1, x, x^2, \ldots \) and \(y, xy, x^2y, \ldots \) obviously form a basis of the image of \( {\mathcal {O}}_X(U_\infty )\) in \( {\mathcal {O}}_X(U_0\cap U_\infty )\). By [7, Proposition 7.4.24(b)], the image of \( {\mathcal {O}}_X(U_0)\) in \( {\mathcal {O}}_X(U_0\cap U_\infty )\) consists of elements of the form \(g\left( \frac{1}{x}, \frac{y}{x^{g+1}}\right) \) where \(g \in k[s,t]\). Hence, the elements \(\ldots , \frac{1}{x^2}, \frac{1}{x}, 1\) and \(\ldots \frac{y}{x^{g+3}}, \frac{y}{x^{g+2}}, \frac{y}{x^{g+1}}\) form a basis of that image. We conclude that the residue classes \(\left[ \frac{y}{x} \right] , \ldots , \left[ \frac{y}{x^g} \right] \) form a basis of \(H^1(X, {\mathcal {O}}_X)\), as was to be shown. \(\square \)

## Remark 2.6

Let \(\omega _j := \frac{x^{j-1}}{y} {dx}\) when \(p \not =2\) and let \(\omega _j =\frac{ x^{j-1}}{h(x)}{dx}\) when \(p=2\). Then, by Lemma 2.2, the elements \(\omega _j\), \(j=1, \ldots , g\), form a *k*-basis of \(H^0(X,\Omega _X)\). Let \(\langle , \rangle :H^0(X, \Omega _X) \times H^1(X, {\mathcal {O}}_X) \rightarrow k\) denote the Serre duality pairing. Then \(\langle \omega _j,\left[ \frac{y}{x^i} \right] \rangle \) vanishes if \(j \not = i\) and is non-zero if \(j=i\), see the proof of [12, Theorem 4.2.1]. In other words, up to multiplication by scalars, the basis \(\left[ \frac{y}{x^i} \right] \), \(i=1, \ldots , g\), of \(H^1(X, {\mathcal {O}}_X)\), given in Proposition 2.5, is dual to the basis \(\omega _j\), \(j=1, \ldots , g\), with respect to Serre duality.

## 3 Bases of \(H^1_\text {dR}(X/k)\)

The object of this section is to give an explicit *k*-basis for the first de-Rham cohomology group \(H^1_\mathrm {dR}(X/k)\) using Čech cohomology. If \(p \not = 2\), we will moreover refine our result when another open subset is added to our standard open cover of *X*.

*X*is defined to be the hypercohomology of the de-Rham complex

*d*denotes the usual differential map \(f \mapsto df\). We use the cover \(\mathcal U\) and the Čech differentials defined in the previous section to obtain the Čech bicomplex of (5):By a generalisation of Leray’s theorem [3, Corollaire 12.4.7] and Serre’s affineness criterion [7, Theorem 5.2.23], the first de-Rham cohomology of

*X*is isomorphic to the first cohomology of the total complex of (6). Thus, \(H^1_\mathrm {dR}(X/k)\) is isomorphic to the quotient of the space

*X*degenerates at \(E_1\) (see [13]). This is in fact true for every smooth, proper curve

*X*over

*k*, see Example (2) in Section (1.5) of [13].

## Proposition 3.1

We will call the sequence (11) the *Hodge-de-Rham short exact sequence*.

An elementary proof of Proposition 3.1 (that works for every smooth projective curve) can be found in [12, Proposition 4.1.2]; the main ingredient there is just the fact that the residue of differentials of the form *df* vanishes at every point of *X* and that hence the obvious composition \(H^1(X, {\mathcal {O}}_X) \rightarrow H^1(X, \Omega _X) \overset{\sim }{\rightarrow } k\) is the zero map. For a hyperelliptic curve *X*, the surjectivity of *p* will also be verified in the proof of Theorem 3.2 below.

In order to state a basis of \(H^1_\mathrm {dR}(X/k)\), we now define certain polynomials. To this end, we introduce the notations \(f^{\le m}(x):= a_0 + \cdots +a_mx^m\) and \(f^{> m}(x):=a_{m+1}x^{m+1}+ \cdots + a_nx^n\) for any polynomial \(f(x):= a_0 + \cdots + a_n x^n \in k[x]\) and any \(m \ge 0\). Let \(1 \le i \le g\).

*k*[

*x*]-module generated by 1 and

*y*) and put \(\psi _i(x,y) := s_i^{\le i}(x,y)\) and \(\phi _i(x,y) := s_i^{> i}(x,y)\) where now the operations \(\le i\) and \(> i\) are applied to both the coefficients \(xf'(x)\) and \(xh'(x) + ih(x)\). Again we have \(s_i(x,y) = \psi _i(x,y)+ \phi _i(x,y)\).

We now give a basis of \(H^1_\mathrm {dR}(X/k)\) in terms of the polynomials just introduced and using the presentation of \(H^1_\mathrm {dR}(X/k)\) developed above.

## Theorem 3.2

*k*-basis of \(H^1_\mathrm {dR}(X/k)\).

*k*-basis of \(H^1_\mathrm {dR}(X/k)\).

## Remark 3.3

## Proof

The elements in (13) and (15) are the images under the map *i* of the differentials \(\frac{x^i}{y}dx, i=0, \ldots , g-1\), and \(\frac{x^i}{h(x)}dx, i=0, \ldots , g-1\), respectively, which form a basis of \(H^0(X, \Omega _X)\) by Lemma 2.2. Furthermore, provided the elements in (12) and (14) are well-defined elements of \(H^1_\mathrm {dR}(X/k)\), these elements are mapped to the elements \([\frac{y}{x^i}], i=1, \ldots , g\), under *p*, which form a basis of \(H^1(X, {\mathcal {O}}_X)\) by Proposition 2.5. By Proposition 3.1, it therefore suffices to check that the elements in (12) and (14) are well-defined elements of \(H^1_\mathrm {dR}(X/k)\).

We first consider the case \(p \not = 2\). As \(\frac{dx}{y}\) is a regular differential on \(X= U_0 \cup U_\infty \) by Lemma 2.2, it suffices to observe that each of the functions \(\frac{\psi _i(x)}{x^{i+1}}\), \(i=1, \ldots , g\), is regular on \(U_0\) (in fact has a zero at \(\infty \)) and that each of the functions \(\frac{\phi _i(x)}{x^{i+1}}\), \(i=1, \ldots , g\), is regular on \(U_\infty \).

We now turn to the case \(p=2\). As above, we know from Lemma 2.2 that \(\frac{dx}{h(x)}\) is regular on \(X=U_0 \cup U_\infty \). Furthermore, for every \(i \in \{1, \ldots , g\}\), the function \(\frac{\phi _i(x,y)}{x^{i+1}}\) is regular on \(U_\infty \) since *y* is regular on \(U_\infty \) and since, by definition of \(\phi _i(x,y)\), the *k*[*x*]-coefficients of 1 and *y* in \(\phi _i(x,y)\) are divisible by \(x^{i+1}\). Hence \(\frac{\phi _i(x,y)}{x^{i+1}h(x)} dx\) is regular on \(U_\infty \), as was to be shown. It remains to show that \( \frac{\psi _i(x,y)}{x^{i+1}h(x)} dx\) is regular on \(U_0\). As \(\frac{\psi _i(x,y)}{x^{i+1}}\) and \(\frac{dx}{h(x)}\) are regular on \(U_0 \cap U_\infty \), this amounts to showing that \( \frac{\psi _i(x,y)}{x^{i+1}h(x)} dx\) is regular above \(\infty \).

*dx*has a pole of order 2 at each of the two points \(P_\infty \), \(P'_\infty \in X\) above \(\infty \). Furthermore, the

*k*[

*x*]-coefficient of 1 in \(\psi _i(x,y)\) has a pole at \(P_\infty \) and \(P'_\infty \) of order at most

*i*and the

*k*[

*x*]-coefficient of

*y*has a pole at \(P_\infty \) and \(P'_\infty \) of order at most \(i-1\) since the coefficient of \(x^i\) in \(xh'(x) + ih(x)\) is zero (remember \(\text {char}(k)=2\)). Moreover,

*y*has a pole at \(P_\infty \) and \(P'_\infty \) of order at most \(g+1\) by Lemma 2.1. Finally, \(\frac{1}{h(x)}\) has a zero at \(P_\infty \) and \(P'_\infty \) of order \(d=\text {deg}(h(x)) = g+1\). Putting all this together we obtain

*dx*at \(P_\infty \) is \(2(g-1-d)\) where \(d= \mathrm {deg}(h(x))\). For similar reasons as above, the

*k*[

*x*]-coefficients of 1 and

*y*in \(\psi _i(x,y)\) have a pole at \(P_\infty \) of order at most 2

*i*and \(2(i-1)\), respectively, and \(\frac{1}{h(x)}\) has a zero at \(P_\infty \) of order 2

*d*. Finally,

*y*has a pole at \(P_\infty \) of order at most \(2(g+1)\) by Lemma 2.1. Putting all this together we obtain

*X*. Similarly to (7) and (8), the first de-Rham cohmology group \(H^1_\mathrm {dR}(X/k)\) is then isomorphic to the

*k*-vector space

*k*[

*x*] for \(1 \le i \le g\) so that \(r_i(x) + t_i(x) = (x-a)^g\).

## Proposition 3.4

## Remark 3.5

This description of \(\rho ^{-1}(\gamma _i)\) does not generalise the description given in Lemma 3.3 of [4] in case of the hyperelliptic curve \(y^2 = x^p - x\). In fact, the proof of that lemma seems to contain various mistakes.

## Proof

We fix \(i \in \{1, \ldots , g\}\). We obviously only need to show that the sextuple on the right-hand side of (19) is a well-defined element of the space (16).

From the proof of Theorem 3.2 we already know that \({d(f_{0 \infty i}) = \omega _{0 i} - \omega _{\infty i}}\) and that \({f_{0 \infty i}, \omega _{0 i}}\) and \({\omega _{\infty i}}\) are regular on the appropriate open sets.

The function \(f_{0ai}\) is obviously regular above \({\mathbb P}^1_k \backslash \{0, a, \infty \}\). We furthermore observe that \(\mathrm {ord}_\infty \left( \frac{r_i(x)}{x^i (x-a)^g}\right) \ge -(i-1) +i +g = g+1\) and that, by Lemma 2.1, the order of *y* above \(\infty \) is at least \(-2(g+1)\) or at least \(-(g+1)\) depending on whether \(\infty \) is a branch point of \(\pi \) or not. Thus, \({f_{0ai}}\) is regular above \(\infty \) and hence on \({U_0 \cap U_a}\).

As above, the function \(f_{a \infty i}\) is regular above \({\mathbb P}^1_k \backslash \{0, a, \infty \}\). Furthermore, the functions \(\frac{t_i(x)}{x^i}\), *y* and \(\frac{1}{(x-a)^g}\) are obviously regular above 0. Therefore, \({f_{a \infty i}}\) is regular above 0 as well and hence on \({U_a \cap U_\infty }\).

## 4 Actions on \(H^1_\mathrm {dR}(X/k)\)

In this section we study the action of certain automorphisms on \(H^1_\mathrm {dR}(X/k)\). We first prove that the hyperelliptic involution acts by multiplication by \(-1\) on \(H^1_\mathrm {dR}(X/k)\) when \(p\not = 2\) and as the identity when \(p=2\). We then give a family of hyperelliptic curves for which the Hodge-de-Rham short exact sequence (11) does not split equivariantly.

## Theorem 4.1

The hyperelliptic involution acts on \(H^1_\mathrm {dR}(X/k)\) by multiplication by \(-1\).

## Proof

Recall that the hyperelliptic involution is the unique non-trivial automorphism \(\sigma \) of *X* such that \( \pi \circ \sigma = \pi \).

If \(p\not = 2\), the involution \(\sigma \) acts on *K*(*X*) by \((x,y) \mapsto (x,-y)\). Hence, \(\sigma \) maps each entry of the triples in (12) and (13) to its negative. Thus, the \(p \not = 2\) part of Theorem 3.2 implies Theorem 4.1.

*K*(

*X*) by \((x,y) \mapsto (x,y+h(x))\). In particular, it fixes the basis elements (15) of \(H^1_\mathrm {dR}(X/k)\). According to the \(p=2\) part of Theorem 3.2, it remains to show that \(\sigma \) also fixes the residue classes \([(\omega _{0i}, \omega _{\infty i}, f_{0 \infty i})], i=1, \ldots , g\), in (14). For \(i \in \{1, \ldots , g\}\), this follows from the description of \(H^1_\mathrm {dR}(X/k)\) given in (7) and (8) and from the equation

## Remark 4.2

If \(p\not =2\), Theorem 4.1 can also be proved as follows. By Lemma 2.2, the involution \(\sigma \) acts by multiplication by \(-1\) on \(H^0(X,\Omega _X)\). By Serre duality, it then acts by multiplication by \(-1\) also on \(H^1(X, {\mathcal {O}}_X)\). Finally, by Maschke’s Theorem (for the cyclic group of order 2) applied to the Hodge-de-Rham short exact sequence (11), it acts by multiplication by \(-1\) also on \(H^1_\mathrm {dR}(X/k)\).

*X*induces a map \(\bar{\tau } :{\mathbb {P}}_k^1 \rightarrow {\mathbb {P}}_k^1\) since \(\mathbb {P}_k^1\) is the quotient of

*X*by the hyperelliptic involution and since the hyperelliptic involution \(\sigma \) belongs to the centre of \(\mathrm {Aut}(X)\) (see [7, Corollary 7.4.31]). The following commutative diagram visualises this situation:

## Theorem 4.3

Let \(p \ge 3\). We assume that the degree of the polynomial *f*(*x*) defining the hyperelliptic curve *X* is odd. We furthermore assume that there exists \(\tau \in \mathrm {Aut}(X)\) such that the induced map \(\bar{\tau }:{\mathbb {P}}_k^1 \rightarrow {\mathbb {P}}_k^1\) is given by \(x \mapsto x+a\) for some \(a \not = 0\). Let *G* denote the subgroup of \(\mathrm {Aut}(X)\) generated by \(\tau \). Then the Hodge-de-Rham short exact sequence (11) does not split as a sequence of *k*[*G*]-modules.

The following example explicitly describes hyperelliptic curves that allow an automorphism \(\tau \) as assumed in the previous theorem.

## Example 4.4

Let \(p \ge 3\), let \(a \in k^\times \) and let \(q(z) \in k[z]\) be any monic polynomial without repeated roots. Then \(f(x) := q(x^p - a^{p-1}x) \in k[x]\) obviously has no repeated roots either and thus \(y^2=f(x)\) defines a hyperelliptic curve *X*. Moreover, \((x,y) \mapsto (x+a,y)\) defines an automorphism \(\tau \) of *X* and the induced automorphism \(\bar{\tau }\) is given by \(x \mapsto x+a\).

## Remark 4.5

- (a)
When applied to \(a=1\) and to the hyperelliptic curve

*X*given by \(q(z) = z\) in Example 4.4, Theorem 4.3 becomes the main theorem of [4]. - (b)
Theorem 4.3 and Example 4.4 imply that, for every algebraically closed field

*k*of characteristic \(p\ge 3\), there exist infinitely many \(g \ge 2\) and hyperelliptic curves over*k*of genus*g*for which the Hodge-de-Rham spectral sequence does not split equivariantly. - (c)
Suppose \(g \ge 2\) is given. If

*p*is a prime divisor of \(2g+1\) then, according to Theorem 4.3 and Example 4.4, every monic polynomial \(q(z) \in k[z]\) of degree \((2g+1)/p\) without repeated roots defines a hyperelliptic curve*X*of genus*g*for which the Hodge-de-Rham sequence does not split equivariantly.

The following proposition shows that any hyperelliptic curve satisfying the assumptions of Theorem 4.3 is in fact of the form as given in Example 4.4.

## Proposition 4.6

Let \(p \ge 3\) and let \(\tau \in \mathrm {Aut}(X)\). If the induced isomorphism \(\bar{\tau } :{\mathbb {P}}_k^1 \rightarrow {\mathbb {P}}_k^1\) is given by \(x \mapsto x+ a\) for some \(a \not = 0\), then the action of \(\tau ^*\) on *y* is given by \(\tau ^*(y) = y\) or \(\tau ^*(y) = -y\) and *f*(*x*) is of the form \(f(x) = q(x^p-a^{p-1} x)\) for some polynomial \(q \in k[z]\) without repeated roots.

## Proof

*k*(

*x*) such that

*k*(

*x*). By comparing the degrees in (20) we see that \(g_2(x)\) is a constant, and then by comparing coefficients in the same equation we see that \(g_2(x)^2 = 1\). Hence \(\tau ^*(y) = \pm y\), as claimed.

We now show that *f*(*x*) is of the form \(q(x^p-a^{p-1}x)\). The extension \(k(x)= k(z,x)\) of the rational function field *k*(*z*) obtained by adjoining an element *x* satisfying the equation \(x^p-a^{p-1}x-z=0\) is a Galois extension with cyclic Galois group generated by the automorphism \(x \mapsto x+a\). We derived above that \(f(x) = f(x+a)\). Hence *f*(*x*) belongs to *k*(*z*). Furthermore, *x* and hence *f*(*x*) is integral over *k*[*z*]. Therefore, \(f(x)\in k(z)\) belongs to *k*[*z*], i.e., \(f(x) = q(x^p-a^{p-1}x)\) for some \(q \in k[z]\) without repeated roots, as was to be shown. \(\square \)

## Proof of Theorem 4.3

*k*[

*G*]-linear splitting map. Then we have

*k*[

*G*]-linear and maps \(\gamma _g\) to the residue class \(\left[ \frac{y}{x^g} \right] \), it follows that

*dx*is a basis of \(\Omega _{K(X)}\) considered as a

*K*(

*X*)-vector space, the equation above is equivalent to the equation

*k*(

*x*)) which in turn is equivalent to the equation

*f*(

*x*) is odd means that the degree of

*f*(

*x*) is precisely \(2g+1\). By definition, the terms of highest degree in \(\phi _g(x)\) are the same as the terms of highest degree in

## Remark 4.7

While the method of calculating \(\tau ^*\left( \left[ \frac{y}{x^g}\right] \right) \) and \(\tau ^*(\gamma _g)\) in the proof above is the same as in [4], the actual computations do not generalise those in [4], not only due to Remark 3.5 but also because of further mistakes in [4]. Finally, the argument in the proof above for obtaining the desired contradiction is different from the one in [4] the very end of which has unfortunately not been carried out anyway.

We conclude with an example which demonstrates that the requirement in Theorem 4.3 of *f*(*x*) to be of odd degree is a necessary condition.

## Example 4.8

*X*be the hyperelliptic curve of genus 2 defined by the equation

*X*given by \((x,y) \mapsto (x+1,y)\) and let \(G:= \langle \tau \rangle \).

*k*by

*s*is

*k*[

*G*]-linear, the sequence in Proposition 3.1 does split as a sequence of

*k*[

*G*]-modules.

*s*is

*k*[

*G*]-linear. By Proposition 3.4, the pre-images of \(\gamma _1\) and \(\gamma _2\) under \(\rho \) in \(\check{H}^1_\mathrm {dR}({\mathcal {U}}'')\) are the residue classes of

*s*is

*k*[

*G*]-linear, and the Hodge-de-Rham short exact sequence (11) splits.

## Remark 4.9

The curve *X* defined in the previous example is isomorphic to the modular curve \(X_0(22)\).

If \(g(x) = a_sx^s + \cdots + a_0\) with \(a_0 \ne 0 \ne a_s\), we define \(g^*(x) := a_0^{-1}x^sg\left( \frac{1}{x}\right) \). It is stated after Lemma 2.6 in [6] that, if \(y^2 = g(x)\) defines a hyperelliptic curve and *s* is even, then the curves defined by \(y^2=g(x)\) and \(y^2 = g^*(x)\) are isomorphic.

## Notes

## Acknowlegements

The authors would like to thank the referees for carefully reading the paper and for their elaborate and helpful comments.

## Competing interests

The authors declare that they have no competing interests.

## References

- 1.Bouw, I.I.: The p-rank of ramified covers of curves. Compos. Math.
**126**(3), 295–322 (2001)MathSciNetCrossRefMATHGoogle Scholar - 2.Elkin, A., Pries, R.: Ekedahl-Oort strata of hyperelliptic curves in characteristic 2. Algebra Number Theory
**7**(3), 507–532 (2013)MathSciNetCrossRefMATHGoogle Scholar - 3.Grothendieck, A.:
*Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I*, no. 11. Inst. Hautes Études Sci. Publ. Math. (1961)Google Scholar - 4.Hortsch, R.: On the canonical representation of curves in positive characteristic. N. Y. J. Math.
**18**, 911–924 (2012)MathSciNetMATHGoogle Scholar - 5.Köck, B., Tait, J.: Faithfulness of actions on Riemann-Roch spaces. Canad. J. Math.
**67**(4), 848–869 (2015)MathSciNetCrossRefMATHGoogle Scholar - 6.Kontogeorgis, A., Yang, Y.: Automorphisms of hyperelliptic modular curves \(X_0(N)\) in positive characteristic. LMS J. Comput. Math.
**13**, 144–163 (2010)MathSciNetCrossRefMATHGoogle Scholar - 7.Liu, Q.: Algebraic geometry and arithmetic curves. In: Oxford Graduate Texts in Mathematics, vol. 6. Oxford University Press, Oxford. Translated from the French by Reinie Erné, Oxford Science Publications (2002)Google Scholar
- 8.Madden, D.J.: Arithmetic in generalized Artin-Schreier extensions of \(k(x)\). J. Number Theory
**10**(3), 303–323 (1978)MathSciNetCrossRefMATHGoogle Scholar - 9.Stichtenoth, H.: Algebraic Function Fields and Codes. Universitext. Springer, Berlin (1993)MATHGoogle Scholar
- 10.Subrao, D.: The p-rank of Artin-Schreier curves. Manuscripta Math.
**16**(2), 169–193 (1975)MathSciNetCrossRefMATHGoogle Scholar - 11.Sullivan, F.J.: \(p\)-torsion in the class group of curves with too many automorphisms. Arch. Math. (Basel)
**26**, 253–261 (1975)MathSciNetCrossRefMATHGoogle Scholar - 12.Tait, J.: Group actions on differentials of curves and cohomology bases of hyperelliptic curves. PhD thesis, University of Southampton (2014)Google Scholar
- 13.Wedhorn, T.: De Rham cohomology of varieties over fields of positive characteristic. In: Higher-Dimensional Geometry Over Finite Fields, pp. 269–314. NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 16, IOS, Amsterdam (2008)Google Scholar
- 14.Yui, N.: On the Jacobian varieties of hyperelliptic curves over fields of characteristic \(p>2\). J. Algebra
**52**(2), 378–410 (1978)MathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.