Algorithms for algebraic curves and applications to cryptography, II
|
|
- Theresa Stanley
- 5 years ago
- Views:
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 Jean-Marc Couveignes, Jean-Gabriel Kammerer To cite this version: Jean-Marc Couveignes, Jean-Gabriel Kammerer. The geometry of flex
More informationJEAN-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 informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationLECTURE 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 informationStructure 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 informationK3 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 informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationQUADRATIC 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 informationLECTURE 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 informationPlane 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 informationElliptic 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 informationFOUNDATIONS 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 informationLARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE
LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationChern 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 informationGeometry 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 informationProjective 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 informationON 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 informationCORRESPONDENCE 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 informationIgusa Class Polynomials
Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell
More informationInvariants 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 informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationQuadratic 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 informationThe 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 informationOral 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 informationExercises 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 informationIntroduction 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 informationarxiv: 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 informationthis to include the explicit maps, please do so!
Contents 1. Introduction 1 2. Warmup: descent on A 2 + B 3 = N 2 3. A 2 + B 3 = N: enriched descent 3 4. The Faltings height 5 5. Isogeny and heights 6 6. The core of the proof that the height doesn t
More informationChapter 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 informationELLIPTIC 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 informationAN 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 informationExplicit 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 informationExplicit 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 informationOn 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 informationK3 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 information12. 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 informationAN 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 informationConstructing genus 2 curves over finite fields
Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key
More informationArithmetic 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 informationCOMPLEX 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 informationComplex 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 informationGeometry 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationThe 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 informationA 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 informationwhere 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 informationOn 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 informationResolution 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 informationBjorn 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 information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationSpherical 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 informationHyperelliptic 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 information1 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 informationCS 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 informationIdentifying supersingular elliptic curves
Identifying supersingular elliptic curves Andrew V. Sutherland Massachusetts Institute of Technology January 6, 2012 http://arxiv.org/abs/1107.1140 Andrew V. Sutherland (MIT) Identifying supersingular
More informationa 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 informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationApplications of Complex Multiplication of Elliptic Curves
Applications of Complex Multiplication of Elliptic Curves MASTER THESIS Candidate: Massimo CHENAL Supervisor: Prof. Jean-Marc COUVEIGNES UNIVERSITÀ DEGLI STUDI DI PADOVA UNIVERSITÉ BORDEAUX 1 Facoltà di
More informationIntroduction 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 informationFOUNDATIONS 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 informationABSTRACT 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 informationThe 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 informationPoint 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 informationElliptic 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 informationALGORITHMS 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 informationKUMMER 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 informationCitation 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 informationClassification 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 informationSupersingular 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 informationCOMPLEX 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 informationLECTURE 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 informationElliptic Curves with 2-torsion contained in the 3-torsion field
Elliptic Curves with 2-torsion contained in the 3-torsion field Laura Paulina Jakobsson Advised by Dr. M. J. Bright Universiteit Leiden Universita degli studi di Padova ALGANT Master s Thesis - 21 June
More informationNumeri 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 informationEquidistributions 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 informationOn 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 informationCYCLES 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 informationFrobenius Distributions
Frobenius Distributions Edgar Costa (MIT) September 11th, 2018 Massachusetts Institute of Technology Slides available at edgarcosta.org under Research Polynomials Write f p (x) := f(x) mod p f(x) = a n
More informationMAT 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 informationConstruction 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 informationALGORITHMS 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 informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More information2-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 informationProjects 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 informationLATTICES 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 informationAlgebra 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 informationMordell-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 informationarxiv: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 information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationTHE 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 informationPeriodic 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 informationCongruent 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 informationTHE 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 informationOn 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 informationTHERE 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 informationQuadratic 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 informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More informationOn 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 informationAlgebraic 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 informationElliptic Curves as Complex Tori
Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic
More information