Arxiv:1206.4946V2 [Math.NT]

Home , Class function

arXiv:1206.4946v2 [math.NT] 16 Aug 2014 ces yltmcfnto ed,Kme xesos Art extensions, Kummer fields, function cyclotomic acters, rtcfrs o n nt extension finite any For forms. dratic naie extension unramified extension h ibr ls edof field class Hilbert the a ie o udai xeso of extension quadratic a for given was K ieetpstv nt ainlpie iiigtediscriminant the dividing primes rational finite positive different fteielcasgopof group class ideal the of 2 K bla xeso of extension abelian ubrfield number ibr aicto theory. ramification Hilbert h aia bla xeso faycnrec ucinfield function congruence any of extension abelian maximal the hn 1]gv ipeepeso of expression simple a gave [15] Zhang eu hoyfrqartcnme fields. number quadratic for theory genus Q xssaprime a exists EU ILSO BLA XESOSO CONGRUENCE OF EXTENSIONS ABELIAN OF FIELDS GENUS m h aosgopof group Galois the , sn iihe hrces eeaiigtewr fH as 5 who [5] Hasse H. of work the generalizing characters, Dirichlet using 2010 Date h ocp fgnsfil osbc oGus[]i h otx fb of context the in [4] Gauss to back goes field genus of concept The e od n phrases. and words Key o ucinfils h oino ibr ls edhsn rprana proper no has field class Hilbert of notion the fields, function For .Ihd eemndtegnsfield genus the determined Ishida M. ..Lood 9 eemndtegnsfield genus the determined [9] Leopoldt H.W. := uut1,2014. 15, August : YIMMALDONADO–RAM MYRIAM ahmtc ujc Classification. Subject Mathematics Abstract. yS uadY Li. Y. extensio and Artin–Schreier Hu and S. Peng by G. by previously obtained n hntegnrlcs.A plctosw ieexplicitl give we cyclic applications and As Artin–Schreier the Kummer, case. following of general case the field then function and cyclotomic the consider we statme right the give 5.2 and and error 4.5 the correct 4.2, we Here paper. the Applications K k F egv osrcino eu ed o ogunefunctio congruence for fields genus of construction a give We ∗ q m of K p hnte2rn ftecasgopof group class the of 2–rank the then , Q o l oiieintegers positive all for ≡ : K ntepbihdvrino hsppr[iieFed n The and Fields [Finite paper this of version published the In o dividing 4 mod 3 20 ge K AINLFNTO FIELDS FUNCTION RATIONAL K 21)4–4,teei nerri h ro fTerm42of 4.2 Theorem of proof the in error an is there 40–54], (2013) = K ge so nnt ereover degree infinite of is eu ed,cnrec ucinfils lblfils Diri fields, global fields, function congruence fields, Genus K N ARE VILLA–SALVADOR GABRIEL AND ge Kk of , /K K K ∗ K hsdfiiini u oF¨hih[] If Fröhlich to [3]. due is definition This . ⊆ sioopi otemxmlsbru fexponent of subgroup maximal the to isomorphic is uhthat such as nfc rvdta if that proved fact in Gauss . 1. K ge Introduction ´ RZ ATARZEDOWSKI–CALDER MARTHA IREZ, δ K/ ⊆ K Q rmr 16;Scnay1R9 11R58. 11R29, Secondary 11R60; Primary K ehv htfraqartcnme field number quadratic a for that have We . K n 2 and m Q 1 p ge K K H etnin.Kme xesoswere extensions Kummer –extensions. h eu edi enda h maximal the as defined is field genus the , ge n hrfr h aia unramified maximal the therefore and rgnlytedfiiino eu field genus of definition the Originally . ge o n bla extension abelian any for t stecmoieof composite the is fayfiieetninof extension finite any of − 1 K K otherwise. nShee xesos itvectors. Witt extensions, in–Schreier . ge K fa bla extension abelian an of s2 is h eu fields genus the y da fLeopoldt of ideas t swr obtained were ns t o Theorems for nts − 2 ed.First fields. n if t K δ δ stenme of number the is K K K/ n nabelian an and faquadratic a of > K K F n there and 0 ou since logue introduced ON, nr qua- inary q of ´ H Q ir he char- chlet contains Q denotes 8.X. [8]. using K of 2 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

M. Rosen [11] gave a definition of an analogue of the Hilbert class field of K and a fixed finite nonempty set S∞ of prime divisors of K. Using this definition, a proper concept of genus field can be given along the lines of the classical case. R. Clement [2] considered a cyclic extension of k := Fq(T ) of degree a prime number l dividing q 1 and found the genus field using class field theory. Later, S. Bae and J.K. Koo [1]− generalized the results of Clement following the methods of Fröhlich [3]. G. Peng [10] explicitly described the genus theory for Kummer function fields. Recently S. Hu and Y. Li [7] explicitly described the ambiguous ideal classes and the genus field of an Artin–Schreier extension of a rational congruence function field. In this paper we develop an analogue of Leopoldt’s genus theory for congruence function fields. We give a description of the genus field Kge of a finite abelian extension of a rational congruence function field by means of the group of Dirichlet characters for cyclotomic function fields. Here we consider the Hilbert class field K of a function field K using the construction of Rosen for S = p , where H ∞ { ∞} p∞ is the pole divisor of T in the rational function field k = Fq(T ). More precisely, let K be a finite abelian extension of k. Then if K is contained in a cyclotomic extension, we find that Kge is also contained in a cyclotomic extension and we find the group of characters associated to Kge. If K is not contained in a cyclotomic extension and p∞ is tamely ramified, we consider a suitable extension of constants of K and then proceed as before to find Kge. Finally, if p∞ is wildly ramified we consider the cyclotomic extension where p∞ is totally and wildly ramified and proceed similarly to the previous cases. We apply our results to Kummer and to Artin–Schreier extensions of k and we give new proofs of the results of Peng and of Hu and Li. At the end, we show that our construction also works to find explicitly the genus field of an arbitrary finite cyclic p–extension of k given by a Witt vector.

2. The classical case

Let K be a number field, that is, a finite extension of Q. Let KH be the Hilbert class field of K, that is, KH is the maximal abelian unramified extension of K. Then the genus field Kge of K is the maximal extension of K contained in KH that is the ∗ ∗ composite of K and an abelian extension k of Q. Equivalently, Kge = Kk KH ∗ ⊆ with k the maximal abelian extension of Q contained in KH . First we recall genus theory in the abelian case for number fields [9]. In this case Kge is the maximal extension of K contained in KH such that Kge/Q is abelian. So, in this section we consider K/Q an abelian extension. By the Kronecker–Weber Theorem there exists n N such that K Q(ζn), where ζn denotes a primitive n–th root of unity. Let ∈X be the group of⊆ Dirichlet characters associated to K. ∗ That is, X is a subgroup of the dual of Gal(Q(ζn)/Q) ∼= Un := Z/nZ ; then X Uˆ and K is the subfield of Q(ζ ) fixed by ker χ. ⊆ n n ∩χ∈X GENUSFIELDSINCONGRUENCE FUNCTIONFIELDS 3

α1 αr Let n = p1 pr be the factorization of n as a product of prime powers. For any character χ···let χ = χ ϕ pi ◦ i χ ∗ Un / C O ④= ④④ ϕi ④ ④χ ④④ pi ④④ U αi pi where ϕ =Φ−1 g , with i ◦ pi r r α α α Φ: Un Up j gpi : Up i Up j → j=1 j and i → j=1 j a mod n (Qa mod p αj ) a mod p αi (1Q,...,a mod p αi ,..., 1). 7→ j j i 7→ i βi The character χpi has conductor pi for some βi N, 1 i r. For any rational prime p / p ,...,p , χ = 1. Let p be a∈ rational≤ prime≤ and define ∈ { 1 r} p Xp := χp χ X . Then we have Xp = ep is the ramification index of p in K. Thus, { | ∈ } | | Theorem 2.1 (Leopoldt [9]). Let K be an abelian extension of Q and let X be the group of Dirichlet characters associated to K. Let J be the maximal abelian extension of Q containing K such that J/K is unramified at every finite rational prime. Let Y be the group of Dirichlet characters associated to J. Then Y = X , where the product runs through the set of rational primes . p∈P p P QProof. Since J/K is not ramified at any finite prime, we have ep(J K) = 1, then the ramification indices coincide, thus X = Y for all primes p. Since| X Y , we | p| | p| p ⊆ p have Xp = Yp. Let Z := p∈P Xp. Then Zp = Xp. Let F be the field associated to Z. As X X = Z, we have K F and analogously J F . On the other ⊆ p∈P p Q ⊆ ⊆ hand, since Xp = Zp , the extension F/K is unramified, thus F J. Therefore |Q | | | ⊆ F = J and it follows that Y = Z = p∈P Xp.

Remark 2.2. If the infinite primesQ are unramified in J/K we have Kge = J. + + Otherwise, K is real and J is imaginary. Then Kge = J where J := J R and the group of Dirichlet characters associated to J + is Y + := χ Y χ( ∩1)=1 . Finally [J : J +] = [Y : Y +] = 2. { ∈ | − } Example 2.3 (Gauss genus theorem). Let K = Q(√d) be a quadratic extension of Q, where d Z is square free. Let m be the number of different prime factors ∈ of δK , the discriminant of K. If p1,...,pm are these factors, we choose p1 = 2 if 2 δ . | K Let χ be the quadratic character associated to K. Then χpi = 1, 1 i m and χ = 1 for all q p ,...,p . For p = 2, χ is unique6 and χ≤( ≤1) = q ∈P\{ 1 m} i 6 pi pi − (pi−1)/2 (pi−1)/2 ( 1) . In this case the field associated to χpi is Q ( 1) pi . If p− = 2, then there are three quadratic characters χ = χ ;− two of them have 1 p1 p2 conductor 8, one is real and one imaginary, and the other one has conductor 4. If χ is real, χ( 1) = 1 and the field associated is Q(√2). If χ is imaginary of 2 − 2 conductor 8, χ( 1) = 1 and the field associated is Q(√ 2). Finally, if χ is of − − − 2 conductor 4, χ( 1) = 1 and the field associated to χ2 is Q(ζ4)= Q(i)= Q(√ 1). It follows that the− maximal− abelian extension of Q unramified at every finite prime− 4 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA is J = Q √ε, ( 1)(pi−1)/2p 2 i m where ε = ( 1)(p1−1)/2p if p = 2 and − i | ≤ ≤ − 1 1 6 ε =2, 2 or 1 if p1 = 2. − −p m m−1 Thus we obtain [J : Q]=2 and [J : K]=2 . We have Kge = J except when K is real and J is imaginary and this last case occurs when δK > 0 (d> 0) and there exists p 3 mod 4. In this case, [J + : K]=2m−2. For the quadratic i ≡ extension K = Q(√ 14) over Q, we have Kge = Q(√2, √ 7) and for K = Q(√79) − + − we obtain J = Q(√ 79,i) and Kge = J = J R = Q(√79) = K. − ∩ Now if K is the class group of K, K = Gal(KH /K) and E is the fixed field 2 C 2 C ∼ of K , then Gal(E/K) = K/ K . Since Kge is the maximal abelian extension of C ∼ C C ′ Q contained in KH , Kge is the fixed subfield of KH under the derived group G of ′ 2 G := Gal(K /Q). It can be verified that G = so that Kge = E and it follows H CK that the 2–rank of K is m 1 unless d> 0 and there exists a prime p 3 mod 4 dividing d and in thisC case the− 2–rank of is m 2. ≡ CK − Example 2.4. If p is an odd prime, K is a cyclic extension of Q of degree p and m is the number of ramified primes in K, it follows that Kge is an elementary abelian m m−1 m−1 p–extension of Q of degree p and [Kge : K]= p . In particular p . | |CK | Now let K be any abelian extension of Q with Dirichlet character group X. Consider for each p , X . Let J be the field associated to X . Let ∈ P p p∈P p pmp := gcd f χ X where f denotes the conductor of χ . Then the field K χp χp p Q p { | ∈ } m associated to Xp is contained in Q(ζp p ) but not in Q(ζpmp−1 ). If p is odd, Kp is the unique subfield of Q(ζpmp ) of degree Xp over Q and Kp/Q is a cyclic extension. If | | m2 m2−1 p = 2, K2 is one of the following fields. If X2 = ϕ(2 )=2 , K2 = Q(ζ2m2 ). ϕ(2m2 ) | | −1 m2−2 m + m m If X2 = 2 = 2 , K2 = Q(ζ2 2 ) = Q ζ2 2 + ζ2m2 = Q(ζ2 2 ) R if | | −1 ∩ χ( 1) = 1 for all χ X and K = Q ζ m2 ζ m if there exists χ X with 2 2 2 2 χ(−1) = 1. ∈ − ∈ − − Therefore, if K and J are both real or both imaginary, Kge = J = p∈P Kp. If + K is real and J is imaginary, Kge = J = J R. ∩ Q 3. Cyclotomic function fields Most of the results on cyclotomic function fields we need in this paper were developed by D.R. Hayes in [6]. As a reference we use [6, 14]. Let k = Fq(T ) be a rational congruence function field, Fq denoting the finite field of q elements. Let RT = Fq[T ] be the ring of polynomials, that is, we choose RT as the ring of + integers of k. RT denotes the set of monic irreducible polynomials in RT . For N R 0 ,Λ denotes the N–torsion of the Carlitz module and k(Λ ) denotes ∈ T \{ } N N the N–th cyclotomic function field. The RT –module ΛN is cyclic and λN , or λ if there is no possible confusion, denotes a generator of ΛN as RT –module. If we let X := 1/T , RX = R1/T = Fq[1/T ], then k = Fq(1/T ) and we define Λ1/T n as the n (1/T )–torsion of the Carlitz module with RX instead of RT . For any function field K/Fq, Km := KFqm denotes the constant field extension. For any m N, Cm denotes a cyclic group of order m. ∈ ∗ We have k(ΛN ) = k(λN ) and GN := Gal(k(ΛN )/k) ∼= RT /(N) with the identification σ λ = λA for A R . For any finite extension K/k we will use the A N N ∈ T symbol S∞(K) to denote either one prime or the set of all primes in K above p∞, the pole divisor of T in k. When we mention the degree of S∞(K), where K/k is a Galois extension, we mean the degree of each element of S∞(K). We understand ∗ by a Dirichlet character any group homomorphism χ: R /(N) C∗ and we T → GENUSFIELDSINCONGRUENCE FUNCTIONFIELDS 5 define the conductor fχ of χ as the monic polynomial of minimum degree such that ∗ ∗ χ can be defined modulo fχ, χ: RT /(fχ) C . → ∗ Given any group of characters X GN (= Hom(GN , C )), the field associated to X is the subfield of k(Λ ) fixed⊆ under ker χ. Conversely, for any field N ∩χ∈X K k(Λ ), the group of Dirichlet charactersd associated to K is Gal(\K/k). ⊆ N For any character χ we consider the canonical decomposition χ = + χP , P ∈RT + where χP has conductor a power of P . We have fχ = fχP . P ∈RT Q + If X is a group of Dirichlet characters, we write XP := χP χ X for P RT . Q {+ | ∈ } ∈ If K is any extension of k, k K k(ΛN ) and P RT , then the ramification index of P in K is e = X . ⊆ ⊆ ∈ P | P | In k(Λ )/k, p has ramification index q 1 and decomposes into |GN | different N ∞ − q−1 prime divisors of k(ΛN ) of degree 1. Furthermore, with the identification GN = ∗ ∗ ∼ R /(N) , the inertia group I of p is F∗ R /(N) , that is, I = σ a T ∞ q ⊆ T { a | ∈ F∗ . In this case the inertia and the decomposition groups coincide. The primes q } that ramify in k(Λ )/k are p and the polynomials P R+ such that P N. N ∞ ∈ T | We set Ln to be the largest subfield of k(Λ1/T n ) where p∞ is fully and purely wildly ramified, n N. For any field F , nF denotes the composite FLn. We recall Rosen’s∈ definition for a relative Hilbert class field of a congruence function field K.

Definition 3.1 ([11]). Let K be a function field with field of constants Fq. Let S be any nonempty finite set of prime divisors of K. The Hilbert class function field of K relative to S, KH,S, is the maximal unramified abelian extension of K where every element of S decomposes fully. From now on, for any finite extension K of k we will consider S as the set of prime divisors dividing p∞, the pole divisor of T in k and we write KH instead of KH,S. Definition 3.2. Let K be a finite geometric extension of k, that is, the exact field of constants of K is Fq. The genus field Kge of K is the maximal extension of K contained in KH that is the composite of K and an abelian extension of k. ∗ ∗ Equivalently, Kge = Kk where k is the maximal abelian extension of k contained in KH .

When K/k is an abelian extension, Kge is the maximal abelian extension of k contained in KH . Our main goal in this section is to find Kge when K is a subfield of a cyclotomic function field. In what follows K will always denote a finite geometric abelian extension of k. First we note that we have the analogue to Leopoldt’s result.

Proposition 3.3. If K k(ΛN ) and the group of characters associated to K is X, then the maximal abelian⊆ extension J of K unramified at every finite prime P R+, ∈ T contained in a cyclotomic extension, is the field associated to Y = + XP = P ∈RT X . P |N P Q Proof.Q Analogous to the proof of Theorem 2.1.

In this case p∞ has no inertia in J/K but it might be ramiﬁed. The following proposition should be well known. However, since we could not ﬁnd any reference, we include it here. 6 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

Proposition 3.4. If E/k is an abelian extension such that p∞ is tamely ramiﬁed, then there exist N R and m N such that E k(Λ )F m . ∈ T ∈ ⊆ N q

Proof. By the Kronecker–Weber Theorem [14, Theorem 12.8.5], we have E ⊆ k(Λ )F m L = k(Λ ) for some N R and n,m N. N q n n N m ∈ T ∈

F FLn V ③③ ③③ ③③ ③③ E R ⑧⑧ ⑧⑧ ⑧⑧ ⑧⑧ k Ln

Let F := k(ΛN )Fqm = k(ΛN )m and let V be the first ramification group of p∞ in V FLn/k. Then R := (FLn) is the maximal extension of k contained in FLn where p∞ is tamely ramified and in consequence S∞(R) is wildly ramified in FLn/R. Since p is tamely ramified in E/k, it follows that E R. Now, p is tamely ∞ ⊆ ∞ ramified in F/k and S∞(F ) is fully and wildly ramified in FLn/F and FLn/F is of degree V . Hence R = F and E F . | | ⊆

Proposition 3.5. With the hypothesis of Proposition 3.3, if ep (K k) = q 1, ∞ | − then Kge = J.

ep∞ (J|k) q−1 Proof. Since ep∞ (J K) = = = 1, p∞ decomposes fully in J/K and | ep∞ (K|k) q−1 therefore J Kge. ⊆ Now the field of constants of Kge is Fq (see [11] or simply if Fqm is the field of constants of Kge, k k Kge and p is fully inert in k ; since p and the ⊆ m ⊆ ∞ m ∞ primes in S∞(K) have no inertia in either K/k or J/K, m = 1.) Since p∞ decomposes fully in Kge/K and p∞ is tamely ramified in K/k, by Proposition 3.4 we have Kge k(Λ )F m for some N R and m N. ⊆ N q ∈ T ∈ In all the extensions km/k, Km/K, Jm/J, k(ΛN )m/k(ΛN ) the infinite primes are fully inert since all have degree 1 (see [14, Theorem 6.2.1]). In the extensions K /k and K/k the ramification index of the infinite primes is q 1, that is, m m − the maximal possible. It follows that in Jm/Km, J/K, k(ΛN )/J and k(ΛN )m/Jm, S∞(Km), S∞(K), S∞(J) and S∞(Jm) are fully decomposed. Finally, in k(ΛN )m/J (and therefore in k(ΛN )m/Kge), S∞(J) is unramified. Let := Gal(k(ΛN )m/J). For S∞(J) we have that in this extension the rami- ficationG index e, the inertia degree f and the decomposition number h are e = 1, |G| f = m and h = m . Therefore the decomposition group D of p∞ is of order m and it is cyclic. We must have D = Gal(k(ΛN )m/k(ΛN )) because S∞(k(ΛN )) is fully inert of degree m in k(ΛN )m/k(ΛN ). Since the primes in S∞(J) have inertia degree 1 in Kge/J, it follows that Kge k(Λ ). Thus Kge = J. ⊆ N GENUSFIELDSINCONGRUENCE FUNCTIONFIELDS 7

k(ΛN ) k(ΛN )m J

(2) Kge J ✇ ②② ✇✇ ②② ✇✇ ②② ✇✇ ②② ✇ (1) J ✇ J J K m ❊❊ ❊❊ ❊❊ X Y1 ❊ ❊❊ K Km k

k km

Now we consider the case k K k(Λ ) where ep (K k) not necessarily is ⊆ ⊆ N ∞ | equal to q 1. We use the notations of Proposition 3.3. In this case S∞(K) might be − ∗ ramified in J/K. Let Y := χ Y χ(a) = 1 for all a F∗ R /(N) = G 1 ∈ | ∈ q ⊆ T ∼ N and let J (1) be the field associated to Y . Then J (1) J since Y Y , though not 1 1 necessarily J (1) K or K J (1). Let J (2) := KJ (1)⊆. ⊆ (2) ⊆ ⊆ Then J is the field associated to the character group XY1. Since p∞ decom- (1) (2) (1) poses fully in J /k, S∞(K) decomposes fully in J . Furthermore S∞(J ) is (1) (2) (2) fully ramified in J/J . Hence S∞(J ) is fully ramified in J/J . (2) (2) We obtain that J /K is an unramified abelian extension with J k(ΛN ) (2) (2) D ⊆ and S∞(K) decomposes fully in J /K. It follows that J = J where D is the decomposition group of any prime in S∞(J) with respect to the Galois group Gal(J/K). Now consider any unramified abelian extension F/K such that S∞(K) decomposes fully in F . By Proposition 3.4, F k(Λ )F m for some N R and m N. ⊆ N q ∈ T ∈ In case F k(ΛN ), let Z be the group of Dirichlet characters associated to F . Since F/K⊆is unramified, it follows that X Z Y by Proposition 3.3 and thus ⊆ ⊆ F J. Since J (2) = J D, we obtain that F J (2). ⊆ ⊆

k(ΛN ) k(ΛN )m

I F ☛☛ ☛☛ ☛☛ B ☛ Bm ☛ ☛☛ ☛☛ ☛☛ K Km

k km 8 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

For the case k F k(Λ )F m , that is, F not necessarily is contained in a ⊆ ⊆ N q cyclotomic function field, let I be the inertia group of S∞(K) in k(ΛN )/K and I let B := k(ΛN ) . Then the primes in S∞(B) are fully inert in Bm because they have degree 1 and they are fully ramified in k(ΛN )/B. Since S∞(K) decomposes fully in B, B is the decomposition field of the primes in S∞(K) in k(ΛN )m/K so F B k(Λ ). ⊆ ⊆ N From the first part, we obtain that F J (2). We have proved the following ⊆ Theorem 3.6. Assume K k(ΛN ) for some polynomial N. Let X be the group of Dirichlet characters associated⊆ to K, Y = X , Y = χ Y χ(a) = P |N P 1 { ∈ | 1 for all a F∗ and J (1) the field associated to Y . Then the genus field K of K q Q 1 ge ∈ } (1) satisfies Kge k(Λ ) and Kge = KJ . ⊆ N 4. General congruence function fields First we prove the following result. Lemma 4.1. If K/k is an abelian extension and the degree of any prime divisor in S∞(K) is t, then the field of constants of Kge is Fqt .

Proof. Consider the constant field extension Kr := KFqr of K. Then the number of primes in Kr above any prime in S∞(K) is h = gcd(dK (S∞(K)), r) = gcd(t, r) ([14, Theorem 6.2.1(2)]). Therefore S∞(K) decomposes fully in Kr/K iff h = r and this is equivalent to r d (S (K)) = t. It follows that the maximal constant | K ∞ field extension of K where S∞(K) decomposes fully is Kt = KFqt . Thus the field of constants of Kge is Fqt .

4.1. Congruence function fields where p∞ is tamely ramified. Now we consider any finite geometric abelian extension K/Fq of k such that p∞ is tamely ramified. Then we have K k(Λ )F m = k(Λ ) for some N R and m N. ⊆ N q N m ∈ T ∈ Since k(ΛN )/k is a geometric extension and km/k is an extension of constants, we have k(Λ ) k = k. Since p is tamely ramified in Kge/k, without loss of N ∩ m ∞ generality we may assume that Kge k(ΛN )m. Define E := K k(Λ ) K .⊆ By the Galois correspondence we have E = m ∩ N ⊆ m m Ekm = Km. We also have [E : k] = [K : k] since m[K : k] = [Km : k] = [Em : k]= m[E : k]. Hence,

(4.1) Em = Km and [E : k] = [K : k]. In other words, E plays a role similar to that of K but it is contained in a cyclotomic extension. Since E = K k(Λ ), it follows that E K = Ege K = k(Λ ) K. m ∩ N ∩ ∩ N ∩ Because Km/K and Ege/E are unramified, we obtain that EgeK/K is unramified. Also, since S∞(E) decomposes fully in Ege, S∞(EK) decomposes fully in EgeK. Now, S (E K) has inertia degree one in E/(E K) but might be ramified, so ∞ ∩ ∩ S∞(K) might have inertia in EK/K. Since the decomposition group of S∞(K) corresponding to the extension EK/K is contained in the decomposition group of S (E K) corresponding to the extension E/(E K) (and this group is equal to ∞ ∩ ∩ the inertia group), the inertia degree d of S∞(K) in EK/K divides the ramification index of S∞(E K) in E/(E K). This last one is a divisor of q 1. That is, d (q 1). ∩ ∩ − | − GENUSFIELDSINCONGRUENCE FUNCTIONFIELDS 9

Let H be the decomposition group of S∞(K) in EgeK/K. We have that H is a cyclic group of order d and it corresponds to the inertia of S∞(K) in EgeK/K. H H1 If H1 := H Ege , we have that (EgeK) = Ege K is unramiﬁed over K and S∞(K) | H splits completely. Thus (EgeK) Kge. Note that since S∞(E) is fully de- H1 ⊆ H1 composed in Ege/E and S∞(Ege ) is fully ramiﬁed in Ege/Ege , it follows that H1 EEge = Ege. In short, we have

H H1 H1 (4.2) (EgeK) = E K Kge and EE = Ege. ge ⊆ ge Finally, let C := Kge,m k(ΛN ). From (4.1) we have E Em = Km Kge,m and ∩ H1 ⊆ H1 ⊆ E k(ΛN ). Hence E C. From (4.2) we obtain Ege Ege K Kge Kge,m. ⊆ H1 ⊆ ⊆ H1 ⊆ ⊆ Hence E Kge k(Λ )= C. We also have Ege = EE C. ge ⊆ ,m ∩ N ge ⊆ Now, by definition, Kge/K is unramified. Thus Kge,m/Km is unramified. We have Km = Em = (EK)m and Em/E, being an extension of constants, is unramified. It follows that Kge,m/E is unramified. Since E C Kge,m we obtain that C/E is unramified. Finally, because C k(Λ ) and⊆S (⊆E) is unramified in ⊆ N ∞ C/E, it follows that S∞(E) is fully decomposed in C/E. Hence C Ege. Since k(Λ ) = k(Λ )k and k(Λ ) k = k, by the Galois correspondence,⊆ we obtain N m N m N ∩ m (4.3) C = Ege and Ege,m = Ckm = Kge,m.

k(ΛN ) k(ΛN )m

C Kge,m ✤ ✤ ✤ C=Ege Kge,m=Ege,m ✤ ✤ ✤ Ege EgeK Ege,m H =H| ✷ ♣ ✸ 1 Ege ①① ✷ H ♣ ✸ ①① ✷ ♣♣♣ ✸ ①① ✷✷ ♣♣ ✸✸ ①① ✷ ♣♣♣ ✸ EH1 ✷ EH1 K E K H K ✸ ge ✷ ge = ( ge ) ge ✸ ✺ ✷✷ ❄ ✸✸ ✺ ✷ ❄❄ ✸ ✺✺ ✷✷ ❄ ✸✸ ✺ ✷ ❄❄ ✸ ✺✺ ✷ ❄❄ ✸ ✺ E ❄ EK E = K ✺✺ ❄❄ m m ✺ ①① ❄❄ ✇✇ ❥❥❥❥ ✺✺ ①① ❄ ✇✇ ❥❥❥ ✺ ① ❄❄ ✇✇ ❥❥❥ ✺ ①① ❄ ✇✇❥❥❥❥ E ∩ K① K ❥✇❥❥

k km

H1 From (4.2) we have E K Kge Kge and ge ⊆ ⊆ ,m H1 H1 H1 H1 (Ege K)m = Ege Km = Ege Em = (Ege E)m = Ege,m = Kge,m.

H1 Thus Kge,m/Ege K is an extension of constants. From Lemma 4.1, the ﬁeld of H1 H1 constants of Kge is Fqt , so Kge = (Ege K)t. If we prove that Fqt Ege K, it will H1 ⊆ follow that Kge = Ege K. Let I be the inertia group of any element of S∞(K) in the extension K/k, I = e(S (K) p ) = e, and let D′ be the decomposition group of S (K) in | | ∞ | ∞ ∞ 10 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

′ ′ K/k. We have D = et since D /I ∼= Gal(K(S∞(K))/k(p∞)) ∼= Ct. In the following diagram| the| decomposition type is referred to the inﬁnite prime divisors.

fully K Kt decomposed I I fully K1 K1,t decomposed t ④④ D′ ④④ ④④ inert ④④ t=|D′/I| inert F

t K2 K2,t inert fully fully decomposed decomposed t k kt inert

I D′ Here K1 := K , K2 := K and F is the fixed field of the decomposition group of p in K /k. It follows that p is fully decomposed in F/k. Therefore F k(Λ ). ∞ 1,t ∞ ⊆ N The inertia degree of any element of S∞(K2) in the extension K1/K2 is t. Thus F K = K and FK /K is an extension of degree t2 with Galois group C C . ∩ 1 2 1 2 t × t In particular we obtain FK1 = K1,t. Since F K and K k(Λ ) , we have F K (k(Λ ) ) = k(Λ ) . ⊆ t ⊆ N m ⊆ t ⊆ N m t N m Because E = Km k(ΛN ) it follows that F E and since p∞ is fully decomposed in ∩ H1 ⊆ H1 H1 F/k, we have F E . Therefore ktK1 = K1,t = FK1 FK E K Ege K. ⊆ H1 ⊆ ⊆ ⊆ Thus the field of constants of E K contains Fqt . Hence

H1 (4.4) Kge = Ege K.

H1 H1 Now, from (4.2) we obtain Ege K = Kge EgeK (EgeK)m = Ege EKm = H1 ⊆ ⊆ (Ege K)m. In particular, EgeK/Kge is an extension of constants. Since K Ege = K E, from the Galois correspondence we obtain ∩ ∩ H1 H1 [EgeK : Kge] = [EgeK : E K] = [Ege : E ]= d = H = H ge ge | 1| | | and since the ﬁeld of constants of Kge is Fqt , it follows that the ﬁeld of constants of EgeK is Fqtd and

(4.5) EgeK = KgeFqtd .

D D Finally, from (4.3) we have Kge = Ege,m = Kge,m where D is the decomposition group of the prime divisors in S∞(K) in Ege,m/K. Observe that D = [Ege,m : m | | Kge] = [Kge,m : Kge]= t where t is the degree of any prime in S∞(K). We have proved

Theorem 4.2. Let K/Fq be a geometric finite abelian extension of k where p∞ is tamely ramified. Let N R and m N be such that Kge k(Λ )F m . Let ∈ T ∈ ⊆ N q Ege be the genus field of E := k(Λ ) KF m and let Ege = EgeF m . Let H be N ∩ q ,m q the decomposition group of S (K) in EgeK/K. Let H = H . Let D be the ∞ 1 |Ege decomposition group of the prime divisors in S∞(K) in Ege,m. Then the genus field GENUS FIELDS IN CONGRUENCE FUNCTION FIELDS 11 of K is

H H1 D Kge = (EgeK) = Ege K = Ege,m.

Remark 4.3. Let σ = Gal(k(Λ ) /k(Λ )) = Gal(k /k). Then with the above h i N m N ∼ m notations, we have D = σt and ∼ h i (4.6) [Kge,m : K] [Ege,m : Km][Km : K] [Ege,m : Em]m [Kge : K]= = = = [Ege : E]t, [Kge : Kge] D m/t ,m | | where t is the degree of any prime in S∞(K).

4.2. Congruence function fields with general type ramification of p∞. Fi- nally we consider any geometric finite abelian extension K of k. By the Kronecker–

Weber Theorem, we have K k(ΛN )Fqm Ln = nk(ΛN )m for some N RT and n,m N. Let := Gal( k⊆(Λ ) /k(Λ ) ), := Gal( k(Λ ) /Kk∈ (Λ ) ), ∈ G n N m N m H n N m N m M := Kk(Λ ) L = LH1 where := . N m ∩ n n H1 H|Ln Let G := Gal(nk(ΛN )m/Ln), H := Gal(nk(ΛN )m/nK), F := nK k(ΛN )m = H1 ∩ k(ΛN ) where H1 := H k(Λ ) . m | N m We have F = nK k(ΛN )m nK. Hence, on the one hand nF nK, and on the other hand [ k(Λ∩ ) : F ]⊆ = [k(Λ ) : F ] = H = H = [ k⊆(Λ ) : K]. n N m n N m | 1| | | n N m n It follows that nF = nK. Similarly we obtain Mk(ΛN )m = Kk(ΛN )m.

k(ΛN )m Mk(ΛN )m = Kk(ΛN )m nk(ΛN )m

F FM = KM = FK nF = nK G ♠♠ ♠♠♠ ♠♠♠ ♠♠♠ ♠♠♠ K ♠ ✈✈ ✈✈ ✈✈ ✈✈ ✈✈ k M Ln

A Set A G such that K = nk(ΛM )m. First we will prove that FM = ⊆ G× G×H H×G KM = FK. We have F = nk(ΛN )m and M = nk(ΛN )m . Then if we denote R = nk(ΛN )m, we have

A∩(G×1) A G×1 R = R R = Kk(ΛN )m = Mk(ΛN )m = RH×GRG×1 = R(H×G)∩(G×1) = RH×1, 12 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA so that A ( 1) = 1. Similarly A (1 G)=1 H. Therefore ∩ G× H× ∩ × × FM = RG×H RH×G = R(G×H)∩(H×G) = RH×H , KM = RARH×G = RA∩(H×G), FK = RG×H RA = R(G×H)∩A. Since it is easily seen that ( H) A = A ( G) = H, it follows that FM = KM = FK. G × ∩ ∩ H× H× Given that Fge/F is unramified and S∞(F ) decomposes fully, we obtain that nKFge/nK is unramified and S∞(nF ) decomposes fully. Now, in nK/K the only possible ramified primes are those in S∞(K) and if this is so, they are wildly ramified. It follows that in nKFge/K the only possible ramified primes are the elements of S∞(K) and if this is so, they are wildly ramified. In particular, in FgeK/K the only possible ramified primes are those in S∞(K) and if they are ramified, they are wildly ramified. Again, given that the extension Fge/F is unramified and S∞(F ) decomposes fully, FgeK/FK is unramified and S∞(FK) decomposes fully. In the extension F/(K F ), S (K F ) is tamely ramified, hence S (K) is tamely ramified in ∩ ∞ ∩ ∞ FK/K. Therefore S (K) decomposes fully in FK/K. In short, we have FgeK ∞ ⊆ Kge. Since FM = FK, FgeM = FgeK Kge. Let V be the first ramification group V ⊆ of p∞ in Kge/k. Set E := Kge. Then p∞ is tamely ramified in E/k and therefore E k(Λ ) . Since p is fully wildly ramified in M/k, M E = k. Now, being ⊆ N m ∞ ∩ V the first ramification group of p∞ in the extension Kge/k and it is so in M/k, it follows that p∞ and S∞(M) are tamely ramified in the extensions E/k and Kge/M respectively and S∞(F ) is fully wildly ramified in the extension FK = FM/F . In particular, S∞(M) is tamely ramified in Kge/M and since Kge/K is unramified, it follows that Kge/FM is unramified.

V E Kge

Fge FgeM = FgeK

F FM = KM = FK ♦♦♦ ♦♦♦ ♦♦♦ ♦♦♦ p∞ is tamely K ♦ S∞(M) is tamely ramiﬁed ④ ramiﬁed ④④ ④④ ④④ k ④ V M

Now [Kge : k] = [E : k] V = [E : k][M : k] = [EM : k]. It follows that | | Kge = EM. We also have Fge E because Fge = FgeK E E. The extension ⊆ ∩ ⊆ Kge/FK is unramified since Kge/K is unramified. Since p∞ is the only ramified prime in M/k, the only ramified primes in FK = FM/F are those in S∞(F ) and as we just mentioned, they are wildly ramified. S∞(F ) is not ramified in E/F since otherwise it would be tamely ramified, and E/F is unramified at every other prime GENUS FIELDS IN CONGRUENCE FUNCTION FIELDS 13 because Kge/F is ramified at most at the prime divisors in S∞(F ). It follows that E Fge and therefore E = Fge. Thus Kge = EM = FgeM = FgeK. ⊆We have proved

Theorem 4.4. Let K/k be any ﬁnite abelian extension with K nk(ΛN )m. Let F = K k(Λ ) and M = Kk(Λ ) L . Then the genus⊆ ﬁeld of K is n ∩ N m N m ∩ n Kge = FgeK = FgeM. Our main result is the combination of Theorems 4.2 and 4.4.

Theorem 4.5. Let K/k be a ﬁnite abelian extension with K k(Λ )F m L . Let ⊆ N q n F = KLn k(ΛN )Fqm and E = k(ΛN ) F Fqm k(ΛN ). Then the genus ﬁeld of K is ∩ ∩ ⊆

H1 Kge = Ege FK where Ege is the genus ﬁeld of E, H is the decomposition group of S∞(F ) in EgeF/F and H1 = H Ege . Furthermore EgeFK/Kge is an extension of constants of degree d = H and |d divides q 1. Finally | | − EgeFK = KgeFqtd where t is the degree of S∞(K).

5. Applications In this section we will see how our results can be applied to some general abelian extensions: Kummer, Artin–Schreier and p–cyclic (Witt) extensions.

5.1. Kummer Extensions. Here we will assume that q 3. Let P R+. Then ≥ ∈ T k( q−1 ( 1)deg P P ) k(Λ ) (see [12, Exercise 5, page 303]). Thus for l a prime − ⊆ P number such that l q 1, we have k( l ( 1)deg P P ) k(Λ ). Therefore for any p P | − l − deg D ⊆ monic polynomial D RT , we obtain k( ( 1) D) k(ΛD). ∈ pl − ⊆ Note that for α, β F∗, we have k(√αD) = k(√l βD) iﬀ α β mod (F∗)l. In q p q l ∈ deg D ∗ l ≡ particular k(√γD) k(ΛD) iﬀ γ ( 1) mod (Fq ) . It follows that if l deg D l ⊆ ≡ − | then k(√D) k(ΛD). In this subsection⊆ we use the notations of Section 4. Let K := k(√l γD) with D R a monic l–power free polynomial, γ F∗ and D = P e1 P er where ∈ T ∈ q 1 ··· r P R+, 1 e l 1, 1 i r. Furthermore we arrange the product so that i ∈ T ≤ i ≤ − ≤ ≤ l deg Pi for 1 i s and l ∤ deg Pj for s +1 j r, 0 s r. In general, we | ≤ ≤l deg D ∗ ≤∗ l ≤ ≤ ≤ always have E = k( ( 1) D), and F (F l ) . Now − q ⊆ q K = E p ( 1)deg D γ mod (F∗)l ( 1)deg Dγ (F∗)l. ⇐⇒ − ≡ q ⇐⇒ − ∈ q Proposition 5.1. The behavior of p∞ in K/k is the following:

(a).- If l ∤ deg D, p∞ is ramiﬁed. (b).- If l deg D and γ (F∗)l, p decomposes. | ∈ q ∞ (c).- If l deg D and γ (F∗)l, p is inert. | 6∈ q ∞ Proof. [10, Lemma 3].

Note that in general EK = k l ( 1)deg DD, √l γD = K l ( 1)deg Dγ = − − KF l ( 1)deg Dγ . We have F l ( 1)deg Dγ = F ( 1)deg Dγ (F∗)l( q − q −p q ⇐⇒ − p ∈ q ⇐⇒ p p 14 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

l deg D deg D ∗ l E = K). Consequently Fq ( 1) γ = Fql ( 1) γ / (Fq ) . In any case we have EK = E or EK =−E = K . ⇐⇒ − ∈ p l l Now by (5.1) we have [Kge : K] = [Ege : E]t where

1 if p∞ is not inert in K/k, t = deg S∞(K)= (l if p∞ is inert in K/k. When K = E, that is, when K k(Λ ), if χ is the character of order l associated ⊆ D to K, χ = χP1 χPr , we consider Y = χPi 1 i r . The field associated to Y is ··· h | ≤ ≤ i l l F = k ( 1)deg P1 P ,..., ( 1)deg Pr P , − 1 − r q q and Kge = F if l ∤ deg D or if l deg Pi for all i (that is, s = r). This is because | in the first case p∞ is already ramified in K and in the second p∞ is unramified in F/k (Proposition 5.1). When l deg D and l ∤ deg Pr, p∞ ramifies in F/k and is unramified in E/k. In | am this case [F : Ege] = l. Let as+1,...,ar−1 Z be such that l deg(PmPr ), that is, deg P + a deg P 0 mod l, s +1 m∈ r 1. Let | m m r ≡ ≤ ≤ − l l l as+1 l ar−1 F := k P ,..., P , P Pr ,..., P Pr k(Λ ). 1 1 s s+1 r−1 ⊆ P1P2···Pr q q p p l deg Pr Then S (E) decomposes in F /E, K F Ege and since F= F ( 1) P , ∞ 1 ⊆ 1 ⊆ 1 − r we have [F : F ]= l. It follows that Ege = F . We have 1 1 p F if l ∤ deg D or if l deg Pr, (5.1) Ege = | F if l deg D and l ∤ deg P . ( 1 | r deg D ∗ l Let α := ( 1) γ. We have E = K α (Fq ) and E = K α / ∗ l − ∗ l ⇐⇒ ∈ 6 ⇐⇒ ∈ (F ) . In particular, when α (F ) we have Ege = Kge. q ∈ q When α / (F∗)l, we have ∈ q EK = k( l ( 1)deg DD, l γD)= K(√l α)= K = K. − l 6 q From Theorem 4.2 we obtain that ifpS∞(K) is not inert in EK/K then Kge = H1 EgeK. When S∞(K) is inert in EK/K then Kge = Ege K where H1 is the inertia ∗ l group of p in Ege/k . This last case holds when E = K, that is, α / (F ) , and, ∞ 6 ∈ q p∞ is ramified in E/k, that is, l ∤ deg D. Since p∞ is unramified in F1/k, it follows H1 that Ege = F1. Combining this situation with (5.1), we obtain that Kge is equal to one of the following six cases: F if α (F∗)l, l deg D and l ∤ deg P (this implies γ (F∗)l), 1 ∈ q | r ∈ q F if α (F∗)l and l deg P (this implies l deg D and γ (F∗)l), ∈ q | r | ∈ q F if α (F∗)l and l ∤ deg D, ∈ q F K if α / (F∗)l, l deg D and l ∤ deg P (this implies γ / (F∗)l), 1 ∈ q | r ∈ q FK if α / (F∗)l and l deg P (this implies l deg D and γ / (F∗)l), ∈ q | r | ∈ q F K if α / (F∗)l and l ∤ deg D (this implies l ∤ deg P ). 1 ∈ q r Therefore we have obtained

e1 er Theorem 5.2 (G. Peng [10]). Let D = P1 Pr RT be a monic l–power + ··· ∈ free polynomial, where Pi RT , 1 ei l 1, 1 i r. Let 0 s r be such that l deg P for∈1 i ≤s and≤ l ∤−deg P ≤for ≤s + 1 j ≤ r.≤ Let | i ≤ ≤ j ≤ ≤ GENUS FIELDS IN CONGRUENCE FUNCTION FIELDS 15

K := k(√l γD) where γ F∗. Let α := ( 1)deg Dγ and a ,...,a Z satisfying ∈ q − s+1 r−1 ∈ deg P + a deg P 0 mod l, s +1 m r 1. Then Kge is given by: m m r ≡ ≤ ≤ − (a).- k l ( 1)deg P1 P ,..., l ( 1)deg Pr P if α (F∗)l and l ∤ deg D. − 1 − r ∈ q l l l as+1 l ar−1 ∗ l (b).- k √P ,..., √P , P Pr ,..., P Pr if α (F ) , l deg D, and p 1 s s+1p r−1 ∈ q | l ∤ deg Pr. l lp p (c).- k √l γ, √P1,..., √Pr) if l deg Pr. | √l √l √l l as+1 l ar−1 ∗ l (d).- k γD, P1,..., Ps, Ps+1Pr ,..., Pr−1Pr if α / (Fq ) and l ∤ deg P . ∈ r p p 5.2. Artin–Schreier extensions. Consider K := k(y) where yp y = α k. The equation can be normalized as: − ∈ r Q (5.2) yp y = α = i + f(T ), − P ei i=1 i X + ei where Pi RT , Qi RT , gcd(Pi,Qi) = 1, ei > 0, p ∤ ei, deg Qi < deg Pi , 1 i r, ∈f(T ) R ,∈ with p ∤ deg f when f(T ) F . ≤ ≤ ∈ T 6∈ q We have that the ﬁnite primes ramiﬁed in K/k are precisely P1,...,Pr. With respect to p∞ we have

Proposition 5.3. The prime p∞ is (a).- decomposed if f(T )=0, p (b).- inert if f(T ) Fq and f(T ) ℘(Fq) := a a a Fq , (c).- ramiﬁed if f(∈T ) F (thus p6∈∤ deg f). { − | ∈ } 6∈ q We study two cases.

Case 1: We assume that p is not ramified, so f(T ) F . Recall that K = KF p . ∞ ∈ q p q We have Gal(Kp/k) = Cp Cp. The p + 1 fields of degree p over k contained in ∼ × p K are: k(y + β ), 1 i p and k , where β is a basis of F p over F . By p i ≤ ≤ p i i=1 q q Proposition 5.3, the unique such extension such that p is not inert is the one k(w) ∞ such that wp w = α f(T ). Thus E = k(w). − − If χ is the character associated to E, then χ = χP1 χPr and the field associated p Qi ··· to χ is k(y ), where y y = α := e , 1 i r. Therefore Pi i i i i P i − i ≤ ≤ (5.3) Ege = k(y , ,y ). 1 ··· r p p Thus Kge = EgeK = k(y1,...,yr,β) with β =0 or β β ℘(Fq) = x x x F . − 6∈ { − | ∈ q} p Case 2: Now consider the case p∞ ramified in K. Set K1 := k(β), β β = f(T ), p r Qi − p ∤ deg f. Let E := k(w) where w w = α f(T )= α1 = i=1 ei . By Case 1, − − Pi Ege = k(y1,...,yr). Therefore Kge = EgeK = k(y1,...,yr,βP). We have proved Theorem 5.4 (S. Hu and Y. Li [7]). Let K = k(y) be given by (5.2). Then p Qi p Kge = k(y ,...,y ,β), where y y = e , 1 i r and β β = f(T ). 1 r i − i P i ≤ ≤ − 5.3. p–cyclic extensions. This case is similar to Artin–Schreier’s. Here we con- • sider K = k(~y) where ~yp ~y = β~, and the operation is the Witt difference. The extension is a finite p–extension− of degree less than or equal to pn where ~y is of length n. Let P1,...Pr be the finite prime divisors ramified in K/k. 16 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

Theorem 5.5. Let K/k be a cyclic extension of degree pn where P ,...,P R+ 1 r ∈ T and possibly p∞, are the ramiﬁed prime divisors. Then K = k(~y) where

• • • • ~yp ~y = β~ = ~δ + + ~δ + ~µ, − 1 ··· r p Qij with β1 β1 / ℘(k), δij = eij , eij 0, Qij RT and if eij > 0, then p ∤ eij , − ∈ Pi ≥ ∈ eij gcd(Qij , Pi)=1 and deg(Qij ) < deg(Pi ), and µj = fj(T ) RT with p ∤ deg fj when f F . ∈ j 6∈ q Proof. We recall some facts on Witt vectors that we will need. In general, for the ring R := Q[xi,yj ,zl] in the variables xi,yj ,zl we consider the ring Rn, n N, with the underlying set equal to Rn and with the operations +, , componentwise.∈ Let Rn be the ring with underlying set the same Rn and with− the· following operations (Witt). Let ϕ: Rn R be given by ϕ(a ,...,a )= a(1),...,a(n) where → n 1 n m−1 m−2 a(m) := ap + pap + + pm−1a , m =1, . . . , n. 1 2 ··· m n (1) (n) Then ϕ is a bijective map with inverse ψ : Rn R given by ψ a ,...,a = (a ,...,a ) where → 1 n 1 m−1 m−2 a = a(m) ap pap pm−2ap , m =1, . . . , n. m pm−1 − 1 − 2 −···− m−1

• • The Witt operations +, and • on Rn are given by − · • −1 + + ϕ a – b = aϕ – bϕ . · · Now we return to our case of congruence function ﬁelds. Consider K/k a cyclic • extension of degree pn given by K := k(~y), ~yp ~y = β~ with ~y W (K) a Witt − ∈ n vector of length n in K and β~ W (k) a Witt vector of length n in k. ∈ n Let β~ = (β1,...,βn) be such that r Qij + 1≤j≤n βj = + fj(T ), where P1,...,Pr R , Qij RT , P eij ∈ T 1≤i≤r ⊆ i=1 i X (5.4) f (T ) R ,e N 0 for all 1 i r and 1 j n. j ∈ T ij ∈ ∪{ } ≤ ≤ ≤ ≤ Now when we apply ϕ to β~ we obtain β(1),...,β(n) and from the deﬁnition of β(j), we obtain r ′ (j) Qij ′ β = e′ + fj (T ) for all 1 j n. ij ≤ ≤ i=1 P X i We write

β~ = ~γ + + ~γ + ξ,~ 1 ··· r β(1),...,β(n) = γ(1),...,γ(n) + + γ(1),...,γ(n) + ξ(1),...,ξ(n) 1 1 ··· r r with ′ (j) Qij (j) ′ γi = e′ , 1 i r, 1 j n and ξ = fj(T ). ij ≤ ≤ ≤ ≤ Pi GENUS FIELDS IN CONGRUENCE FUNCTION FIELDS 17

When we apply ϕ−1, we obtain ϕ−1 −1 • • −1 • −1 (β ,...,β )= β(1),...,β(n) = (~γ )ϕ + + (~γ )ϕ + (ξ~)ϕ 1 n 1 ··· r −1 ′′ ′′ −1 ϕ Qi1 Qin ~ ϕ and each vector (~γi) is of the form e′′ , , e′′ and the vector (ξ) is of i1 in Pi ··· Pi ′′ ′′ the form f1 (T ),...,fn (T ) . In other words • • • β~ = ~δ + + ~δ + ~µ 1 ··· r where the components of each ~δi have poles at most at Pi and ~µ has components with poles at most at p∞. Let pi be the divisor corresponding to Pi. Now each ~δ and ~µ can be normalized in such a way that each component (~δi)j := δij has divisor aij δij = with λi 0; if λi =0, then vp (aij ) 0; k λi i pi ≥ ≥ if λi > 0, then gcd(p, λi) = 1 and vpij (aij )=0, and similarly for ~µ with respect to p∞ (see [13, page 162]). Indeed, the normal- ization can be obtained by the change of variable yij yij + αij , 1 i r, p • ~ 7→ ≤ ≤ 1 j n, where ~yi = (yi1,...,yin), ~yi ~yi = δi and αij k, that corresponds to the≤ substitution≤ δ δ + αp α and− therefore the components∈ obtained have ij 7→ ij ij − ij no poles other than pi.

Now we study the behavior of p∞ in K/k.

Proposition 5.6. Let K/k be given as in Theorem 5.5. Let µ1 = = µs = 0, ∗ ··· µs+1 Fq , µs+1 ℘(Fq) and finally, let t +1 be the first index with ft+1 Fq ∈ 6∈ n−t 6∈ (and therefore p ∤ deg ft+1). Then the ramification index of p∞ is p , the inertia t−s s degree of p∞ is p and the decomposition number of p∞ is p . More precisely, pt if Gal(K/k) = σ = Cpn , then the inertia group of p∞ is I = σ and the h i ∼ s h i decomposition group of p is D = σp . ∞ h i Proof. Since the extension K/k is a cyclic extension of degree a power of a prime, the inertia field is the first layer such that p∞ ramifies. The index of this first layer is t + 1 (see [13]). On the other hand, by the same reason, the decomposition field is the first layer where p∞ is inert and this is given by s + 1 (Proposition 5.3). p • ~ p • Now ~yi ~yi = δi, 1 i r and ~z ~z = ~µ. Note that k(~y, ~yi) and k(~y, ~z) are unramified− extensions of≤k(~y≤). − • We have k(~y ~z) k(ΛN ) for some N RT since by Proposition 5.6, p∞ is − ⊆ • ∈ • fully decomposed in k(~y ~z). Therefore E = k(~y ~z) is contained in a cyclotomic function field. − − If χ is the character associated to E, then χ = χ χ , where each χ is P1 ··· Pr Pi of order pni with n n. The field associated to χ is the field contained in i ≤ Pi a cyclotomic function field such that Pi is the only ramified prime and with the same ramification behavior that the one of Pi in E/k. Since in both cases this ramification is completely determined by ~δi, it follows that the field associated to

χPi is k(~yi). It follows that Ege = k(~y1,...,~yr) since p∞ is fully decomposed. Note that Kk(~z)/K is unramiﬁed and S∞(K) decomposes fully. It follows from Theorems 4.2 and 4.5 that Kge = Egek(~z). Therefore we have proved 18 M.MALDONADO,M.RZEDOWSKI,ANDG.VILLA

Theorem 5.7. If K/k is given as in Theorem 5.5, then Kge = k(~y1,...,~yr, ~z) • • where ~yp ~y = ~δ , 1 i r and ~zp ~z = ~µ. i − i i ≤ ≤ − • Example 5.8. Let k = F (T ) and K = k(~y) where ~y3 ~y = β~ = 1 +1, 1 +T . 3 − T T +1 Then the decomposition prescribed in Theorem 5.5 is: 1 T +1 • 1 • β~ = , + 0, + 1,T . T T 2 T +1 • • • 3 ~ 1 T +1 3 ~ 1 3 Thus, if ~y ~y = δ = , 2 , ~y ~y = δ = 0, and ~z ~z = ~µ = 1 − 1 1 T T 2 − 2 2 T +1 − 1,T , then K = k(~y , ~y , ~z). ge 1 2 References

[1] Bae, Sunghan; Koo, Ja Kyung, Genus theory for function fields, J. Austral. Math. Soc. Ser. A 60, no. 3 (1996) 301–310. [2] Clement, Rosario, The genus field of an algebraic function field, J. Number Theory 40, no. 3 (1992) 359–375. [3] Fröhlich, Albrecht, Central extensions, Galois groups and ideal class groups of number fields, Contemporary Mathematics, 24, American Mathematical Society, Providence, RI, 1983. [4] Gauss, Carl Friedrich, Disquisitiones arithmeticae, 1801. [5] Hasse, Helmut, Zur Geschlechtertheorie in quadratischen Zahlkörpern, J. Math. Soc. Japan 3 (1951) 45–51. [6] Hayes, David R., Explicit class field theory for rational function fields, Trans. Amer. Math. Soc. 189 (1974), 77–91. [7] Hu, Su; Li, Yan, The genus fields of Artin–Schreier extensions, Finite Fields Appl. 16, no. 4 (2010) 255–264. [8] Ishida, Makoto, The genus fields of algebraic number fields, Lecture Notes in Mathematics, Vol. 555, Springer-Verlag, Berlin-New York, 1976. [9] Leopoldt, Heinrich W., Zur Geschlechtertheorie in abelschen Zahlkörpern, Math. Nachr. 9 (1953) 351–362. [10] Peng, Guohua, The genus fields of Kummer function fields, J. Number Theory 98, no. 2 (2003) 221–227. [11] Rosen, Michael, The Hilbert class field in function fields, Exposition. Math. 5, no. 4 (1987) 365–378. [12] Rosen, Michael, Number theory in function fields, Graduate Texts in Mathematics, 210, Springer-Verlag, New York, 2002. [13] Schmid, Hermann Ludwig, Zur Arithmetik der zyklischen p-Körper, J. Reine Angew. Math. 176 (1936) 161–167. [14] Villa Salvador, Gabriel Daniel, Topics in the theory of algebraic function fields, Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 2006. [15] Zhang, Xianke, A simple construction of genus fields of abelian number fields, Proc. Amer. Math. Soc. 94, no. 3 (1985) 393–395.

Departamento de Matematicas,´ Escuela Superior de F´ısica y Matematicas´ del I.P.N. E-mail address: [email protected]

Departamento de Control Automatico,´ Centro de Investigacion´ y de Estudios Avan- zados del I.P.N. E-mail address: [email protected]