The Arithmetic of Elliptic Curves

Size: px
Start display at page:

Download "The Arithmetic of Elliptic Curves"

Transcription

1 The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series

2 OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil Theorem Torsion points and Rank Problems Solutions in different fields/rings. Applications: Integer Factoring The Birch & Swinnerton-Dyer Conjecture. BSD over a finite field Goldfeld s Conjecture and Results Taniyama-Shimura Conjecture (Theorem). Statement Proof of Fermat s Last Theorem.

3 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),...

4 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Arc length of an ellipse s = β α P(t) Q(t) dt. y 2 = Q(x) Abel sensed about the theory of complex multiplication x 2 a 2 + y2 b 2 = 1

5 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Example: E : y 2 = x 3 x. E(R)

6 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Example: E : y 2 = x 3 x. E(R)

7 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... E(C) is a Riemann surface of genus 1.

8 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... E(C)

9 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... E(R)

10 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... E(R)

11 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Diophantine Equations in two variables: e.g., X : x 2 + y 2 = 1 Q rat l X(Q) t ( ) 1 t 2 2t 1 +t 2, 1 +t 2

12 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Diophantine Equations in two variables: e.g., X : x 2 + y 2 = 1

13 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Diophantine Equations in two variables:

14 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Diophantine Equations in two variables: There are no non-constant rat l. maps: Q E(Q).

15 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),...

16 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... (P + Q) + R = P + (Q + R)

17 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... (P + Q) + R = P + (Q + R)

18 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... (P + Q) + R = P + (Q + R) =

19 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... E(Q) = E(Q) { } (P + Q) + R = P + (Q + R) =

20 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Group law: (a,b)+(c,d) := ( b2 + 2bd d 2 + a 3 a 2 c ac 2 + c 3 (a c) 2, 1 (a c) 3( b3 + 3b 2 d 3bd 2 + ba 3 + 2bc 3 +d 3 2da 3 + 3da 2 c dc 3 3bac 2 ) )

21 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: There are points P 1,...,P r in E(Q) s.t. E(Q) = {m 1 P m r P r : m i are integers}.

22 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: There are points P 1,...,P r in E(Q) s.t. E(Q) = {m 1 P m r P r : m i are integers}. example: E : y 2 = x E(Q) contains P = ( 1,4).

23 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: There are points P 1,...,P r in E(Q) s.t. E(Q) = {m 1 P m r P r : m i are integers}. example: E : y 2 = x E(Q) contains P = ( 1,4). E(Q) contains 6P = ( , ).

24 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: There are points P 1,...,P r in E(Q) s.t. E(Q) = {m 1 P m r P r : m i are integers}. example: E : y 2 = x has two generators P = ( 2, 3) and Q = (2, 5), i.e., every point in E(Q) is written as np + mq. E(Q) = Z Z

25 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: The Mordell-Weil group E(Q) is a finitely generated abelian group, i.e., E(Q) = } Z {{ Z} E(Q) Tor. r ranke(q) := r where E(Q) Tor = {Q E(Q) : nq = for some n}.

26 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: The Mordell-Weil group E(Q) is a finitely generated abelian group, i.e., E(Q) = } Z {{ Z} E(Q) Tor. r where E(Q) Tor = {Q E(Q) : nq = for some n}. Thm (B. Mazur, 1978) For elliptic curves E, there are finite possibilities for E(Q) Tor.

27 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: The Mordell-Weil group E(Q) is a finitely generated abelian group, i.e., E(Q) = } Z {{ Z} E(Q) Tor. r ranke(q) := r

28 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: E(Q) = Z Z E(Q) Tor. Open Questions Find generators of E(Q). Find an algorithm that computes ranke(q). Prove ly many E s with arbitrarily large ranke(q).

29 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Sets of solutions: E(Z), E(Q), E(R), E(C), E(Z/nZ),... Mordell-Weil Thm: E(Q) = Z Z E(Q) Tor. Open Questions Find generators of E(Q). Find an algorithm that computes ranke(q). Prove ly many E s with arbitrarily large ranke(q). Record: In 2006, N. Elkies found E for which ranke(q) 28.

30 y 2 + xy + y = x 3 x x A few independent points are P 1 = [ , ] P 2 = [ , ] P 3 = [ , ] P 4 = [ , ] P 5 = [ , ] P 6 = [ , ] P 7 = [ , ] P 8 = [ , ]

31 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}.

32 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Example: Z/5Z := {0,1,...,4}. 0 = {0,±5,±10,±15,...} = 5 1 = {..., 9, 4,1,6,11,16,21,...} = 11 2 = {..., 8, 3,2,7,12,17,22,...} = 9

33 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Example: Z/5Z := {0,1,...,4} = 6 = = 6 = 1 1/2 = 3. x y = 1 for all x 0.

34 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Example: Z/5Z := {0,1,...,4} = 6 = = 6 = 1 1/2 = 3. x y = 1 for all x 0. Z/5Z is the finite field with 5 elements, F 5.

35 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Example: Z/10Z := {0,1,...,9}. 2 y 1 for all y since 2y = 10q + 1 doesn t make sense. 1/2, not defined 3 7 = 1, i.e., 1/3 = 7.

36 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Prop. The class 1/k is defined if and only if k doesn t have a common factor with n.

37 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. The set of solutions: E(Z/nZ) = {(x,y) : y 2 = x 3 + Ax + B}. Example: E : y 2 = x x 2 with coefficients in Z/4453Z E(Z/4453Z) contains P = (1,3).

38 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B The set of residue classes Z/nZ := {0,1,...,n 1}. where A,B are integers. The set of solutions: E(Z/nZ) = {(x,y) : y 2 = x 3 + Ax + B}. Example: E : y 2 = x x 2 with coefficients in Z/4453Z E(Z/4453Z) contains P = (1,3). 2P = (97/6 2, 1441/6 3 ) = (4332,3230). 3P = ( ), , undefined since 61 is a common factor of 4331 and 4453.

39 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Factoring Problem: It is given that n is a composite number. Find an integer factor. Lenstra s approach using elliptic curves: Play with random elliptic curves E and a point P in E(Z/nZ) to find a factor appearing in the denominators of the points mp.

40 Modular Arithmetic An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. The set of residue classes Z/nZ := {0,1,...,n 1}. Factoring Problem: It is given that n is a composite number. Find an integer factor. Lenstra s approach using elliptic curves: Play with random elliptic curves E and a point P in E(Z/nZ) to find a factor appearing in the denominators of the points mp. Very effective for 60-digit numbers For larger numbers, effective for finding prime factors having around 20 to 30 digits

41 Local-to-Global Principle An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. Question: Can we conclude something about E(Q) using the info {E(Z/nZ) : n Z + }? using the info {E(Z/p m Z) : p prime and m Z + }? using the info {E(Z/pZ) : p prime} = {E(F p ) : p}?

42 Local-to-Global Principle An elliptic curve is an equation E : y 2 = x 3 + Ax + B where A,B are integers. Question: Can we conclude something about E(Q) using the info {E(Z/nZ) : n Z + }? using the info {E(Z/p m Z) : p prime and m Z + }? using the info {E(Z/pZ) : p prime} = {E(F p ) : p}? Faltings proved in 1983 Tate s Isogeny Conjecture {E(F p ) : p} determines ranke(q). The Local-to-Global Principle Works!

43 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B Open Problems: Compute rank E(Q) = r limsup E ranke(q) =?, i.e., where A,B are integers. where E(Q) = Z } {{ Z} E(Q) Tor r Are there E s with arbitrarily large ranke(q)?

44 Elliptic Curves An elliptic curve is an equation E : y 2 = x 3 + Ax + B Open Problems: Compute rank E(Q) = r limsup E ranke(q) =?, i.e., where A,B are integers. where E(Q) = Z } {{ Z} E(Q) Tor r Are there E s with arbitrarily large ranke(q)? (Faltings) {E(F p ) : p} determines ranke(q).

45 Birch and Swinnerton-Dyer Conj. Award: $

46 Birch and Swinnerton-Dyer Conj. Award: $ Experiment: p<x # E(F p ) p c E (lnx) ranke(q)

47 Birch and Swinnerton-Dyer Conj. Award: $ The Hasse-Weil L-function L(E,s) is an analytic function on a domain of C L(E,s) := (1 a p p s + p 1 2s ) 1 p S (1 a p p s ) 1 p S made out of # E(F p ), p: where a p :=1 + p # E(F p ), and S is a finite set of primes.

48 Birch and Swinnerton-Dyer Conj. Award: $ Then, L(E,s) is analytically continued to C (proved by Wiles et al);

49 Birch and Swinnerton-Dyer Conj. Award: $ Then, L(E,s) is analytically continued to C (proved by Wiles et al);

50 Birch and Swinnerton-Dyer Conj. Award: $ Then, L(E,s) is analytically continued to C (proved by Wiles et al); L(E,s) = a(s 1) ranke(q) + b(s 1) ranke(q)+1 +

51 Birch and Swinnerton-Dyer Conj. Award: $ Then, L(E,s) is analytically continued to C (proved by Wiles et al); L(E,s) = a(s 1) ranke(q) + b(s 1) ranke(q)+1 + BSD implies: L(E,1) 0 ranke(q) = 0

52 Birch and Swinnerton-Dyer Conj. Award: $ Then, L(E,s) is analytically continued to C (proved by Wiles et al); L(E,s) = a(s 1) ranke(q) + b(s 1) ranke(q)+1 + BSD implies: L(E,1) 0 ranke(q) = 0 (proved by Kolyvagin + Gross-Zagier + Wiles).

53 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B where D is a square-free integer. ranke D (Q) varies as D varies.

54 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B where D is a square-free integer. ranke D (Q) varies as D varies. BSD implies the uniform distribution of the parities of ranke D (Q).

55 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B where D is a square-free integer. ranke D (Q) varies as D varies. BSD implies the uniform distribution of the parities of ranke D (Q). Are the parities of ranke D (Q) uniformly distributed?

56 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B D T (X) ranke D (Q) Goldfeld s Conj: lim = 1/2 X #T (X) T (X) = {0 < D < X : D square-free}.

57 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B D T (X) ranke D (Q) Goldfeld s Conj: lim = 1/2. X #T (X) Heath-Brown (Invent. 94): Let E be y 2 = x 3 x. D T (X) odd ranke D (Q) lim sup X #T (X) odd 1.26.

58 Birch and Swinnerton-Dyer Conj. Searching for Evidence Let E be given by y 2 = x 3 + Ax + B. A quadratic twist of E is an elliptic curve given by E D : Dy 2 = x 3 + Ax + B D T (X) ranke D (Q) Goldfeld s Conj: lim = 1/2. X #T (X) C. (JNT, 06): Let E be y 2 = x 3 A lim sup X where A 1,25 mod 36, and sq. fr. D N(X) ranke D (Q) 1, A > 0 #N(X) 4/3, A < 0. where N(X) = {D T (X) : D > 0, D 1 mod 12A}.

59 Theoretical Results Birch and Swinnerton-Dyer Conj. J. Coates & A. Wiles (1978): L(E,1) = 0 and E has CM ranke(q) 1. A. Wiles at et al: L(E,s), analytically continued as a corollary of the proof of the Taniyama-Shimura Conj. Kolyvagin + Gross-Zagier: L(E,1) 0 ranke(q) = 0. BSD: L(E,s) = a(s 1) ranke(q) + b(s 1) ranke(q)+1 +

60 Taniyama-Shimura Conjecture Y. Taniyama G. Shimura

61 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). Z/5Z : 1 = 16 since 16 =

62 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). C/(Zv + Zw) : z 1 = z 2 if z 2 = z 1 + (mv + nw) where m,n Z.

63 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). C/(Zv + Zw) : z 1 = z 2 if z 2 = z 1 + (mv + nw) where m,n Z. Example: C/(Zi + Z(1 + i)). 1 = 1 + i = 0 since 1 = (1 + i) + (( 1) i + 0 (1 + i)) i = 14i = 0 a + bi = 0 if a,b Z.

64 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). C/(Zv + Zw) : z 1 = z 2 if z 2 = z 1 + (mv + nw)

65 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). C/(Zv + Zw) : z 1 = z 2 if z 2 = z 1 + (mv + nw)

66 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots).

67 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B (where x 3 + Ax + B = 0 has distinct roots). What is that E given v and w?

68 Taniyama-Shimura Conjecture The additive group Λ = (Zv + Zw) is called a lattice. The elliptic curve is E : y 2 = 4x 3 + Ax + B where 1 A = 60 λ 4 B = 140 λ Λ\{0} λ Λ\{0} 1 λ 6. The map : C/Λ E(C) is given by z ( (z), (z) ) where (z) = 1 z 2 + λ Λ\{0} 1 (z λ) 2 1 λ 2

69 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. lattices elliptic curves

70 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. E 1 (C) = E 2 (C) if there is a 1-to-1 rat l map.

71 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. [E 1 ] = [E 2 ] if there is a 1-to-1 rat l map.

72 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. Z1 + Zτ Zv + Zw [E]

73 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. {Z1 + Zτ : τ H} {[E]}

74 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. {Z1 + Zτ : τ H} {[E]} Further reduction Z1 + Zτ = Zv + Zw for some ( ) v and( w. )( ) 1 = av + bw τ = cv + dw 1 a b v = τ c d w

75 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. {Z1 + Zτ : τ H} {[E]} Further reduction Z1 + Zτ = Zv + Zw for some ( ) v and( w. )( ) 1 = av + bw τ = cv + dw 1 a b v = τ c d w ( ) a b is invertible! c d ( ) a b is in SL 2 (Z) c d

76 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. {Z1 + Zτ : τ H} {[E]} Further reduction Z1 + ( Zτ is ) a lattice. a b SL 2 (Z) c d Z(aτ + b) + Z(cτ + d) = Z1 + Zτ If Z(aτ + b) + Z(cτ + d) E, then Z1 + Z aτ + b cτ + d [E]

77 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. Further reduction {Z1 + Zτ : τ H} {[E]} Z1 + ( Zτ is ) a lattice. a b SL 2 (Z) c d Z(aτ + b) + Z(cτ + d) = Z1 + Zτ Z1 + Zτ Z1 + Z aτ + b cτ + d [E]

78 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. {Z1 + Zτ : τ H} {[E]} H {[E]} The quotient group SL 2 (Z)\H is the equivalence classes [τ] s.t. [τ] = [ ] aτ + b cτ + d ( ) a b where SL 2 (Z) c d

79 Taniyama-Shimura Conjecture An elliptic curve is an equation E : y 2 = x 3 + Ax + B. [τ] = [ ] aτ + b cτ + d

80 Taniyama-Shimura Conjecture Modular Forms of weight k The map: H {E} is given by τ E : y 2 = 4x 3 + A(τ)x + B(τ). Thus, A(τ) and B(τ) are functions: H C. It turns out that ( ) aτ + b A = (cτ + d) 4 A(τ) cτ + d ( ) aτ + b B = (cτ + d) 6 B(τ) cτ + d

81 Taniyama-Shimura Conjecture Modular Forms of weight k The map: H {E} is given by τ E : y 2 = 4x 3 + A(τ)x + B(τ). Thus, A(τ) and B(τ) are functions: H C. It turns out that ( ) aτ + b A = (cτ + d) 4 A(τ) cτ + d ( ) aτ + b B = (cτ + d) 6 B(τ) cτ + d The function A(τ) is called a modular form of weight 4, and B(τ), a modular form of weight 6.

82 Taniyama-Shimura Conjecture Modular Forms f ( aτ+b cτ+d) = (cτ + d) k f (τ)

83 Taniyama-Shimura Conjecture Modular Forms Modular Functions f ( aτ+b cτ+d) = (cτ + d) k f (τ) f ( aτ+b cτ+d) = f (τ)

84 Taniyama-Shimura Conjecture Modular Forms Modular Functions Example: f ( aτ+b cτ+d) = (cτ + d) k f (τ) f ( aτ+b cτ+d) = f (τ) j(τ) = 1728A(τ)3 27B(τ) 2 A(τ) 3 where A ( aτ+b cτ+d ) = (cτ + d) 4 A(τ) B ( aτ+b cτ+d ) = (cτ + d) 6 B(τ)

85 Taniyama-Shimura Conjecture Modular Forms/Functions for SL 2 (Z). f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) j : SL 2 (Z)\H C is bijective! j(τ) = 1728A(τ)3 27B(τ) 2 A(τ) 3

86 Taniyama-Shimura Conjecture Modular Forms/Functions for SL 2 (Z). f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) j : SL 2 (Z)\H C is bijective! j(τ) = 1728A(τ)3 27B(τ) 2 A(τ) 3

87 Taniyama-Shimura Conjecture Modular Forms/Functions for SL 2 (Z). f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) j : SL 2 (Z)\H C is bijective!

88 Taniyama-Shimura Conjecture Modular Forms/Functions for SL 2 (Z). f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) j : SL 2 (Z)\H C is bijective! SL 2 (Z)\H compactified is a Riemann surface of genus 0, i.e., a Riemann sphere.

89 Taniyama-Shimura Conjecture Modular Forms/Functions for SL 2 (Z). f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) j : SL 2 (Z)\H C is bijective! The manifold SL 2 (Z)\H as the solutions of an equation: (SL 2 (Z)\H) = Y (C) given by [τ] ( j(τ), j(τ) ) where Y : x y = 0. (SL 2 (Z)\H) = X(C) where X(C) is the compactification of Y (C).

90 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ ] a b c d SL2 (Z) : c 0 mod N } The manifold Γ 0 (N)\H compactified is called the modular curve for Γ 0 (N). Example: Γ 0 (2)\H. Matrices: [ ] [ and 0 1 ] 1 1.

91 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ ] a b c d SL2 (Z) : c 0 mod N } The manifold Γ 0 (N)\H compactified is called the modular curve for Γ 0 (N). Example: Γ 0 (2)\H. Matrices: [ ] [ and 0 1 ] 1 1.

92 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ ] a b c d SL2 (Z) : c 0 mod N } The manifold Γ 0 (N)\H compactified is called the modular curve for Γ 0 (N). Example: Γ 0 (2)\H. Matrices: [ ] [ and 0 1 ] 1 1.

93 Taniyama-Shimura Conjecture Copies of the shaded region ( SL 2 (Z)\H under SL 2 (Z)):

94 Taniyama-Shimura Conjecture Example: Γ 0 (16)\H has genus 0.

95 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ ] a b c d SL2 (Z) : c 0 mod N } The manifold Γ 0 (N)\H compactified is called Example: the modular curve for Γ 0 (N). Γ 0 (11)\H has genus 1, i.e., an elliptic curve. Γ 0 (22)\H has genus 2.

96 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ ] a b c d SL2 (Z) : c 0 mod N } Modular Forms/Functions for Γ 0 (N): f ( ) aτ+b cτ+d = (cτ + d) k f (τ) and g ( aτ+b cτ+d) = g(τ) where [ ] a b c d Γ0 (N). Γ 0 (N)\H g : Γ 0 (N)\H C

97 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory Thm. Let N be a positive integer. ] SL2 (Z) : c 0 mod N } (a) There is Y 0 (N), the system of polynomial equations with integer coefficients such that there is a complex analytic isomorphism j N : (Γ 0 (N)\H) X 0 (N)(C) where X 0 (N)(C) is a compactification of Y 0 (N)(C); (Γ 0 (N)\H) = X 0 (N)(C). (b) Sometimes, there is an elliptic curve E : y 2 = x 3 +Ax+B with A,B Z such that there is a surjective rat l map with rational coefficients φ : X 0 (N)(C) E(C).

98 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory ] SL2 (Z) : c 0 mod N } Given N, sometimes a nice way to construct an elliptic curve E using X 0 (N).

99 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory ] SL2 (Z) : c 0 mod N } Given N, sometimes a nice way to construct an elliptic curve E using X 0 (N). Sometimes, a special modular form f of weight 2 for Γ 0 (N), called a new form of level N. Consider the map Ψ f : Γ 0 (N) C given by [ a b ] c d Then, Ψ f (Γ 0 (N)) is... aτ 0 +b cτ 0 +d τ 0 f (z) dz.

100 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory ] SL2 (Z) : c 0 mod N } Given N, sometimes a nice way to construct an elliptic curve E using X 0 (N). Sometimes, a special modular form f of weight 2 for Γ 0 (N), called a new form of level N. Consider the map Ψ f : Γ 0 (N) C given by [ a b ] c d Then, Ψ f (Γ 0 (N)) is... aτ 0 +b cτ 0 +d τ 0 f (z) dz. a lattice Zv + Zw, an elliptic curve.

101 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory Thm. Let N be a positive integer. ] SL2 (Z) : c 0 mod N } (a) (Γ 0 (N)\H) = X 0 (N)(C) where X 0 (N)(C) is the compactification of the solutions of equations with interger coefficients. (b) Each new form f (τ) of level N generates an elliptic curve E s.t. there is a rat l map: X 0 (N)(C) E(C). Moreover, if the Fourier expansion of f (τ) (around ) has integer coefficients, i.e., f (τ) = a 1 q + a 2 q 2 + a 3 q 3 + with a i Z then the elliptic curve E has integer coefficients. where q = exp(2πiτ),

102 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Eichler-Shimura Theory Thm. Let N be a positive integer. (a) (Γ 0 (N)\H) = X 0 (N)(C) ] SL2 (Z) : c 0 mod N } where X 0 (N)(C) is the compactification of the solutions of equations with interger coefficients. (b) {new forms} {E}, and {new forms with Z-coeff.} {E with Z-coeff.} X 0 (N) E

103 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Taniyama-Shimura Conjecture ] SL2 (Z) : c 0 mod N } Given an elliptic curve E with integer coefficients, (a) There is a rat l map with rational coefficients φ : X 0 (N)(C) E(C) for some N; all E s are modular. (b) The image Ψ f (Γ 0 (N)) for some new form f of level N is a lattice for E. (c) f (τ) = a 1 q + a 2 q 2 + a 3 q a p q p + + and a p = p + 1 # E(F p ).

104 Taniyama-Shimura Conjecture Modular Congruence Subgroups Γ 0 (N) = {[ a b c d Taniyama-Shimura Conjecture There is a correspondence between ] SL2 (Z) : c 0 mod N } new forms of all levels with integer coefficients and elliptic curves with integer coefficients. The corresponding level N for each elliptic curve E is called the conductor of E, and given E, we know how to compute N.

105 Proof of Fermat s Last Theorem Fermat asserted: If n is an integer > 2, then the following equation has no positive integer solutions x n + y n = z n.

106 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Gerhard Frey suggested that if a l +b l = c l where a,b,c > 0 and l is an odd prime > 5, then the elliptic curve y 2 = x(x a l )(x + b l ) is not modular. Serre reformulated this problem, and almost proved it; hence, called the epsilon conjecture.

107 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Serre s Epsilon Conjecture proved by Ken Ribet in 1990: Let E : y 2 = x(x a l )(x + b l ) where a l + b l = c l. The conductor N of E is an even square-free number. Serre s Epsilon Conjecture X 0 (N) E X 0 (N ) E where N = N/p for any odd prime p.

108 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Serre s Epsilon Conjecture proved by Ken Ribet in 1990: Let E : y 2 = x(x a l )(x + b l ) where a l + b l = c l. The conductor N of E is an even square-free number. Serre s Epsilon Conjecture X 0 (N) X 0 (N 1 ). X 0 (N s ) E E 1. E s X 0 (2) E where N k+1 = N k /p k+1.

109 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Serre s Epsilon Conjecture proved by Ken Ribet in 1990: Let E : y 2 = x(x a l )(x + b l ) where a l + b l = c l. The conductor N of E is an even square-free number. Taniyama-Shimura new form f for Γ 0 (N). Serre s ε new form g for Γ 0 (m) where m divides N/p for any odd prime factor p of N; he used a connection with a representation. Induction with Serre s ε new form h for Γ 0 (m ) where m divides 2. Eichler-Shimura X 0 (2)(C) E (C).

110 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Proof: If a l + b l = c l, then E : y 2 = x(x a l )(x + b l ) has conductor N = 2p 1 p s where p i s are odd primes. If we assume the Taniyama-Shimura conjecture and use the epsilon conjecture, then X 0 (2)(C) E (C) where is E is an elliptic curve. X 0 (2) =?

111 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Proof: If a l + b l = c l, then E : y 2 = x(x a l )(x + b l ) has conductor N = 2p 1 p s where p i s are odd primes. If we assume the Taniyama-Shimura conjecture and use the epsilon conjecture, then X 0 (2)(C) E (C) X 0 (2) =? ( Γ0 (2)\H ) = X0 (2) where is E is an elliptic curve.

112 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Proof: If a l + b l = c l, then E : y 2 = x(x a l )(x + b l ) has conductor N = 2p 1 p s where p i s are odd primes. If we assume the Taniyama-Shimura conjecture and use the epsilon conjecture, then

113 Proof of Fermat s Last Theorem Fermat asserted: x n + y n = z n... Proof: If a l + b l = c l, then E : y 2 = x(x a l )(x + b l ) has conductor N = 2p 1 p s where p i s are odd primes. If we assume the Taniyama-Shimura conjecture and use the epsilon conjecture, then Q.E.D.

114 Serre s Conjecture

115 Serre s Conjecture

116 Serre s Conjecture

117 Serre s Conjecture

118 Serre s Conjecture

119 Serre s Conjecture Khare and Wittenberger (2005) proved Serre s Conjecture for odd conductor.

120 The Connections {a p : p prime} Elliptic Curves: a p := p + 1 #E(F p ). New Forms: a p := the p-th Fourier coefficient. Galois representations: a p := the trace of an field automorphism called a Frobenius automorphism at p.

Outline of the Seminar Topics on elliptic curves Saarbrücken,

Outline 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 information

The complexity of Diophantine equations

The complexity of Diophantine equations The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer

More information

Introduction to Elliptic Curves

Introduction 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 information

Elliptic curves and Hilbert s Tenth Problem

Elliptic 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 information

Modern Number Theory: Rank of Elliptic Curves

Modern 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 information

Equations for Hilbert modular surfaces

Equations 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 information

Congruent number problem

Congruent number problem Congruent number problem A thousand year old problem Maosheng Xiong Department of Mathematics, Hong Kong University of Science and Technology M. Xiong (HKUST) Congruent number problem 1 / 41 Congruent

More information

BSD and the Gross-Zagier Formula

BSD 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 information

15 Elliptic curves and Fermat s last theorem

15 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 information

Introduction to Arithmetic Geometry

Introduction 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 information

Elliptic curves and modularity

Elliptic curves and modularity Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given

More information

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

The 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 information

Laval University, Québec September 2010

Laval University, Québec September 2010 Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),

More information

Pythagoras = $1 million problem. Ken Ono Emory University

Pythagoras = $1 million problem. Ken Ono Emory University Pythagoras = $1 million problem Ken Ono Emory University Pythagoras The Pythagorean Theorem Theorem (Pythagoras) If (a, b, c) is a right triangle, then a 2 + b 2 = c 2. Pythagoras The Pythagorean Theorem

More information

Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties

Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate

More information

6.5 Elliptic Curves Over the Rational Numbers

6.5 Elliptic Curves Over the Rational Numbers 6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about

More information

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January

More information

Using Elliptic Curves

Using Elliptic Curves Using Elliptic Curves Keith Conrad May 17, 2014 Proving Compositeness In practice it is easy to prove a positive integer N is composite without knowing any nontrivial factor. The most common way is by

More information

LECTURE 2 FRANZ LEMMERMEYER

LECTURE 2 FRANZ LEMMERMEYER LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic

More information

25 Modular forms and L-functions

25 Modular forms and L-functions 18.783 Elliptic Curves Lecture #25 Spring 2017 05/15/2017 25 Modular forms and L-functions As we will prove in the next lecture, Fermat s Last Theorem is a corollary of the following theorem for elliptic

More information

CONGRUENT NUMBERS AND ELLIPTIC CURVES

CONGRUENT 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 information

A Motivated Introduction to Modular Forms

A Motivated Introduction to Modular Forms May 3, 2006 Outline of talk: I. Motivating questions II. Ramanujan s τ function III. Theta Series IV. Congruent Number Problem V. My Research Old Questions... What can you say about the coefficients of

More information

Rational points on elliptic curves. cycles on modular varieties

Rational points on elliptic curves. cycles on modular varieties Rational points on elliptic curves and cycles on modular varieties Mathematics Colloquium January 2009 TIFR, Mumbai Henri Darmon McGill University http://www.math.mcgill.ca/darmon /slides/slides.html Elliptic

More information

FERMAT S WORLD A TOUR OF. Outline. Ching-Li Chai. Philadelphia, March, Samples of numbers. 2 More samples in arithemetic. 3 Congruent numbers

FERMAT S WORLD A TOUR OF. Outline. Ching-Li Chai. Philadelphia, March, Samples of numbers. 2 More samples in arithemetic. 3 Congruent numbers Department of Mathematics University of Pennsylvania Philadelphia, March, 2016 Outline 1 2 3 4 5 6 7 8 9 Some familiar whole numbers 1. Examples of numbers 2, the only even prime number. 30, the largest

More information

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Solving 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 information

A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced

A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced Henri Darmon September 9, 2007 On June 23, 1993, Andrew Wiles unveiled his strategy for proving the Shimura-Taniyama-Weil conjecture for

More information

Stark-Heegner points

Stark-Heegner points Stark-Heegner points Course and Student Project description Arizona Winter School 011 Henri Darmon and Victor Rotger 1. Background: Elliptic curves, modular forms, and Heegner points Let E /Q be an elliptic

More information

Congruence Subgroups

Congruence Subgroups Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence

More information

AN INTRODUCTION TO ELLIPTIC CURVES

AN 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 information

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the

More information

Algebraic Geometry: Elliptic Curves and 2 Theorems

Algebraic 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 information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one

Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one Amod Agashe February 20, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N having analytic rank one, i.e.,

More information

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR Elliptic Curves & Number Theory R. Sujatha School of Mathematics TIFR Aim: To explain the connection between a simple ancient problem in number theory and a deep sophisticated conjecture about Elliptic

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

The 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 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 information

Abstracts of papers. Amod Agashe

Abstracts 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 information

TORSION AND TAMAGAWA NUMBERS

TORSION 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 information

Galois Representations

Galois 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 information

arxiv:math/ v1 [math.ho] 14 Nov 2006

arxiv:math/ v1 [math.ho] 14 Nov 2006 THE BIRCH-SWINNERTON-DYER CONJECTURE arxiv:math/0611423v1 [math.ho] 14 Nov 2006 Jae-Hyun Yang Abstract. We give a brief description of the Birch-Swinnerton-Dyer conjecture which is one of the seven Clay

More information

On the low-lying zeros of elliptic curve L-functions

On the low-lying zeros of elliptic curve L-functions On the low-lying zeros of elliptic curve L-functions Joint Work with Stephan Baier Liangyi Zhao Nanyang Technological University Singapore The zeros of the Riemann zeta function The number of zeros ρ of

More information

On congruences for the coefficients of modular forms and some applications. Kevin Lee James. B.S. The University of Georgia, 1991

On congruences for the coefficients of modular forms and some applications. Kevin Lee James. B.S. The University of Georgia, 1991 On congruences for the coefficients of modular forms and some applications by Kevin Lee James B.S. The University of Georgia, 1991 A Dissertation Submitted to the Graduate Faculty of The University of

More information

Some new families of positive-rank elliptic curves arising from Pythagorean triples

Some new families of positive-rank elliptic curves arising from Pythagorean triples Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 27 36 DOI: 10.7546/nntdm.2018.24.3.27-36 Some new families of positive-rank elliptic curves

More information

THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE

THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE AJSE Mathematics Volume 1, Number 1, June 2009, Pages 97 106 THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE BENEDICT H. GROSS Abstract. We survey the progress that has been made on the arithmetic of elliptic

More information

A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties

A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and

More information

The Arithmetic of Noncongruence Modular Forms. Winnie Li. Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan

The Arithmetic of Noncongruence Modular Forms. Winnie Li. Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan The Arithmetic of Noncongruence Modular Forms Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan 1 Modular forms A modular form is a holomorphic function

More information

AVERAGE RANKS OF ELLIPTIC CURVES

AVERAGE RANKS OF ELLIPTIC CURVES AVERAGE RANKS OF ELLIPTIC CURVES BASED ON MINI-COURSE BY PROF. TIM DOKCHITSER ADAM MICKIEWICZ UNIVERSITY IN POZNAŃ, 14 16.05.2014, NOTES TAKEN BY JȨDRZEJ GARNEK Contents Introduction 1 1. Diophantine equations

More information

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence

More information

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013 Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so

More information

Does There Exist an Elliptic Curve E/Q with Mordell-Weil Group Z 2 Z 8 Z 4?

Does There Exist an Elliptic Curve E/Q with Mordell-Weil Group Z 2 Z 8 Z 4? Does There Exist an Elliptic Curve E/Q with Mordell-Weil Group Z 2 Z 8 Z 4? Edray Herber Goins Department of Mathematics, Purdue University Atkin Memorial Lecture and Workshop: over Q( 5) April 29, 2012

More information

Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves

Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves William Stein University of California, San Diego http://modular.fas.harvard.edu/ Bremen: July 2005 1 This talk reports

More information

OLIVIA BECKWITH. 3 g+2

OLIVIA BECKWITH. 3 g+2 CLASS NUMBER DIVISIBILITY FOR IMAGINARY QUADRATIC FIELDS arxiv:809.05750v [math.nt] 5 Sep 208 OLIVIA BECKWITH Abstract. In this note we revisit classic work of Soundararajan on class groups of imaginary

More information

Dip. 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

Dip. 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 information

Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011

Number 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 information

RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS. Ken Ono. American Mathematical Monthly, 104, No. 10, 1997, pages

RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS. Ken Ono. American Mathematical Monthly, 104, No. 10, 1997, pages RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS Ken Ono American Mathematical Monthly, 04, No. 0, 997, pages 92-97. It is well known that G. H. Hardy travelled in a taxicab numbered 729 to an English

More information

On the zeros of certain modular forms

On the zeros of certain modular forms On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms

More information

VISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX

VISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX VISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX Amod Agashe April 17, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N, such that the L-function of E vanishes

More information

arxiv: v1 [math.nt] 31 Dec 2011

arxiv: 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 information

Calculation and arithmetic significance of modular forms

Calculation and arithmetic significance of modular forms Calculation and arithmetic significance of modular forms Gabor Wiese 07/11/2014 An elliptic curve Let us consider the elliptic curve given by the (affine) equation y 2 + y = x 3 x 2 10x 20 We show its

More information

Diophantine equations and beyond

Diophantine equations and beyond Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction

More information

Computing the image of Galois

Computing the image of Galois 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 Elliptic curves Let E be an elliptic

More information

Overview. exp(2πiq(x)z) x Z m

Overview. 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 information

Faster computation of Heegner points on elliptic curves over Q of rank 1

Faster computation of Heegner points on elliptic curves over Q of rank 1 Faster computation of Heegner points on elliptic curves over Q of rank 1 B. Allombert IMB CNRS/Université Bordeaux 1 11/09/2014 Lignes directrices Introduction Heegner points Quadratic surd Shimura Reciprocity

More information

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella An example of elliptic curve over Q with rank equal to 15 Andrej Dujella Abstract We construct an elliptic curve over Q with non-trivial 2-torsion point and rank exactly equal to 15. 1 Introduction Let

More information

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757

More information

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.

More information

CONGRUENT NUMBERS AND ELLIPTIC CURVES

CONGRUENT NUMBERS AND ELLIPTIC CURVES CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. These are essentially the lecture notes from a section on congruent numbers and elliptic curves taught in my introductory number theory class at

More information

ELLIPTIC CURVES, RANK IN FAMILIES AND RANDOM MATRICES

ELLIPTIC CURVES, RANK IN FAMILIES AND RANDOM MATRICES ELLIPTIC CURVES, RANK IN FAMILIES AND RANDOM MATRICES E. KOWALSKI This survey paper contains two parts. The first one is a written version of a lecture given at the Random Matrix Theory and L-functions

More information

Modularity of Abelian Varieties

Modularity 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 information

The Asymptotic Fermat Conjecture

The 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 information

Lectures on Modular Forms and Hecke Operators. January 12, 2017

Lectures on Modular Forms and Hecke Operators. January 12, 2017 Lectures on Modular Forms and Hecke Operators Kenneth A. Ribet William A. Stein January 12, 2017 ii Contents Preface.................................... 1 1 The Main Objects 3 1.1 Torsion points on elliptic

More information

ABC Triples in Families

ABC Triples in Families Edray Herber Goins Department of Mathematics Purdue University September 30, 2010 Abstract Given three positive, relative prime integers A, B, and C such that the first two sum to the third i.e. A+B =

More information

Three cubes in arithmetic progression over quadratic fields

Three cubes in arithmetic progression over quadratic fields Arch. Math. 95 (2010), 233 241 c 2010 Springer Basel AG 0003-889X/10/030233-9 published online August 31, 2010 DOI 10.1007/s00013-010-0166-5 Archiv der Mathematik Three cubes in arithmetic progression

More information

The Galois representation associated to modular forms pt. 2 Erik Visse

The Galois representation associated to modular forms pt. 2 Erik Visse The Galois representation associated to modular forms pt. 2 Erik Visse May 26, 2015 These are the notes from the seminar on local Galois representations held in Leiden in the spring of 2015. The website

More information

Elliptic Curves and the abc Conjecture

Elliptic Curves and the abc Conjecture Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 1 / 37 Overview 1 The abc conjecture

More information

The 8 th International Conference on Science and Mathematical Education in Developing Countries

The 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 information

Residual modular Galois representations: images and applications

Residual 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 information

Introduction to Modular Forms

Introduction to Modular Forms Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education

More information

Wiles theorem and the arithmetic of elliptic curves

Wiles theorem and the arithmetic of elliptic curves Wiles theorem and the arithmetic of elliptic curves H. Darmon September 9, 2007 Contents 1 Prelude: plane conics, Fermat and Gauss 2 2 Elliptic curves and Wiles theorem 6 2.1 Wiles theorem and L(E/Q, s)..................

More information

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive

More information

Elliptic Curves: An Introduction

Elliptic Curves: An Introduction Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and

More information

arxiv: v2 [math.nt] 23 Sep 2011

arxiv: v2 [math.nt] 23 Sep 2011 ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences

More information

Lectures on Modular Forms and Hecke Operators. October 2, 2011

Lectures on Modular Forms and Hecke Operators. October 2, 2011 Lectures on Modular Forms and Hecke Operators Kenneth A. Ribet William A. Stein October 2, 2011 ii Contents Preface.................................... 1 1 The Main Objects 3 1.1 Torsion points on elliptic

More information

Modular Forms, Elliptic Curves, and Modular Curves

Modular Forms, Elliptic Curves, and Modular Curves 1 Modular Forms, Elliptic Curves, and Modular Curves This chapter introduces three central objects of the book. Modular forms are functions on the complex upper half plane. A matrix group called the modular

More information

Class groups and Galois representations

Class 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 information

Fundamental groups, polylogarithms, and Diophantine

Fundamental groups, polylogarithms, and Diophantine Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the

More information

CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/ v1 [math.nt] 18 Nov 2003

CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/ v1 [math.nt] 18 Nov 2003 CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/0311306v1 [math.nt] 18 Nov 2003 FRANZ LEMMERMEYER Contents Introduction 2 1. The Group Law on Pell Conics and Elliptic Curves 2 1.1. Group Law on Conics

More information

Constructing Class invariants

Constructing Class invariants Constructing Class invariants Aristides Kontogeorgis Department of Mathematics University of Athens. Workshop Thales 1-3 July 2015 :Algebraic modeling of topological and computational structures and applications,

More information

Fermat s Last Theorem

Fermat s Last Theorem Fermat s Last Theorem T. Muthukumar tmk@iitk.ac.in 0 Jun 014 An ancient result states that a triangle with vertices A, B and C with lengths AB = a, BC = b and AC = c is right angled at B iff a + b = c.

More information

INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction

INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO DONGHO BYEON AND KEUNYOUNG JEONG Abstract. In this note, we construct an infinite family of elliptic curves E defined over Q whose Mordell-Weil group

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties

A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan (Harvard) and William Stein (U Washington) Forschungsseminar

More information

Heegner points, Heegner cycles, and congruences

Heegner points, Heegner cycles, and congruences Heegner points, Heegner cycles, and congruences Henri Darmon September 9, 2007 Contents 1 Heegner objects 2 1.1 Modular elliptic curves...................... 2 1.2 Binary quadratic forms......................

More information

Arithmetic Progressions Over Quadratic Fields

Arithmetic 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 information

arxiv: v3 [math.nt] 14 Apr 2016

arxiv: v3 [math.nt] 14 Apr 2016 arxiv:1103.5906v3 [math.nt] 14 Apr 2016 Torsion groups of elliptic curves over quadratic fields Sheldon Kamienny and Filip Najman Abstract We describe methods to determine all the possible torsion groups

More information

24/10/ Dr Ray Adams

24/10/ Dr Ray Adams Fermat s Conjecture 24/10/2017 1 Dr Ray Adams Fermat s Conjecture 24/10/2017 2 Dr Ray Adams Fermat s Conjecture 24/10/2017 3 Dr Ray Adams Fermat s Conjecture 24/10/2017 4 Dr Ray Adams Fermat s Conjecture

More information

Curves with many points Noam D. Elkies

Curves with many points Noam D. Elkies Curves with many points Noam D. Elkies Introduction. Let C be a (smooth, projective, absolutely irreducible) curve of genus g 2 over a number field K. Faltings [Fa1, Fa2] proved that the set C(K) of K-rational

More information

Heegner points, Stark Heegner points, and values of L-series

Heegner points, Stark Heegner points, and values of L-series Heegner points, Stark Heegner points, and values of L-series Henri Darmon Abstract. Elliptic curves over Q are equipped with a systematic collection of Heegner points arising from the theory of complex

More information

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort

IN 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 information