CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES
|
|
- Aleesha Benson
- 6 years ago
- Views:
Transcription
1 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 elliptic curves by mentioning the key results in class field theory. We know that a prime ideal in a number field K ramifies if and only if it divides the discriminant of that number field. Minkowski s bound thus implies that there are no unramified extensions of the rationals. Recall that the Hilbert class field of K is the maximal abelian unramified extension of K (in the algebraic closure K). The degree of the extension of the Hilbert class field over K is the class number and the Galois group of this extension is canonically isomorphic to the ideal class group of K. Hence if a number field has non-trivial class number, it has unramified extensions (namely the Hilbert class field) Local class field theory. The role of class field theory is to study all abelian extensions (the Galois group of the extension is abelian) of global and local fields. We ll state the main theorems of class field theory in the local case and use this to build the case of global fields. Recall that by a non-archimedean local field we mean a finite extension of either Q p for some prime number p or of F q ((T)) for q a prime power. We will assume that a local field is non-archimedean. By an unramified extension L/K we mean one such that Gal(L/K) = Gal(l/k) where l/k the residue field extension is separable). Roughly, the main idea is that for L/K an abelian extension we want to compute Gal(L/K) in such a way that L Gal(L/K) = K is more explicitly described. In modern language, this works by making calculations with the Tate cohomology groups Ĥi (Gal(L/K),L ), for example we have Ĥ2 (Gal(L/K),L ) = 1 [L:K] Z/Z. All these finite extensions can be assembled to K ab /K and one works hard to prove that Br(K) = Ĥ2 (Gal(K/K),K ) = Ĥ 2 (Gal(K nr /K),K nr, ) = Ĥ2 (Gal(K ab /K),K ab, ) = Q/Z. The main theorems in local class field theory are assembled in the following statement. Theorem 1.1. (Local class field theory)(see [Mil08], [Ser79]) Let K be a local field and let K ab /K be the maximal abelian extension of K. For finite abelian extensions L/K the relative local Artin maps φ L/K : K /Nm L/K (L ) Gal(L/K) Date: November 8,
2 2 FRANK GOUNELAS are isomorphisms and there is an order preserving bijection between finite abelian extensions L/K and open subgroups of finite index in K via L Nm L/K (L ). The relative local Artin maps form an inverse system which can be assembled to the local Artin map φ K : K Gal(K ab /K). The map φ L/K is really the inverse of a coboundary map composed with a cup product in Tate cohomology and more specifically Tate s Theorem φ 1 L/K : Gal(L/K) = Ĥ 2 (Gal(L/K), Z) Ĥ0 (Gal(L/K),L ) = K /Nm L/K (L ) In the special case where L/K is unramified, the Galois group is cyclic and the generator is called the Frobenius element Frob Gal(l/k). In this case φ L/K (a) = Frob ord K(a). After choosing a uniformising element π of K, we can write K = U K π bz for U K the units in K (there are structure theorems in place for determining this group) and Ẑ = p Z p. Corollary 1.2. (Local Kronecker-Weber Theorem)([Mil08] I.1.15) Let K ab /K be the maximal abelian extension of a local field K. Then K ab = K π K nr where K nr /K is the maximal unramified extension of K in K ab (i.e. the subfield fixed by φ K (U K )) and K π is the subfield of K ab fixed by φ K (π). In the case of K = Q p we can say exactly what these fields are. Namely, we obtain a decomposition Q ab p = Q[ζ p n] Q[ζ m ] n (m,p)= Global class field theory. From now on, let K be a global field (i.e. a number field or a finite extension of F q (T) for q a prime power). We will stick to considering number fields as they are more intuitive but all the results hold in both cases. We will outline the idèlic approach to global class field theory as it better exhibits the local-to-global philosophy which underlies these ideas. Define the group of adèles of K as A K = v K v where the product ranges over all (infinite and finite) places of K and all but finitely many of the terms are in O Kv (so that the end space is locally compact). Similarly define the idèles as I K = A K = v K v with the same conditions on the product and finally let C K = I K /K denote the idèle class group. Join all finite extensions of K together and get I K = I = lim I L/K L, C K = C = I/K. To make the shift from local class field theory, we replace the Tate cohomology computations of Ĥ i (Gal(L/K),L ) with Ĥi (Gal(L/K), I K ) = v Ĥ i (Gal(L v /K v ),L v ), where the decomposition into local parts that will allow us to reconstruct from local class field theory is already obvious. Theorem 1.3. (Global class field theory) Let L/K be a finite abelian extension of number fields. We have a global relative Artin map φ L/K : C K /Nm(C L ) Gal(L/K)
3 CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES 3 and there is an order reversing bijection between finite abelian extensions of K and finite index open subgroups of C K. The finite extensions assemble to a global morphism φ K : I K Gal(K ab /K) which in the case of number fields is surjective. We also have the fundamental exact sequence of global class field theory 0 Br(K) v Br(K v ) Q/Z 0. We can now conclude the global Kronecker-Weber Theorem, even though there s a simpler proof which follows directly from the local Kronecker-Weber Theorem. Corollary 1.4. (Kronecker-Weber Theorem) Every abelian extension of Q is contained in a cyclotomic extension. It is now clear that class field theory provides an impressive description of the abelian extensions we initially set off to describe. Still many questions remain open at this point though. Firstly, it is obvious that the global case provides a less explicit construction of the abelian extensions than the local case, and it is this dream of making class field theory explicit that is called Kronecker s Jugendtraum. The other direction one might want to think about is that of non-abelian extensions. Studying the proofs of local and global class field theory it soon becomes apparent that the abelian condition on the Galois groups is essential in the proofs. The study of non-abelian extensions of local and global fields is the Langlands program. We ll now discuss a bit further the case of explicit class field theory. Specifically, Kronecker envisioned in the mid 19th century that one could describe all abelian extensions of Q by adjoining all roots of unity (this turned out to be the Kronecker-Weber Theorem described above), but also that all abelian extension of a quadratic imaginary number field K could be obtained by adjoining the values of a special elliptic function j(z), z K. The former is the Kronecker-Weber theorem, completed by Weber whereas the latter turned out to be almost true and this is exactly the theory of complex multiplication for elliptic curves which we will describe below, providing an analogue of the cyclotomic theory of extensions of Q for quadratic imaginary number fields. 2. CM and Elliptic Curves In this section, fix a quadratic imaginary number field K and let R be an order in K and denote by O K the maximal order, i.e. the ring of integers. We briefly described the motivation behind studying elliptic curves with complex multiplication in the previous chapter and now we will start from the ground up, describing the endomorphism ring of elliptic curves. The moto is that some elliptic curve have more endomorphisms that usual and have very special properties. The uniformisation theory of complex elliptic curves gives us a correspondence between lattices in C up to homothety and isomorphism classes of elliptic curve. Moreover, by the following theorem, we can make an equivalence of categories by describing what happens to the morphisms.
4 4 FRANK GOUNELAS Theorem 2.1. ([Sil92] VI.4.1) Let Λ 1,Λ 2 be lattices in C, we then have a bijection between the set of α C such that αλ 1 Λ 2 and the set of holomorphic maps of complex tori φ : C/Λ 1 C/Λ 2 with φ(0) = 0 by taking a complex number α and sending it to the map φ α (z) = αz mod Λ 2. If E 1,E 2 are elliptic curves corresponding to Λ 1,Λ 2 respectively, we have a bijection between the set of isogenies φ : E 1 E 2 and the sets just described. Proposition 2.2. ([Sil92] VI.5.5) Let E/C be an elliptic curve and let ω 1,ω 2 be generators for the corresponding lattice associated to E. Then either End(E) = Z or Q(ω 1 /ω 2 )/Q is a quadratic extension and End(E) is isomorphic to an order in Q(ω 1 /ω 2 ). Proof. The uniformisation theory of complex elliptic curves tells us that End(E) = R = {α C : αλ Λ} where Λ = Z + τz for τ = ω 1 /ω 2. There exist integers a,b,c,d such that α = a + bτ and ατ = c + dτ. Eliminating τ gives a quadratic equation α 2 +(a+d)α+ab bc = 0 so R/Z is an integral extension. Pick an element α R \Z. We have b 0 and eliminating α gives the quadratic equation bτ 2 (a d)τ c = 0 so Q(τ) is quadratic imaginary. It follows from integrality and R Q(τ) that End(E) is isomorphic to an order of Q(τ). Denote by E (R) the moduli space of elliptic curves with complex multiplication by the order R. We construct elliptic curves with prescribed endomorphism ring the ring of integers O K of an imaginary quadratic number field (or more generally an order in a quadratic imaginary number field). Start with a fractional ideal α in O K, this defines a lattice in C (K is quadratic imaginary) and then the set of a C such that aα is inside α is O K. We know that this lattice defines an elliptic curve and Theorem 2.1 gives us a correspondence between endomorphisms of this elliptic curve and elements a in K such that aα α. Since we are describing lattices up to homothety, cα will give the same elliptic curve up to isomorphism, so we can instead consider an element α Cl(O K ) the class group of K of fractional ideals modulo principal fractional ideals. Theorem 2.3. ([Sil94] II.1.2) Let E Λ = C/Λ be the elliptic curve corresponding to the lattice Λ. There is a well defined free and transitive action of Cl(O K ) on E (O K ) determined by α E Λ = E α 1 Λ. Corollary 2.4. We have an equality # Cl(O K ) = #E (O K ). Some examples of curves with complex multiplication and their corresponding endomorphism ring. (1) Let R = Λ = Z[i]. We have iλ = Λ and hence the coefficient g 3 (Λ) coming from the Eisenstein series (see [Sil92] VI.3) satisfies g 3 (Λ) = g 3 (iλ) = i 6 g 3 (Λ) = g 3 (Λ) so g 3 = 0. Hence the j-invariant is 1728 and we can pick a Q-model of the curve to be y 2 = x 3 + x. (2) Let R = Z[ω]. We similarly get the curve y 2 = x where ω is a cube root of unity. Note both of the above have class number 1 since they are both defined over Q and thus have Q-rational coefficients. We are now in a position to state in what way the theory of complex multiplication provides
5 CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES 5 an analogue of the cyclotomic theory of Q for quadratic imaginary extensions K/Q. First, a technical definition to make the statement of the theorem more accessible. Definition 2.5. For E/C an elliptic curve given by Weierstrass equation y 2 = x 3 +Ax+B and let = 16(4A 3 +27B 2 ) be its discriminant. Define the Weber function φ E : E(C) C as follows AB x(p), if j(e) 0,1728 φ E (P) = A 2 x(p)2, if j(e) = 1728 B x(p)3, if j(e) = 0 Theorem 2.6. ([CSS97] II.20) Let E/C be an elliptic curve with complex multiplication by O K for a quadratic imaginary number field K. The following hold (1) The j-invariant j(e) is an algebraic integer. (2) The field H = K(j(E)) is the Hilbert class field of K. (3) The field K(j(E), {φ E (P) : P E tors }) is isomorphic to K ab the maximal abelian extension of K. Proof. (Sketch) (1) We show first that it is an algebraic number, i.e. j(e) Q. For any field automorphism σ of C and endomorphism φ of E, by acting on coefficients, we get an endomorphism φ σ : E σ E σ and thus an isomorphism End(E) = End(E σ ). From Corollary 2.4, we know that there s finitely many isomorphism classes in E (O K ). Since j(e σ ) = j(e) σ (easy, j is defined in terms of coefficients), we get that j(e) σ takes only finitely many values as σ ranges in Aut(C), hence j(e) Q. Showing that it s in fact an algebraic integer is a bit more involved and we refer the reader to [Sil94] II.6 or V.6.3. (2) Follows from class field theory, see [Sil94] II.4.3. (3) The full statement requires a significant amount of work, which can be found in [Sil92] II.5. One first needs to note that the extension H(E tors )/K is not necessarily an abelian extension so we need to restrict ourselves to the subextension H(φ E (E tors ))/K. We ll describe however how one shows that H(E tors )/H is an abelian extension as it is enlightening as to why we are assuming our curves have complex multiplication. Denote by L m = H(E[m]). Note that H(E tors ) is the composite of the H(E[m]) for m 1 and that we just need to show that L m /H is an abelian extension. Consider the representation ρ : Gal(K/H) Aut(E[m]) given by the condition that ρ(σ)(t) = T σ. For an arbitrary elliptic curve, ρ injects Gal(L m /H) into some subgroup of the automorphism group GL 2 (Z/mZ) of E[m], which is clearly not enough to deduce that it is abelian. Since E has complex multiplication, every endomorphism of E is also defined over H (see [Sil94] II.2.2b). Hence σ Gal(L m /H) commutes with elements in O K when acting on E[m], hence ρ is a homomorphism from Gal(K/H) to the group of O K /mo K -module automorphisms Aut OK /mo K (E[m]) = (O K /mo K ) (see [Sil94] II.1.4b) of E[m], which is abelian and hence the image of ρ is abelian as well.
6 6 FRANK GOUNELAS Despite the vast amount of algebraic data contained in the arithmetic of elliptic curves with complex multiplication, they only form a very small part of the moduli space of elliptic curves over C. We can make this a bit more precise by referencing [Sil94] II.2.1c, which says that the set of isomorphism classes of elliptic curves over C with complex multiplication by O K for K a quadratic imaginary number field as usual is in fact isomorphic to the set of the Q-classes of elliptic curves defined over Q with complex multiplication by O K. In fact, combining what we know about class numbers of quadratic imaginary number fields, we see that there are exactly 13 Q-isomorphism classes of elliptic curves E/Q having complex multiplication (meaning, 13 elliptic curves with CM defined over Q which are not isomorphic over Q, see [Sil92] )! As just described, due to the restrictions imposed on elliptic curves with CM, they represent a class of curves for which much can be said arithmetically. Namely, we have analytic continuation and a function equation for the L-function of such a curve over all number fields, something which remains wide open in the general case and is only known for Q by Wiles proof of the Taniyama-Shimura modularity conjecture. References [CSS97] Gary Cornell, Joseph H. Silverman, and Glenn Stevens, editors. Modular forms and Fermat s last theorem. Springer-Verlag, New York, Papers from the Instructional Conference on Number Theory and Arithmetic Geometry held at Boston University, Boston, MA, August 9 18, [Mil08] J.S. Milne. Class field theory (v4.00), Available at [Ser79] Jean-Pierre Serre. Local fields, volume 67 of Graduate Texts in Mathematics. Springer-Verlag, New York, Translated from the French by Marvin Jay Greenberg. [Sil92] Joseph H. Silverman. The arithmetic of elliptic curves, volume 106 of Graduate Texts in Mathematics. Springer-Verlag, New York, Corrected reprint of the 1986 original. [Sil94] Joseph H. Silverman. Advanced topics in the arithmetic of elliptic curves, volume 151 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1994.
Modular 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 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 informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
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 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 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 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 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 informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
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 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 informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
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 informationClass Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q
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
More informationCohomology and Representations of Galois Groups
Cohomology and Representations of Galois Groups Eric Stubley Discussed with Professor Frank Calegari February 28, 2017 Deformations of Galois representations saw their introduction in the late 1980s, and
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 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 TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
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 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 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 informationCOMPLEX MULTIPLICATION: LECTURE 14
COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic
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 informationOverview. exp(2πiq(x)z) x Z m
Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know
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 informationThe Néron Ogg Shafarevich criterion Erik Visse
The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the
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 informationHecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton
Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic
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 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 informationElliptic Curves with 2-torsion contained in the 3-torsion field
Elliptic Curves with 2-torsion contained in the 3-torsion field Laura Paulina Jakobsson Advised by Dr. M. J. Bright Universiteit Leiden Universita degli studi di Padova ALGANT Master s Thesis - 21 June
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 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 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 informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
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 informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
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 informationElliptic Curves as Complex Tori
Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationNOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22
NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm
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 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 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 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 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 informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
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 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 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 informationIgusa Class Polynomials
Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell
More informationGalois Cohomology. John Tate
Galois Cohomology John Tate Contents Galois Cohomology 1 1. Group modules 1 2. Cohomology 2 2.1. Examples 3 2.2. Characterization of H r (G, ) 4 3. Kummer theory 4 4. Functor of pairs (G, A) 6 5. The
More informationComplex Multiplication
Complex Multiplication Winter School on Elliptic Curves, HRI, November 8-25, 2000 Eknath Ghate 1 Introduction An elliptic curve has complex multiplication (or CM for short) if it has endomorphisms other
More informationApplications of Complex Multiplication of Elliptic Curves
Applications of Complex Multiplication of Elliptic Curves MASTER THESIS Candidate: Massimo CHENAL Supervisor: Prof. Jean-Marc COUVEIGNES UNIVERSITÀ DEGLI STUDI DI PADOVA UNIVERSITÉ BORDEAUX 1 Facoltà di
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationthis to include the explicit maps, please do so!
Contents 1. Introduction 1 2. Warmup: descent on A 2 + B 3 = N 2 3. A 2 + B 3 = N: enriched descent 3 4. The Faltings height 5 5. Isogeny and heights 6 6. The core of the proof that the height doesn t
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 informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
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 informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
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 informationINTRODUCTION TO DRINFELD MODULES
INTRODUCTION TO DRINFELD MODULES BJORN POONEN Our goal is to introduce Drinfeld modules and to explain their application to explicit class field theory. First, however, to motivate their study, let us
More informationAlgebraic Hecke Characters
Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationElliptic Curves, Group Schemes,
Elliptic Curves, Group Schemes, and Mazur s Theorem A thesis submitted by Alexander B. Schwartz to the Department of Mathematics in partial fulfillment of the honors requirements for the degree of Bachelor
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 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 informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
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 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 informationExplicit Complex Multiplication
Explicit Complex Multiplication Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Explicit CM Eindhoven,
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 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 informationQ-Curves with Complex Multiplication. Ley Wilson
Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure Mathematics School of Mathematics and Statistics
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 informationGALOIS COHOMOLOGY GEUNHO GIM
GALOIS COHOMOLOGY GEUNHO GIM Abstract. This note is based on the 3-hour presentation given in the student seminar on Fall 203. We will basically follow [HidMFG, Chapter IV] and [MilADT, Chapter I 0,, 2].
More informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationTHE MORDELL-WEIL THEOREM FOR Q
THE MORDELL-WEIL THEOREM FOR Q NICOLAS FORD Abstract. An elliptic curve is a specific type of algebraic curve on which one may impose the structure of an abelian group with many desirable properties. The
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 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 informationParvati Shastri. 2. Kummer Theory
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
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
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 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 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 informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationAVERAGE RECIPROCALS OF THE ORDER OF a MODULO n
AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n KIM, SUNGJIN Abstract Let a > be an integer Denote by l an the multiplicative order of a modulo integers n We prove that l = an Oa ep 2 + o log log, n,n,a=
More information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationAN INTRODUCTION TO ELLIPTIC CURVES
AN INTRODUCTION TO ELLIPTIC CURVES MACIEJ ULAS.. First definitions and properties.. Generalities on elliptic curves Definition.. An elliptic curve is a pair (E, O), where E is curve of genus and O E. We
More informationThe Galois Representation Associated to Modular Forms (Part I)
The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2
More informationComplex multiplication of abelian varieties
Complex multiplication of abelian varieties Margaret Bilu Contents 1 A quick review of the elliptic curves case 4 2 Preliminary definitions and properties 7 2.1 Some facts about abelian varieties........................
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 information