Computing the image of Galois
|
|
- Geoffrey McKinney
- 5 years ago
- Views:
Transcription
1 Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25
2 Elliptic curves Let E be an elliptic curve over Q, defined by an equation y 2 = x 3 + Ax + B, where A, B Z satisfy 4A B 2 0. The set of Q-rational points forms an abelian group E(Q). The group operation is given by the chord-and-tangent law: For any extension k/q, the group E(k) is defined similarly. Andrew Sutherland (MIT) Computing the image of Galois 2 of 25
3 Torsion subgroups Let m be a positive integer. Points P E(Q) for which are m-torsion points. mp = P + + P = 0 The set of m-torsion points form a subgroup E[m] Z/mZ Z/mZ. The field Q(E[m]) obtained by adjoining the coordinates of the m-torsion points is a finite Galois extension of Q. Example: Q(E[2]) is the splitting field of f (x) = x 3 + Ax + B. Andrew Sutherland (MIT) Computing the image of Galois 3 of 25
4 The action of Galois Consider the Galois group G = Gal(Q(E[m])/Q). G acts on the set E[m], since for σ G and P E[m]: 1. The point σp = (σx P, σy P ) is on the curve E. (apply σ to the curve equation: y 2 P = x 3 P + Ax P + B). 2. The point σp lies in E[m]. (apply σ to the m-division polynomial: ψ m (x P, y P ) = 0). 3. We have σ 1 (σ 2 P) = (σ 1 σ 2 )P and 1 G acts trivially. Moreover, each σ defines an automorphism of E[m]: 4. σ(p + Q) = σp + σq. (apply σ to the equations defining the group law). Andrew Sutherland (MIT) Computing the image of Galois 4 of 25
5 Galois images The action of Gal(Q(E[m]/Q) on E[m] induces a representation ρ E,m : Gal(Q(E[m])/Q) Aut(E[m]), known as the mod-m Galois representation attached to E. By identifying Aut(E[m]) with Aut(Z/mZ Z/mZ). we view the image of ρ E,m as a subgroup of GL 2 (Z/mZ). We are interested in computing this subgroup. We shall focus primarily on the case where m is a prime l. Andrew Sutherland (MIT) Computing the image of Galois 5 of 25
6 Complex multiplication An endomorphism of an elliptic curve E is a rational map from E to itself that is also a group homomorphism. Example: P np = P + + P. The set of endomorphisms forms a ring End(E) under point addition and composition. The multiplication-by-n maps form a subring isomorphic to Z. For E/Q we usually have End(E) Z, but for certain curves (13, up to isomorphism over Q) this is not true, in which case we say that E has complex multiplication (CM). We shall focus on elliptic curves without CM. Andrew Sutherland (MIT) Computing the image of Galois 6 of 25
7 Surjectivity For elliptic curves E without CM, ρ E,l is usually surjective (but if E has CM, then ρ E,l is never surjective for l > 2). Let k be a number field and let E be an elliptic curve over k. Theorem (Serre) If E does not have CM then im ρ E,l = GL 2 (Z/lZ) for all sufficiently large primes l. Conjecture For each number field k there is a uniform bound l max such that im ρ E,l = GL 2 (Z/lZ) for every E/k and every l > l max. For k = Q, it is widely believed that l max = 37. Andrew Sutherland (MIT) Computing the image of Galois 7 of 25
8 Non-surjectivity If E has a rational point of order l, then ρ E,l is not surjective. For E/Q this occurs for l 7 (Mazur). If E admits a rational l-isogeny, then ρ E,l is not surjective. For E/Q without CM, this occurs for l 17 and l = 37 (Mazur). But ρ E,l may be non-surjective even when E does not admit a rational l-isogeny. Even when E has a rational l-torsion point, this does not uniquely determine the image of ρ E,l. Classifying the possible images of ρ E,l that arise over Q may be viewed as a refinement of Mazur s theorems. One can consider the same question for any number field k, but we will focus on k = Q. Andrew Sutherland (MIT) Computing the image of Galois 8 of 25
9 Applications There are many practical and theoretical reasons for wanting to compute the image of ρ E,l, and for searching for elliptic curves with a particular mod-l or mod-m Galois image: Explicit BSD computations. Modularity lifting. Computing Lang-Trotter constants. The Koblitz-Zywina conjecture. Optimizing the elliptic curve factorization method (ECM). Local-global questions. Andrew Sutherland (MIT) Computing the image of Galois 9 of 25
10 Computing the image of Galois the hard way In principle, there is a very simple algorithm to compute the image of ρ E,l in GL 2 (Z/lZ) (up to conjugacy): 1. Construct the field L = Q(E[l]) as an (at most quadratic) extension of the splitting field of E s lth division polynomial. 2. Pick a basis (P, Q) for E[l] and determine the action of each element of Gal(L/Q) on P and Q. In practice this is computationally feasible only for very small l (say l 7); the degree of L is typically on the order of l 4. Indeed, this is substantially more difficult than just computing the Galois group, which is already a hard problem. We need something faster, especially if we want to compute lots of Galois images (which we do!). Andrew Sutherland (MIT) Computing the image of Galois 10 of 25
11 Main results A very fast algorithm to compute im ρ E,l up to isomorphism, (and usually up to conjugacy), for elliptic curves over number fields of low degree and moderate values of l (say l < 200). If ρ E,l is surjective, the algorithm proves this unconditionally. If not, its output is heuristically correct with very high probability (in principle, this can also be made unconditional). The current implementation handles elliptic curves over Q and quadratic extensions of Q, and all primes l < 100. The algorithm can also compute ρ E,m for composite m, and it generalizes to abelian varieties of higher dimension (but the computations are much more time consuming). Andrew Sutherland (MIT) Computing the image of Galois 11 of 25
12 Main results We have used the algorithm to compute the mod-l Galois image of every elliptic curve in the Cremona and Stein-Watkins databases for all primes l < 80. This includes about 140 million curves, including all curves of conductor 350, 000. The results have been incorporated into the LMFDB ( We also analyzed more than curves in various families. The result is a conjecturally complete classification of 63 non-surjective mod-l Galois images that can arise for an elliptic curve E/Q without CM. Andrew Sutherland (MIT) Computing the image of Galois 12 of 25
13 A probabilistic approach Let E p denote the reduction of E modulo a good prime p l. The action of the Frobenius endomorphism on E p [l] is given by (the conjugacy class of) an element A p,l im ρ E,l with tr A p,l a p mod l and det A p,l p mod l, where a p = p + 1 #E p (F p ) is the trace of Frobenius. By varying p, we can randomly sample im ρ E,l. The Čebotarev density theorem implies equidistribution. Andrew Sutherland (MIT) Computing the image of Galois 13 of 25
14 Example: l = 2 GL 2 (Z/2Z) S 3 has 6 subgroups in 4 conjugacy classes. For H GL 2 (Z/2Z), let t a (H) = #{A H : tr A = a}. Consider the trace frequencies t(h) = (t 0 (H), t 1 (H)): 1. For GL 2 (Z/2Z) we have t(h) = (4, 2). 2. The subgroup of order 3 has t(h) = (1, 2). 3. The 3 conjugate subgroups of order 2 have t(h) = (2, 0) 4. The trivial subgroup has t(h) = (1, 0). 1,2 are distinguished from 3,4 by a trace 1 element (easy). We can distinguish 1 from 2 by comparing frequencies (harder). We cannot distinguish 3 from 4 at all (impossible). Sampling traces does not give enough information! Andrew Sutherland (MIT) Computing the image of Galois 14 of 25
15 Using the fixed space of A p The l-torsion points fixed by the Frobenius endomorphism form the F p -rational subgroup E p [l](f p ) of E p [l]. Thus fix A p = ker(a p I) = E p [l](f p ) = E p (F p )[l] It is easy to compute E p (F p )[l], and this gives us information that cannot be derived from a p alone. We can now easily distinguish the subgroups of GL 2 (Z/2Z) by looking at pairs (a p, r p ), where r p is the rank of fix A p (0, 1, or 2). There are three possible pairs, (0, 2), (0, 1), and (1, 0). The subgroups of order 2 contain (0, 2) and (0, 1) but not (1, 0). The subgroup of order 3 contains (0, 2) and (1, 0) but not (0, 1). The trivial subgroup contains only (0, 2). Andrew Sutherland (MIT) Computing the image of Galois 15 of 25
16 Subgroup signatures The signature of a subgroup H of GL 2 (Z/lZ) is defined by s H = { ( det A, tr A, rk fix A ) : A H}. Note that s H is invariant under conjugation. Remarkably, s H determines the isomorphism class of H. Theorem Let l be a prime and let G and H be subgroups of GL 2 (Z/lZ) with surjective determinant maps. If s G = s H then G H. Andrew Sutherland (MIT) Computing the image of Galois 16 of 25
17 The subgroup lattice of GL 2 (Z/lZ) Our strategy is to determine im ρ E,l by identifying its location in the lattice of (conjugacy classes of) subgroups of GL 2 (Z/lZ). For any subgroup H GL 2 (Z/lZ), we say that a set of triples s is minimally covered by s H if we have s s H, and also s s G = s H s G for all subgroups G GL 2 (Z/lZ). If s is minimally covered by both s G and s H, then G H. Andrew Sutherland (MIT) Computing the image of Galois 17 of 25
18 The algorithm Given an elliptic curve E/Q, a prime l, and ɛ > 0, set s, k 0, and for each good prime p l: 1. Compute a p = p + 1 #E(F p ) and r p = rk(e(f p )[l]). 2. Set s s (p mod l, a p mod l, r p ) and increment k. 3. If s is minimally covered by s H, for some H GL 2 (Z/lZ), and if δh k < ɛ, then output H and terminate. Here δ H is the maximum over G H of the probability that the triple of a random A G lies in s H (zero if H = GL 2 (Z/lZ)). The values of s H and δ H are precomputed all H. Andrew Sutherland (MIT) Computing the image of Galois 18 of 25
19 Efficient implementation If ρ E,l is surjective, we expect the algorithm to terminate in O(log l) iterations, typically less than 10 for l < 100. Otherwise, if ɛ = 2 n we expect to need O(log l + n) iterations, typically less than 2n (we use n = 256). By precomputing the values a p and r p for every elliptic curve E/F p for all primes p up to, say, 2 16, the algorithm is essentially just a sequence of table-lookups, which makes it very fast. It takes just two minutes to analyze all 1,887,909 curves in Cremona s tables for all l < 80 (on a single core). Precomputing the s H and δ H is non-trivial, but this only ever needs to be done once for each prime l. Andrew Sutherland (MIT) Computing the image of Galois 19 of 25
20 Distinguishing conjugacy classes Among the non-surjective Galois images that arise with l < 80 for elliptic curves over Q without CM and conductor , there are 45 distinct signatures. These correspond to 63 possible conjugacy classes. How can we determine which of these actually occur? Andrew Sutherland (MIT) Computing the image of Galois 20 of 25
21 Example: l = 3 In GL 2 (Z/3Z) the subgroups H 1 = ( ), ( ) and H2 = ( ) ( , 2 0 ) 0 1 both have signature {(1, 2, 1), (2, 0, 1), (1, 2, 2)}, and are isomorphic to S 3. Every element of H 1 and H 2 has 1 as an eigenvalue. In H 1 the 1-eigenspaces all coincide, but in H 2 they do not. H 1 corresponds to an elliptic curve with a rational point of order 3, whereas H 2 corresponds to an elliptic curve that has a rational point of order 3 locally everywhere, but not globally. Andrew Sutherland (MIT) Computing the image of Galois 21 of 25
22 Distinguishing conjugacy classes Let d H denote the least index of a subgroup of H that fixes a nonzero vector in (Z/lZ) 2. Then d H1 = 1, but d H2 = 2. For H = im ρ E,l, the quantity d H is the degree of the minimal extension L/Q over which E has an L-rational point of order l. This can be determined using the l-division polynomial. Using d H and s H we can determine the conjugacy class of H = im ρ E,l in all but one case that arises among the 45 signatures we have found. In this one case, we compute im ρ E,l the hard way (for just a few curves). It turns out that all 63 of the identified conjugacy classes do arise as the Galois image of an elliptic curve over Q. Andrew Sutherland (MIT) Computing the image of Galois 22 of 25
23 Non-surjective Galois images for E/Q w/o CM and conductor l GAP id index d H δ H a p N p type 1 #{E} #{j(e)} no no C s yes no no B yes yes yes C ns yes no no C s no yes no C s yes no no B no no no B no yes yes N(C s) yes yes no B yes yes yes N(C ns) yes no no C s no no no C s no yes no C s yes yes yes C s yes yes yes N(C s) yes no no B no no no B no no no B no no no B no yes yes N(C s) yes yes no B yes yes no B yes yes yes N(C ns) yes Andrew Sutherland (MIT) Computing the image of Galois 23 of 25
24 Non-surjective Galois images for E/Q w/o CM and conductor l GAP id index d H δ H a p N p type 1 #{E} #{j(e)} yes yes B yes yes yes S 4 yes yes no N(C s) no yes no N(C s) yes no no B no no no B no no no B no no no B no no no B no no no B no yes yes N(C s) yes yes no B yes yes no B yes yes no B yes yes yes N(C ns) yes yes yes B no yes yes B no yes yes B yes no no B no no no B no no no B no no no B no no no B yes 54 1 Andrew Sutherland (MIT) Computing the image of Galois 24 of 25
25 Non-surjective Galois images for E/Q w/o CM and conductor l GAP id index d H δ H a p N p type 1 #{E} #{j(e)} no no B yes yes yes N(C ns) yes yes yes S 4 yes yes yes B no yes yes B no yes yes B no yes yes B no yes no B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes yes yes B yes 32 1 Andrew Sutherland (MIT) Computing the image of Galois 25 of 25
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationThe Sato-Tate conjecture for abelian varieties
The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also
More informationElliptic Curves Spring 2015 Lecture #7 02/26/2015
18.783 Elliptic Curves Spring 2015 Lecture #7 02/26/2015 7 Endomorphism rings 7.1 The n-torsion subgroup E[n] Now that we know the degree of the multiplication-by-n map, we can determine the structure
More informationElliptic Curves Spring 2013 Problem Set #5 Due: 03/19/2013
18.783 Elliptic Curves Spring 2013 Problem Set #5 Due: 03/19/2013 Description These problems are related to the material covered in Lectures 9-10. As usual the first person to spot each non-trivial typo/error
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 informationComputing the endomorphism ring of an ordinary elliptic curve
Computing the endomorphism ring of an ordinary elliptic curve Massachusetts Institute of Technology April 3, 2009 joint work with Gaetan Bisson http://arxiv.org/abs/0902.4670 Elliptic curves An elliptic
More informationCounting points on elliptic curves over F q
Counting points on elliptic curves over F q Christiane Peters DIAMANT-Summer School on Elliptic and Hyperelliptic Curve Cryptography September 17, 2008 p.2 Motivation Given an elliptic curve E over a finite
More informationTables of elliptic curves over number fields
Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed
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 informationIdentifying supersingular elliptic curves
Identifying supersingular elliptic curves Andrew V. Sutherland Massachusetts Institute of Technology January 6, 2012 http://arxiv.org/abs/1107.1140 Andrew V. Sutherland (MIT) Identifying supersingular
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
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 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 informationELLIPTIC CURVES WITH ABELIAN DIVISION FIELDS
ELLIPTIC CURVES WITH ABELIAN DIVISION FIELDS ENRIQUE GONZÁLEZ JIMÉNEZ AND ÁLVARO LOZANO-ROBLEDO Abstract. Let E be an elliptic curve over Q, and let n 1. The central object of study of this article is
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 informationElliptic Curves Spring 2015 Lecture #23 05/05/2015
18.783 Elliptic Curves Spring 2015 Lecture #23 05/05/2015 23 Isogeny volcanoes We now want to shift our focus away from elliptic curves over C and consider elliptic curves E/k defined over any field k;
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 informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/37019 holds various files of this Leiden University dissertation Author: Brau Avila, Julio Title: Galois representations of elliptic curves and abelian
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 informationThe 8 th International Conference on Science and Mathematical Education in Developing Countries
On Never Primitive points for Elliptic curves The 8 th International Conference on Science and Mathematical Education in Developing Countries University of Yangon Myanmar 4 th -6 th December 2015, Francesco
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 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 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 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 informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
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 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 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 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 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 informationDip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers
On Never rimitive points for Elliptic curves Notations The 8 th International Conference on Science and Mathematical Education in Developing Countries Fields of characteristics 0 Z is the ring of integers
More informationModular polynomials and isogeny volcanoes
Modular polynomials and isogeny volcanoes Andrew V. Sutherland February 3, 010 Reinier Bröker Kristin Lauter Andrew V. Sutherland (MIT) Modular polynomials and isogeny volcanoes 1 of 9 Isogenies An isogeny
More informationNumber Fields Generated by Torsion Points on Elliptic Curves
Number Fields Generated by Torsion Points on Elliptic Curves Kevin Liu under the direction of Chun Hong Lo Department of Mathematics Massachusetts Institute of Technology Research Science Institute July
More informationComputing modular polynomials with the Chinese Remainder Theorem
Computing modular polynomials with the Chinese Remainder Theorem Andrew V. Sutherland Massachusetts Institute of Technology ECC 009 Reinier Bröker Kristin Lauter Andrew V. Sutherland (MIT) Computing modular
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 information26 Fermat s Last Theorem
18.783 Elliptic Curves Spring 2017 Lecture #26 05/17/2017 26 Fermat s Last Theorem In this final lecture we give an overview of the proof of Fermat s Last Theorem. Our goal is to explain exactly what Andrew
More informationEndomorphism algebras of semistable abelian varieties over Q of GL(2)-type
of semistable abelian varieties over Q of GL(2)-type UC Berkeley Tatefest May 2, 2008 The abelian varieties in the title are now synonymous with certain types of modular forms. (This is true because we
More informationw d : Y 0 (N) Y 0 (N)
Upper half-plane formulas We want to explain the derivation of formulas for two types of objects on the upper half plane: the Atkin- Lehner involutions and Heegner points Both of these are treated somewhat
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationThe Asymptotic Fermat Conjecture
The Asymptotic Fermat Conjecture Samir Siksek (Warwick) joint work with Nuno Freitas (Warwick), and Haluk Şengün (Sheffield) 23 August 2018 Motivation Theorem (Wiles, Taylor Wiles 1994) Semistable elliptic
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More informationSolving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture
Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b
More informationNon-generic attacks on elliptic curve DLPs
Non-generic attacks on elliptic curve DLPs Benjamin Smith Team GRACE INRIA Saclay Île-de-France Laboratoire d Informatique de l École polytechnique (LIX) ECC Summer School Leuven, September 13 2013 Smith
More informationOn the Distribution of Traces of Frobenius of Rational Elliptic Curves
On the Distribution of Traces of Frobenius of Rational Elliptic Curves Brandon Tran, Minh-Tam Trinh, Phil Wertheimer 2012 Clemson University REU Report 15 August 2012 2 Contents 1 Introduction 5 1.1 Acknowledgments.........................
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
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 informationElliptic curves and Hilbert s Tenth Problem
Elliptic curves and Hilbert s Tenth Problem Karl Rubin, UC Irvine MAA @ UC Irvine October 16, 2010 Karl Rubin Elliptic curves and Hilbert s Tenth Problem MAA, October 2010 1 / 40 Elliptic curves An elliptic
More informationElliptic Curves Spring 2013 Lecture #12 03/19/2013
18.783 Elliptic Curves Spring 2013 Lecture #12 03/19/2013 We now consider our first practical application of elliptic curves: factoring integers. Before presenting the elliptic curve method (ECM) for factoring
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 informationCounting points on elliptic curves: Hasse s theorem and recent developments
Counting points on elliptic curves: Hasse s theorem and recent developments Igor Tolkov June 3, 009 Abstract We introduce the the elliptic curve and the problem of counting the number of points on the
More informationConstructing genus 2 curves over finite fields
Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key
More 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 informationOn Partial Lifting and the Elliptic Curve Discrete Logarithm Problem
On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem Qi Cheng 1 and Ming-Deh Huang 2 1 School of Computer Science The University of Oklahoma Norman, OK 73019, USA. Email: qcheng@cs.ou.edu.
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 informationClass invariants by the CRT method
Class invariants by the CRT method Andreas Enge Andrew V. Sutherland INRIA Bordeaux-Sud-Ouest Massachusetts Institute of Technology ANTS IX Andreas Enge and Andrew Sutherland Class invariants by the CRT
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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationx mv = 1, v v M K IxI v = 1,
18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source
More informationLARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE
LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
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 informationFrobenius Distributions
Frobenius Distributions Edgar Costa (MIT) September 11th, 2018 Massachusetts Institute of Technology Slides available at edgarcosta.org under Research Polynomials Write f p (x) := f(x) mod p f(x) = a n
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 information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationThe Arithmetic of Elliptic Curves
The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil
More informationComputing the modular equation
Computing the modular equation Andrew V. Sutherland (MIT) Barcelona-Boston-Tokyo Number Theory Seminar in Memory of Fumiyuki Momose Andrew V. Sutherland (MIT) Computing the modular equation 1 of 8 The
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 informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationIMAGES OF METABELIAN GALOIS REPRESENTATIONS ASSOCIATED TO ELLIPTIC CURVES
IMAGES OF METABELIAN GALOIS REPRESENTATIONS ASSOCIATED TO ELLIPTIC CURVES By Rachel Davis A DISSERTATION SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY (MATHEMATICS)
More informationBSD and the Gross-Zagier Formula
BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationHeuristics for the growth of Mordell-Weil ranks in big extensions of number fields
Heuristics for the growth of Mordell-Weil ranks in big extensions of number fields Barry Mazur, Harvard University Karl Rubin, UC Irvine Banff, June 2016 Mazur & Rubin Heuristics for growth of Mordell-Weil
More informationTowards a precise Sato-Tate conjecture in genus 2
Towards a precise Sato-Tate conjecture in genus 2 Kiran S. Kedlaya Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University of California, San Diego kedlaya@mit.edu,
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 informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationM ath. Res. Lett. 15 (2008), no. 6, c International Press 2008
M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.
More informationCONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker
CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace
More informationOn the evaluation of modular polynomials
On the evaluation of modular polynomials Andrew V. Sutherland Massachusetts Institute of Technology ANTS X July 10, 2012 http://math.mit.edu:/ drew 1 / 16 Introduction Let l be a prime and let F q be a
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationA heuristic for abelian points on elliptic curves
A heuristic for abelian points on elliptic curves Barry Mazur, Harvard University Karl Rubin, UC Irvine MIT, August 2018 Mazur & Rubin Heuristic for abelian points on elliptic curves MIT, August 2018 1
More informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No
More informationTitchmarsh divisor problem for abelian varieties of type I, II, III, and IV
Titchmarsh divisor problem for abelian varieties of type I, II, III, and IV Cristian Virdol Department of Mathematics Yonsei University cristian.virdol@gmail.com September 8, 05 Abstract We study Titchmarsh
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 informationHigher genus curves and the inverse Galois problem
Higher genus curves and the inverse Galois problem Samuele Anni joint work with Pedro Lemos and Samir Siksek University of Warwick Congreso de Jóvenes Investigadores de la Real Sociedad Matemática Española
More informationElliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019
18.783 Elliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019 Description These problems are related to the material covered in Lectures 13-14. Instructions: Solve problem 1 and then solve one of Problems
More informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More informationThe arithmetic of elliptic curves An update. Benedict H. Gross. In 1974, John Tate published The arithmetic of elliptic curves in
The arithmetic of elliptic curves An update Benedict H. Gross In 1974, John Tate published The arithmetic of elliptic curves in Inventiones. In this paper [Ta], he surveyed the work that had been done
More informationGenus 2 Curves of p-rank 1 via CM method
School of Mathematical Sciences University College Dublin Ireland and Claude Shannon Institute April 2009, GeoCrypt Joint work with Laura Hitt, Michael Naehrig, Marco Streng Introduction This talk is about
More informationPOTENTIAL PROBLEM DESCRIPTIONS
POTENTIAL PROBLEM DESCRIPTIONS I. Combinatorics (a) Problem 1: Partitions We define a partition of a number, n, to be a sequence of non-increasing positive integers that sum to n. We want to examine the
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 informationElliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.
Elliptic Curves Akhil Mathew Department of Mathematics Drew University Math 155, Professor Alan Candiotti 10 Dec. 2008 Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor
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 informationComputing Hilbert modular forms
Computing Hilbert modular forms John Voight Dartmouth College Curves and Automorphic Forms Arizona State University 10 March 2014 Hilbert modular forms Let F be a totally real field with [F : Q] = n and
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationAlgebraic Geometry: Elliptic Curves and 2 Theorems
Algebraic Geometry: Elliptic Curves and 2 Theorems Chris Zhu Mentor: Chun Hong Lo MIT PRIMES December 7, 2018 Chris Zhu Elliptic Curves and 2 Theorems December 7, 2018 1 / 16 Rational Parametrization Plane
More informationHow many elliptic curves can have the same prime conductor? Alberta Number Theory Days, BIRS, 11 May Noam D. Elkies, Harvard University
How many elliptic curves can have the same prime conductor? Alberta Number Theory Days, BIRS, 11 May 2013 Noam D. Elkies, Harvard University Review: Discriminant and conductor of an elliptic curve Finiteness
More information