ACTA ARITHMETICA. Riemann{Hurwitz formula in basic Z S -extensions. Yi Ouyang (Hefei and Minneapolis, Minn.) and Fei Xu (Hefei)
|
|
- May Ross
- 5 years ago
- Views:
Transcription
1 ACTA ARITHMETICA * (199*) Riemann{Hurwitz formula in basic Z S -extensions by Yi Ouyang (Hefei and Minneapolis, Minn.) and Fei u (Hefei) 1. Introduction. Let p be a prime number and F be a CM-eld. Let F 1 be the cyclotomic Z p -extension of F. For every n, wehave a unique subextension F n of degree p n over F in F 1.We denote by F + the maximal be the relative class number of F n =F + n. Then real subeld of F, and let h ; n we have awell known result: ord p (h ; n )=; p n + ; n + ; ; 0, ; 0, and ; are integers, when n is suciently large. Let E be a CM-eld and a p-extension of F. Under the assumption ; F = 0, Y. Kida ([5]) proved a striking analogue of the classical Riemann{ Hurwitz genus formula from the theory of compact Riemann surfaces, by describing the behavior of ; in the p-extension. His result can be stated as follows: Theorem 0 (see [8, Theorem 4.1]). ; F =0if and only if ; E =0,and when this is the case, ; E ; E =[E 1 : F 1 ]( ; F ; F )+!0 (e(!0 = 0 ) ; 1) ;! (e(!=) ; 1) where the summation is taken over all places! 0 on E 1 (resp.! on E + 1 ) which do not lie above p and 0 =! 0 j F 1 (resp. =!j F + 1 ), e(!=) (resp. e(! 0 = 0 )) is the ramication index of! (resp.! 0 ) over (resp. 0 ) and E =1or 0(resp. F =1or 0) according as E (resp. F) contains p (or 4 if p =2)or not. There are several ways to prove this result. K. Iwasawa ([4]) showed us a proof by using Galois cohomology. W. Sinnott ([8]) gave a proof by using the p-adic L-function and J. Satoh ([6]) obtained it by using the theory of ; -transforms of rational functions. In this paper, we generalize the above result to basic Z S -extensions when E and F are abelian. Let S = fp 1 ::: p s g be a nite set of primes, Z S = Q l2s Z l and Q S be the Z S -extension of Q. Then F S = FQ S is called the basic Z S -extension
2 2 Y. Ouyang and F. u of F. Let N = p n 1 1 :::pn s s and F N be the unique subextension of degree N of F S. Let h ; N denote the relative class number of F N =F + N.From a theorem of E. Friedman ([2]), when F is an imaginary abelian number eld, we have ord pi (h ; N )=; (p i S)n i + ; (p i S) where all n i are suciently large and p i 2 S. In this paper, using the relationship between ; (p i S) and the -invariant of the Dirichlet character of F, we obtain the following main result. Theorem 1. For xed p 2 S, let E and F be imaginary abelian number elds and E be ap-extension of F. Wehave ; E (p S) ; E =[E S : F S ]( ; F (p S) ; F ) +!0 (e(!0 = 0 ) ; 1) ;! (e(!=) ; 1) where the summation is taken over all places! 0 on E S (resp.! on E + S ) which do not lie above p and 0 =! 0 j (resp. F S =!j ), F + and e(!=) (resp. S e(! 0 = 0 )) is the ramication index of! (resp.! 0 ) over (resp. 0 ) and E =1or 0(resp. F =1or 0) according as E (resp. F) contains p (or 4 if p =2)or not. 2. Preliminaries. Let p 2 S beaxedprimenumber and put 4 p =2 q = p p 6= 2. Let! p be the Teichmuller character mod q. For every m 2 Zwith (m p)=1 and m 6= 1, we have with m 1 m =! p (m)(1 + m 1 p n m ) 2 Z p (m 1 p)=1andn m being a positive integer. We letq (p) denote the basic Z p -extension on Q and T = S ;fpg. Let O be a ring of integers of a nite extension over Q p and let f()= a 0 + a 1 + :::2O[[]] be a non-zero power series. We dene (f) =minford p a i : i 0g (f) =minfi 0:ord p a i = (f)g: Clearly we have (fg)=(f) +(g) and(fg)=(f)+(g) iff g are non-zero elements of O[[]]. So and can be dened in the quotient eld of O[[]] in a natural way. Let Z S denote the unit group of Z S.So Z S = U S V S where V S is the torsion part of Z S and U S = Q l2s (1+2lZ l). Let hi S and! S denote the projections from Z S to U S and V S respectively. When s =1,! S is the Teichmuller character. Let be an odd primitive Dirichlet character
3 Riemann{Hurwitz formula 3 with values in C p, where C p is a xed completion of the algebraic closure of Q p.any primitive Dirichlet character whose conductor is divisible only by the primes in S can be regarded as a character of Z S. Such acharacter is called of the second kind for S if it is trivial on V S.For a character of the second kind for S, wehave the decomposition = (p) (T ), where (p) (resp. (T ) ) is of the second kind for p (resp. T ) (see [9]). Let be an odd primitive Dirichlet character with values in C p. Fix a generator u of U p. When! p is not of the second kind for p, we dene where () =(g ( ; 1)) g ( ; 1) 2 2O[[ ; 1]] with g (u s ; 1) = L p (s! p ) and L p (s! p )isthep-adic L-function associated with! p. When! p is of the second kind for p, we dene () =;1. The following proposition is Theorem 1 of [6]. Proposition 1. Let be an odd primitive Dirichlet character, be an even primitive Dirichlet character and O be the integer ring of the eld generated overq p by the values of and. Suppose (1) has a p-power order and its conductor l is a prime number, (2) for all a 2 Z (a)=(a)(a). Then (i) if 6=! p ;1, we have ()+p n l =q () = () where } is a prime ideal of O above p, (ii) if =! ;1, we have p () = pn l if (l) 1mod}, if (l) 6 1mod}, q ; 1: Remark 1. This proposition can also be proved by using the p-adic L-function (see [8, x2]). Proposition 2. Let be an odd primitive Dirichlet character of order prime to p, be an even primitive Dirichlet character of p-power order and (a) =(a)(a). Suppose the conductor f() of is prime to p. Write f() = Q l lk l, where k l 1 and l are primes. Then
4 4 Y. Ouyang and F. u (i) k l =1,for all l, (ii) if 6=! p ;1, then if =! p ;1, then () =()+ l (l)=1 () = l p n l q p n l q ; 1: P r o o f. (i) By the Chinese Remainder Theorem, we have = Q l l, where l k l is the conductor of l and l has p-power order. If k l 6= 1, consider the natural map i : Z=(l k l )! Z=(l k l;1 ): For any x 2 ker i, x has l-power order. Thus l (x) isanl-power root of unity. Note l has p-power order and (p l) =1,andsowehave l (x) = 1. This is a contradiction because l k l is the conductor of l. (ii) When 6=! p ;1, the assertion follows from Proposition 1 and (i) since (l) 1mod} if and only if (l) =1.If =! p ;1, then l 1modp since l has p-power order. Therefore (l) 1mod} and we are done by Proposition The number of splitting primes. Let k be a nite abelian extension of Q. In this section, we compute the numberofprimesofk S above a prime number l, which is closely related to the characters of the Galois group. The character group of an abelian pronite group G is the set of continuous homomorphisms from G to the roots of unity inc p with the induced topology. We denote this character group as G^. Now wetake 2 Gal(k S =Q)^. Then ker is a close subgroup with nite index of Gal(k S =Q) (an open subgroup) and is essentially a usual Dirichlet character. Let k be the subeld of k S xed by ker. Then we dene 0 if l is ramied in k (l) =, (Frob l ) if l is unramied in k. Keeping the above notations, we have the following lemma: Lemma 1. For any prime number l, (i) there are nitely many primes in k S above l, (ii) the number of primes above l in k S is equal to #f 2 Gal(k S =Q)^ : (l)=1g:
5 Riemann{Hurwitz formula 5 P r o o f. (i) First consider S = fpg. LetQ be a prime in k above l. If l = p, the assertion is trivial by [10, Lemma 13.3]. If l 6= p, then Q is unramied in k S =k. Write l =! p (l)(1 + p nl l 1 ): Then the number of primes of k above Q is equal to #(Gal(k S =k)=hfrob Q i) #(Gal(Q (p) =Q)=hFrob l i) [k : Q] p n l [k : Q] < 1 and the case s = 1 is proved. If s>1, let D(Q) be the decomposition group of Q. Then D(Q) isa closed subgroup of S and has the form p t 1 1 Z p1 :::p t s s Z ps 0 t i 1 i= 1 ::: s, where p 1 i Z pi =0.Itissucienttoprove that t i < 1, i =1 ::: s. Suppose t i = 1. Let k (p i) L be a basic Z pi -extension of k and D (p i) (Q) be the decomposition group of Q over k (p i).sowehave D (p i) (Q) =D(Q)j Gal(k (pi ) =k) =0: This is a contradiction to the case of s = 1 and (i) is proved. (ii) Let D(l) denote the decomposition group of a prime in k S above l. Then the number of primes in k S above l is equal to #(Gal(k S =Q)=D(l)) = #((Gal(k S =Q)=D(l))^) This is the desired result. =#f 2 Gal(k S =Q)^ : (l) =1g: Remark 2. Lemma 1 is not true for arbitrary Z S -extension (see [10, Ex. 13.2]). From Lemma 1, we immediately have the following lemma: Lemma 2. Suppose k \Q S = Q, p 2 S with p-[k : Q], T = S ;fpg and l is a prime number dierent from p. Then the number of prime ideals above l in kq S is #f 2 Gal(kQ T =Q)^ : (l) =1g#f 2 Gal(Q (p) =Q)^ : (l) =1g P r o o f. By Lemma 1, it is sucient to prove #f 2 Gal(kQ S =Q)^ : (l) =1g Since we have =(p nl =q)#f 2 Gal(kQ T =Q)^ : (l) =1g: =#f 2 Gal(kQ T =Q)^ : (l) =1g#f 2 Gal(Q (p) =Q)^ : (l) =1g: Gal(kQ S =Q) = Gal(kQ T =Q) Gal(Q (p) =Q) Gal(kQ S =Q)^ = Gal(kQ T =Q)^ Gal(Q (p) =Q)^:
6 6 Y. Ouyang and F. u Therefore for any 2 Gal(kQ S =Q)^, wehave = T p, with T 2 Gal(kQ T =Q)^, p 2 Gal(Q (p) =Q)^ and (l) = T (l) p (l). Note p (l) isa p-power root of unity and T (l) isnot,sowehave and Lemma 2 is proved. (l) =1, T (l) = 1 and p (l) =1 4. Proof of Theorem 1. First let k be a nite abelian extension of Q and we use the following notations associated with k: k (resp. k ; ): the set of all (resp. odd) Dirichlet characters associated with k. k (l) (resp. k ; (l)): all the elements of k (resp. k ; ) whose conductors are divisible by a prime number l. J k (l): all the elements of k whose conductors are prime to a prime number l. We write k for an element of k and fk as the conductor of k. Let e, f and g denote the usual meaning as the ramication index, the residue class degree, the number of splitting primes respectively. For a prime number l, by [10, Th. 3.7], we have #J k (l) =f k (l)g k (l) and #( k =J k (l)) = e k (l): Now E, F are the same as in Section 1. Let K be the maximal p-extension of Q in E, andl be the maximal extension of Q in E with p-[l : Q].! (resp.! 0 ) is a prime of E + S (resp. E S ) which does not lie over the prime p, =!j F + S (resp. 0 =! 0 j F S )andu =!j L + S (resp. u0 =!j L S ). Suppose!j Q = l 6= p. Since the residue eld at u or u 0 has no nite p-extensions, it is clear that f(!=u) =f(! 0 =u 0 )=1.Furthermore, We also note the following: e K (l)=e(! 0 =u 0 ) e K + (l) =e(!=u) #J K + = g(!=u) #J K = g(! 0 =u 0 ): 1) It is easy to check that if Theorem 1 holds for two ofe=f K=F and E=K, it holds for the third. This allows us to reduce ourselves to the case where [F : Q] is not divisible by p for p>2. 2) We can also assume E \ F S = F, F \ Q S = Q and the conductor of E is not divisible by qp, since any number eld between E and E S has the same (p S)-invariant as that of E. 3) By the above assumption, wehave [E S : F S ]=[E : F] and E \Q S = Q. With the above notations, we have the following lemma:
7 Riemann{Hurwitz formula 7 Lemma 3.!0 (e(!0 = 0 ) ; 1) ;! = 8P >< >: (e(!=) ; 1) P l pn l;1 # K (l)#f F (T ) : F odd F (T ) (l) =1g if p>2, l 2n l;2 f# ; K (l) ; [E : F]# F\K (l) ; g#f L (T ) : L (T ) (l)=1g, if p =2, where! 0 (resp.!) runs over all the primes in E S (resp. E + S ) which do not lie over p, l runs over all the prime numbers dierent from p and (T ) is taken over the characters of Gal(Q T =Q). () Proof. Wehave!0 (e(!0 =u 0 ) ; 1) ;! = u0 (e(!=u) ; 1) g(! 0 =u 0 )(e(! 0 =u 0 ) ; 1) ; u g(!=u)(e(!=u) ; 1): If p>2, then F = L, = u, 0 = u 0 and K = K +. By Lemma 2, we have () = l6=p = l6=p # K (l) u0 \Q =l 1 ; l6=p # K (l) u\q =l # K (l)#f F (T ) : F (T ) (l) =1gp n l;1 1 ; l6=p # K (l)#f F + (T ) : F + (T ) (l)=1gp n l;1 = l6=p # K (l)p n l;1 #f F (T ) : F odd F (T ) (l)=1g: For p =2,wehave F L and L = L +.So (1) () = # K (l) 1 ; # K + (l) 1 l6=p u0 j Q=l l6=p ujq=l Let E = F. Wehave (2) = l6=p # ; K (l) 2n l;2 #f L (T ) : L (T ) (l)=1g: 0 (e(0 =u 0 ) ; 1) ; (e(=u) ; 1) = 2 n l;2 # ; K \F (l)#f (T L ) : (T ) L (l) =1g: l6=p Since [E S : F S ]=[E : F] andf(! 0 = 0 )=1,wehave
8 8 Y. Ouyang and F. u e(! 0 = 0 )g(! 0 = 0 )=[E : F] e(! 0 =u 0 )=e(! 0 = 0 )e( 0 =u 0 ): Then [E : F] 0 (e(0 =u 0 ) ; 1) = 0 g(! 0 = 0 )(e(! 0 =u 0 ) ; e(! 0 = 0 )) =!0 (e(!0 =u 0 ) ; e(! 0 = 0 )): The same is true for! u. By (1) and (2), we obtain!0 (e(!0 = 0 ) ; 1) ;! (e(!=) ; 1) = 2 nl;2 f# ; (l) ; [E : K F]#; K \F (l)g#f (T L ) : (T ) L (l)=1g: l6=p Now we begin our proof of the main theorem. Proof of Theorem 1. Weknowthatforany imaginary abelian eld k, (p S) satises the following relation (cf. [9]): ; k (p S)= k + (T ) ( (T ) ) where the outer sum is taken over all odd characters of k=q and the inner sum is taken over all (T ) 2 Gal(Q T =Q)^ with ( (T ) ) 6= 0,and k =1if and only if! p is a character of k=q. Therefore () ; E (p S) ; E = ( L (T ) K ) where K L is odd. Eodd ( (T ) E )= (T ) L K When p>2, the conductor of 2 Gal(K=Q)^ is not divisible by p since f E is a not divisible by p 2 and [K : Q]isap-power. Note L = F and K = K + in this case. By Propositions 1 and 2, we have () = ( (T ) F )+ Fodd =[E : F] K Fodd (T ) (T ) ( F (T ) )+ =[E : F]( ; F (p S) ; F )+ l6=p =[E : F]( ; F (p S) ; F ) ljf (K) F (T ) (l)=1 Fodd p n l;1 # K (l) p n l;1 (T ) (T ) l6=p F (T ) (l)=1 # K (l)p n l;1 Fodd F (T ) (l)=1 1
9 Riemann{Hurwitz formula 9 + l6=p p n l;1 # K (l)#f F (T ) : F odd F (T ) (l)=1g =[E : F]( ; F (p S) ; F )+!0 (e(!0 = 0 ) ; 1) ;! (e(!=) ; 1): If p =2,thenL = L +, L F and the conductor of each character of K is not divisible by 8.By[6,Th.1], Kodd ( K )= l6=p 2 n l;2 # ; K (l) ; [K+ : Q]: Since K\F is an imaginary abelian extension of Q,wecanchoose a primitive odd character 0 of Gal((F \ K)=Q) with order 2. Then, for any 2 ; K, we have = 0 e with e 2 K +. By Propositions 1 and 2, we have Kodd Therefore (3) L (T ) 6=1 () = L ( K L (T ) ) = Kodd = l6=p 2 n l;2 # ; K (l)#f L (T ) 6=1: L (T ) (l) =1g +[K + : Q] Kodd =[K + : Q] + l6=p (T ) L (T ) 6=1 L (T ) 6=1 ( K L (T ) ) L (T ) 6=1 ( 0 L (T ) ): ( K L (T ) )+ Kodd ( 0 L (T ) ) ; 1 ( K ) 2 n l;2 # ; K (l)#f L (T ) : L (T ) (l) =1g: If we sete = F in the above equality, then we obtain (4) ; F (2 S) ; F =[K + \ F : Q] + l6=p L (T ) 6=1 ( 0 L (T ) ) ; 1 2 n l;2 # ; K \F (l)#f L (T ) : L (T ) (l) =1g: By (3){(4) we obtain the desired result since [E + : F + ][K + \F : Q]=[K + : Q] and [E : F] =[E + : F + ]=[E S : F S ]. Acknowledgements. Both authors would like to thank the referee for pointing out some mistakes and misprints both in English and in math-
10 10 Y. Ouyang and F. u ematics. The second author was supported by Alexander von Humboldt Foundation and National Natural Science Foundation of China. References [1] N. Childress, -invariants and ; -transforms, Manuscripta Math. 64 (1989), 359{375. [2] E. Friedman, Ideal class groups in basic Z p1 ::: Z ps extensions of abelian number elds, Invent. Math. 65 (1982), 425{440. [3] K. Iwasawa, On ; -extensions of algebraic number elds, Bull. Amer. Math. Soc. 65 (1959), 183{226. [4], Riemann{Hurwitz formula and p-adic Galois representations for number elds, Toh^oku Math. J. (2) 33 (1981), 263{288. [5] Y. Kida, l-extensions of CM-elds and cyclotomic invariants, J. Number Theory 2 (1980), 519{528. [6] J. Satoh, The Iwasawa p-invariants of ; -transforms of the generating functions of the Bernoulli numbers, Japan. J. Math. 17 (1991), 165{174. [7] W. Sinnott, On the -invariant of the ; -transform of a rational function,invent. Math. 75 (1984), 273{282. [8], On the p-adic L-functions and the Riemann{Hurwitz genus formula, Compositio Math. 53 (1984), 3{17. [9], ; -transforms of rational function measures on Z S,Invent. Math. 89 (1987), 139{157. [10] L. C. W a s h i n g t o n, Introduction to Cyclotomic Fields, Grad. Texts in Math. 83, Springer, Department of Mathematics Current address: University of Science and Technology of China School of Mathematics Hefei, Anhui University of Minnesota People's Republic of China Minneapolis, Minnesota U.S.A. Received on and in revised form on (2793)
ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS
Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationSome generalizations of Abhyankar lemma. K.N.Ponomaryov. Abstract. ramied extensions of discretely valued elds for an arbitrary (not
Some generalizations of Abhyankar lemma. K.N.Ponomaryov Abstract We prove some generalizations of Abhyankar lemma about tamely ramied extensions of discretely valued elds for an arbitrary (not nite, not
More informationThe first layers of Z p -extensions and Greenberg s conjecture
The first layers of Z p -extensions and Greenberg s conjecture Hiroki Sumida June 21, 2017 Technical Report No. 63 1 Introduction Let k be a finite extension of Q and p a prime number. We denote by k the
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationProof. We omit the proof of the case when f is the reduction of a characteristic zero eigenform (cf. Theorem 4.1 in [DS74]), so assume P (X) has disti
Some local (at p) properties of residual Galois representations Johnson Jia, Krzysztof Klosin March 5, 26 1 Preliminary results In this talk we are going to discuss some local properties of (mod p) Galois
More informationKIDA S FORMULA AND CONGRUENCES
KIDA S FORMULA AND CONGRUENCES ROBERT POLLACK AND TOM WESTON 1. Introduction Let f be a modular eigenform of weight at least two and let F be a finite abelian extension of Q. Fix an odd prime p at which
More informationKolyvagin's ``Euler Systems'' in Cyclotomic Function Fields
journal of number theory 57, 114121 article no. 0037 Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields Keqin Feng and Fei Xu Department of Mathematics, University of Science and Technology of
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationKida s Formula and Congruences
Documenta Math. 615 Kida s Formula and Congruences To John Coates, for his 60 th birthday Robert Pollack and Tom Weston Received: August 30, 2005 Revised: June 21, 2006 Abstract. We consider a generalization
More informationCYCLOTOMIC FIELDS CARL ERICKSON
CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationA NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS
A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For
More informationExplicit global function fields over the binary field with many rational places
ACTA ARITHMETICA LXXV.4 (1996) Explicit global function fields over the binary field with many rational places by Harald Niederreiter (Wien) and Chaoping Xing (Hefei) 1. Introduction. In a series of papers
More informationHigher Ramification Groups
COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With
More informationON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III
Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationAWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)
AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) Kâzım Büyükboduk March 3-7, 2018 Contents 1 Commutative Algebra 1 2 Classical Iwasawa Theory (of Tate motives) 2 3 Galois cohomology and
More informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationKIDA S FORMULA AND CONGRUENCES
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2005 KIDA S FORMULA AND CONGRUENCES R Pollack
More informationOn the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165
Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher
More informationAN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA
AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA CLAUS FIEKER AND YINAN ZHANG Abstract. We propose an algorithm to compute the p-part of the class number for a number field K, provided K is totally
More informationRIEMANN-HURWITZ FORMULA AND p-adic GALOIS REPRESENTATIONS FOR NUMBER FIELDS. (Received July 29, 1980)
Tohoku Math. Journ. 33 (1981), 263-288. RIEMANN-HURWITZ FORMULA AND p-adic GALOIS REPRESENTATIONS FOR NUMBER FIELDS KENKICHI IWASAWA (Received July 29, 1980) Let f: R' R be an n-fold covering of compact,
More informationREVIEW OF GALOIS DEFORMATIONS
REVIEW OF GALOIS DEFORMATIONS SIMON RUBINSTEIN-SALZEDO 1. Deformations and framed deformations We'll review the study of Galois deformations. Here's the setup. Let G be a pronite group, and let ρ : G GL
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationCongruences Between Selmer Groups 1
Journal of Number Theory 80, 135153 (2000) Article ID jnth.1999.2445, available online at http:www.idealibrary.com on Congruences Between Selmer Groups 1 Li Guo Department of Mathematics and Computer Science,
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/22043 holds various files of this Leiden University dissertation. Author: Anni, Samuele Title: Images of Galois representations Issue Date: 2013-10-24 Chapter
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the
More informationON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS
ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationK-groups of rings of algebraic integers and Iwasawa theory
K-groups of rings of algebraic integers and Iwasawa theory Miho AOKI Okayama University of Science 1 F/Q : finite abelian extension O F : the ring of algebraic integers of F K n (O F ) (n 0) H i (O F,
More informationNUMBER FIELDS UNRAMIFIED AWAY FROM 2
NUMBER FIELDS UNRAMIFIED AWAY FROM 2 JOHN W. JONES Abstract. Consider the set of number fields unramified away from 2, i.e., unramified outside {2, }. We show that there do not exist any such fields of
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationSOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p
MATHEMATICS OF COMPUTATION Volume 79, Number 269, January 2010, Pages 535 544 S 0025-5718(09)02294-7 Article electronically published on July 22, 2009 SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p NICOLAS
More informationA Crash Course in Central Simple Algebras
A Crash Course in Central Simple Algebras Evan October 24, 2011 1 Goals This is a prep talk for Danny Neftin's talk. I aim to cover roughly the following topics: (i) Standard results about central simple
More informationClass Field Theory. Anna Haensch. Spring 2012
Class Field Theory Anna Haensch Spring 202 These are my own notes put together from a reading of Class Field Theory by N. Childress [], along with other references, [2], [4], and [6]. Goals and Origins
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More information294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th
Doc. Math. J. DMV 293 On the Average Values of the Irreducible Characters of Finite Groups of Lie Type on Geometric Unipotent Classes Meinolf Geck Received: August 16, 1996 Communicated by Wolfgang Soergel
More informationA SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be
More informationLinear independence of Hurwitz zeta values and a theorem of Baker Birch Wirsing over number fields
ACTA ARITHMETICA 155.3 (2012) Linear independence of Hurwitz zeta values and a theorem of Baker Birch Wirsing over number fields by Sanoli Gun (Chennai), M. Ram Murty (Kingston, ON) and Purusottam Rath
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem Lucas Culler Introduction The Kronecker-Weber theorem is one of the earliest known results in class field theory. It says: Theorem. (Kronecker-Weber-Hilbert) Every abelian extension
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationEKNATH GHATE AND VINAYAK VATSAL. 1. Introduction
ON THE LOCAL BEHAVIOUR OF ORDINARY Λ-ADIC REPRESENTATIONS EKNATH GHATE AND VINAYAK VATSAL 1. Introduction In this paper we study the local behaviour of the Galois representations attached to ordinary Λ-adic
More informationOn cohomology groups H 1 of G modules of finite type over cyclic groups
arxiv:1507.02370v2 [math.nt] 18 May 2016 On cohomology groups H 1 of G modules of finite type over cyclic groups Derong Qiu (School of Mathematical Sciences, Capital Normal University, Beijing 100048,
More informationTwisted L-Functions and Complex Multiplication
Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationThe Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013
The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.
More informationLECTURE NOTES IN CRYPTOGRAPHY
1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationConstructing genus 2 curves over finite fields
Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationComparing the homotopy types of the components of Map(S 4 ;BSU(2))
Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,
More informationHASSE ARF PROPERTY AND ABELIAN EXTENSIONS. Ivan B. Fesenko
Math. Nachrichten vol. 174 (1995), 81 87 HASSE ARF PROPERTY AND ABELIAN EXTENSIONS Ivan B. Fesenko Let F be a complete (or Henselian) discrete valuation field with a perfect residue field of characteristic
More informationKUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS
KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS SEAN KELLY Abstract. Kummer s criterion is that p divides the class number of Q(µ p) if and only if it divides the numerator of some Bernoulli number
More informationClass numbers of cubic cyclic. By Koji UCHIDA. (Received April 22, 1973)
J. Math. Vol. 26, Soc. Japan No. 3, 1974 Class numbers of cubic cyclic fields By Koji UCHIDA (Received April 22, 1973) Let n be any given positive integer. It is known that there exist real. (imaginary)
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationREDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS
MATHEMATICS OF COMPUTATION Volume 68, Number 228, Pages 1679 1685 S 0025-5718(99)01129-1 Article electronically published on May 21, 1999 REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER
More informationON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE
ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible
More informationarxiv: v2 [math.nt] 12 Dec 2018
LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationOn the Alexander stratification in the deformation space of Galois characters
On the Alexander stratification in the deformation space of Galois characters Masanori MORISHITA Abstract. Following the analogy between primes and knots, we give an arithmetic analogue of a theorem by
More informationOn the Frobenius Numbers of Symmetric Groups
Journal of Algebra 221, 551 561 1999 Article ID jabr.1999.7992, available online at http://www.idealibrary.com on On the Frobenius Numbers of Symmetric Groups Yugen Takegahara Muroran Institute of Technology,
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter
More informationA new family of character combinations of Hurwitz zeta functions that vanish to second order
A new family of character combinations of Hurwitz zeta functions that vanish to second order A. Tucker October 20, 2015 Abstract We prove the second order vanishing of a new family of character combinations
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationIdeal class groups of cyclotomic number fields I
ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring
More informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationarxiv:math/ v1 [math.nt] 21 Sep 2004
arxiv:math/0409377v1 [math.nt] 21 Sep 2004 ON THE GCD OF AN INFINITE NUMBER OF INTEGERS T. N. VENKATARAMANA Introduction In this paper, we consider the greatest common divisor (to be abbreviated gcd in
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationarxiv: v2 [math.nt] 29 Mar 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 30, 207 arxiv:703.0563v2 [math.nt] 29 Mar 207 Abstract. Following the natural instinct that when a group operates on
More informationIntroduction to Kolyvagin systems
Contemporary Mathematics Introduction to Kolyvagin systems Barry Mazur and Karl Rubin Introduction Since their introduction by Kolyvagin in [Ko], Euler systems have been used in several important applications
More informationNew York Journal of Mathematics New York J. Math. 5 (1999) 115{120. Explicit Local Heights Graham Everest Abstract. A new proof is given for the expli
New York Journal of Mathematics New York J. Math. 5 (1999) 115{10. Explicit Local eights raham Everest Abstract. A new proof is given for the explicit formulae for the non-archimedean canonical height
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationA COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS
MATHEMATICS OF COMPUTATION Volume 7 Number 4 Pages 969 97 S 5-571814-8 Article electronically published on March A COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS TSUYOSHI
More information1. Introduction Let E be an elliptic curve over Q. We recall that the Tate-Shafarevich group of E/Q is defined by
Bull. Korean Math. Soc. 50 (2013), No. 2, pp. 407 416 http://dx.doi.org/10.4134/bkms.2013.50.2.407 ON THE p-primary PART OF TATE-SHAFAREVICH GROUP OF ELLIPTIC CURVES OVER Q WHEN p IS SUPERSINGULAR Dohyeong
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationMod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi
Mod p Galois representations of solvable image Hyunsuk Moon and Yuichiro Taguchi Abstract. It is proved that, for a number field K and a prime number p, there exist only finitely many isomorphism classes
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More information