Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q
|
|
- Jeffrey McDonald
- 6 years ago
- Views:
Transcription
1 Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss the situation where K = Q. In this case, we have the cyclotomic extension K = Q L = Q(ζ m ), and (Z/mZ) = Gal(L/Q) a mod n (σ a : ζ m ζ a m) It is the theorem of Kronecker-Weber that Gal(Q ab /Q) = lim Gal(Q(ζ n )/Q) n = lim(z/nz) = Ẑ = n In addition to an exlicit descrition of the Galois grou, we also can describe the slitting behavior of a rime in Q Q(ζ m ) it is determined by mod m. For examle, a rime = x 2 + y 2 = (x + iy)(x iy) Z[i] = Z[ζ 4 ] if and only if = 2 or 1 (mod 4). In articular: (a) If ramifies in Q(ζ m ), then m; the ramification index e of the rimes over is φ( k ) = ( 1) k 1 if k m. (b) The rime is wildly ramified in Q(ζ m ) if and only if 2 m. (c) If m, then is unramified. In the ring of integers Z[ζ m ] of Q(ζ m ), we obtain O L = g i=1 i. The rimes i have residue class degree f = [F (ζ m ) : F ], which (by looking at the Frobenius x x acting on F (ζ m ) = k i ) is equal to the order of mod m in (Z/mZ). The number of such rimes is g = #{ i } = [(Z/mZ) : mod m ]. In articular, a rime slits cometely if and only if 1 (mod m). If Q L H L = Q(ζ m ) is a subfield given by a subgrou H (Z/mZ), then one has the Artin ma A : (Z/mZ) /H Gal(L/Q). If m is the minimal such number, it is called the conductor of L. Z.
2 2 Peter Stevenhagen 2. Weak Recirocity We would like to generalize this situation to a general number field K. Let K L be an abelian extension of number fields. We first would like to make sense of the statement that the slitting behavior of rimes of K in L is determined by mod m. Let G = Gal(L/K) be the Galois grou of L over K, and let K and L have ring of integers O K and O L, resectively. Let O K be an unramified rime. We see that O L / = g i=1 O L/q i, where O L /q i over O K / is a finite extension of finite fields. This extension has a cyclic Galois grou with a distinguished generator Frob, which mas x x N. We see that f = # Frob G, and g = #{q i } = [G : Frob ]. Lemma 2.1. If L/K is an abelian extension of number fields and is unramified in L/K, then the Frobenius Frob is locally induced by a unique element in G = Gal(L/K). We let I K be the grou of (fractional) O K -ideals, which is exactly I K = Z. O K rime Let D be the discriminant of L/K. We denote by I K (D) the subgrou of I K generated by ideals which are corime to D. We then define the Artin ma I K (D) G = Gal(L/K) Frob. As for the case of Q, we would like that the kernel of this ma contains all rimes which are 1 mod m. We must be careful: we have ideals, so we must restrict to the case of rincial ideals, and we must take care of units of the field. From this, we have the following first weak form of recirocity: Theorem 2.1. There exists an ideal m O K (divisible by all ramifying rimes) such that ker A {(π) : π 1 (O K /m), π totally ositive}. 3. Cycles We invent cycles to allow us to talk about these congruences in a uniform way. A cycle in K is m = m 0 m, where m 0 is an ideal in O K and m is a set of real rimes of K. We also write m = m(). so that m() Z 0 for all, m() is zero for almost all, and m() is 0 or 1 for a real rime, 0 for a comlex rime.
3 Class Field Theory 3 If α K, then we say α 1 (mod m) if and only if α 1 (O/m 0 O) and α > 0 for all real rimes. This says that: For m finite, ord (α 1) m(); For, given by σ : K R, then σ(α) > 0. For examle, 1/5 1 (mod 6). In this language, the theorem becomes: ker A {αo K : α 1 (mod m)} for a suitable cycle m. If m is a cycle in K, we define I(m) = {a I K : ord (a) = 0 if m 0 }. The denote by P (m) I(m) the subgrou of rincial ideals with this roerty. We also have the ray modulo m, R(m) = {αo K : α 1 (mod m)}, with the containment R(m) P (m). Since any element of the ideal class grou of K is generated by an ideal rime to the discriminant, we see that I(m) Cl K. We define the ray class grou of m, I(m)/R(m) = Cl m. It admits a surjection Cl m Cl K with kernel P (m)/r(m) = (O K /m) = (O K /m 0 ) m 1. All together, we have the exact sequence O K (O K /m) Cl m Cl K 0. For an examle, consider again Q. Then any cycle is m = (m) or m = (m). In the first case, we have the ray class grou (Z/mZ) /{±1}, and in the other case simly (Z/mZ), which is what we would exect from the descrition above. 4. Class Field Theory We now can state the main theorem of class field theory. Theorem 4.1. If K L is a finite abelian extension of number fields, then: (a) There exists a cycle m divisible by all ramifying rimes (a real rime ramifies if it has a comlex extension) such that the Artin ma A : I(D) Gal(L/K) factors through Cl m and the ma is surjective. Frob A : Cl m Gal(L/K) [] Frob
4 4 Peter Stevenhagen (b) There exists a minimal such cycle f, called the conductor of L/K, with the roerty that f if and only if is ramified in L/K, and 2 f if and only if is wildly ramified in L/K. (c) (Existence) Given a cycle m, there exists a ray class field H m K ab which is maximal in the sense that R(m) ker A, and Cl m Gal(Hm /K). Therefore, K ab = f H f Q. This construction is highly nontrivial. For examle, for m = (1), we see that from the exact sequence that Cl m = Cl K gives us H = H 1, the ray class field mod 1, which is usually called the Hilbert class field. It has the roerty that Cl K Gal(H/K), and H/K is unramified at all rimes of K (including the infinite rimes), which is often called totally unramified. For examle, the field K = Q( 5) has class grou Cl K = Z/2Z. In this case, the Hilbert class field is H = K( 5). Also, for K = Q( 23), Cl K = Z/3Z, with H = K(α) where α 3 α 1 = 0. In each case, these extensions are in fact unramified everywhere. 5. Idèles However, we would like to deal with the maximal abelian extension K ab /K in one stroke. We have seen that Gal(K ab /K) = lim Cl f, a rojective limit of ray class grous. For examle, for K = Q we get Gal(Q ab /Q) = lim(z/nz) = Ẑ. To realize this in general, we need to define the idèles. Let K be the comletion of K at, so that if is real or comlex, K = R or C, resectively. We denote by A K the valuation ring A = {x K : x 1} with unit grou A = {x K : x = 1}. Then we define the idèle grou as the restricted direct roduct J = K = {(x ) K : x A for almost all }. Each of these factors has a toology, and we make J into a locally comact grou by defining the oen subgrous U to be, for S a finite set of rimes, U = S where O K is an oen subgrou. We have a filtration K A = U (0) A S O, n = U (n)....
5 Class Field Theory 5 If is archimedean, we let U (0) = K, and if is real, we let U (1) = R >0. From this we see that H J is an oen subgrou if and only if H U n() with n() = 0 for almost all, n() {0, 1} for real, n() = 0 for comlex. In articular, if f = n() is a cycle, it corresonds to an oen subgrou W f = U n(), and H is oen in J if and only if H W f for some cycle f. We ma K J by x (x). We then obtain the idèle class grou C K = J/K. Lemma 5.1. There exists an isomorhism A : J/(K W ) Cl f π [], ( f). Corollary 5.1 (Idèlic Main Theorem). If L/K is abelian, the Artin ma gives a surjection C K Gal(L/K) 0 π Frob, ( f). This yields a surjection C K Gal(K ab /K), and we obtain a bijection between oen subgrous of C K and finite abelian extensions L/K inside an algebraic closure K, where L corresonds to N L/K C L. 6. Local Class Field Theory If is a finite rime, given an abelian extension L/K of number fields, we obtain for a rime q which lies over a corresonding local extension L q /K, with G = {σ Gal(L/K) : σq = q} = Gal(L q /K ) Gal(L/K). Then in the Artin surjection J Gal(L/K), if we restrict to the factor K, this mas surjectively onto exactly the factor Gal(L q /K ). We have 1 I Gal(L q /K ) Gal(k q /k ) = Frob 1, where I is the inertia grou, a factor which is nontrivial only if ramifies at q. We then obtain mas: J Gal(L/K) K Gal(L q /K ) A I
6 6 Peter Stevenhagen Theorem 6.1. Let F = K be a local field. Given E F a finite abelian extension, there is an Artin ma In fact, ker A = N E/F (E ) F, so π A F = F Gal(E/F ) π Frob modi A F I F /NE Gal(E/F ). One can show in fact that F Gal(F ab /F ), with dense image. (The discreancy occurs by relacing π = Z maing into the grou Ẑ = Gal(F unr /F ) consisting of owers of the Frobenius.) Local class field theory allows us to comute conductors f of L/K. We see that f = n(), is unramified if and only if n() = 0, is tamely ramified if and only if n() = 1, and is wildly ramified if and only if n() 2. From the exlicit descrition of the kernel of the Artin ma in the local case, we see that the exonent n() is the smallest integer k such that U (k) in U (k) N Lq/K (L q). A K is contained Examle 6.2. Let us find all quadratic extensions of Q. If we use class field theory, we see that every such extension corresonds to subgrous H = N E/Q E Q of index 2, with Q /H = Gal(E/Q ). We have that Q = Z, and (Q ) 2 = 2 (Z ) 2, and for 2 in between there are exactly three subfields of index 2, giving the three quadratic extensions of Q. It is in fact easy to find these fields directly: the extensions corresond to Q 2 Q ( x) for x Q /(Q ) 2, with x =, x = a, x = a, for a Z such that a F \ (F ) 2. More recisely: N(Q ( ) = (Z ) 2 (ramified) N(Q ( a) = a (Z ) 2 (ramified) N(Q ( a) = 2 (Z ) 2 (unramified) Exercises In the first three exercises, we let K be an algebraic number field, Cl K its ideal class grou, and h K = # Cl K its class number. Let K be an algebraic closure of K, and H(K) the Hilbert class field of K, which is the maximal abelian totally unramified extension of K inside K. It is a consequence of the main theorem of class field theory that H(K) is a finite abelian extension of K of degree h K, and that the Artin symbol induces a grou isomorhism Cl K Gal(H(K)/K). The three exercises below illustrate how roerties of the Hilbert class field can be used to obtain information about the class number.
7 Class Field Theory 7 Exercise 2.1. (a) Let E be a finite extension of K. Prove that H(K) H(E), and that h K divides h E [E : K]. (b) Let E, F be two finite extensions of Q inside Q. Prove: if h E = h F = 1, then h E F = 1. Exercise 2.2. (a) Let E be a finite extension of K, and denote by L the maximal abelian totally unramified extension of K inside E. Show that the cokernel of the norm ma N E/K : Cl E Cl K is isomorhic to Gal(L/K). (b) Let n be a ositive integer, and denote by ζ n a rimitive n-th root of unity. Prove that the class number of Q(ζ n + ζn 1 ) divides the class number of Q(ζ n ). Exercise 2.3. The Hilbert class field tower of K is the sequence of fields H (0) (K) = K H (1) (K) = H(K) H (2) (K) = H(H(K))... H (i) (K)..., where each H (i) (K) is the Hilbert class field of H (i 1) (K). It is said to be finite if H (i+1) (K) = H (i) (K) for some i. Prove that the Hilbert class field tower of K is finite if and only if there is a finite extension E of K with h E = 1. [Golod and Shafarevich roved in 1964 that there exist number fields K for which the Hilbert class field tower is infinite.] Exercise 2.4. Show that the Hilbert class field of Q( 5) equals Q( 5, 5). Exercise 2.5. Let α be a zero of X 3 X 1 Z[X] in an algebraic closure of Q, and write K = Q( 23), L = K(α). (a) Prove that L is the Galois closure of Q(α) over Q, and that K L is an abelian extension of degree 3. (b) Prove that exactly two rimes of Q(α) are ramified over Q, and that they lie over 23 and. Prove that in both cases the ramification index equals 2. (c) Prove that K L is totally unramified. (d) Prove that L is the Hilbert class field of K. Exercise 2.6. For a rime number, let m be the number of distinct zeros of X 3 X 1 in F. Prove the following: (a) m = 0 if and only if ( ) 23 = 1 and cannot be written as = a b 2 with a, b Z. (b) m = 1 if and only if ( 23) = 1. (c) m = 2 if and only if = 23. (d) m = 3 if and only if can be written as = a b 2 with a, b Z, a 0. Exercise 2.7.
8 8 Peter Stevenhagen (a) Prove that the field Q( 5) has class number 1, and that the grou of units of its ring of integers is generated by 1 and (1 + 5)/2. (b) Let be a rime number. Prove that there exists a field K satisfying [K : Q] = 4, 5 K, K/Q = 25 if and only if 2, 3 mod 5. Prove also that if such a field exists, it is uniquely determined by, u to isomorhism. We denote this field by K (). (c) Prove that among all fields K (), the only one that is Galois over Q is the field K (5). Can you embed K (5) in a cyclotomic extension of Q? Exercise 2.8. A number field is called totally real if it has no comlex rimes, totally comlex if it has no real rimes, and mixed if it is neither totally real nor totally comlex. The Fibonacci sequence (F n ) n=0 is inductively defined by F 0 = 0, F 1 = 1, F n+2 = F n+1 + F n. Let be a rime number with 1 or 4 mod 5, and K () as in the revious exercise. (a) Prove that K () is mixed if and only if 3 mod 4. (b) Suose that 1 mod 8. Prove that K () is totally real if divides F ( 1)/4, and totally comlex otherwise. (c) Suose that 5 mod 8. Prove that K () is totally comlex if divides F ( 1)/4, and totally real otherwise. Exercise 2.9. Let be a rime number with 11 or 19 mod 20, and let K () be as above. Prove that K () has exactly one rime lying over 5 if 11 mod 20, and exactly two rimes lying over 5 if 19 mod 20. In the next two exercises, we let K L be a finite abelian extension of number fields, and F(L/K) the conductor of L over K; this is the greatest common divisor of all cycles m of K for which L is contained in the ray class field modulo m of K. Denote by m the exonent to which a rime of K aears in F. It is art of the main theorem of class field theory that m 1 if and only if is ramified in L, and that m 2 if and only if is finite and wildly ramified in L. We want to find an uer bound for m. We may and do assume that is finite. Denote by be the rime of Q over which is lying, and let e = e(/) be the ramification index of over. Exercise For an integer i > 0, denote by U i the oen subgrou 1 + i of K. Prove the following assertions. (a) If i, j are ositive integers with j 0 mod, then the ma U i U i sending every x to x j is an isomorhism. (b) If i > e/( 1), then there is an isomorhism U i U i+e sending every x to x. (c) If j is a ositive integer, then (K) j is an oen subgrou of K, and it contains U e +ke, where e denotes the least integer > e/( 1) and k is the number of factors in j.
9 Class Field Theory 9 (d) If K E is a finite extension, then N E/K [E ] is an oen subgrou of K, and it contains U e +ke, with e as in (c) and k the number of factors in [E : K ]. Exercise (a) Prove that m e + ke, where e denotes the least integer > e/( 1) and k is the number of factors in [L : K]. (b) More recisely, rove that m e + ke, with e as before, but with k now equal to the number of factors in the exonent of the inertia grou of in Gal(L/K). Mathematisch Instituut, Universiteit Leiden, Postbus 9512, 2300 RA Leiden, The Netherlands address: sh@math.leidenuniv.nl
Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity
Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
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 informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
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 informationRINGS OF INTEGERS WITHOUT A POWER BASIS
RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
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 informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
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 informationTHE THEORY OF NUMBERS IN DEDEKIND RINGS
THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
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 informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
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 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 information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
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 informationBlock-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound
Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound María Chara*, Ricardo Podestá**, Ricardo Toledano* * IMAL (CONICET) - Universidad Nacional del Litoral ** CIEM (CONICET)
More informationClass Field Theory. Travis Dirle. December 4, 2016
Class Field Theory 2 Class Field Theory Travis Dirle December 4, 2016 2 Contents 1 Global Class Field Theory 1 1.1 Ray Class Groups......................... 1 1.2 The Idèlic Theory.........................
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationANATOLY PREYGEL. def. (1 x k/d ) µ(d),
L-FUNCTIONS AND THE DENSITIES OF PRIMES ANATOLY PREYGEL Abstract. We resent some of the easier to rove analytic roerties of Dirichlet-Hecke L-functions, including the Dedekind zeta functions. We use Artin
More informationClass number in non Galois quartic and non abelian Galois octic function fields over finite fields
Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Yves Aubry G. R. I. M. Université du Sud Toulon-Var 83 957 La Garde Cedex France yaubry@univ-tln.fr Abstract
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 informationSuper Congruences. Master s Thesis Mathematical Sciences
Suer Congruences Master s Thesis Mathematical Sciences Deartment of Mathematics Author: Thomas Attema Suervisor: Prof. Dr. Frits Beukers Second Reader: Prof. Dr. Gunther L.M. Cornelissen Abstract In 011
More informationRATIONAL RECIPROCITY LAWS
RATIONAL RECIPROCITY LAWS MARK BUDDEN 1 10/7/05 The urose of this note is to rovide an overview of Rational Recirocity and in articular, of Scholz s recirocity law for the non-number theorist. In the first
More informationQUADRATIC RESIDUES AND DIFFERENCE SETS
QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be
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 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 informationMAT4250 fall 2018: Algebraic number theory (with a view toward arithmetic geometry)
MAT450 fall 018: Algebraic number theory (with a view toward arithmetic geometry) Håkon Kolderu Welcome to MAT450, a course on algebraic number theory. This fall we aim to cover the basic concets and results
More informationMATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE
MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute
More informationCLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION
CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION GWYNETH MORELAND Abstract. We state the main results of class field theory for a general number field, and then specialize to the case where
More informationA K,S =: K p. with the direct limit topology where. A K,S := K p O K p
42 M. FLACH 3. The idele class grou and idelic class field theory We have seen that for a global field K the modulus m aears as a arameter for the tower of ray class fields K(m). The content of class field
More informationCLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES
CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for
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 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 informationWe collect some results that might be covered in a first course in algebraic number theory.
1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise
More informationSHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION. Alexei Skorobogatov. Introduction
Mathematical Research Letters 1, 10001 100NN (005) SHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION Alexei Skorobogatov Abstract. We rove that the counterexamles to the Hasse rincile on Shimura
More informationMATH 371 Class notes/outline October 15, 2013
MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationarxiv: v2 [math.nt] 14 Jun 2014
THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS MOHAMMAD BARDESTANI arxiv:202.2047v2 [math.nt] 4 Jun 204 Abstract. A monogenic olynomial f is a monic irreducible olynomial with integer coefficients
More informationRECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS
RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about
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 informationClass Field Theory. Abstract
Class Field Theory Abstract These notes are based on a course in class field theory given by Freydoon Shahidi at Purdue University in the fall of 2014. The notes were typed by graduate students Daniel
More informationTHE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE
THE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE 1. The sace Y ad and X ad 1.1. Notation. In this talk we continue with the following notation from revious talks: (1) Let C be an algebraically closed
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 informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
More informationNonabelian Cohen-Lenstra Moments for the Quaternion Group
Nonabelian Cohen-Lenstra Moments for the Quaternion Grou (University of Wisconsin-Madison) Featuring Joint Work with Jack Klys (University of Toronto) October 14, 2017 Cohen-Lenstra heuristics For a field
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 informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationPrimes of the Form x 2 + ny 2
Primes of the Form x 2 + ny 2 Steven Charlton 28 November 2012 Outline 1 Motivating Examples 2 Quadratic Forms 3 Class Field Theory 4 Hilbert Class Field 5 Narrow Class Field 6 Cubic Forms 7 Modular Forms
More informationMATH 242: Algebraic number theory
MATH 4: Algebraic number theory Matthew Morrow (mmorrow@math.uchicago.edu) Contents 1 A review of some algebra Quadratic residues and quadratic recirocity 4 3 Algebraic numbers and algebraic integers 1
More informationRepresentation of prime numbers by quadratic forms
Representation of prime numbers by quadratic forms Bachelor thesis in Mathematics by Simon Hasenfratz Supervisor: Prof. R. Pink ETH Zurich Summer term 2008 Introduction One of the most famous theorems
More informationHARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1.
L-INVARIANT OF -ADIC L-FUNCTIONS HARUZO HIDA 1. Lecture 1 Let Q C be the field of all algebraic numbers. We fix a rime >2and a -adic absolute value on Q. Then C is the comletion of Q under. We write W
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationLecture Notes: An invitation to modular forms
Lecture Notes: An invitation to modular forms October 3, 20 Tate s thesis in the context of class field theory. Recirocity laws Let K be a number field or function field. Let C K = A K /K be the idele
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationArtin reciprocity and
44 NAW 5/1 nr.1 maart 2000 Artin recirocity and Mersenne rimes H.W. Lenstra, Jr., P. Stevenhagen H.W. Lenstra, Jr. Deartment of Mathematics # 3840, University of California, Berkeley, CA 94720 3840, U.S.A.
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationOn The j-invariants of CM-Elliptic Curves Defined Over Z p
On The j-invariants of CM-Ellitic Curves Defined Over Z Andrew Fiori Deartment of Mathematics and Statistics, Queens University, Jeffery Hall, University Ave, Office 517, Kingston, ON, K7L 3N6, Canada
More informationThe L-series Attached to a CM Elliptic Curve
The L-series Attached to a CM Elliptic Curve Corina E. Pǎtraşcu patrascu@fas.harvard.edu May 19, 2005 Abstract In this paper we present the L-series attached to an elliptic curve with complex multiplication.
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
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 informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More information192 VOLUME 55, NUMBER 5
ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationNORM VARIETIES AND ALGEBRAIC COBORDISM
NORM VARIETIES AND ALGEBRAIC COBORDISM MARKUS ROST Abstract. We outline briefly results and examles related with the bijectivity of the norm residue homomorhism. We define norm varieties and describe some
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
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 informationField Theory Qual Review
Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions
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 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 information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter
More informationMATH 371 Class notes/outline September 24, 2013
MATH 371 Class notes/outline Setember 24, 2013 Rings Armed with what we have looked at for the integers and olynomials over a field, we re in a good osition to take u the general theory of rings. Definitions:
More informationON 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 informationMath 121 Homework 6 Solutions
Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define
More informationOn the Greatest Prime Divisor of N p
On the Greatest Prime Divisor of N Amir Akbary Abstract Let E be an ellitic curve defined over Q For any rime of good reduction, let E be the reduction of E mod Denote by N the cardinality of E F, where
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationGroup Theory Problems
Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index
More informationHISTORY OF CLASS FIELD THEORY
HISTORY OF CLASS FIELD THEORY KEITH CONRAD 1. Introduction Class field theory is the description of abelian extensions of global fields and local fields. The label class field refers to a field extension
More informationGalois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography
Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be
More informationABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this
ABSTRACT Title of dissertation: COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS Jeremy Bradford, Doctor of Philosohy, 01 Dissertation directed by: Professor Lawrence C. Washington
More informationGenus theory and the factorization of class equations over F p
arxiv:1409.0691v2 [math.nt] 10 Dec 2017 Genus theory and the factorization of class euations over F Patrick Morton March 30, 2015 As is well-known, the Hilbert class euation is the olynomial H D (X) whose
More informationarxiv: v1 [math.nt] 2 Jul 2009
About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine
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 informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More information1 Integers and the Euclidean algorithm
1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown
More informationThese warmup exercises do not need to be written up or turned in.
18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail
More informationQUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)
QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if
More information