Parvati Shastri. 2. Kummer Theory
|
|
- Derek Owens
- 5 years ago
- Views:
Transcription
1 Reciprocity Laws: Artin-Hilert Parvati Shastri 1. Introduction In this volume, the early reciprocity laws including the quadratic, the cuic have een presented in Adhikari s article [1]. Also, in that article we have seen an exposition on the Eisenstein reciprocity without the use of class field theory. In the International Congress of Mathematicians, 1900, Hilert asked for the most general reciprocity law, (Hilert s prolem 9) which would hold in any numer field. In order to formulate and prove such a general reciprocity law, Hilert introduced the norm residue symol known after him as the Hilert Symol, in place of the power residue symol and proved a reciprocity law for this symol. From this law, one can derive all the earlier power reciprocity laws. Later on, Artin introduced a symol named after him as the Artin Symol, and proved a reciprocity law for his symol. This is the crux of class field theory, today. In this article, we shall assume ut recall the relevent theorems from class field theory, and deduce Hilert s reciprocity law and show how this would imply the power reciprocity laws, that you have seen earlier. Further, we will also explicitly derive the quadratic reciprocity law, without the use of class field theory. We egin with Kummer Theory. 2. Kummer Theory Theorem 1 Let K e a field of characteristic 0, and µ n K, e the group of all n th roots of unity. 1 Let e a sugroup of K such that K n K and L = K( n ). Then L/K is a Galois extension (in fact, aelian of exponent n) and there exists a canonical isomorphism 2 K n Hom (G(L/K), µ n). Proof: (Sketch) Assume K /K n is finite. a. Define χ a : G µ n Let G = Gal(L/K) and let 1 This result holds also in characteristic p > 0 under the additional hypothesis that, (chark, n) = 1. 2 If K /K n is infinite, then in the case when /K n is also infinite, or equivalently, L/K is infinite, one needs to take continuous homomorphisms. However, we need to apply this result in the case when K /K n is finite, and we sketch a proof for this case only. 175
2 176 PARVATI SHASTRI y χ a (σ) = σ( n a) n a. We have a homomorphism θ : Hom(G, µ n ) defined y θ(a) = χ a. It is clear that ker θ = K n. We claim that θ is surjective. Let χ Hom(G, µ n ). Then y Dedekind s theorem on the linear independence of characters, the sum σ G χ(σ)σ 1 0. Let λ L e such that = σ G χ(σ)σ 1 (λ) 0. For τ G, we have, τ() = τ ( σ G χ(σ)σ 1) (λ) = σ G χ(σ)(τσ 1 )(λ) = χ(τ) ( σ G χ(τ 1 σ)τσ 1) (λ) = χ(τ). Let a = n. Then a K n and we get θ(a) = χ. Therefore we get an induced isomorphism, K n = Hom(G, µ n ). Remark 1 The aove correspondence gives a ijection etween sugroups of K with K n K and aelian extensions of exponent n. (For a proof of this statement as well as for generalization to infinite extensions, the reader can refer to [4], Chapter 8, or [3], p.15. See also [2], 4, this volume.) 3. Local Reciprocity Law Let K e a local field of characteristic 0. By this we mean, a finite extension of Q p. For any local field K, we fix the following notations. O K ring of integers of K m K the maximal ideal of K π K a generator for m K U K group of units of K κ(k) the residue class field O K /mo K. The following is the main theorem of local class field theory.
3 RECIPROCITY LAWS : ARTIN-HILBERT 177 Theorem 2 Let L K e a finite aelian extension of local fields with Galois group G(L K). Let N L K : L K denote the norm map. Then there exists a canonical isomorphism r L K : G(L K) K /N L K L We will not prove this theorem, ut riefly discuss how the isomorphism is defined. First assume that L K is unramified. Then r L K can e descried as follows. We know that K = U K (π K ), where (π K ) is the (multiplicative) cyclic group generated y π K. Since L K is unramified, N L K is surjective on the unit group, that is, N L K (U L ) = U K. Clearly N L K (π) = π n, where n = [L : K]. It follows that K /N L K (L ) = (π)/(π n ), since K n N L K (L ). On the other hand, if L K is unramified, the Galois group G(L K) is isomorphic to the Galois group of the residue classfield extension κ(l) κ(k). This is a finite extension of a finite field. Recall that a finite extension of a finite field is cyclic and there is a distinguished generator for the Galois group, viz., the Froenius. So there is a unique generator of G(L K) which corresponds to the Froenius. Let us denote this generator y φ. 3 The reciprocity map r L K is given y, r L K (φ) = π mod N L K (L ). In the general case, r L K is defined, suject to the following two properties: (i) (Functoriality) If L K and L K are finite Galois extensions of local fields with K K, L L, then the diagram G(L K ) r L K K /N L K L Res N K K G(L K) r L K K /N L K L is commutative, where Res denotes the restriction map Res(σ) = σ L σ G(L K ). (ii) If L K is a finite unramified extension, then r L K is simply the map r L K (φ L K ) = [π], where [π] is the class of π mod N L K (L ). Let L K e a totally ramified cyclic extension and σ e a generator for G(L K). Then one can show that there exists a finite aelian extension Σ 3 φ is characterized y the property, where q is the cardinality of κ(k). φ(x) x q mod π x O K,
4 178 PARVATI SHASTRI of K such that LΣ Σ is unramified and the restriction of the Froenius of LΣ Σ to L is σ. Then r L K (σ) = N Σ K (π Σ ). The general case is reduced to the cyclic case. Also this map is surjective and the kernel of this map is precisely the commutator sugroup [G, G]. Thus, there is a canonical (i.e., satisfying (i) and (ii) aove) isomorphism r L K : G(L K) a K /N L K (L ). In particular, for finite aelian extensions, the Galois group G(L K) is isomorphic to the norm residue group K /N L K (L ). 4. Local Artin Symol Let the notation e as in section 2. Let (, L K) e the inverse of the reciprocity map. By composing it with the natural map K N L K (L ), we get for every a K, a symol which we still denote y (a, L K) taking values in G(L K). This is called the Artin symol; i.e., the local Artin symol is induced y the inverse of the local reciprocity map. Oserve that we have the following simple description of the Artin symol in the special cases a = π, u where π is a parameter and u is a unit in K, viz., (π, L K) is the Froenius G(L K) and 5. Hilert Symol (u, L K) = 1. We now define the Hilert Symol. Let µ n e the group of n th roots of unity. Assume that K is a local field containing µ n. We have, y Kummer Theory, K /K n = Hom (G(L K), µn ), where L = K( n K ). (Note that K /K n is finite, since K is a local field.) On the other hand, local reciprocity law gives an isomorphism, K /N L K (L ) = G(L K). Since, K n N L K (L ) K, it follows that K n = N L K L. Hence we get a pairing,, n : K /K n K /K n µ n given y a, n = χ ((a, L K)),
5 RECIPROCITY LAWS : ARTIN-HILBERT 179 where χ is the character associated to y Kummer Theory, and (a, L K) is the local Artin symol. By the properties of the Artin symol, it follows that a, n = χ ((a, L K)) = (a, L K) ( n ( ) a, K( n ) ) K) ( n ) n = n µ n. By composing it with the natural map K K /K n, we get a pairing, n : K K µ n. This is called the Hilert symol of degree n. In what follows, we will fix an n, and drop the suffix n. Remark 2 It follows easily y the definition that the Hilert symol is non degenerate in the sense that, a, = 1 K a K n and a, = 1 a K K n. We now recall a few asic properties of the Hilert symol, which are needed in the sequel. Lemma 1 The Hilert symol has the following properties: (i) (Bimultiplicativity) aa, = a,. a,, a, = a,. a, a, K. (ii) 1 a, a = 1 = a, 1 a a K. (iii) a, 1 = a, 1 = a, a = 1 = a, 1. (iv) (Skew symmetry) a, =, a 1. Proof: Part (i) follows y definition (easy to check). For proving Parts (ii), (iii) and (iv), oserve that, for a, K, a, = 1 if and only if a is a norm from K( n ). We have, n ( 1 a = 1 ζ i n ) a, i=1 where ζ is a primitive n th root of unity, i.e., 1 a is a norm from K( n a). So (ii) follows.
6 180 PARVATI SHASTRI Next, y (i) we have, a, 1. a, 1 = a, 1. Hence a, 1 = 1. Similarly, a,. a, 1 = a, 1 = a, 1 = 1 Now, oserve that a = 1 a. 1 a 1 Therefore, if we take = a, we get a, a = 1. This completes the proof of Part (iii). (iv) By (iii) we have, a, a = 1. Now use imultiplicativity and simplify using (iii) to get (iv). 6. Power Residue Symol We now assume that (n, p) = 1 where p is the characteristic of the residue class field and compute the Hilert symols u, v and π, u, where u, v are units and π is a parameter of K. It follows from standard facts of local theory, that K( n v) is unramified, and that the norm function is surjective on the unit group. Therefore u, v = 1 units u, v K. Also, y the discussions in Section 4, we know that the parameter corresponds to the Froenius under the reciprocity map. Thus ( π, K( n u) K ) (x) x q mod π x O L, where L = K( n u). In particular, (π, K( n u) K) ( n u) n u q mod π u q 1 n. n u mod π. So π, u u q 1 n mod π. We define the n th power residue symol, y ( ) u = π, u. π Note that π, u is a root of unity in K and is independent of the parameter chosen. 7. Artin s Reciprocity Law Let K e a numer field. Let V K e the set of all valuations of K including the archimedian ones. Let L K e a finite aelian extension of K. For every valuation v V K, fix a valuation w of L, which extends v. Note that the archimedian completions of K v are isomorphic to either R or C. Therfore either L w = Kv = R or C or Lw = C is a quadratic extension of K v = R, with Galois group isomorphic to Z/2Z. In order to state Artin s reciprocity law, we need to define Artin s symol at the archimedian completions also. If L w K v is quadratic, let σ e the nontrivial automorphism of L w K v. We define (a, L w K v ) = 1, if a > 0, (a, L w K v ) = σ if a < 0. If L w = Kv we define (a, L w K v ) = 1. With this notation, we have,
7 RECIPROCITY LAWS : ARTIN-HILBERT 181 Theorem 3 For any a K, 8. Hilert s Reciprocity Law v V K (a, L w K v )) = 1. 4 As in the case of Artin symol, we also need to extend Hilert s symol at the archimedian completions, in an ovious manner. For a, R, define With this definition, we have sgn a 1 sgn 1 a, := ( 1) 2 2. Theorem 4 Let K e a numer field, µ n K, and V K e as in the previous section. Let a, K. Then v V K a, v = 1, where a, v is the n th Hilert symol at the completion K v. Proof: This is immediate from Artin s reciprocity law. In fact, we have, v V K a, v = ( v χ a, K v ( n ) ) = ( v (a,kv( n )))( n ) n = Id( n ) n = 1. (The last ut one equality is y Artin s reciprocity law.) 9. Power Reciprocity Law We need to define gloal power residue symol, in terms of the local symols. Let K e a numer field containing µ n, as in the previous section. Let a, K. Let () = p p n i e the factorization of the principal ideal (). Let vp e the valuation on K corresponding to the prime ideal p. We define the power residue symol ( ) a to e the product of the local power residue symols; i.e., ( ) a = p ( a ) 4 Note that this would also mean that all ut finitely many terms in this product are equal to 1. v p.
8 182 PARVATI SHASTRI This is well defined, since the local power residue symol is independent of the parameter chosen. Theorem 5 Let K e a numer field, µ n K, a, K. Let (a), (), (n) e relatively prime and let Then V n = {vp : p (n)} {v : v is archimedian}. ( ) ( ) a 1 = a, v. a v V n Proof: Let us look at Hilert s reciprocity law, v V K a, v = 1. Let V 0 = {v V K : v an } and V 1 = V K V 0. The left hand side can e written as a, v a, v a, v a, v. v V 1 Now, oserve that v v v n v V 1 a, v = 1, since each of the symols is trivial. Also, ( a, v = a) v if v a and ( ) a 1 a, v =, a 1 v = v Hence the theorem follows. 10. Quadratic Reciprocity Law if v. In order to derive the quadratic reciprocity law, we need to compute the Hilert symols in the special case, n = 2, K = Q. First assume a, are odd positive integers. Then we have, ( ) ( a = a, 2 a,. a) Here a, 2 denotes the Hilert symol at the dyadic completion Q 2. Since a, are positive, a, = 1. So, we only need to compute a, 2. Let U Q2
9 RECIPROCITY LAWS : ARTIN-HILBERT 183 e the unit group of Q 2. Note that U Q2 /U 2 Q 2 is generated y {5, 1}. 5 By the imultiplicative and skew symmetric properties of the Hilert symol, it is enough to compute 5, 1 2, 5, 5 2, 1, 1 2. We have, 5, 1 2 = 5, 5 2 = 1 and 1, 1 2 = 1. From this it follows that ( ) ( a. = ( 1) a) a ( 1) 2, for a, {5, 1}. For aritrary odd integers, the result follows from the multiplicativity of these symols and the fact that for an odd integer a, a 2 1 mod 4. REFERENCES 1. S.D.Adhikari,The Early Reciprocity Laws: From Gauss to Eisenstein, This volume. 2. M. J. Narlikar, Aelian Kummer Theory, This volume. 3. J.Neukirch, Class Field Theory, Springer-Verlag, V. Suresh, Chapter 8 in Introduction to Class Field Theory, (Lecture Notes of the Instructional School on Algeraic Numer Theory, held in the Department of Mathematics, University of Mumai, Decemer 1994-January 1995). 5. J. Tate, Prolem 9: The General Reciprocity Law, Proceedings of Symp. in Pure Math. Vol. 28, 1976, pp Parvati Shastri Department of Mathematics University of Mumai Mumai parvati@math.mu.ac.in 5 This is a consequence of Hensel s lemma.
A 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 581 Problem Set 9
Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n
More informationNorm Groups with Tame Ramification
ECTURE 3 orm Groups with Tame Ramification et K be a field with char(k) 6=. Then K /(K ) ' {continuous homomorphisms Gal(K) Z/Z} ' {degree étale algebras over K} which is dual to our original statement
More informationLECTURE 2. Hilbert Symbols
LECTURE 2 Hilbert Symbols Let be a local field over Q p (though any local field suffices) with char() 2. Note that this includes fields over Q 2, since it is the characteristic of the field, and not 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 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 informationNumber Theory Fall 2016 Problem Set #3
18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via
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 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 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 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 informationTHE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT
THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT STEVEN H. WEINTRAUB ABSTRACT. We present an exposition of the asic properties of the Jacoi symol, with a method of calculating it due to
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More information5. Kato s higher local class field theory
ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato
More informationOn the image of noncommutative local reciprocity map
On the image of noncommutative local reciprocity map Ivan Fesenko 0. Introduction First steps in the direction of an arithmetic noncommutative local class field theory were described in [] as an attempt
More informationThe Local Langlands Conjectures for n = 1, 2
The Local Langlands Conjectures for n = 1, 2 Chris Nicholls December 12, 2014 1 Introduction These notes are based heavily on Kevin Buzzard s excellent notes on the Langlands Correspondence. The aim is
More informationThe theorem of Grunwald-Wang in the setting of valuation theory
Fields Institute Communications Volume 00, 0000 The theorem of Grunwald-Wang in the setting of valuation theory Falko Lorenz Mathematisches Institut Universität Münster (Germany) lorenz@math.uni-muenster.de
More informationContinuing the pre/review of the simple (!?) case...
Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m
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 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 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 informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
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 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 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 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 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 informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
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 informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
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 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 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 informationFrobenius 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 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
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 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 information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
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 informationPrimes of the Form x 2 + ny 2
Primes of the Form x 2 + ny 2 GandAlF Talk: Notes Steven Charlton 28 November 2012 1 Introduction On Christmas day 1640, Pierre de Fermat announced in a letter to Marin Mersenne his theorem on when a prime
More informationLocal Class Field Theory I
CHAPTER 4 Local Class Field Theory I In this chapter we develop the theory of abelian extensions of a local field with finite residue field. The main theorem establishes a correspondence between abelian
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 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 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 informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I
IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
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 informationDIVISION ALGEBRAS WITH AN ANTI-AUTOMORPHISM BUT WITH NO INVOLUTION
DIVISION ALGEBRAS WITH AN ANTI-AUTOMORPHISM BUT WITH NO INVOLUTION P.J. MORANDI, B.A. SETHURAMAN, AND J.-P. TIGNOL 1. Introduction In this note we give examples of division rings which posses an anti-automorphism
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 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 informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
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 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 information1.1. Important observations. The set
Composition algebras over local fields revisited Holger P. Petersson Fakultät für Mathematik und Informatik FernUniversität in Hagen D-58084 Hagen Germany Email: holger.petersson@fernuni-hagen.de Workshop
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationCYCLOTOMIC EXTENSIONS
CYCLOTOMIC EXTENSIONS KEITH CONRAD 1. Introduction For a positive integer n, an nth root of unity in a field is a solution to z n = 1, or equivalently is a root of T n 1. There are at most n different
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 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 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationVALUES AT s = 1 OF L-FUNCTIONS FOR RELATIVE QUADRATIC EXTENSIONS OF NUMBER FIELDS, AND THE FITTING IDEAL OF THE TAME KERNEL
VALUES AT s = 1 OF L-FUNCTIONS FOR RELATIVE QUADRATIC EXTENSIONS OF NUMBER FIELDS, AND THE FITTING IDEAL OF THE TAME KERNEL Jonathan W. Sands Dept. of Mathematics and Statistics University of Vermont,
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 informationPrimes of the form X² + ny² in function fields
Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2010 Primes of the form X² + ny² in function fields Piotr Maciak Louisiana State University and Agricultural and
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 informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
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 informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
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 informationEXPLICIT CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS. 1. Introduction C F
EXPLICIT CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS DAVID ZYWINA Astract. Let F e a gloal function field and let F a e its maximal aelian extension. Following an approach of D. Hayes, we shall construct
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 informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
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 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 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 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 information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationL-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS. Jonathan W. Sands
L-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS Jonathan W. Sands Abstract. Fix a relative quadratic extension E/F of totally real number fields and let G denote the
More informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More informationSOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS
SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS DIPENDRA PRASAD Abstract. For the quaternion division algebra D over a non-archimedean local field k, and π an irreducible finite dimensional
More informationInduction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi
Induction formula for the Artin conductors of mod l Galois representations Yuichiro Taguchi Abstract. A formula is given to describe how the Artin conductor of a mod l Galois representation behaves with
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationLECTURE NOTES ON LOCAL FIELDS
LECTURE NOTES ON LOCAL FIELDS PETE L. CLARK 1. Prefatory Comments: June 2009 These notes were originally written to accompany two(?) lectures given in a seminar course led by Barry Mazur at Harvard University
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationSchool of Mathematics
School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More informationTHE 2-SELMER GROUP OF A NUMBER FIELD AND HEURISTICS FOR NARROW CLASS GROUPS AND SIGNATURE RANKS OF UNITS
THE 2-SELMER GROUP OF A NUMBER FIELD AND HEURISTICS FOR NARROW CLASS GROUPS AND SIGNATURE RANKS OF UNITS DAVID S. DUMMIT AND JOHN VOIGHT (APPENDIX WITH RICHARD FOOTE) Abstract. We investigate in detail
More informationSPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
More informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
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 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 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 information