arxiv: v1 [math.nt] 23 Nov 2018

Transcription

1 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD SOPHIE MARQUES AND JACOB WARD arxiv: v1 [math.nt] 3 Nov 018 Abstract. In the present work, we determine explicitly the genus of any separable cubic extension of any global function field given the minimal polynomial of the extension. We give algorithms computing the ramification data and the genus of any separable cubic extension of any global rational function field. MSC Code (primary): 11T MSC Codes (secondary): 11R3, 11R16, 11T55, 11R58 Keywords: Cyclotomy, cubic, function field, finite field, Galois Contents Introduction 1 1. Notation. Function fields 3.1. Constant extensions 3.. Ramification 4.3. Riemann-Hurwitz formulae X 3 a, a P K, p X 3 3X a, a P K, p X 3 `ax `a, a P K, p 3 16 Appendix: Algorithm for computing the genus of a cubic equation over F q pxq 17 References 33 Introduction In[4], we proved that any separable cubic extension of an arbitrary field admits a generator y, explicitly determined in terms of an arbitrary initial generating equation, such that (1) y 3 a, with a P F, or () (a) y 3 3y a, with a P F, when p 3, or (b) y 3 `ay `a 0, with a P F, when p 3. As we will show in this paper, this classification allows one to deduce ramification at any place of K to obtain a very explicit formula for the different, and therefore deduce explicit Riemann-Hurwitz formulae computable entirely using the only parameter of the minimal 1

2 SOPHIE MARQUES AND JACOB WARD polynomial for the extension. These data may also be used to calculate integral bases [, Theorems 3 and 9], classify low genus fields, and also have applications to differentials and computation of Weirstrass points. In this paper, we describe the ramification for any place in a separable cubic extension of a global field. This study of ramification permits us to obtain in 3.3 a Riemann-Hurwitz formula for any separable extension of a cubic global function field (Theorems.16,.18,.1). In the Appendix, we offer an algorithms which given any irreducible polynomial of degree 3 return the ramification data and the genus, an explicit integral basis for the given extension over a global rational field. 1. Notation Throughout the paper we denote the characteristic of the field by p (including the possibility p 0). We let K denote a function field with field of constants F q, where q p n and p ą 0 is a prime integer. Let K be the algebraic closure of K. For an extension L{K, we let O L,x denote the integral closure of F q rxs in L. We denote by p a place of K (Section 3). The degree d K ppq of p is defined as the degree of its residue field, which we denote by kppq, over the constant field F q. The cardinality of the residue field kppq may be written as kppq q d Kppq. For a place P of L over p, we let fpp pq rkppq : kppqs denote the inertia degree of P p. We let epp pq be the ramification index of P p, i.e., the unique positive integer such that v P pzq epp pqv p pzq, for all z P K. If v p paq ě 0, then we let a : a mod p denote the image of a in kppq. Henceforth, we let F denote a field and p charpf q the characteristic of this field, where we admit the possibility p 0 unless stated otherwise. We let F denotethe algebraicclosure of F. Definition 1.1. If p 3, a generator y of a cubic extension L{F with minimal polynomial of the form X 3 a pa P F q is called a purely cubic generator, and L{F is called a purely cubic extension. If p 3, such an extension is simply called purely inseparable. If p 3 and a cubic extension L{F does not possess a generator with minimal polynomial of this form, then L{F is called impurely cubic. For any cubic extension L{F, we define the purely cubic closure of L{F to be the unique smallest extension F 1 of F such that LF 1 {F 1 is purely cubic. We proved in [4, Theorem.1] that the purely cubic closure exists and is unique. We would like to point out that by [4, Corollary 1.], if p 3, then every impure cubic extension L{K has a primitive element y with minimal polynomial of the form fpxq X 3 3X a. We mention this here, as we will use it whenever this case occurs in 3. When this is used, the element y will denote any such choice of primitive element.

3 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 3. Function fields.1. Constant extensions. In this subsection, we wish to determine when a cubic function field over K is a constant extension of K. We do this before a study of ramification, as constant extensions are unramified and their splitting behaviour is well understood [8, Chapter 6]. In the subsequent subsections, we will thus assume that our cubic extension L{K is not constant, which, as 3 is prime, is equivalent to assuming that the extension is geometric X 3 a, a P K, when p 3. Lemma.1. Let p 3, and let L{K be purely cubic, i.e. there exists a primitive element y P L such that y 3 a, a P K. Then L{K is constant if, and only if, a ub 3, where b P K and u P F q is a non-cube. In other words, there is a purely cubic generator z of L{K such that z 3 u, where u P F q. Proof. Suppose that a ub 3, where b P K and u is a non-cube in F q. Then z y b P L is a generator of L{K such that z 3 u. The polynomial X 3 u has coefficients in F q, and as a consequence, L{K is constant. Suppose then that L{K is constant. We denote by l the algebraic closure of F q in L, so that L Kl. Let l F q pλq, where λ satisfies a cubic polynomial X 3 `ex `fx `g with e,f,g P F q. Hence, L Kpλq. We denote α p7g 9efg `f 3 q 7p3ge f q 3 P F q. As L{F is purely cubic, it then follows by [4, Corollary 1. and Theorem.1] that either 3eg f or the quadratic polynomial X `αx `1 has a root in K. In both cases, there is a generator λ 1 P L such that λ 13 β P F q. Hence λ 1 P l. The elements λ 1 and y are two purely cubic generators of L{K, whence by [4, Theorem 3.1], it follows that y cλ 1j where j 1, or and c P K. Thus, a c 3 β j, where β P F q. The result follows..1.. X 3 3X a, a P K, when p 3. Via [4, Corollary 1. and Theorem 3.3], a proof similar to that of Lemma.1 yields the following result. Lemma.. Let p 3 and L{K be an impurely cubic extension, so that there is a primitive element y P L such that y 3 3y a (see [4, Corollary 1.]). Then L{K is constant if, and only if, u 3aα β `aβ 3 `6α `α 3 a 8α 3 P F q, for some α,β P K such that α `a αβ `β 1. In other words, there is a generator z of L{K such that z 3 3z u, where u P F q.

4 4 SOPHIE MARQUES AND JACOB WARD.1.3. X 3 `ax `a, a P K, when p 3. In this case, one may prove the following result, similarly to the proof of Lemma.1, via [4, Corollary 1. and Theorem 3.6]. Lemma.3. Let p 3 and L{K be a separable cubic extension, so that there is a primitive element y P L such that y 3 `ay `a 0 (see [4, Corollary 1.]). Then L{K is constant if, and only if, u pja ` pw 3 `awqq a 3 P F q, for some w P K and j 1,. In other words, there is a generator z of L{K such that z 3 `uz `u 0, where u P F q... Ramification. In this section, we describe the ramifcation of any place of K in a cubic extension L{K. As usual, we divide the analysis into the three fundamental cubic forms derived in [4, Corollary 1.]...1. X 3 a, a P K, when p 3. If the extension L{K is purely cubic, one may find a purely cubic generator of a form which is well-suited to a determination of ramification, as in the following lemma. Lemma.4. Let L{K be a purely cubic extension. Given a place p of K, one may select a primitive element y with minimal polynomial of the form X 3 a such that either (1) v p paq 1,, or () v p paq 0. Such a generator y is said to be in local standard form at p. Proof. Let y be a generator of L such that y 3 a P K. Given a place p of K, we write v p paq 3j ` r with r 0,1,. Via weak approximation, one may find an element c P K such that v p pcq j. Then y is a generator of L such that c y 3 y 3 c c a 3 c ` 3 and v a p c r. Hence the result. 3 When a purely cubic extension L{K is separable, one may also easily determine the fully ramified places in L{K. Theorem.5. Let p 3, and let L{K be a purely cubic extension. Given a purely cubic generator y with minimal polynomial X 3 a, a place p of K is ramified if and only if it is fully ramified if, and only if, pv p paq,3q 1. Proof. Let p be a place of K and P be a place of L above p. Suppose that pv p paq,3q 1. Then 3v P pyq v P py 3 q v P paq epp pqv p paq. Since pv p paq,3q 1, we obtain 3 epp pq, and as epp pq ď 3, it follows that epp pq 3, so that p is fully ramified in L.

5 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 5 Conversely, suppose that pv p paq,3q 1. By Lemma.4, we know that there exists a generator z of L such that z 3 c 0 and v p pcq 0. It is not hard to see that the polynomial X 3 a is either (1) irreducible modulo p, () X 3 a px αqqpxq mod p, where α P kppq and QpXq is an irreducible quadratic polynomial over modulo p, or (3) fpxq px αqpx βqpx γq modulo p with α,β,γ P kppq all distinct. In any of these cases, by Kummer s theorem [7, Theorem 3.3.7], p is either inert or there exist or 3 places above it in L. Thus, p cannot be fully ramified in any case. Moreover, there are no partially ramified places. Indeed, if L{K is Galois then this is clear and if L{K is not Galois, its Galois closure of L{K is Lpξq with Kpξq{K constant therefore unramified and since the index of ramification is multiplicative in tower the only possible index of ramification in Lpξq{K is 3 and so is the only possible index of ramification in L{K.... X 3 3X a, a P K, p 3. In order to determine the fully ramified places in extensions of this type, we begin with an elementary but useful lemma. These criteria and notation will be employed throughout what follows. Lemma.6. We consider the polynomial X ` ax ` 1 where a P K, we suppose this polynomial is irreducible over K, let c,c` denote the roots of this polynomial in K the algebraic closure of K and we denote Kpcq the quadratic extension Kpc q of K. Then c` c 1, c` `c a, and σpc q c, where GalpKpcq{Kq tid,σu. Let p be a place of K and p c be a place of Kpcq above p. Furthermore, we have: Proof. (1) For any place p c of Kpcq, v pc pc q v pc pc q. () For any place p c of Kpcq above a place p of K such that v p paq ă 0, and otherwise, v pc pc q 0. v p paq v pc pc q, (1) At any place p c of Kpcq, we have whence v pc pc` c q v pc pc`q `v pc pc q v pc p1q 0, v pc pc`q v pc pc q. () As c `ac `1 0, the elements c 1 c a satisfy c 1 `c 1 ` 1 a 0.

6 6 SOPHIE MARQUES AND JACOB WARD Thus, for any place p c of Kpcq above a place p of K such that v p paq ă 0, we obtain v pc pc 1 `c 1 q v pc paq ą 0. Bythenon-Archimedeantriangleinequality, thisispossibleif,andonlyif,v pc pc 1 q ą 0 or v pc pc 1 q 0. If v pc pc 1 q ą 0, then v pc pc 1 q v pc paq If on the other hand v pc pc 1 q 0, we obtain and v pc pc q v pc paq. v pc pc q v pc paq. Thus, the latter together with part p1q of this lemma implies that either v pc pc`q v pc paq and v pc pc q v pc paq or vice versa (with the roles of c and c` interchanged). Moreover, note that p c is unramified in Kpcq{K so that v pc paq v p paq. For if, when p, then Kpcq{K has a generator w such that w 7pa 4q and v p p 7pa 4qq, thus by Kummer theory, p is unramified and when p, Kpcq{K has a generator w such that w w 1 a and v p p 1 a q ě 0, thus by Artin-Schreier theory, we have that p is unramified in Kpcq, thus the first part of pq. For any place p c of Kpbq above a place p of K such that v p paq ą 0. As v pc pc 1 `c1 q v p c paq ă 0, again using the non-archimedean triangle inequality, we can only have v pc pc1 q ă 0, whence v pc pc 1 q v p c paq. This implies that v pc pc q 0. Finally, via the triangle inequality once more, for any p c such that v pc paq 0, we must have v pc pc q 0. Theorem.7. Let p 3, and let L{K be an impurely cubic extension and y primitive element with minimal polynomial fpxq X 3 3X a. Then Proof. (1) the fully ramified places of K in L are precisely those p such that pv p paq,3q 1 and () the partially ramified places p that is the one with index of ramification are precisely such that a mod p and (a) pv p pa 4q,q 1, when p ; (b) there exist w P K such that v p p1{a`1`w wq ă 0 and pv p p1{a`1`w wq,q 1, when p. (1) As usual, we let ξ be a primitive 3 rd root of unity. We also let r be a root of the quadratic resolvent RpXq X ` 3aX ` p 7 ` 9a q of the cubic polynomial X 3 3X a in K. As in [1, Theorem.3], we know that Lprq{Kprq is Galois, and by [4, Corollary 1.6], we have that Lpξ,rq{Kpξ,rq is purely cubic. We denote by p a placeink, P ξ,r aplaceoflpξ,rqabovep, P P ξ,r XL, andp ξ,r P ξ,r XKpξ,rq. By [4, Theorem 1.5], we know that that Lpξ, rq{kpξ, rq is Kummer; more precisely, there exists v P Kpξ,rq such that v 3 c where c is a root of the polynomial X `ax `1.

7 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 7 We thus obtain a tower Lpξ,rq{Kpξ,rq{Kpξq{K with Lpξ,rq{Kpξ,rq Kummer of degree 3, and where Kpξ,rq{Kpξq and Kpξq{K are both Kummer extensions of degree. As the index of ramification is multiplicative in towers and the degree of Lpξ, rq{kpξ, rq and Kpξ, rq{k are coprime, the places of K that fully ramify in L are those places of K which lie below those of Kpξ,rq which fully ramify in Lpξ,rq{Kpξ,rq. As Lpξ,rq{Kpξ,rq is Kummer, the places of Kpξ,rq that ramify in Lpξ, rq are described precisely by Kummer theory (see for example [8, Example 5.8.9]) as those p ξ,r in Kpξ,rq such that pv pξ,r pc q,3q 1. Lemma.6 states that if v p paq ă 0, then v pξ,r pc q v pξ,r paq and that otherwise, v pξ,r pc q 0. Thus, the ramified places of L{F are those places p below a place p ξ,r of Kpξ,rq such that pv pξ,r paq,3q 1. Also, v pξ,r paq epp ξ,r pqv p paq, where epp ξ,r pq is the ramification index of a place p of K in Kpξ,rq, equal to 1,, or 4, and in any case, coprime with 3. Thus, pv pξ,r paq,3q 1 if, and only if, pv p paq,3q 1. As a consequence of the above argument, it therefore follows that a place p of K is fully ramified in L if, and only if, v p paq ă 0. If L{K is Galois then all the places are fully ramified. () Now, if L{K isnot Galoisandaramifiedplace p isnot fullyramified in L{K itsindex of ramification is. The Galois closure of L{K is Lprq{K since Lprq{Kprq is Galois then all the ramified places in Lprq{Kprq are fully ramified and the only possible way that the index of ramification of a place is in L{K is that this place is ramified in Kprq{K since the index of ramification is multiplicative in tower. By Kummer and Artin-Schreier theory this implies that v p paq ą 0. Since Kprq{K is defined by a minimal equation X 7pa 4q when p and and X X 1 `1{a when p. When v p paq ě 0, via Kummer s theorem, for p to be partially ramified in L{K, the only possible decomposition of X 3 3X a mod p is X 3 3X a px αq px βq The equality fpxq px αqpx βq gives us mod p X 3 3X a px αqpx βq X 3 pβ `αqx ` pβ `αβqx αβ. Thus α β. We therefore have 3 β 4β 3β and a β 3. The first of these implies that 3pβ 1q 3β 3 0. Thus β 1 and a. Conversely, when a, then X 3 3X px qpx 1q. Therefore, in order for p to be partially ramified we need that p ramified in Kprq that is

8 8 SOPHIE MARQUES AND JACOB WARD (a) pv p pa 4q,q 1, when p ; (b) thereexist w P K suchthatv p p1{a`1`w wq ă 0and pv p p1{a`1`w wq,q 1, when p. and a mod p. Conversely, suppose that p is a place such that a mod p and p ramified in Kprq. Since p cannot be ramified in Kprq without v p paq ě 0 and Lprq{K is Galois, then when a mod p and p ramified in Kprq, then the place above p in Kprq is unramified in Lprq{Kprq (see proof of (1)) therefore completely split and we must have po Lprq,x pp 1,r P,r P 3,r q Since a mod p, we have X 3 3X a px αqpx βq mod p with α,β P kppq and α β, by Kummer s theorem, we know that there is at least two place above p in L thus either (a) po L,x P 1 P where P i, i 1, place of L above p, or (b) po L,x P 1 P where P i, i 1, place of L above p, or (c) po L,x P 1 P P 3 where P i, i 1,,3 place of L above p. By [6, p. 55], we know that p is completely split in L (case (c)) if, and only if, (1) p is completely split in Kprq and () p r completely split in Lprq. Thus, either po L,x P 1 P or po L,x P 1 P where each P i (i 1,) is a place of L above p. Note that epp r pq for any places P r in Lprq above p. If po L,x P 1 P, then as epp i pq 1, we have that epp i,r P i q and po Lprq,x P 1,rP,r, where P i,r, i 1, are places above p in Lprq, which is impossible, as po Lprq,x pp 1,r P,r P 3,r q. Thus, in this case, we must have po L,x P 1 P and P 1 is split in Kprq and P ramifies in Kprq. This theorem yields the following corollaries, the first being immediate. Corollary.8. Suppose that q 1 mod 3. Let L{K be a Galois cubic extension, so that there exists a primitive element y of L with minimal polynomial fpxq X 3 3X a. Then the (fully) ramified places of K in L are precisely those places p of K such that v p paq ă 0 and pv p paq,3q 1. Corollary.9. Suppose that q 1 mod 3. Let L{K be a Galois cubic extension, so that there exists a primitive element y of L with minimal polynomial fpxq X 3 3X a. Then, only those places of K of even degree can (fully) ramify in L. More precisely, any place p of K such that v p paq ă 0 is of even degree. Proof. In Lemma.6, it was noted that σpc q c where GalpKpc q{kq tid,σu, when c R K. Let ξ again be a primitive 3 rd root of unity. We denote by p a place of K and p ξ a place of Kpξq above p. We find that v pξ pc q v σppξ qpσpc qq v σppξ qpc q.

9 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 9 Note that if σpp ξ q p ξ, it follows that v pξ pc q v pξ pc q. However, by Lemma.6, we have that, for any place p ξ of Kpξq above a place p of K such that v p paq ă 0, it holds that v pξ pc q v pξ paq, and that v pξ pc q v pξ pc q. Thus, for any place p ξ of Kpξq above a place p of K such that v p paq ă 0, we find that v pξ pc q v pξ pc q and thus σpp ξ q p ξ. Therefore, by [8, Theorem 6..1], we obtain that p is of even degree, for any place p of K such that v p paq ă 0. Corollary.10. Suppose that q 1 mod 3. Let L{K be a Galois cubic extension, so that there exists a primitive element y of L with minimal polynomial fpxq X 3 3X a. Then one can choose a single place P 8 at infinity in K such that v P8 paq ě 0. Proof. One can choose x P KzF q such that the place p 8 at infinity for x has the property that all of the places in K above it are of odd degree. In order to accomplish this, we appeal to a method similar to the proof of [8, Proposition 7..6]; because there exists a divisor of degree 1 [8, Theorem 6.3.8], there exists a prime divisor P 8 of K of odd degree; for if all prime divisors of K were of even degree, then the image of the degree function of K would lie in Z, which contradicts [8, Theorem 6.3.8]. Let d be this degree. Let m P N be such that m ą g K 1. Then, by the Riemann-Roch theorem [8, Corollary 3.5.8], it follows that there exists x P K such that the pole divisor of x in K is equal to P m 8. By definition, the pole divisor of x in kpxq is equal to p 8. It follows that pp 8 q K P m 8, from which it follows that P 8 is the unique place of K above p 8, and by supposition that P 8 is of odd degree. From this argument, we obtain that, with this choice of infinity, all places above infinity in kpxq are of odd degree. (We also note that we may very well choose m relatively prime to p, whence K{kpxq is also separable; in general, K{kpxq as chosen will not be Galois.) As q 1 mod 3, L{K is a Galois extension, and y is a primitive element with minimal polynomial of the form X 3 3X a where a P K, we know that all of the places p of K such that v p paq ă 0, and in particular, all the ramified places, are of even degree (see Corollary.9). It follows that the process described in this proof gives the desired construction, and the result follows. Remark.11. We note that when K is a rational function field, one may use Corollary.10 to show that the parameter a has nonnegative valuation at p 8 for a choice of x such that K F q pxq, and thus such p 8 is unramified...3. X 3 ` ax ` a, a P K, p 3. As for purely cubic extensions, there exist a local standard form which is useful for a study of splitting and ramification. Lemma.1. Let p 3, and let L{K be a cubic separable extension. Let p be a place of K. Then there is a generator y such that y 3 `ay `a 0 such that v p paq ě 0, or v p paq ă 0 and pv p paq,3q 1. Such a y is said to be in local standard form at p. Proof. Let p be a place of K. Let y 1 be a generator of L{K such that y 3 1 ` a 1 y 1 ` a 1 0 (this was shown to exist in [3]). By [4, Theorem 3.6], any other generator y with a minimal

10 10 SOPHIE MARQUES AND JACOB WARD equation of the same form y 3 `a y `a 0 is such that y βp j a 1 y 1 1 a 1 wq, and we have a pja 1 ` pw3 `a 1 wqq. a 3 1 Suppose that v p pa 1 q ă 0, and that 3 v p pa 1 q. Using the weak approximation theorem, we choose α P K such that v p pαq v p pa 1 q{3, which exists as 3 v p pa 1 q. Then v p pα 3 ja 1 q 0. Let w 0 P K be chosen so that w 0 α 3 ja 1 and v p pα 3 ja 1 `w 0q ą 0. This may be done via the following simple argument: As v pα 3 p ja 1 q 0, then α 3 ja 1 0 in kppq. We then choose some w 0 α 3 ja 1 P K such that w 0 α 3 ja 1 in kppq. Note that v p pw 0 q 0. Thus, α 3 ja 1 `w 0 0 in kppq and v pα 3 p ja 1 `w 0 q ą 0. As p 3, it follows that the map X Ñ X 3 is an isomorphism of kppq, so we may find an element w 1 P K such that w1 3 w 0 mod p. Hence v pα 3 p ja 1 `w3 1 q ą 0. We then let w αw 1, so that Thus, as v p pa 1 q ă 0, we obtain v p pja 1 `w3 q v ppja 1 `α3 w 3 1 q ą v ppja 1 q. v p pja 1 ` pw3 `a 1w qq ě mintv p pja 1 `w3 q,v ppa 1 w qu ą mintv p pja 1 q,v ppa 1 w qu mintv p pja 1q,v p pa 1 q `v p pa 1 q{3u mintv p pa 1 q,5v p pa 1 q{3u v p pa 1 q. Hence ˆpja v p pa q v 1 ` pw 3 `a 1 wqq p ą 4v a 3 p pa 1 q v p pa 3 1q v p pa 1 q. 1 We can thus ensure (after possibly repeating this process if needed) that we terminate at an element a P K for which v p pa q ě 0 or for which v p pa q ă 0 and pv p pa q,3q 1. Remark.13. Note that we can do what we have done in the previous Lemma simultaneously at any finite place (see [5, Lemma 1.]). Theorem.14. Suppose that p 3. Let L{K be a separable cubic extension and y a primitive element with minimal polynomial X 3 `ax `a. Let p be a place of K and P a place of L above p. Then

11 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 11 (1) p is fully ramified if, and only if, there is w P K, v p pαq ă 0 and pv p pαq,3q 1 with α pja ` pw 3 `awqq a 3. Equivalently, there is a generator z of L whose minimal polynomial is of the form X 3 `αx `α, where v p pαq ă 0 and pv p pαq,3q 1, and () p is partially ramified if and only if pv p paq,q 1 and there is w P K such that v p pαq ě 0 with α pja ` pw 3 `awqq a 3. The later is equivalent to the existence of a generator z of L whose minimal polynomial is of the form X 3 `αx `α, where v p pαq ě 0. Proof. (1) Let p be a place of K, and denote by P a place of L above p. When L{F is Galois, this theorem is simply the usual Artin-Schreier theory (see [7, Proposition 3.7.8]). Otherwise, since the discriminant of the polynomial X 3 `ax `a is equal to 4a 3 a 3, by [1, Theorem.3], we know that the Galois closure of L{F is equal to Lp q Lpbq, where b a. Let p b a place of Kpbq above p. The extension Lpbq{Kpbq is an Artin-Schreier extension with Artin-Schreier generator y{b possessing minimal polynomial X 3 X `b. As Lpbq{Kpbq is Galois, if p b is ramifiedin Lpbq, then it must be fully ramified. Furthermore, as the degree Kpbq{K is equal to, which is coprime with 3, and the index of ramification is multiplicative in towers, it follows that the place p is fully ramified in L if, and only if, p b is fully ramified in Lpbq. By [7, Proposition 3.7.8], (a) p b is fully ramified in Lpbq if, and only if, there is an Artin-Schreier generator z such that z 3 z c with v pb pcq ă 0 and pv pb pcq,3q 1, and (b) p b is unramified in Lpbq if, and only if, there is an Artin-Schreier generator z such that z 3 z c with v pb pcq ě 0. Suppose that there is a generator w such that w 3 ` a 1 w ` a 1 0, v ppa 1 q ă 0 and pv p pa 1 q,3q 1. Then over Kpb 1 q, where b 1 a 1, we have an Artin-Schreier generator z of Lpb 1 q such that z 3 z `b 1. Moreover, v pb1 pb 1 q v p b1 pa 1 q epp b 1 pqv p pa 1 q, where epp b1 pq is the index of ramification of p b1 over Kpb 1 q, whence epp b1 pq 1 or. As a consequence, pv pb1 pb 1 q,3q pv p pa 1 q,3q 1, and p b1 is fully ramified in Lpb 1 q, so that p too must be fully ramified in L. Suppose that there exists a generator w such that w 3 `a 1 w `a 1 0, v ppa 1 q ě 0. Then over Kpb 1 q, where b 1 a 1, we have a generator z of Lpb 1 q such that z 3 z `b 1 and v pb1 pb 1 q epp b 1 pqv p pa 1 q ě 0.

12 1 SOPHIE MARQUES AND JACOB WARD Thus p b is unramified in Lpbq, so that p cannot be fully ramified in L, since the ramification index is multiplicative in towers. The theorem then follows by Lemma.1. If L{K is Galois, then the ramified places are all fully ramified. () If L{K is not Galois and a ramified place p is not fully ramified in L{K its index of ramification is. Moreover, when p is not fully ramified we know by p1q and Lemma.1 that there is w P K such that v p pαq ě 0 with α pja ` pw 3 `awqq a 3. The Galois closure of L{K is Lpbq{K where b α since Lpbq{Kpbq is Galois then all the ramified places in Lpbq{Kpbq are fully ramified and the only possible way that the index of ramification of a place is in L{K is that this place is ramified in Kpbq{K since the index of ramification is multiplicative in tower. That is pv p paq,q pv p pαq,q 1. Since the Galois closure has also as generator c such that c a. Therefore, v p pαq ą 0 and pv p paq,q 1. Conversely, suppose there is w P K such that v p pαq ą 0 with α pja ` pw 3 `awqq a 3 and pv p paq,q 1. If v p pαq ą 0, then Lpbq{Kpbq is an Artin-Schreier extension by [1, Theorem.3], andthereisanartin-schreier generatorw z b suchthatw3 w`b 0 and v pb pbq ą 0, where p b is a place of Kpdq above p. Thus b 0 mod p b, and the polynomial X 3 X `b X 3 X mod p b factors as XpX 1qpX `1q modulo p b. By Kummer s theorem ([7, Theorem 3.3.7]), we then have that p b is completely split in Lpbq. As p b is completely split in Lpbq, we have that p cannot be inert in L. Indeed, if p were inert in L, then there are at most two places above p in Lpbq, in contradiction with the proven fact that p b is completely split in Lpbq. By [6, p.55], p splits completely in L if, and only if, p is completely split in Kpbq and p b is completely split in Lpbq. Also, since by the previous argument p cannot be inert in L, we have that either po L,x P 1 P or po L,x P 1 P, where P i, i 1, are places of L above p. Let P b be a place of Lpbq above p. When p is ramified in Kpbq, then the index of ramification at any place above p in Lpbq is divisible by, since Lpbq{K is Galois by [1, Theorem.3], whence po L,x P 1 P.

13 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD Riemann-Hurwitz formulae. Using the extension data, it is possible to give the Riemann-Hurwitz theorem for each of our forms in [4, Corollary 1.]. These depend only on information from a single parameter..4. X 3 a, a P K, p 3. Lemma.15. Let p 3. Let L{K be a purely cubic extension and y a primitive element of L with minimal polynomial fpxq X 3 a. Let p be a place of K and P a place of L over p. Then the following are true: (1) dpp pq 0 if, and only if, epp pq 1. () dpp pq, otherwise. That is, epp pq 3, which by Theorem.5 is equivalent to pv p paq,3q 1. Proof. By Theorem.5, either epp pq 1 or epp pq 3. (1) As the constant field F q of K is perfect, all residue field extensions in L{K are automatically separable. The result then follows from [8, Theorem 5.6.3]. () If epp pq 3, then as p 3, it follows again from [Theorem 5.6.3, Ibid.] that dpp pq epp pq 1. We thus find the Riemann-Hurwitz formula as follows for purely cubic extensions when the characteristic is not equal to 3, which resembles that of Kummer extensions, but no assumption is made that the extension is Galois. Theorem.16 (Riemann-Hurwitz I). Let p 3. Let L{K be a purely cubic geometric extension, and y a primitive element of L with minimal polynomial fpxq X 3 a. Then the genus g L of L is given according to the formula g L 3g K ` ÿ d K ppq. pv ppaq,3q 1 ř Proof. This follows from Lemma.17, [8, Theorem 9.4.], and the fundamental identity ei f i rl : Ks X 3 3X a, a P K, p 3. Lemma.17. Let p 3. Let L{K be an impurely cubic extension and y a primitive element of L with minimal polynomial fpxq X 3 3X a. Let p be a place of K and P a place of L over p. Let 7pa 4q be the discriminant of fpxq and r P K a root of the quadratic resolvent RpXq X `3aX ` p 7 `9a q of fpxq. Then the following are true: (1) dpp pq 0 if, and only if, epp pq 1. () If epp pq 3, which by Theorem.7 is equivalent to v p paq ă 0 and pv p paq,3q 1, then dpp pq. (3) If epp pq,

14 14 SOPHIE MARQUES AND JACOB WARD (a) If p, by Theorem.7, this occurs precisely when is not a square in K, a mod p, pv p p q,q 1. In this case, v P p q and dpp pq 1. (b) If p, by Theorem.7, this occurs when r R K, a 0 mod p, there is w p P 1 K such that v p p` `1 w a p `w ` p,q 1 and 1 ` vp `1 w a p `w p ă 0. Also, in this case, there exists η P P L such that v 1 P `1 η a P `η P ě 0, and we have for this P that ˆ 1 dpp pq v p a `1 w p `w p `1. Proof. Let p be a place of K, P r a place of Lprq above p, P P r XL, and p r P r XKprq. (1) As the constant field F q of K is perfect, all residue field extensions in L{F are automatically separable. The result then follows from [8, Theorem 5.6.3]. () If epp pq 3, then as p 3, it follows again from [Theorem 5.6.3, Ibid.] that dpp pq epp pq 1. (3) When epp pq, (a) if p, then by [Theorem 5.6.3, Ibid.], dpp pq epp pq 1 1. (b) if p, then we work on the tower Lprq{Kprq{K. If epp pq, then epp r pq, epp r p r q 1 and epp r Pq 1. As p, the extension Kprq{K is Artin- Schreier and is generated by an element α such that α α 1 ` 1. By a Artin-Schreier theory (see [7, Theorem 3.7.8]), as epp r pq, there exists an element w p P K such that ˆ ˆ 1 1 pv p a `1 w p `w p,q 1 and v p a `1 w p `w p ă 0. In addition, since epp r Pq 1, there exists η P P L such that ˆ 1 v P a `1 η P `η P ě 0. By Artin-Schreier theory (see [7, Theorem 3.7.8]), we obtain ˆ 1 dpp r pq v p a `1 w p `w p `1. By [8, Theorem ], we then find by equating differential exponents in the towers Lprq{Kprq{K and Lprq{L{K that dpp r pq dpp r Pq `epp r PqdpP pq dpp r p r q `epp r p r qdpp r pq. This implies that ˆ 1 dpp pq dpp r pq v p a `1 w p `w p `1, as epp r Pq epp r p r q 1 implies dpp r Pq dpp r p r q 0.

15 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 15 We are now able to state and prove the Riemann-Hurwitz formula for this cubic form. Theorem.18 (Riemann-Hurwitz II). Let p 3. Let L{K be a cubic geometric extension and y a primitive element of L with minimal polynomial fpxq X 3 3X a. Let 7pa 4q be the discriminant of fpxq and r a root of the quadratic resolvent RpXq X `3aX ` p 7 `9a q of the cubic polynomial X 3 3X a in K.Then the genus g L of L is given according to the formula Proof. (1) If p, then g L 3g K ` 1 ÿ d K ppq ` pps ÿ v ppaqă0 pv ppaq,3q 1 d K ppq. where S is the set of places of K such that both a mod p and v p p,q 1. Moreover, is a square in K up to a unit if, and only if, the set S is empty. () If p, then g L 3g K ` 1 ÿ pps ˆ1 r v p a `1 w p `w p `1sd K ppq ` ÿ v ppaqă0 pv ppaq,3q 1 d K ppq, where S is the set of places of K such that both a 0 mod p and there exists w p P K `1 such that v p a `1 w p `w p ă 0 and `1 pvp a `1 w p `w p,q 1. Moreover, if r P K (hence the extension L{K is Galois), then the set S is empty. (1) By [8, Theorem 9.4.], the term associated with a place P of L in the different D L{F contributes 1 d LpPq dpp pq to the genus of L, where p is the place of K below P, d L ppq is the degree of the place P, and dpp pq is the differential exponent of P p. By the fundamental identity ř i e if i rl : Ks 3 for ramification indices e i and inertia degrees f i of all places of L above p, we always have that f i 1 whenever p ramifies in L (fully or partially). Thus from Lemma.17, it follows that dpp pq if p is fully ramified, whereas dpp pq 1 if p is partially ramified. The result then follows by reading off [Theorem 9.4., Ibid.] and using the conditions of Lemma.17. () This follows in a manner similar to part (1) of this theorem, via Lemma.17 for p. We obtain directly the following corollary when the extension L{K is Galois. Corollary.19. Let p 3. Let L{K be a Galois cubic geometric extension and y a primitive element of L with minimal polynomial fpxq X 3 3X a. Then the genus g L of L is given according to the formula g L 3g K ` ÿ d K ppq. v ppaqă0 pv ppaq,3q 1

16 16 SOPHIE MARQUES AND JACOB WARD.6. X 3 `ax `a, a P K, p 3. Lemma.0. Suppose that p 3. Let L{K be a separable cubic extension and y a primitive element with minimal polynomial X 3 `ax `a. Let p be a place of K and P a place of L above p. (1) dpp pq 0 if, and only if, epp pq 1. () when epp pq 3, by Theorem.14, there is w p P K such that v p pα p q ă 0 and pv p pα p q,3q 1 with α p pja ` pw 3 p `aw pqq a 3. Then dpp pq v p pα p q `. (3) dpp pq 1 whenever epp pq. Moreover, by Lemma.14, when epp pq, there is generator z p such that z 3 p `c p z p `c p 0 and v p pc p q ě 0 and pv p pc p q,q 1. Proof. Let b P K such that b a, p be a place of K, P b be a place of Lpbq above p, p b P b XKpbq, P P b XL. (1) This is an immediate consequence of [8, Theorem 5.6.3]. () Suppose that p is ramified in L, whence p b is ramified in Lpbq. Moreover, by Theorem.14, there exists w p P K such that v p pα p q ă 0 and pv p pα p q,3q 1, where α p pja ` pw 3 p `aw pqq a 3, and furthermore, there exists a generator z p of L such that z 3 p `α p z p `α p 0. Again by [Theorem 5.6.3, Ibid.], the differential exponent dpp b pq dpp b Pq of p over Kpbq (resp. P over Lpbq) is equal to (a) 1 if p is ramified in Kpbq, whence epp b pq epp b Pq, and (b) 0 if p is unramified in Kpbq, whence epp b pq epp b Pq 1. By [1, Theorem.3], Lpbq{Kpbq is Galois and α p is a square in Kpbq. We write α p β p. Moreover, w p zp β p and w 3 p w p β p 0. Moreover, v pb pβ p q v p b pα p q epp b pqv p pα p q with epp b pq or 1, depending on whether p is ramified or not in Kpbq. Also, v pb pβ p q v p pα p qwhenpisramifiedinkpbq, whereasv pb pβ p q vppαpq whenpisunramified in Kpbq (note that in this case v p pα p q). Thus v pb pβ p q ă 0 and pv pb pβ p q,3q 1 and by [7, Theorem 3.7.8], we also have that the differential exponent dpp b p b q of p b in Lpbq satisfies dpp b p b q p v p pβ p q `1q. By [8, Theorem ], the differential exponent of p in Lpbq satisfies Thus, dpp b pq dpp b p b q `epp b p b qdpp b pq dpp b Pq `epp b PqdpP pq.

17 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 17 (a) if p is ramified in Kpbq Kpβ p q, that is, pv p pα p q,q 1 by [7, Proposition 3.7.3], then p v p pα p q `1q `3 1 `dpp pq and whereas dpp pq v p pα p q `, (b) if p is unramified in Kpbq, that is, v p pα p q again by [7, Proposition 3.7.3], then also ˆ p q dpp pq vppα `1 v p pα p q `. (3) This is immediate from Theorem.14 and [8, Theorem 5.6.3], via application of the same method as in Lemma.17 p3q. Finally, we use this to conclude the Riemann-Hurwitz formula for cubic extensions in characteristic 3. Theorem.1 (Riemann-Hurwitz III). Suppose that p 3. Let L{K be a separable cubic extension and y a primitive element with minimal polynomial X 3 `ax `a. Then the genus g L of L is given according to the formula where g L 3g K ` 1 ÿ pps p v p pα p q `qd K ppq ` 1 ÿ d K ppq, ppt (1) S is the set of places of K for which there exists w p P K such that v p pα p q ă 0, pv p pα p q,3q 1 with and α p pja ` pw 3 p `aw p qq a 3, () T is the set of places of K for which there is generator z p such that z 3 p `c pz p `c p 0, v p pc p q ě 0 and pv p pc p q,q 1. ř Proof. This follows from Lemma.0, [8, Theorem 9.4.], and the fundamental identity ei f i rl : Ks 3. Appendix: Algorithm for computing the genus of a cubic equation over F q pxq In this all section K F q pxq and L{K denotes a cubic extension.

18 18 SOPHIE MARQUES AND JACOB WARD.6.1. Transforming any general cubic polynomial into our forms. In this section, we keep all the previous notations. We are given a cubic extension with a generator y, whose minimal polynomial is of the form X 3 `ex `fx `g. We will first transform this generator into one of our forms. (1) Case p 3, Algorithm 1: Takes x 3 `ex `fx `g and p (a) if 3eg f, RETURN x 3 a with a 7g3 7g `f and z 3gy. 3 fy`3g (b) otherwise, RETURNx 3 3x awitha p7g 9efg`f 3 q andz p6efg f3 7g qy`3gp3eg f q. p3ge f q 3 p3eg f qpfy`3gq Note that if 7g 9efg ` f 3 0, the cubic polynomial is reducible, which violates the assumption that it must be irreducible. For the same reason, for instance, g cannot be 0. Note that this case is also not necessarily disjoint from (a); see also [4, Theorem.1]. () Case p p 3. (a) if e f 0, RETURN x 3 a, with a g ; (b) otherwise, RETURN x 3 `ax `a with (i) if e 0 and f 0, a g and z g y; f 3 f (ii) if e 0 and f 0, a g and z g ; e 3 e x (iii) otherwise, a f e`ge3`f3 and z f e`ge3`f3. e 6 e 4 pey fq Note that if f e `ge 3 `f 3 0, the cubic polynomial is again reducible, contrary to the assumption that it must be an irreducible polynomial. Case 1: The Algorithm 1 returned a form X 3 a. The next algorithm returns the list of ramified places, indices of ramification, differential exponents, and the value of the genus for purely cubic extensions. Algorithm : takes x 3 a and p 3

19 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 19 Use the factorization Algorithm to factor a into ś s i 1 p ipxq e i ś t i 1 q, ipxq f i withp i pxq,q j pxqdistinctirreduciblepolynomialsande i andf j naturalnumbers, i P t1,,su and j P t1,,tu. RETURN List of triples (ramified place, index of ramification, different exponent): řs if 3 i 1 e idegpp i pxqq ři i 1 f idegpq i pxqq tpp i pxq,3,q, pq j pxq,3,q,i P t1,,su with 3 e i,j P t1,,tu with 3 f i u otherwise, tpp i pxq,3,q, pq j pxq,3,q, p8,3,q,i P t1,,su with 3 e i,j P t1,,tu with 3 f i u Genus of the extension řs if 3 i 1 e idegpp i pxqq ři i 1 f idegpq i pxqq, (i.e., the place at infinity is unramified,) then ÿ ÿ g ` degpp i pxqq ` degpq i pxqq for i such that 3 e i for i such that 3 f i otherwise, g 1 ` ÿ for i such that 3 e i degpp i pxqq ` ÿ for i such that 3 f i degpq i pxqq. Note one could also easily check such an extension is Galois indeed it suffices to check if q 1 mod 3 as it is Galois if and only if F q pxq contains a third root of unity. The later being equivalent to q 1 mod 3 (see [4, Theorem 4.]). Application: finding integral basis for a purely cubic extension The statement used for this Algorithm is done in [, Theorem 3], and finds explicitly an integral basis for any purely cubic extension. Algorithm finding integral basis takes y (generator of L{K with minimal polynomial), X 3 a and p 3 Use the factorization Algorithm to factor a into ś s i 1 p ipxq e i ś t i 1 q, ipxq f i

20 0 SOPHIE MARQUES AND JACOB WARD withp i pxq,q j pxqdistinctirreduciblepolynomialsande i andf j naturalnumbers, i P t1,,su and j P t1,,tu. Use Euclidean Algorithm to find λ i, λ 1 i integers and r i, ri 1 P t0,1,u such that and e i 3λ i `r i f i 3λ 1 i ri 1 RETURN Integral basis for L{K: tθ 0,θ 1,θ u where y j θ j ś s i 1 p ś ipxq s ij t i 1 q ipxq s1 ij withj 0,1,,s ij jr i `jλi isthegreatestintegernotexceeding jr i ands ij jri 1 1 `jλ 3 i is the greatest integer not exceeding jr1 i. 3 Case : The Algorithm 1 returned a form x 3 3x a. Note that a cubic extension defined by an irreducible polynomial of the form x 3 3x a is not necessarily impurely cubic, see [4, Theorem.1]. If the reader wishes to first decide if the extension is impurely cubic or not, and if it is not, transform it to a purely cubic extension and go back to Case 1, then s/he could use the following algorithm. Otherwise, the reader can also go directly to Algorithm 3. Optional algorithm: takes x 3 3x a and p 3 (1) if p and (a) if a 4 is not a square (one can use for instance the factorization algorithm to test this), RETURN L{K is impurely cubic. (b) a 4isasquare (onecanuse forinstancethefactorization algorithm to test this) and determine? such that?, RETURN L{K is purely cubic, taking c b`? or c b? cy 1, U, a a Y c U 3 c irreducible polynomial for L{K. () if p and (a) if X `ax `1 has no root in F q pxq (testing this requires an algorithmpermitting one to check for roots for quadratic polynomials over F q pxq in characteristic.) RETURN L{K is not purely cubic.

21 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 1 (b) if X `ax `1 has a root in F q pxq, compute a root c for this polynomial (this requires an algorithm finding root for quadratic polynomials over F q pxq in characteristic.) RETURNL{K is purely cubic, c a root of X cy 1 `X `1{a, U, and Y c U3 c irreducible polynomial for L{K. Note that one can also to check if an extension with minimal polynomial x 3 3x a is a Galois extension, (1) when p, one will only need to check if 7pa 4q is a square or not in F q pxq, which is achievable with the factorization algorithm, for instance. Once one knows it is Galois, that is, when 7pa 4q is a square, one writes δ a 7pa 4q, taking b 1 ` 9 δ ` 9a δ or b 1 9 δ ` 9a δ and a b `b 1 b `b`1 () when p, one will need to check if Rpxq x `ax ` p1 `a q (quadratic resolvent) has a root or not in F q pxq (this would require an algorithm finding roots for quadratic polynomial in F q pxq in characteristic ). Once one knows it is Galois, that is when this polynomial has a root in F q pxq, one computes a root for the quadratic resolvent. Call such a root r; taking b r a, one writes a 1 b `b`1 The next algorithm returns the list of ramified places, indices of ramification, differential exponents, and the value of the genus for cubic extensions with minimal polynomial of the form x 3 3x a. Algorithm 3: takes x 3 3x a and p 3 Use the factorization Algorithm to factor a into fpxq ś t i 1 q, ipxq f i with q i pxq distinct irreducible polynomials, fpxq polynomial, pfpxq, ś t i 1 q ipxq f i q 1 and f i natural number, for i P t1,,tu. (1) Case p, Use the factorization Algorithm to factor a 4 into a 4 ś r i 1 r ipxq g i ś k i 1 s, ipxq h i with r i pxq,s j pxq distinct irreducible polynomials, g i, h i natural numbers for i P t1,,ru, j P t1,,ku. RETURN Case 8 unramified: When 3 degpa 4q,

22 SOPHIE MARQUES AND JACOB WARD List of triples (ramified places, indices of ramification, differential exponents): tpq i pxq,3,q, pr j pxq,,1q, ps u pxq,,1q,i P t1,,tu with 3 e i, j P t1,,ru with g j, u P t1,,ku with h u u Genus of the extension: g ` 1 ÿ degpr i pxqq ` 1 ÿ degps i pxqq for i such that g i for i such that h i ÿ ` degpq i pxqq for i such that 3 f i Case 8 ramified: Otherwise, List of triples (ramified places, indices of ramification, differential exponents): tpq i pxq,3,q, pr j pxq,,1q, ps u pxq,,1q, p8,,1q,i P t1,,tu with 3 e i, j P t1,,ru with g j, u P t1,,ku with h u u Genus of the extension: g 3{ ` 1 ÿ degpr i pxqq ` 1 ÿ degps i pxqq for i such that g i for i such that h i ÿ ` degpq i pxqq for i such that 3 f i () Case p, Do Algorithm Artin-Schreier below giving it the polynomial x x 1 1, it will return, in particular, a gpxq b ś s j 1 p i j pxq αt i j with gpxq polynomial, pgpxq, ś s j 1 p i j pxq αt i j q 1 and α t ij. RETURN Case 8 unramified: If 3 degpbq, List of triples (ramified places, indices of ramification, differential exponents): tpq i pxq,3,q, pp ij pxq,,α t i j `1q,i P t1,,tu with 3 f i,j P t1,,suu Genus of the extension: g ` 1 sÿ ÿ pαi t j `1qdegpp ij pxqq ` degpq i pxqq j 1 for i such that 3 e i

23 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 3 Case 8 ramified: if 3 degpbq, List of triples (ramified places, indices of ramification, differential exponents): tpq i pxq,3,q, pp ij pxq,,α t i j `1q, p8,,degpbq `1q, i P t1,,tu with 3 e i,j P t1,,suu Genus of the extension; g 3 1 degpbq ` 1 sÿ ÿ pαi t j `1qdegpp ij pxqq ` degpq i pxqq i 1 for i such that 3 e i The following algorithm is an intermediate algorithm used in the previous algorithm that computes ramified places for a Artin-Schreier extension. More precisely, given an Artin- Schreier extension of prime degree r, that is, a extension with a generator y such that its minimal polynomial is of the form x r x a called Artin-Schreier, this algorithm will find an Artin-Schreier generator z such that its minimal polynomial if of the form x r x b where b a `η r η for some η P F q pxq and b gpxq ś k i 1 s ipxq h i with gpxq polynomial, s i pxq distinct irreducible polynomials, h i natural numbers with r h i, i P t1,,ku. This algorithm is a consequence of [8, Example 5.8.8]; we add it for completeness. Algorithm Artin-Schreier: takes y (a generator for the Artin-Schreier extension such that its minimal polynomial is), x r x a and r prime number Step 1 Use the factorization Algorithm to factor a into fpxq ś t i 1 p, ipxq α i withp i pxqdistinctirreduciblepolynomials,fpxqpolynomialand pfpxq, ś t i 1 p ipxq α i q 1, α i natural numbers, i P t1, tu. For each i P t1,,tu, we denote p i to be the finite place associated to p i pxq. Do Step, for each i such that r α i. Step Given i as above,

24 4 SOPHIE MARQUES AND JACOB WARD Step a Write α i rλ i, for some λ i natural number. Do the algorithm computing the partial fraction decomposition of a as such that Write Note a spxq ` tÿ αÿ i 1 i 1 k 0 t piq k pxq p i pxq α i k degpt piq k pxqq ă degpp ipxqq, for k 0,1,,α i 1 a tpiq 0 pxq p i pxq λ i `t 1 pxq v pi pt 1 pxqq ą λ i Step b Find mpxq P krxs such that Step c We set mpxq r t piq 0 pxq mod p i pxq Note this is possible since k is a perfect field and rkrxs{pp i pxqq : ks ă 8, so that M krxs{pp i pxqq is perfect, that is, M M. The previous step can be achieved by finding a root δ for p i pxq in F q degpp i pxqq then computing t piq 0 pδq in F q and finding β P F degpp i pxqq q such that degpp i pxqq βr t piq 0 pδq in F q degpp i pxqq. Then mpxq β `p i pxq will satisfy the congruence above. ˆ mpxq z y p i pxq λ i ˆ mpxq b a p i pxq λ i r ˆ mpxq p i pxq λ i We write b p i pxq α1 i gpxq with qpxq polynomial and p qpxq ipxq irreducible polynomial and pp i pxq,qpxqq 1, pgpxq,qpxqq 1, pp i pxq,gpxqq 1 and αi 1 integer. (a) If αi 1 ě 0; Change i in STEP with a b and y z, if there are no more i to work with, taking a b and y z exit to STEP 3. (b) If αi 1 ă 0 with r α1 i ; Change i in STEP with a b and y z, if there are no more i to work with, taking a b and y z exit to STEP 3.. (c) Otherwise, repeat Step with taking a b and y z.

25 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 5 Note that v pi pa `w r wq ě mintv pi pa `w r q,v pi pwqu STEP 3 We set but v pi pa `w r q ą rλ i and v pi pwq λ i ą rλ i. Therefore, v pi pa `w r wq ą v pi paq. Note that the other prime valuations are affected in a way that does not cause any nonnegative valuations to become negative. Hence, the process will end in finite time. (a) If s ď 0, move to STEP 4. (b) If s ą 0, r s, move to STEP 4. (c) Otherwise s degpaq (i) Use the euclidean algorithm to write s rd with d a natural number, (ii) Write a gpxq hpxq where gpxq, hpxq polynomials with pfpxq,gpxqq 1. (iii) Apply the Euclidean algorithm to find qpxq and rpxq polynomial with degprpxqq ă hpxq or rpxq 0, and (iv) Write qpxq αx rt `tpxq Note degptpxqq ă rt. gpxq hpxqqpxq `rpxq (v) Find β in F q such that β r α. (vi) Take z y βx t b a pβx t q r `βx t (vii) If r degpaq, then redo STEP 3 with y z and a b. Otherwise exit to STEP 4. Note degpbq ď rt 1 ă rt. Note that the other prime valuations are affected in a way that does not cause any nonnegative valuations to become negative. Hence, the entire process will end in finite time. STEP 4 RETURN z in terms of initial y given into the algorithm.

26 6 SOPHIE MARQUES AND JACOB WARD b gpxq ś s j 1 p i j pxq αt i j with gpxq polynomial, α t i j natural number with 3 α t i j, for j P t1,,su. Application: finding an integral basis for a cubic extension defined by an irreducible polynomial of the form X 3 3X a. The statement used for this Algorithm is done in [5, Theorem.1] and finds explicitly an integralbasisforcubicextensionsdefinedbyairreduciblepolynomialoftheformx 3 3X a. Algorithm integral basis : takes y (generator of L{K with minimal polynomial), X 3 3X a and p 3 Use the factorization algorithm to factor a into a α γ 3 β, where pα,βγq 1,β polynomialiscube-free, andβ β 1 β, whereβ 1 andβ arepolynomials square-free. Case p, (1) Use the factorization algorithm to factor 4γ 6 β α into where η 1 is polynomial square-free. p4γ 6 β α q η 1 η, () Use Chinese remainder theorem to find T and S polynomials such that T α mod η γ and T 0 mod β1 β ; (3) Set I β 1η 1. Case p, Use Factorization Algorithm to factor α into sź α α s i i, i 1 where α i distinct irreducible polynomials. Galois case If the polynomial RpXq X `ax ` p1 `a q (quadratic resolvent) has a root in F q pxq: Then, (1) Find a root r of RpXq.

27 EXPLICIT GENUS FORMULA FOR ANY SEPARABLE CUBIC GLOBAL FUNCTION FIELD 7 () Set I β 1 α. (3) Use Chinese remainder theorem to find a polynomial T such that T 0 mod β 1 and T r γ β 1 β mod α; Non Galois Case If the polynomial RpXq X `ax `p1`a q (quadratic resolvent) has no root in F q pxq. (1) Use Artin-Schreier Algorithm above with x x γ6 β1 β4, it will return, α in particular b gpxq () Set ś s j 1 αtt i j i j with gpxq polynomial, t t i j natural number such that 3 t t i j. I β 1 α sź j 1 α 1 ptt i j `1q i j (3) Use Chinese remainder theorem to find a polynomial T such that T 0 mod β 1 and T αb sź mod α α 1 ptt i `1q j γ i β j RETURN Integral basis of L{K " B 1,ω `S, 1 * I pω `Tω `Vq with S,V P F q rxs and V T 3pγβ 1 β q mod I. j p 3. The Algorithm 1 returned a form X 3 `ax `a. The next algorithm returns the list of ramified places, indices of ramification, differential exponents, and the value of the genus for cubic extensions with minimal polynomial of the form x 3 `ax `a. Algorithm 4: takes X 3 `ax `a and p 3