Metabelian Galois Representations
|
|
- Moris Perkins
- 5 years ago
- Views:
Transcription
1 Metabelian Galois Representations Edray Herber Goins AMS 2018 Spring Western Sectional Meeting Special Session on Automorphisms of Riemann Surfaces and Related Topics Portland State University Department of Mathematics Purdue University April 15, 2018 Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 1/28
2 Abstract We are used to working with Galois representations associated to elliptic curves by considering the action of the absolute Galois group on torsion points. However there is a slightly more exotic way to view this construction once we realize that the Tate module of an elliptic curve is just the abelianization of the étale fundamental group of the punctured torus. In this talk, we discuss how to construct a class of Galois representations by considering covers of elliptic curves which are branched over one point. We discuss how this is related to the question of surjectivity of certain Galois representation, and how to construct representations with image isomorphic to the holomorph of the quaternions. We will not assume extensive knowledge of étale cohomology. This is joint work with Rachel Davis. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 2/28
3 Outline of Talk 1 Riemann Sphere Galois Representations via Monodromy Motivating Question 2 Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere 3 Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 2/28
4 Group Variety Riemann Sphere Galois Representations via Monodromy Motivating Question Proposition Denote the set G m = { (x, y) A 2 x y = 1 }. Denote the operation : G m G m G m by (x 1, y 1 ) (x 2, y 2 ) = (x 1 x 2, y 1 y 2 ). Then ( G m, ) is an abelian group. In particular, O Gm = (1, 1) is the identity, and P = (x, y) has inverse [ 1]P = (y, x). Given any field K, the projection map G m (K) K which sends (x, y) x is an isomorphism. For any integer N, write [N]P = P P P = (x N, y N ). The same projection map allows us to identify the N-torsion elements G m [N] = { P G m (C) [N]P = OGm } µn with the collection of Nth roots of unity ζ N. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 3/28
5 Riemann Sphere Riemann Sphere Galois Representations via Monodromy Motivating Question Proposition The complex projective line P 1 (C) = C { } is the sphere { } S 2 (R) = (u, v, w) A 3 (R) u2 + v 2 + w 2 = 1. P 1 (C) S 2 (R) z = u + i v 1 w = 1 + w u i v Proposition (u, v, w) = ( 2 Re z z 2 + 1, ) 2 Im z z 2 + 1, z 2 1 z , 1, (0, 0, 1), (1, 0, 0), (0, 0, 1) X = G m (C) is the twice punctured Riemann sphere. G m (C) C = P 1 (C) {0, } S 2 (R) { (0, 0, ±1) }. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 4/28
6 Monodromy Riemann Sphere Galois Representations via Monodromy Motivating Question Fix a positive integer N, and consider the composition β : X = G m(c) X Y = P 1 (C) {0, } P = (x, y) [N]P = (x N, y N ) x N For any y 0 Y, we have x0 N = y 0 and the inverse image T = β 1 (y 0 ) = { P k = ( x 0 ζn, k x 1 0 ζ k ) N k Z } P 0 G m [N]. Given a closed loop γ : [0, 1] Y, say γ(t) = y 0 e 2πkit such that γ(0) = γ(1) = y 0, we can find paths such that β γ = γ. Proposition γ : [0, 1] X, γ(t) = ( x 0 e 2πikt/N, x 1 0 e 2πikt/N). π 1 (Y, y 0 ) Aut(T ) γ [P 0 = γ(0) γ(1) = P k ] Z A 1 (Z/N Z) k k mod N Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 5/28
7 Galois Representations Riemann Sphere Galois Representations via Monodromy Motivating Question The N-torsion G m [N] µ N is generated by T 0 = ( ζ N, ζ 1 ) N, while T P 0 G m [N] is generated by T 0 and P 0 = ( x 0, x 1 ) 0. If y 0 P 1 (Q) {0, }, he absolute Galois group Gal(Q/Q) acts: σ(t 0) = ( ζn, a ζ a ) N = [a] T 0 σ(p 0) = ( x 0 ζn, k x 1 0 ζ k ) N = [k]t 0 P 0 With respect to the basis {T 0, P 0 }, we have the following diagram: 1 Gal ( Q/Q(ζ N ) ) Gal ( Q/Q ) Gal(Q(ζ N )/Q ) 1 1 Aut(T ) Aut(T ) Aut(G m[n]) Aut(G m[n]) 1 1 A 1 (Z/N Z) AGL 1(Z/N Z) GL 1(Z/N Z) 1 k [ ] a k 1 a Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 6/28
8 Riemann Sphere Galois Representations via Monodromy Motivating Question Motivating Question The monodromy action gives a Galois representation 1 Gal ( Q/Q(ζ N ) ) Gal ( Q/Q ) Gal(Q(ζ N )/Q ) 1 1 A 1 (Z/N Z) AGL 1 (Z/N Z) GL 1 (Z/N Z) 1 If we replace the twice punctured sphere G m (C) P 1 (Q) {0, } with P 1 (Q) {more points}, what kinds of representations do we find? Say Y = P 1 (Q) {n + 1 points}. Then the étale fundamental group π 1,ét (Y, y 0 ) is just the profinite completion of the free group on n generators. That is, π 1,ét (Y, y 0 ) ab n A (Ẑ). Since Y is connected, this group is independent of y 0. Every free group on n generators can be embedded into the free group on 2 generators. Hence we will focus on Y = P 1 (Q) {0, 1, } such that π 1,ét (Y, y 0 ) ab A 2 (Ẑ). Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 7/28
9 Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere What is this Étale Fundamental Group? Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 8/28
10 Belyĭ s Theorem Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere Let β : X P 1 (C) be a meromorphic function on a Riemann surface X. We say P 0 X is a critical point if β (P 0 ) = 0, and y 0 P 1 (C) is a critical value if y 0 = β(p 0 ) for some critical point P 0 X. Theorem (André Weil, 1956; Gennadĭı Vladimirovich Belyĭ, 1979) Let X be a compact, connected Riemann surface. X is a smooth, irreducible, projective variety of dimension 1. In particular, X is an algebraic variety; that is, it can be defined by polynomial equations. If X can be defined by a polynomial equation i,j a ij x i y j = 0 where the coefficients a ij Q, then there exists a rational function β : X P 1 (C) which has at most three critical values. Conversely, if there exists rational function β : X P 1 (C) which has at most three critical values, then X can be defined by a polynomial equation i,j a ij x i y j = 0 where the coefficients a ij Q. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 9/28
11 Étale Fundamental Group Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere Definition A rational function β : X P 1 (C) which has at most three critical values { 0, 1, } is called a Belyĭ map. Denote Y = P 1 (Q) {0, 1, } as the thrice punctured sphere, and X = X {critical points P 0 of β}. Then β : X Y is unbranched. Definition For any Y, the étale fundamental group π 1,ét (Y ) keeps track étale covers β : X Y. That is, maps such that X is a connected Riemann surface, that is, a curve defined over Q, β Q(X ) is a rational map, and β 1 (y 0 ) = deg(β) for all y 0 Y. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 10/28
12 Dessins d Enfant Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere Fix a Belyĭ map β : X P 1 (C). Denote the preimages B = β 1( {0} ) W = β 1( {1} ) E = β 1( [0, 1] ) X { } { } { } black white edges A 3 (R) vertices vertices β Y The bipartite graph β = ( V, E ) with vertices V = B W and edges E is called Dessin d Enfant. We embed the graph on X in 3-dimensions. I do not believe that a mathematical fact has ever struck me quite so strongly as this one, nor had a comparable psychological impact. This is surely because of the very familiar, non-technical nature of the objects considered, of which any child s drawing scrawled on a bit of paper (at least if the drawing is made without lifting the pencil) gives a perfectly explicit example. To such a dessin we find associated subtle arithmetic invariants, which are completely turned topsy-turvy as soon as we add one more stroke. Alexander Grothendieck, Esquisse d un Programme (1984) Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 11/28
13 Examples Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere Felix Klein constructed the Platonic Solids as the inverse images of the origin V = β 1( {0} ) in terms of the Belyĭ maps on X = P 1 (C) S 2 (R). (z n + 1) 2 4 z n for the regular polygons, 64 z3 ( z 3 1 ) 3 (8 z 3 + 1) 3 for the tetrahedron, 108 z 4 ( z 4 1 ) 4 (z z 4 + 1) 3 for the octahedron, β(z) = ( z z ) z 4 (z 4 1) 4 for the cube, 1728 z 5 ( z z 5 1 ) 5 (z z z z 5 + 1) 3 for the icosahedron, ( z z z z ) z 5 (z z 5 1) 5 for the dodecahedron. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 12/28
14 Rotation Group A 5 : Dodecahedron Belyĭ s Theorem Étale Fundamental Group Dessins d Enfant on the Sphere β(z) = (z z z z 5 +1) z 5 (z z 5 1) 5 : v = , e = 2 30, f = 12 Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 13/28
15 Let s Consider X = E(C) T 2 (R) Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 14/28
16 What is an Elliptic Curve? Definition Let A and B be rational numbers such that 4 A B 2 0. An elliptic curve E is the set of all (x, y) satisfying the equation y 2 = x 3 + A x + B. We will also include the point at infinity O E. Example: y 2 = x 3 36 x is an elliptic curve. Non-Example: y 2 = x 3 3 x + 2 is not an elliptic curve Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 15/28
17 Group Law Given two K-rational points on an elliptic curve E, we may construct more. 1 Start with two K-rational points P and Q. 2 Draw a line through P and Q. 3 The intersection P Q,is another K-rational point on E. Definition Let E be an elliptic curve defined over a field K, and denote E(K) as the set of K-rational points on E. Define the operation as P Q = (P Q) O E. Theorem (Henri Poincaré, 1901) Let E be an elliptic curve defined over a field K. Then ( E(K), ) is an abelian group. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 16/28
18 Theorem { } X = E(C) = (x, y) A 2 (C) y 2 = x 3 + A x + B {O E } T 2 (R). With e 1, e 2, and e 3 as distinct complex roots of x 3 + A x + B = 0, write the period lattice Λ = Z w 1 + Z w 2 in terms of the elliptic integrals w 1 = 1 π e3 e 1 Define the maps dz z3 + A z + B and w 2 = 1 π e3 e 2 dz z3 + A z + B. X C/Λ T 2 (R) (x, y) θ w 1 + φ w 2 x dz = z3 + A z + B e 1 u = ( R + r cos θ ) cos φ v = ( R + r cos θ ) sin φ w = r sin θ Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 17/28
19 Belyĭ Maps on E : y 2 = x β(x, y) = y E : y 2 = x x + 10 β(x, y) = E : y 2 = x x β(x, y) = E : y 2 + x y + y = x 3 + x x 28 E : y 2 = x 3 15 x 10 β(x, y) = E : y x y y = x 3 β(x, y) = (x 5) y (x + 5) y β(x, y) = 4 ( 9 x y x 3 15 x 2 36 x + 32 ) 3125 ( 3 x x + 5 ) y + ( 10 x 3 30 x 2 6 x + 6 ) 16 ( 9 x + 26 ) ( y x 2 17 x ) y Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 18/28
20 β(x, y) = y on E : y 2 = x Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 19/28
21 Mod N Representation Theorem Let E be an elliptic curve over Q, and let N be a positive integer. The map [N] : E(Q) E(Q) which sends P P P is an ( ) étale cover. In fact, π 1,ét E(Q) A 2 (Ẑ) is generated by such maps. Denote E[N] = { P E(C) [N]P = O E }. This abelian group is generated by two elements T 1 and T 2 such that E[N] A 2 (Z/N Z). Fix Q 0 E(Q), and consider T = [N] 1 Q 0 = P 0 E[N]. The absolute Galois group Gal(Q/Q) acts on T : σ(t 1 ) = [a]t 1 [c]t 2 σ(t 2 ) = [b]t 1 [d]t 2 σ(p 0 ) = [e]t 1 [f ]T 2 P 0 Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 20/28
22 Mod N Representation Let E be an elliptic curve over Q, and let N be a positive integer. With respect to the basis {T 1, T 2, P 0 }, we have the following diagram: 1 Gal ( Q/Q(E[N]) ) Gal ( Q/Q ) Gal(Q(E[N])/Q ) 1 Aut(T ) Aut(T ) Aut(E[N]) Aut(E[N]) 1 1 A 2 (Z/N Z) AGL 2(Z/N Z) GL 2(Z/N Z) 1 ρ E,N 1 [ ] e f a b e c d f 1 [ ] a b c d We actually have the adelic Tate module T (E) = lim N E[N] l T l (E) π 1,ét ( E(Q) ) Ẑ Ẑ. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 21/28
23 Frattini Lifting Theorem When N = l n for a prime l, we have the following diagram: 1 Gal ( Q/Q(E[N]) ) Gal(Q/Q) Gal ( Q(E[N])/Q ) ρ E,l 1 ker(π N ) GL 2 (Z l ) Theorem ρ E,N π N GL 2 (Z/N Z) 1 Let Φ(G) denote the Frattini subgroup of G = GL 2 (Z l ), that is, the intersection of the maximal subgroups of G. Assume that ker(π N ) Φ(G). Then ρ E,l is surjective if and only if ρ E,N is surjective. 1 Let N = l n. Then ker(π N ) Φ(G) if and only if N 5. Hence ρ E,l is surjective if and only if ρ E,N is surjective whenever N 5. Let l = 2. In 2011, Tim and Vladimir Dokchitser focused on when ρ E,4 is surjective but ρ E,2 is not surjective. Let l = 3. In 2006, Noam Elkies focused on when ρ E,3 is surjective but ρ E,3 is not surjective. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 22/28
24 Theorem The étale fundamental group of the thrice punctured sphere P 1 (Q) {0, 1, } is the same as that for the punctured torus E(Q) {O E }. That is, topologically these surfaces are the same. π 1 (E(C) {O E } ) x, y, z [x, y] z = 1 in terms of the commutator [x, y] = x y x 1 y 1, and π 1 ( P 1 (C) {0, 1, } ) γ 0, γ 1, γ γ 0 γ 1 γ = 1 This gives x = γ 1 1 y = γ 1 γ 0 z = γ 1 γ 0 γ γ 0 = x y γ 1 = x 1 γ = y 1 z Perhaps we can find interesting étale covers of X = E(Q) {O E }? Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 23/28
25 Theorem Let X = E(Q) {O E } for an elliptic curve E over Q. T (E) = lim N E[N] l T l(e) π 1,ét (X ) ab Ẑ Ẑ. 1 V π 1,alg (X ) Gal(Q/Q) 1 1 π 1,ét (X ) π 1,ét (X ) ϕ π 1,ét ( Spec Q ) 1 for some variety X over Q such that X X Q Q. There is a continuous representation Gal(Q/Q) Out(V ) which sends a Galois automorphism σ = ϕ(w) to the outer automorphism v w v w 1 mod Inn(V ) acting on V. Since T (E) V ab is an abelian group, the collection of outer automorphisms Out ( T (E) ) Aut ( T (E) ) l GL 2(Z l ). Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 24/28
26 Metabelian Groups Consider N = l n for l = 2. We have a sequence of groups M n with abelianization ( M n ) ab A 2 (Z/2 n Z) E[2 n ]. 1 A (n 2) (Z/2 Z) M n A 2 (Z/2 n Z) A 3 (Z/2 Z) 1 A 1 (Z/2 Z) M 3 M 2 A 2 (Z/8 Z) A 2 (Z/4 Z) M 1 A 2 (Z/2 Z) 1 We will focus on G as the free pro-l completion in π 1,ét (X ) for X = E(Q) {O E }, so that M n = G/Φ ( ker(π N ) ). Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 25/28
27 Relation with Quaternions M 2 = a, b a 4 = b 4 = [a, b] 2 = 1, a [a, b] a 1 = b [a, b] b 1 = [a, b] Q 8 = i, j, k i 2 = j 2 = k 2 = i j k = 1 The group homomorphism M 2 Q 8 defined by a i and b j yields { } 1, a 2 b 2, a 2 [a, b], b 2 [a, b] 1 E[2] 1 ( 1 (M2) Z/2 Z ) M 2 ( (M2) ab E[4] ) 1 ( 1 (Q8) Z/2 Z ) Q 8 ( (Q8) ab E[2] ) Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 26/28
28 Let V = π 1,ét (X ) for the punctured torus X = E(Q) {O}. The canonical map V V ab yields the diagram Gal(Q/Q) in terms of the groups Aut(V ) Out(V ) Aut(M 2 ) Out(M 2 ) Aut(Q 8 ) Out(Q 8 ) l GL(Z l) GL 2 (Z/4 Z) GL 2 (Z/2 Z) S 3 M 2 = a, b a 4 = b 4 = [a, b] 2 = 1, a [a, b] a 1 = b [a, b] b 1 = [a, b] Q 8 = i, j, k i 2 = j 2 = k 2 = i j k = 1 S 4 S 3 Question Can we always lift an adelic Galois representation Gal(Q/Q) GL 2 (Ẑ) to a representation Gal(Q/Q) Aut(V )? Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 27/28
29 Theorem (Rachel Davis, G) Denote E : y 2 = x J0 1 J 0 x + 2 J0 1 J 0 for J 0 P 1 (Q) {0, 1, }. For each root t of ( t t ) J0 t 4 ( t 4 1 ) 4 = 0, K = k(t) Q(E[4]) is the splitting field of q(x) = 432 J 0 x x + 1 with Gal(K/k) S 4 over k = Q( 1). Denote D : w 4 = z J0 1 J 0 z + 2 J0 1 J 0. Then the morphism φ : D E defined by (z, w) [2] (z, w 2 ) is unramified outside of O E and yields the group Aut(D/E) Q 8 as defined over K. For any point P E(K) {O E }, let L = K ( φ 1 (P) ). Then the monodromy action yields the short exact sequence 1 Gal(L/K) Gal(L/k) Gal(K/k) 1 1 Q 8 Hol(Q 8) ( ) Aut(Q8) S 4 1 In particular, there is a representation Gal(Q/Q) Aut(Q 8 ) which can be realized via q(x) = 432 J 0 x x + 1. Session on Automorphisms of Riemann Surfaces and Related Topics Metabelian Galois Representations 28/28
Galois theory of a quaternion group origami
Galois theory of a quaternion group origami Special Session on Automorphisms of Riemann Surfaces and Related Topics Fall Sectional Meeting Loyola University Chicago, Chicago, IL Rachel Joint work with
More informationBelyi functions with prescribed monodromy
Ravi Jagadeesan, Mentor: Akhil Mathew MIT PRIMES May 18, 2013 Compact Riemann surfaces Definition A Riemann surface is a one-dimensional complex manifold. 1 1 http://upload.wikimedia.org/wikipedia/commons/f/f0/triple_
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More 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 informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
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 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 informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationIMAGES OF METABELIAN GALOIS REPRESENTATIONS ASSOCIATED TO ELLIPTIC CURVES
IMAGES OF METABELIAN GALOIS REPRESENTATIONS ASSOCIATED TO ELLIPTIC CURVES By Rachel Davis A DISSERTATION SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY (MATHEMATICS)
More informationUniform dessins on Shimura curves
Uniform dessins on Shimura curves Jürgen Wolfart joint work with Ernesto Girondo Sirvent and David Torres Teigéll, UAM Madrid Math. Zeitschrift 2011 + work in progress Mathematisches Seminar, Goethe Universität
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationGalois Groups and Fundamental Groups
Chapter 1 Galois Groups and Fundamental Groups 1.1 Galois Groups and Fundamental Groups This begins a series of lectures on topics surrounding Galois groups, fundamental groups, étale fundamental groups,
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationRegular dessins with abelian automorphism groups
Jürgen Wolfart and Benjamin Mühlbauer 1 Institut für Mathematik der Goethe Universität, D 60629 Frankfurt a.m., Germany wolfart@math.uni-frankfurt.de Regular dessins with abelian automorphism groups Dedicated
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationPERIODS OF STREBEL DIFFERENTIALS AND ALGEBRAIC CURVES DEFINED OVER THE FIELD OF ALGEBRAIC NUMBERS
PERIODS OF STREBEL DIFFERENTIALS AND ALGEBRAIC CURVES DEFINED OVER THE FIELD OF ALGEBRAIC NUMBERS MOTOHICO MULASE 1 AND MICHAEL PENKAVA 2 Abstract. In [8] we have shown that if a compact Riemann surface
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
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 informationDessins d enfants and transcendental lattices of singular K3 surfaces. Dessins d enfants and transcendental lattices of extremal elliptic surfaces
Dessins d enfants and transcendental lattices of singular K3 surfaces Dessins d enfants and transcendental lattices of extremal elliptic surfaces Saitama, 2008 March Ichiro Shimada (Hokkaido University)
More informationBELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES
Math. J. Okayama Univ. 47 (2005), 119 131 BELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES Toru KOMATSU Abstract. In this paper we present an explicit construction
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationSelmer Groups and Galois Representations
Selmer Groups and Galois Representations Edray Herber Goins July 31, 2016 2 Contents 1 Galois Cohomology 7 1.1 Notation........................................... 8 2 Galois Groups as Topological Spaces
More informationGalois Representations Attached to Elliptic Curves
University of Bordeaux 1 algant master thesis Galois Representations Attached to Elliptic Curves Author: Can Ozan OGUZ Supervisor: Jean Gillibert July 10, 2012 Contents Introduction 2 1. Preliminaries
More informationWhy Should I Care About Elliptic Curves?
Why Should I Care About? Edray Herber Goins Department of Mathematics Purdue University August 7, 2009 Abstract An elliptic curve E possessing a rational point is an arithmetic-algebraic object: It is
More informationInverse Galois Problem for C(t)
Inverse Galois Problem for C(t) Padmavathi Srinivasan PuMaGraSS March 2, 2012 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem
More informationBelyi Lattès maps. Ayberk Zeytin. Department of Mathematics, Galatasaray University. İstanbul Turkey. January 12, 2016
Belyi Lattès maps Ayberk Zeytin Department of Mathematics, Galatasaray University Çırağan Cad. No. 36, 3357 Beşiktaş İstanbul Turkey January 1, 016 Abstract In this work, we determine all Lattès maps which
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationCLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES
CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for
More informationThe pro-p Hom-form of the birational anabelian conjecture
The pro-p Hom-form of the birational anabelian conjecture Scott Corry at Appleton and Florian Pop at Philadelphia Abstract We prove a pro-p Hom-form of the birational anabelian conjecture for function
More informationFamilies of Abelian Varieties with Big Monodromy
Families of Abelian Varieties with Big Monodromy David Zureick-Brown (Emory University) David Zywina (IAS) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ 2013 Colorado AMS meeting Special
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationA survey of Galois theory of curves in characteristic p
Fields Institute Communications Volume 00, 0000 A survey of Galois theory of curves in characteristic p Rachel Pries and Katherine Stevenson Abstract. This survey is about Galois theory of curves in characteristic
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationOne-dimensional families of Riemann surfaces with 4g+4 autom
One-dimensional families of Riemann surfaces of genus g with 4g+4 automorphisms joint work with A. Costa Automorphisms of Riemann Surfaces and Related Topics AMS Spring Western Sectional Meeting Portland,
More informationArboreal Cantor Actions
Arboreal Cantor Actions Olga Lukina University of Illinois at Chicago March 15, 2018 1 / 19 Group actions on Cantor sets Let X be a Cantor set. Let G be a countably generated discrete group. The action
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationMath 213br HW 3 solutions
Math 13br HW 3 solutions February 6, 014 Problem 1 Show that for each d 1, there exists a complex torus X = C/Λ and an analytic map f : X X of degree d. Let Λ be the lattice Z Z d. It is stable under multiplication
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple
More informationTHE JACOBIAN OF A RIEMANN SURFACE
THE JACOBIAN OF A RIEMANN SURFACE DONU ARAPURA Fix a compact connected Riemann surface X of genus g. The set of divisors Div(X) forms an abelian group. A divisor is called principal if it equals div(f)
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationThe 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 informationRegular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI**
Regular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI** We use homological methods to describe the regular maps and hypermaps which are cyclic coverings of the Platonic maps,
More informationThe Sato-Tate conjecture for abelian varieties
The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also
More informationWhat is a motive? David P. Roberts University of Minnesota, Morris. September 10, 2015
What is a motive? David P. Roberts University of Minnesota, Morris September 10, 2015 1 Preliminary general remarks 2 Cohomology and cycles 3 Motives and motivic Galois groups 4 Role in the Langlands program
More informationAn introduction to. Profinite Grothendieck-Teichmüller theory. MIT, Cambridge, Massachusetts. November 5-9, Lecture 1B
An introduction to Profinite Grothendieck-Teichmüller theory MIT, Cambridge, Massachusetts November 5-9, 2012 Lecture 1B The Grothendieck-Teichmüller group 1 Outline Lecture 1A: Geometric Galois actions
More informationarxiv: v1 [math.cv] 19 Nov 2018
AUTOMORPHISM GROUPS OF DESSINS D ENFANTS arxiv:1811.07849v1 [math.cv] 19 Nov 2018 Abstract. Recently, Gareth Jones observed that every finite group G can be realized as the group of automorphisms of some
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationMATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN
MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More informationElliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.
Elliptic Curves Akhil Mathew Department of Mathematics Drew University Math 155, Professor Alan Candiotti 10 Dec. 2008 Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor
More informationUnramified CFT for proper smooth varieties
Unramified CFT for proper smooth varieties APRAMEYO PAL November 13, 2014 Abstract We will study unramified class field theory for higher dimensional proper smooth varieties. 0 Classical CFT Let X be a
More informationField Theory Qual Review
Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions
More informationDoes 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 informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationTHE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE
THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationThe Galois Representation Attached to a Hilbert Modular Form
The Galois Representation Attached to a Hilbert Modular Form Gabor Wiese Essen, 17 July 2008 Abstract This talk is the last one in the Essen seminar on quaternion algebras. It is based on the paper by
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationGalois representations and automorphic forms
Columbia University, Institut de Mathématiques de Jussieu Yale, November 2013 Galois theory Courses in Galois theory typically calculate a very short list of Galois groups of polynomials in Q[X]. Cyclotomic
More information1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle
References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationVisualizing Dessins d Enfants on the Torus
Department of Mathematics Purdue University Summer Project Presentation Purdue University October 04, 2015 Overview of the algorithm Input: An elliptic curve in the form: y 2 + a 1 xy + a 3 y = x 3 + a
More informationThe Inverse Galois Problem David P. Roberts University of Minnesota, Morris
The Inverse Galois Problem David P. Roberts University of Minnesota, Morris 1. Polynomials, fields, and their invariants: A degree n number field K has a discriminant D Z and a Galois group G S n. 2. The
More informationElliptic Curves over Finite Fields 1
Elliptic Curves over Finite Fields 1 B. Sury 1. Introduction Jacobi was the first person to suggest (in 1835) using the group law on a cubic curve E. The chord-tangent method does give rise to a group
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationOverview. exp(2πiq(x)z) x Z m
Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationGenus 2 Curves of p-rank 1 via CM method
School of Mathematical Sciences University College Dublin Ireland and Claude Shannon Institute April 2009, GeoCrypt Joint work with Laura Hitt, Michael Naehrig, Marco Streng Introduction This talk is about
More informationts - Tr e es Esther Röder Bachelor Thesis
Des s i ns d e n fan ts - Tr e es Esther Röder Bachelor Thesis 1 Dessins d enfants - trees Bachelor Thesis of Esther Röder Supervised by Prof. Richard Pink and Patrik Hubschmid July 20, 2010 2 Contents
More informationFundamental 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 informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationComputing 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 informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationInfinite 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 informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
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 informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationLecture 4.1: Homomorphisms and isomorphisms
Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
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 informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More information