Algorithms for algebraic curves and applications to cryptography, II

Size: px
Start display at page:

Download "Algorithms for algebraic curves and applications to cryptography, II"

Transcription

1 Algorithms for algebraic curves and applications to cryptography, II J.-M. Couveignes Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Chern Institute of Mathematics, Nankai University July 2015

2 Deterministic point on elliptic curve Given p, a, b, finding a solution (x, y) F p to y 2 = x 3 + ax + b is Las Vegas probabilistic polynomial. Deterministic polynomial time algorithm? Useful for cryptographic protocols. Shallue, Woestijne, Skalba (2006) : poly. time for any finite field. Icart (2009) : (log q) 2+o(1) for q = 2 mod 3. Geometric construction + finite field trick.

3 Shallue, Woestijne, Skalba Assume K is finite and car(k) 5. Assume E has affine equation y 2 = f(x) with deg(f) = 3. Consider the 3-fold V with equation f(x 1 )f(x 2 )f(x 3 ) = y 2. This is a (Z/2Z) 2 quotient of E 3. Skalba constructs a map A 1 V. Shallue, Woestijne : given non-zero elements b, a 1, a 2, a 3 in K such that b 2 = a 1 a 2 a 3 one can find some i {1, 2, 3} and a square root of a i in deterministic polynomial time in log q.

4 Given x (Z/pZ) define Computing roots v(x) = v 2 (ord(x)). If p 1 = 2 e q with q odd then 0 v(x) e. If v(x) = e then x is not a square. If v(x) = 0 then computing a square-root is trivial. Set G k = {x (Z/pZ) v(x) k}. We have and G k+1 /G k Z/2Z. G 0 G 1 G e 1 G e = (Z/pZ)

5 Computing roots v(x) = v 2 (ord(x)) If p 1 = 2 e q with q odd then 0 v(x) e. Set G k = {x (Z/pZ) v(x) k}. We have and G k+1 /G k Z/2Z. G 0 G 1 G e 1 G e = (Z/pZ) Example p = 103 and x = 46. So p 1 = 2.51 and 0 v(x) 1. We check that mod 103 so 46 is a square modulo 103 and v(x) = 0. Since 1/2 mod 51 = 26, we compute y = x 26 mod 103 = 46 mod 103 using fast exponentiation.

6 Computing roots p = 101 and x = 13 mod 101. Now p 1 = so 0 v(x) 2. Check that x 50 1 mod 101 so x is a square and v(x) < 2. Check that x 25 = 1 so v(x) = 1. Auxiliary z = 46, a non-square modulo 101. Indeed z 50 = 1 mod 101. So v(z) = 2. And v(z 2 ) = 1. Set X = xz 2 = 36 mod 101 and check that X 25 = x 25 z 50 = 1 mod 101 so v(x) = 0. Compute a square root Y of X as Y = X 1/2 = X 13 = 95 mod 101. Set y = Yz 1 and check that y 2 = Y 2 z 2 = Xz 2 = x. So y = 95/46 = 35 mod 101 is a square-root of x. Woestijne : if we know some z with v(z) > v(x) then we can deterministically compute a square-root of x.

7 Shallue and Woestijne Given non-zero elements b, a 1, a 2, a 3 in Z/pZ such that b 2 = a 1 a 2 a 3 one can find some i {1, 2, 3} and a square root of a i in deterministic polynomial time in log q. If v(a 1 ) > v(a 2 ) we can compute a square root of a 2. If v(a 1 ) = v(a 2 ) = v(a 3 ) then v(a 1 a 2 ) < v(a 1 ) and we can compute a square root c of a 1 a 2. Then (b/c) 2 = a 3.

8 Farashahi and Icart Find P C with x P, y P K(t, 3 R(t)). This is a parameterization by a cubic radical. If q = #K odd and q 2 mod 3 then set λ = (q 2)/3 and check x 1 3 = x λ for x K. Examples of parameterizations by Icart, Kammerer, Lercier, Renault, Farashahi. Interresting topic in itself. Special case y 2 = x is trivial. Not so simple in general x 3 + ax + b y 2 = 0.

9 Contents 1 Solving cubic equations, 2 Duality in the projective plane, 3 A general recipe, 4 The geometry of flex tangents to a cubic, 5 Old and new parameterizations, 6 Rational curves on a K3 surface.

10 Tartaglia, Cardan, Viète,... Let K with car(k) {2, 3}. Choose ζ 3 K. Consider h(x) = x 3 s 1 x 2 + s 2 x s 3 K[x] with h(x) = (x r 0 )(x r 1 )(x r 2 ) K[x]. Set δ = 3(r 1 r 0 )(r 2 r 1 )(r 0 r 2 ). So = δ 2 = 81s s 3s 1 s 2 3s 2 1 s s3 1 s s 3 2 K.

11 Tartaglia, Cardan, Viète,... Set L = K(ζ 3,δ) K and M = L(r 1, r 2, r 0 ) K. Assume L M and apply Kummer theory. Let σ Gal(M/L) with σ(r i ) = r i+1. Set ρ = r 0 +ζ 1 3 r 1 +ζ 2 3 r 2. So σ(ρ) = ζ 3 ρ, thus R = ρ 3 is invariant by σ. Indeed Similarly R = ρ 3 = s s s 1s δ. ρ = r 0 +ζ 3 r 1 +ζ 2 3 r 2 and R = ρ 3 = s s s 1s δ. Bonus ρρ = r r r 2 2 r 0r 1 r 1 r 2 r 2 r 0 = s 2 1 3s 2.

12 Summary : Tartaglia, Cardan, Viète,... = δ 2 = 81s s 3s 1 s 2 3s 2 1 s s3 1 s s 3 2, R = ρ 3 = s s s 1s δ, ρρ = r r r 2 2 r 0r 1 r 1 r 2 r 2 r 0 = s 2 1 3s 2, And does not involve ζ 3. r 0 + r 1 + r 2 = s 1 r 0 +ζ 1 3 r 1 +ζ 3 r 2 = ρ r 0 +ζ 3 r 1 +ζ 1 3 r 2 = ρ r 0 = s 1 +ρ+ρ 3

13 Viète Algebraic geometrist, cryptographer, politician. Use of letters as parameters in equations, Cryptanalysis, Algebraic equations.

14 Duality in the projective plane Let E = K 3 and Ê its dual. U = (1, 0, 0), V = (0, 1, 0), W = (0, 0, 1), canonical basis of E, and (X, Y, Z) the dual basis. Set P = Proj(E) = Proj K[X, Y, Z] and ˆP = Proj(Ê) = Proj K[U, V, W]. The point [U : V : W] ˆP represents the line with equation UX + VY + WZ = 0 P.

15 Dual of a plane curve Let C P with equation F(X, Y, Z) = 0. Set F X = F X, F Y = F Y, F Z = F Z. Tangent at P has equation F X (X P, Y P, Z P )U + F Y (X P, Y P, Z P )V + F Z (X P, Y P, Z P )W = 0. The corresponding point in ˆP is Gauss map [F X (X P, Y P, Z P ) : F Y (X P, Y P, Z P ) : F Z (X P, Y P, Z P )]. ω C : C ˆP [X : Y : Z] [F X (X, Y, Z) : F Y (X, Y, Z) : F Z (X, Y, Z)] The dual curve Ĉ = ω C(C).

16 Dual of a cubic Assume F(X, Y, Z) = X 3 + Y 3 + Z 3 3aXYZ, then F X = 3X 2 3aYZ, F Y = 3Y 2 3aXZ, F Z = 3Z 2 3aXY. The dual Ĉ = ω C(C) has degree 6, 9 cusps, and equation G(U, V, W) = U 6 + V 6 + W 6 6a 2 (U 4 VW + UV 4 W + UVW 4 ) +(4a 3 2)(U 3 V 3 + U 3 W 3 + V 3 W 3 )+(12a 3a 4 )U 2 V 2 W 2.

17 An example The cubic X 3 + Y 3 + Z 3 = 0 and the sextic U 6 + V 6 + W 6 2U 3 V 3 2V 3 W 3 2U 3 W 3 = 0.

18 Flexes F(X, Y, Z) = X 3 + Y 3 + Z 3 3aXYZ, ω C : (X : Y : Z) (X 2 ayz : Y 2 axz : Z 2 axy) Flexes of C Cusps of Ĉ (0 : 1 : 1) (a : 1 : 1) ( 1 : 1 : 0) (1 : 1 : a) (1 : 0 : 1) (1 : a : 1) ( 1 : ζ 3 : 0) (ζ3 2 : ζ 3 : a) (ζ 3 : 0 : 1) (ζ 3 : a : ζ3 2) (0 : 1 : ζ 3 ) (a : ζ3 2 : ζ 3) (ζ 3 : 1 : 0) (ζ 3 : ζ3 2 : a) ( 1 : 0 : ζ 3 ) (ζ3 2 : a : ζ 3) (0 : ζ 3 : 1) (a : ζ 3 : ζ3 2)

19 Automorphisms The sextic Ĉ with equation U 6 + V 6 + W 6 2U 3 V 3 2V 3 W 3 2U 3 W 3 = 0. σ 1 : [U : V : W] [V, W, U], σ 2 : [U : V : W] [U,ζ 3 V,ζ 2 3 W], σ 3 : [U : V : W] [V, U, W]. < σ 1,σ 2 > acts simply transitively on the 9 cusps.

20 Pseudo-parameterization of a cubic Assume a a 3 is surjective. Let a 3 a a section. We look for K C(K). General recipe : find a line D P and compute D.C. Hope there is a rational point in this intersection, and we can compute it. If D has equation UX + VY + WZ = 0, the intersection D.C is given by a binary cubic form. The only obstacle to the existence of a rational point in the intersection is the discriminant (U, V, W). This (U, V, W) is the equation of the dual curve Ĉ.

21 Pseudo-parameterization of a cubic Restrict to a well chosen family of lines (D t ) t with equation U(t)X + V(t)Y + W(t)Z = 0. This family of lines corresponds to a rational curve L ˆP. This is the image in ˆP of φ : t [U(t) : V(t) : W(t)]. We ask that the discriminant (U(t), V(t), W(t)) be a square in K(t). A rough geometric interpretation of this condition is that the unicursal curve L intersect Ĉ with all even multiplicities. So we look for a unicursal curve L ˆP having even intersection with Ĉ.

22 Flexes F(X, Y, Z) = X 3 + Y 3 + Z 3 3aXYZ, ω C : (X : Y : Z) (X 2 ayz : Y 2 axz : Z 2 axy) Flexes of C Cusps of Ĉ (0 : 1 : 1) (a : 1 : 1) ( 1 : 1 : 0) (1 : 1 : a) (1 : 0 : 1) (1 : a : 1) ( 1 : ζ 3 : 0) (ζ3 2 : ζ 3 : a) (ζ 3 : 0 : 1) (ζ 3 : a : ζ3 2) (0 : 1 : ζ 3 ) (a : ζ3 2 : ζ 3) (ζ 3 : 1 : 0) (ζ 3 : ζ3 2 : a) ( 1 : 0 : ζ 3 ) (ζ3 2 : a : ζ 3) (0 : ζ 3 : 1) (a : ζ 3 : ζ3 2)

23 The coconics Lemma Let C a plane cubic over K with p {2, 3}. Assume j 0. Remove three colinear flex points. The tangents at the six remaining points are coconic. The conic UW av 2 = 0 meets Ĉ at (a : 1 : 1), (1 : 1 : a), (ζ3 2 : ζ 3 : a), (a : ζ3 2 : ζ 3), (ζ 3 : ζ3 2 : a), (a : ζ 3 : ζ3 2). (1 : 0 : 1), (ζ 3 : 0 : 1), (1 : 0 : ζ 3 ) lye on Y = 0. U 2 + V 2 + W 2 +(a+1)(uv + UW + VW) = 0, and X + Y + Z = 0. U 2 +ζ 3 V 2 +ζ3 2W 2 +(a+1)(ζ3 2UV +ζ 3UW + VW) = 0 and X +ζ 3 Y +ζ3 2Z = 0. ζ 3 U 2 + V 2 3 W 2 +(a+ζ3 2)(UV +ζ2 3UW + VW) = 0 and ζ 3 X + Y +ζ 3 Z = 0.

24 The coconics again Let C the Hessian cubic with a 3 1. Let L the conic UW av 2 = 0. Let U(t) = 1, V(t) = t, W(t) = at 2 a parameterization. The line D t is X ty + at 2 Z = 0. Replacing X by ty at 2 Z in the equation of C we find (t 3 + 1)Y 3 3at(t 3 + 1)Y 2 Z + 3a 2 t 2 (t 3 + 1)YZ 2 +(1 a 3 t 6 )Z 3 and (t) = ( 9(1+a 3 t 3 ) 1+t 3 ) 2. s 1 = 3at, s 2 = 3a 2 t 2, s 3 = a3 t 6 1 t 3 + 1, δ = 9(1+a3 t 3 ) 1+t 3, R = 27 a3 t t 3 + 1, R = 0, a y = at 3 t t 3 + 1, x = X/Z = ty a at2 = t 3 t t

25 A nice quartic Lemma C a smooth plane cubic over K with p {2, 3}. Assume j 0. Let Ô a cusp on Ĉ. There is a rational quartic Q that cuts Ĉ at Ô with multiplicity 8 and the 8 remaining cusps with multiplicity 2. U 4 +a(v 4 +W 4 ) 2a(U 3 V+U 3 W+V 3 W+VW 3 ) (a 3 +1)U(V 3 +W 3 )+3a 2 U 2 (V 2 +W 2 )+ (a 4 +2a)V 2 W 2 +(1 a 3 )UVW(V+W)=0. U(t) = a 2 t 4 2at 3 +(a 3 +2)t 2 2a 2 t+a, V(t) = a 4 t 4 +(1 3a 3 )t 3 +3a 2 t 2 2at+1, W(t) = at 4 (a 3 +1)t 3 +3a 2 t 2 2at+1. G(U(t),V(t),W(t))= t 6 (t+1) 2 (t 2 t+1) 2 (at 2) 2 ((a+1)t 1) 2 ((a 2 a+1)t 2 +(1 2a)t+1) 2 (a 2 t 2 +1 at) 2.

26 Weierstrass cubic C the cubic F(X, Y, Z) = Y 2 Z X 3 axz 2 bz 3, with a 0, O = (0 : 1 : 0) and Ô = (0 : 0 : 1). Then Q is U 4 3V 4 + 6UV 2 W = 0, and U(t) = 6t 2, (1) V(t) = 6t 3, W(t) = 3at 4 1.

27 The quartic again Let C the Weierstrass cubic. Let L the quartic Q. The line D t is 6t 2 X + 6t 3 Y +(3at 4 1)Z = 0. Set x = X/Z, y = Y/Z and substitute y by 1/(6t 3 ) at/2 x/t in the Weierstrass equation. We find x 3 s 1 x 2 + s 2 x s 3 with s 1 = 1/t 2, s 2 = 1/(3t 4 ), s 3 = (1/t 6 6a/t 2 36b + 9a 2 t 2 )/36, δ = ( 1/t 6 108b 18a/t a 2 t 2 )/12, R = 0, R = ( 1/t 6 108b 18a/t a 2 t 2 )/4, x = 1 a 3t t t 6 b a 6t 2, y = Y/Z = 1 6t 3 at/2 x/t.

28 Rational curves on a surface We have constructed solutions (u, v, h) to h 2 = G(u, v, 1), (2) where u = U(t)/W(t), v = V(t)/W(t), h = δ(t)/w 3 (t) in K(t). We call S the minimal model of the surface in Equation (2). Blow up ˆP at each of the 9 cusps of Ĉ. Let S be the normal closure in k(a)(u, v, h). Call E i, F i the two components above the i-th cusp. Let H be the inverse image by S ˆP of any line in ˆP. S is a K3 surface : q = 0 and K S = 0.

29 K3 surfaces ) ( ) q = dim C (H 1 (S,O S ) = dim C H 0 (S,Ω S ) = 1 2 dim R(H 1 (S,R)) = b 1 2 = 0. A = H 1 (S,O S )/ H 1 (S,Z) = 0. 0 A Pic(S) NS(S) 0. χ(o S ) = h 0 (O S ) h 1 (O S )+h 2 (O S ) = 1 q + h 0 (O S (K)) = 2. Nœther formula χ(o S ) = 1 ( 12 K 2 +χ top (S) ) implies χ top (S) = 24 and b 2 = 22 and r = dim(ns(s) Z R) 22.

30 Rational curves on K3 surfaces We are looking for rational curves on S. The Néron-Severi group NS(S) classifies divisors on S up to algebraic (linear) equivalence. It is a free Z-module with rank 22. There is a quadratic (intersection) form. Over Z[1/6, a] this rank is 19. According to the genus formula 2g(C) 2 = C.C + C.K S, smooth rational curves have self intersection 2. Compute intersections.

31 Intersection multiplicities E i.f i = 1, E 2 i = 2, F 2 i = 2, E i.e j = 0 for i j, E i.f j = 0 for i j, E i.h = 0, F i.h = 0, H 2 = 2. Discriminant If we add the rational curves constructed above...

32 Nice curves The 12 conics give rise to 24 rational curves. One of them has class I 0,1,2,3,4,5 where 3I 0,1,2,3,4,5 = 3H 2(E 0 + E 1 + E 2 ) (F 1 + F 2 + F 3 ) (E 3 + E 4 + E 5 ) 2(F 3 + F 4 + F 5 ). The 9 quartics gives rise to 18 rational curves. One of them has class J 0 such that 3J 0 = 6H 5E 0 4F 0 (2E i + F i ). 1 i 8 The resulting lattice has dimension 19 and discriminant 54. This is NS(S) generically.

33 Elliptic Fibration The set of classes with self intersection 2 is not a group but... Let D a generic line in ˆP through B 0. The intersection D.Ĉ is 2B 0 plus an effective degree four divisor. So the inverse image of D in S is the union of E 0, F 0 and a genus one curve with at least two rational points : the intersection points with E 0 and F 0. Elliptic fibration f : S P 1 of S, with two sections E 0 and F 0. S is an elliptic K3 surface. Any section of f is a smooth rational curve on S.

34 The Mordell-Weil group The Mordell-Weil group of the generic fiber of f is isomorphic to NS(S)/T. Since E i + F i + G i = H E 0 F 0 does not depend on i for 1 i 8, the rank of T is 18 and the rank of NS(S) is one. There are infinitely many rational curves on S. U(t) = 4at 6 + 4t 2 /27, (3) V(t) = t(4at 6 + 4t 2 /27), W(t) = a 2 t 8 + 2at 4 /27+4bt 6 + 1/81.

35 Another example One more rational curve having even intersection with Ĉ.

The geometry of flex tangents to a cubic curve and its parameterizations

The geometry of flex tangents to a cubic curve and its parameterizations The geometry of flex tangents to a cubic curve and its parameterizations Jean-Marc Couveignes, Jean-Gabriel Kammerer To cite this version: Jean-Marc Couveignes, Jean-Gabriel Kammerer. The geometry of flex

More information

JEAN-MARC COUVEIGNES AND REYNALD LERCIER

JEAN-MARC COUVEIGNES AND REYNALD LERCIER The geometry of some parameterizations and encodings. Advances in Mathematics of Communications, 8(4):437-458, 2014. THE GEOMETRY OF SOME PARAMETERIZATIONS AND ENCODINGS JEAN-MARC COUVEIGNES AND REYNALD

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

LECTURE 18, MONDAY

LECTURE 18, MONDAY LECTURE 18, MONDAY 12.04.04 FRANZ LEMMERMEYER 1. Tate s Elliptic Curves Assume that E is an elliptic curve defined over Q with a rational point P of order N 4. By changing coordinates we may move P to

More information

Structure of elliptic curves and addition laws

Structure of elliptic curves and addition laws Structure of elliptic curves and addition laws David R. Kohel Institut de Mathématiques de Luminy Barcelona 9 September 2010 Elliptic curve models We are interested in explicit projective models of elliptic

More information

K3 Surfaces and Lattice Theory

K3 Surfaces and Lattice Theory K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9

More information

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

QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE

QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE Math. J. Okayama Univ. 47 2005 85 97 QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE Masato KUWATA Abstract. For an elliptic curve E over a number field k we look for a polynomial

More information

LECTURE 7, WEDNESDAY

LECTURE 7, WEDNESDAY LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i

More information

Plane quartics and. Dedicated to Professor S. Koizumi for his 70th birthday. by Tetsuji Shioda

Plane quartics and. Dedicated to Professor S. Koizumi for his 70th birthday. by Tetsuji Shioda Plane quartics and Mordell-Weil lattices of type E 7 Dedicated to Professor S. Koizumi for his 70th birthday by Tetsuji Shioda Department of Mathematics, Rikkyo University Nishi-Ikebukuro,Tokyo 171, Japan

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45 RAVI VAKIL CONTENTS 1. Hyperelliptic curves 1 2. Curves of genus 3 3 1. HYPERELLIPTIC CURVES A curve C of genus at least 2 is hyperelliptic if it admits a degree

More information

LARGE 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 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 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

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

Geometry dictates arithmetic

Geometry dictates arithmetic Geometry dictates arithmetic Ronald van Luijk February 21, 2013 Utrecht Curves Example. Circle given by x 2 + y 2 = 1 (or projective closure in P 2 ). Curves Example. Circle given by x 2 + y 2 = 1 (or

More information

Projective Varieties. Chapter Projective Space and Algebraic Sets

Projective Varieties. Chapter Projective Space and Algebraic Sets Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the

More information

ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES

ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES BY ANDREAS-STEPHAN ELSENHANS (BAYREUTH) AND JÖRG JAHNEL (SIEGEN) 1. Introduction 1.1. In this note, we will present a method to construct examples

More information

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF OTTAWA SUPERVISOR: PROFESSOR MONICA NEVINS STUDENT: DANG NGUYEN

More information

Igusa Class Polynomials

Igusa Class Polynomials Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell

More information

Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects

Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects R. Lercier, C. Ritzenthaler IML - CNRS (Marseille) Luminy, October 2011 Ritzenthaler (IML) Invariants Luminy, October

More information

Isogeny invariance of the BSD conjecture

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

Quadratic points on modular curves

Quadratic points on modular curves S. Alberts Quadratic points on modular curves Master thesis Supervisor: Dr. P.J. Bruin Date: November 24, 2017 Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 Modular and hyperelliptic

More information

The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section

The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu

More information

Oral exam practice problems: Algebraic Geometry

Oral exam practice problems: Algebraic Geometry Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n

More information

Exercises for algebraic curves

Exercises for algebraic curves Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1

More information

arxiv: v1 [math.ag] 29 Jan 2015

arxiv: v1 [math.ag] 29 Jan 2015 CLASSIFICATIONS OF ELLIPTIC FIBRATIONS OF A SINGULAR K3 SURFACE arxiv:50.0484v [math.ag] 29 Jan 205 MARIE JOSÉ BERTIN, ALICE GARBAGNATI, RUTHI HORTSCH, ODILE LECACHEUX, MAKIKO MASE, CECÍLIA SALGADO, AND

More information

this to include the explicit maps, please do so!

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

Chapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010

Chapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010 Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression

More information

ELLIPTIC FIBRATIONS AND SYMPLECTIC AUTOMORPHISMS ON K3 SURFACES

ELLIPTIC FIBRATIONS AND SYMPLECTIC AUTOMORPHISMS ON K3 SURFACES ELLIPTIC FIBRATIONS AND SYMPLECTIC AUTOMORPHISMS ON K3 SURFACES ALICE GARBAGNATI AND ALESSANDRA SARTI Abstract. Nikulin has classified all finite abelian groups acting symplectically on a K3 surface and

More information

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide

More information

Explicit Kummer Varieties for Hyperelliptic Curves of Genus 3

Explicit Kummer Varieties for Hyperelliptic Curves of Genus 3 Explicit Kummer Varieties for Hyperelliptic Curves of Genus 3 Michael Stoll Universität Bayreuth Théorie des nombres et applications CIRM, Luminy January 17, 2012 Application / Motivation We would like

More information

Explicit Arithmetic on Algebraic Surfaces

Explicit Arithmetic on Algebraic Surfaces Explicit Arithmetic on Algebraic Surfaces Anthony Várilly-Alvarado Rice University University of Alberta Colloquium January 30th, 2012 General goal Let X be an algebraic variety defined over Q. Assume

More information

On the computation of the Picard group for K3 surfaces

On the computation of the Picard group for K3 surfaces Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the computation of the Picard group for K3 surfaces By Andreas-Stephan Elsenhans Mathematisches Institut, Universität Bayreuth,

More information

K3 surfaces of Picard rank one which are double covers of the projective plane

K3 surfaces of Picard rank one which are double covers of the projective plane K3 surfaces of Picard rank one which are double covers of the projective plane Andreas-Stephan ELSENHANS a and Jörg JAHNEL a a Universität Göttingen, Mathematisches Institut, Bunsenstraße 3 5, D-37073

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References

More information

Constructing genus 2 curves over finite fields

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

Arithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018

Arithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018 Arithmetic applications of Prym varieties in low genus Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018 Background: classifying rational point sets of curves Typical arithmetic geometry

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

More information

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving

More information

Geometry of moduli spaces

Geometry of moduli spaces Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

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

The Group Structure of Elliptic Curves Defined over Finite Fields

The Group Structure of Elliptic Curves Defined over Finite Fields The Group Structure of Elliptic Curves Defined over Finite Fields A Senior Project submitted to The Division of Science, Mathematics, and Computing of Bard College by Andrija Peruničić Annandale-on-Hudson,

More information

A Humble Example of Notions of Divisor

A Humble Example of Notions of Divisor A Humble Example of Notions of Divisor Gohan May 16, 2013 I must apologize for my morbid procrastination. Due to my incapability of understanding advanced mathematics, I was rather tortured by my previous

More information

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

On a Sequence of Nonsolvable Quintic Polynomials

On a Sequence of Nonsolvable Quintic Polynomials 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006 University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,

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

Spherical varieties and arc spaces

Spherical varieties and arc spaces Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected

More information

Hyperelliptic curves

Hyperelliptic curves 1/40 Hyperelliptic curves Pierrick Gaudry Caramel LORIA CNRS, Université de Lorraine, Inria ECC Summer School 2013, Leuven 2/40 Plan What? Why? Group law: the Jacobian Cardinalities, torsion Hyperelliptic

More information

1 Absolute values and discrete valuations

1 Absolute values and discrete valuations 18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions

More information

CS 259C/Math 250: Elliptic Curves in Cryptography Homework 1 Solutions. 3. (a)

CS 259C/Math 250: Elliptic Curves in Cryptography Homework 1 Solutions. 3. (a) CS 259C/Math 250: Elliptic Curves in Cryptography Homework 1 Solutions 1. 2. 3. (a) 1 (b) (c) Alternatively, we could compute the orders of the points in the group: (d) The group has 32 elements (EF.order()

More information

Identifying supersingular elliptic curves

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

a double cover branched along the smooth quadratic line complex

a double cover branched along the smooth quadratic line complex QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space

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

Applications of Complex Multiplication of Elliptic Curves

Applications of Complex Multiplication of Elliptic Curves Applications of Complex Multiplication of Elliptic Curves MASTER THESIS Candidate: Massimo CHENAL Supervisor: Prof. Jean-Marc COUVEIGNES UNIVERSITÀ DEGLI STUDI DI PADOVA UNIVERSITÉ BORDEAUX 1 Facoltà di

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013 18.78 Introduction to Arithmetic Geometry Fall 013 Lecture # 09/10/013.1 Plane conics A conic is a plane projective curve of degree. Such a curve has the form C/k : ax + by + cz + dxy + exz + fyz with

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

More information

ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics

ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics ABSTRACT Title of thesis: INVESTIGATION INTO SOLVABLE QUINTICS Maria-Victoria Checa, Master of Science, 2004 Thesis directed by: Professor Lawrence C. Washington Department of Mathematics Solving quintics

More information

The Cone Theorem. Stefano Filipazzi. February 10, 2016

The Cone Theorem. Stefano Filipazzi. February 10, 2016 The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview

More information

Point counting and real multiplication on K3 surfaces

Point counting and real multiplication on K3 surfaces Point counting and real multiplication on K3 surfaces Andreas-Stephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.-S. Elsenhans (Universität Paderborn) K3 surfaces September

More information

Elliptic curves, Néron models, and duality

Elliptic curves, Néron models, and duality Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 3 In this text the symbol Θ stands for a positive constant. 1. COMPLEXITY THEORY AGAIN : DETERMINISTIC AND PROBABILISTIC CLASSES We refer the reader to

More information

KUMMER S QUARTICS AND NUMERICALLY REFLECTIVE INVOLUTIONS OF ENRIQUES SURFACES

KUMMER S QUARTICS AND NUMERICALLY REFLECTIVE INVOLUTIONS OF ENRIQUES SURFACES KUMMER S QUARTICS AND NUMERICALLY REFLECTIVE INVOLUTIONS OF ENRIQUES SURFACES SHIGERU MUKAI Abstract. A (holomorphic) automorphism of an Enriques surface S is said to be numerically reflective if it acts

More information

Citation Cambridge University Press. (2015):

Citation Cambridge University Press. (2015): Title The automorphism groups of enriques symmetric quartic surfaces Author(s) Mukai, Shigeru; Ohashi, Hisanori Citation Cambridge University Press. (2015): Issue Date 2015 URL http://hdl.handle.net/2433/224938

More information

Classification of Complex Algebraic Surfaces

Classification of Complex Algebraic Surfaces ALGANT Master Thesis in Mathematics Classification of Complex Algebraic Surfaces Alberto Corato Advised by Prof. Dajano Tossici Università degli Studi di Padova Université de Bordeaux Academic year 2017/2018

More information

Supersingular K3 Surfaces are Unirational

Supersingular K3 Surfaces are Unirational Supersingular K3 Surfaces are Unirational Christian Liedtke (Technical University Munich) August 7, 2014 Seoul ICM 2014 Satellite Conference, Daejeon Lüroth s theorem Given a field k a field, Lüroth s

More information

COMPLEX ALGEBRAIC SURFACES CLASS 6

COMPLEX ALGEBRAIC SURFACES CLASS 6 COMPLEX ALGEBRAIC SURFACES CLASS 6 RAVI VAKIL CONTENTS 1. The intersection form 1.1. The Neron-Severi group 3 1.. Aside: The Hodge diamond of a complex projective surface 3. Riemann-Roch for surfaces 4

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

Elliptic Curves with 2-torsion contained in the 3-torsion field

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

Numeri di Chern fra topologia e geometria birazionale

Numeri di Chern fra topologia e geometria birazionale Giornate di Geometria Algebrica ed Argomenti Correlati XII (Torino, 2014) Numeri di Chern fra topologia e geometria birazionale (Work in progress with P. Cascini) Luca Tasin (Max Planck Institute for Mathematics)

More information

Equidistributions in arithmetic geometry

Equidistributions in arithmetic geometry Equidistributions in arithmetic geometry Edgar Costa Dartmouth College 14th January 2016 Dartmouth College 1 / 29 Edgar Costa Equidistributions in arithmetic geometry Motivation: Randomness Principle Rigidity/Randomness

More information

On Maps Taking Lines to Plane Curves

On Maps Taking Lines to Plane Curves Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October

More information

CYCLES OF QUADRATIC POLYNOMIALS AND RATIONAL POINTS ON A GENUS 2 CURVE

CYCLES OF QUADRATIC POLYNOMIALS AND RATIONAL POINTS ON A GENUS 2 CURVE CYCLES OF QUADRATIC POLYNOMIALS AND RATIONAL POINTS ON A GENUS 2 CURVE E. V. FLYNN, BJORN POONEN, AND EDWARD F. SCHAEFER Abstract. It has been conjectured that for N sufficiently large, there are no quadratic

More information

Frobenius Distributions

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

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

Construction of Rational Points on Elliptic Curves over Finite Fields

Construction of Rational Points on Elliptic Curves over Finite Fields Illinois Wesleyan University From the SelectedWorks of Andrew Shallue 2006 Construction of Rational Points on Elliptic Curves over Finite Fields Andrew Shallue, Illinois Wesleyan University Christiaan

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite

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

2-Selmer group of even hyperelliptic curves over function fields

2-Selmer group of even hyperelliptic curves over function fields 2-Selmer group of even hyperelliptic curves over function fields Dao Van Thinh Department of Mathematics National University of Singapore Pan Asia Number Theory Conference, 2018 Outline Main results The

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

LATTICES WITH MAXIMAL GALOIS ACTION

LATTICES WITH MAXIMAL GALOIS ACTION ARITHMETIC E 8 LATTICES WITH MAIMAL GALOIS ACTION ANTHONY VÁRILLY-ALVARADO AND DAVID ZYWINA Abstract. We construct explicit examples of E 8 lattices occurring in arithmetic for which the natural Galois

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Mordell-Weil ranks of Jacobians of isotrivial families of plane curves

Mordell-Weil ranks of Jacobians of isotrivial families of plane curves Mordell-Weil ranks of Jacobians of isotrivial families of plane curves Remke Kloosterman Humboldt-Universität zu Berlin October 23, 2015 Introduction Theorem (Hulek K., 2008) Let n be a positive integer.

More information

arxiv:alg-geom/ v1 8 Nov 1994

arxiv:alg-geom/ v1 8 Nov 1994 arxiv:alg-geom/9411002v1 8 Nov 1994 THE MINIMAL NUMBER OF SINGULAR FIBERS OF A SEMISTABLE CURVE OVER P 1 SHENG-LI TAN 1. Introduction The purpose of this paper is to try to answer the following Szpiro

More information

14 Ordinary and supersingular elliptic curves

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

THE HESSE PENCIL OF PLANE CUBIC CURVES

THE HESSE PENCIL OF PLANE CUBIC CURVES THE HESSE PENCIL OF PLANE CUBIC CURVES MICHELA ARTEBANI AND IGOR DOLGACHEV Abstract. This is a survey of the classical geometry of the Hesse configuration of 12 lines in the projective plane related to

More information

Periodic continued fractions and elliptic curves over quadratic fields arxiv: v2 [math.nt] 25 Nov 2014

Periodic continued fractions and elliptic curves over quadratic fields arxiv: v2 [math.nt] 25 Nov 2014 Periodic continued fractions and elliptic curves over quadratic fields arxiv:1411.6174v2 [math.nt] 25 Nov 2014 Mohammad Sadek Abstract Let fx be a square free quartic polynomial defined over a quadratic

More information

Congruent number elliptic curves of high rank

Congruent number elliptic curves of high rank Michaela Klopf, BSc Congruent number elliptic curves of high rank MASTER S THESIS to achieve the university degree of Diplom-Ingenieurin Master s degree programme: Mathematical Computer Science submitted

More information

THE GROUP OF WEIERSTRASS POINTS OF A PLANE QUARTIC WITH AT LEAST EIGHT HYPERFLEXES

THE GROUP OF WEIERSTRASS POINTS OF A PLANE QUARTIC WITH AT LEAST EIGHT HYPERFLEXES MATHEMATICS OF COMPUTATION Volume 75, Number 255, July 2006, Pages 1561 1583 S 0025-5718(06)01853-9 Article electronically published on May 1, 2006 THE GROUP OF WEIERSTRASS POINTS OF A PLANE QUARTIC WITH

More information

On the Torsion Subgroup of an Elliptic Curve

On the Torsion Subgroup of an Elliptic Curve S.U.R.E. Presentation October 15, 2010 Linear Equations Consider line ax + by = c with a, b, c Z Integer points exist iff gcd(a, b) c If two points are rational, line connecting them has rational slope.

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

More information

Quadratic families of elliptic curves and degree 1 conic bundles

Quadratic families of elliptic curves and degree 1 conic bundles Quadratic families of elliptic curves and degree 1 conic bundles János Kollár Princeton University joint with Massimiliano Mella Elliptic curves E := ( y 2 = a 3 x 3 + a 2 x 2 + a 1 x + a 0 ) A 2 xy Major

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

On the GIT moduli of semistable pairs consisting of a plane cubic curve and a line

On the GIT moduli of semistable pairs consisting of a plane cubic curve and a line On the GIT moduli of semistable pairs consisting of a plane cubic curve and a line Masamichi Kuroda at Tambara Institute of Mathematical Sciences The University of Tokyo August 26, 2015 Masamichi Kuroda

More information

Algebraic Curves and Riemann Surfaces

Algebraic Curves and Riemann Surfaces Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex

More information

Elliptic Curves as Complex Tori

Elliptic Curves as Complex Tori Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic

More information