10 l-adic representations

Size: px
Start display at page:

Download "10 l-adic representations"

Transcription

1 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 representation (for K) is a continuous homomorphism ρ : G K GL(V ) where V is a finite-dimensional vector space over Q l. Example. There is a natural surjection G Q G ab Q = Ẑ. Explicitly, Q ab = Q(ζ ) is the extension of Q with all roots of unity. The Galois group G Q acts on the m-th roots of unity, giving a map G Q (Z/mZ). Taking the (inverse) limit of all such maps gives G Q Ẑ. One may also concentrate at a prime l by taking Ẑ Z l. This amounts to looking at the action of G Q on all l n -th roots of unity. We call the Galois representation χ cyc : G Q Z l the (l-adic) cyclotomic character. We have a geometric interpretation of the cyclotomic character: Let G m be the variety for which G m (k) = {(a, b) k 2 ab = } for any field k. Write µ l n the l n -th roots of unity (as a G Q -module), one has lim µ l n = H ét (G m, Z l ). We may restrict the Galois representation to G Qp for any prime p. The resulting map χ cyc : G Qp Z l is always still surjective. When p l, it s easy to see that the cyclotomic character is unramified, i.e. trivial on the inertia in G Qp. When l = p, this is no longer the case, but the geometry suggests no difference for l. This amounts to the phenomenon that when l = p, there is a notion in p-adic Hodge theory that corresponds to the usual unramified property, that χ cyc : G Qp Z p is crystalline. Lemma 0.2. Any compact subgroup H GL n ( Q l ) is contained in GL n (E) for some E/Q l finite. Proof. The set H is compact Hausdorff, and thus a Baire space; it is never a countable union of nowhere-dense closed subset. Let E/Q l be any finite extension. Either the intersection H GL n (E) has finite index in H, so that by adding finitely many elements into E we have H GL n (E), or H GL n (E) has infinite index in H. We now assume the latter is the case for any E/Q l finite. There are countably many (why?) finite extensions of Q l. Thus H = E H GL n(e) as a countable union. However each H GL n (E) cannot contain an open subgroup and thus are nowhere-dense, a contradiction. Corollary 0.3. Any l-adic Galois representation is realized on a E-vector space for some E/Q l finite. Example 2. Another difference that (the category of) l-adic Galois representations is different from (that of) Artin representations or representations of compact groups is that an l-adic Galois representation need not be semisimple. For example, let F be a non-archimedean local field with residue field k, char(k) l, and consider the composition

2 χ : G F Ẑ Z l where the first map is the natural projection from G F to Gal( k/k) = Ẑ and the second map is the natural projection from Ẑ to Z l. Consider the representation χ χ(σ) ρ =, i.e. ρ(σ) =, σ G F. It s obvious that ρ is non-trivial, yet it fits into an exact sequence of l-adic representations and thus ρ is not semisimple. triv ρ triv. In general, for a (ρ, V ) be an l-adic Galois representation we will find a filtration 0 = V 0 V... V m = V of subrepresentations, so that each V i /V i is an irreducible Galois m representation. The semi-simplification of V is V ss := V i /V i. Theorem 0.4. (Jordan-Hölder) The semi-simplification V ss is unique up to isomorphism. Theorem 0.5. (Brauer-Nesbitt) Two representations ρ and ρ of G K (in fact, any group) on a finite-dimensional vector space over any field have isomorphic semi-simplification if and only if ρ(σ) and ρ (σ) have the same characteristic polynomial for all σ G K. Let (ρ, V ) be any l-adic Galois representation of G K, where by Lemma 0.2 we take V to be an E-vector space, E/Q l finite. Let Λ V be any lattice, i.e. a O E -submodule of rank equal to dim E V. Let GL(Λ ) := {g GL(V ) gλ Λ }. This is an open subgroup of GL(V ), and thus H := ρ (GL(Λ )) is open. Let σ,..., σ s be a set of representative for G K /H. Then Λ = s i= ρ(σ i)λ is a ρ(g K )-stable lattice. Now let Λ be an arbitrary ρ(g K )-stable lattice of V. We may consider the quotient Λ := Λ/ϖ E Λ. We have a natural induced action of G K on Λ. Corollary 0.6. The semi-simplification of the G K -representation Λ does not depends on the choice of Λ. Proof. The characteristic polynomial of any element in G K on Λ comes from reducing the characteristic polynomial on V modulo ϖ E, and thus independent of Λ. The result then follows from Theorem 0.5. Example 3. Let p be a prime with l p +. We have a natural surjection Z p 2 F l. By taking any isomorphism F l {x Q l x l = } and Q p = Z 2 p 2 Z, we have a character χ : Q p Q 2 l, which extends to a -dimensional l-adic Galois representation χ : G Qp 2 Q l. Let ρ = indg Qp G Qp χ : G Qp GL 2 (Q l ). This is an irreducible representation, 2 while ρ ss = triv sgn Qp 2 /Q p. 2 i=

3 We now fix some E/Q l finite and a non-archimedean local field F with residual characteristic p l. Let G F I F P F be the absolute Galois group, the inertia, and the wild inertia, respectively. For an l-adic Galois representation ρ : G F GL(V ), we first look at how ρ IF looks like. Recall that we have I F /P F = ( Ẑ p ) := p p Z p. (Sketch of proof: By Hensel lemma style argument, any degree m extension of F ur with p m is of the form F ur ( m ϖ F ) for a fixed uniformizer ϖ F.) Write t l : I F Z l the composition I F I F /P F Z l. Definition 0.7. Say a compact topological group G is prime to l if x x l is a homeomorphism. We have ker(t l ) is prime to l. One easily proves the following (see also exercise) Lemma 0.8. If G is a prime-to-l group and ρ : G GL n (E) an l-adic representation, then the image of ρ is finite. Corollary 0.9. (Grothendieck s l-adic monodromy theorem) Let ρ : G F GL n (E) be an l-adic Galois representation. Then there exists a relatively open subgroup U I F and a necessarily unique n n nilpotent matrix N M n (E) such that ρ(τ) = exp(t l (τ)n), τ U. Proof. By Lemma 0.8, ker(ρ) contains an open subgroup of ker(t l ). By shrinking U we may assume ρ U ker(tl ) is trivial. We have seen that the image of ρ stabilize a lattice, and thus by conjugation we may assume Im(ρ) GL n (O E ). By shrinking U again we may assume ρ(u) K (2) := {g GL n (O E ) g = Id mod l 2 }, so that it makes sense to talk about log ρ(τ) for τ U. We have t l (U) log = U/(U ker(t l )) K (2) l 2 M n (O E ). Since t l (U) = l m Z l for some m, the above composition has to be given by x xn for some N M n (E). This is the N we seek. It remains to prove that N is nilpotent. Let Φ G F be any (lift of) arithmetic Frobenius. Then for any τ I, we have t l (ΦτΦ ) = q F t l (τ) where q F is the order of the residue field of F. Applying this to the definition of N we see ρ(φ)nρ(φ) = q F N. The eigenvalues of N thus have to be all zero and N has to be nilpotent. Example 4. We have the following l-adic Galois representation ρ : G F GL 2 (Q l ) given by χcyc t ρ = l. 0 This is somewhat an example of Galois representation that is not semisimple, but the ρ(φ) is semisimple, i.e. diagonalizable over Q l. It is a general conjecture that Frobenius should always acts semisimply. In fact, this is probably the most important non-trivial Galois representation; it s the Tate module of an elliptic curve that has semistable but not good reduction. 3

4 We have understood the difference between local Artin representations and l-adic Galois representations of G F up to the inertia I F. To state the final result in a better way and to connect with Langlands program, we d like to switch from the absolute Galois group G F to the so-called Weil group. Recall that we have an exact sequence I F G F Ẑ We also suppose that our local class field theory is normalized so that an arithmetic Frobenius Φ is mapped to the inverse of a uniformizer. We then define the Weil group W F of F to be the preimage of Z Ẑ, but equipped with a new topology similar to that of Z Ẑ. That is, the topology on W F is such that I F has the same subspace topology as before but is open in W F. Note also that by local class field theory we have WF ab = F. We also denote by : W F C the normalized norm, so that Φ = q F. An l-adic Weil representation for F is a homomorphism ρ : W F GL(V ). One easily sees that the result of Corollary 0.9 also holds for Weil representations. We now fix a Weil representation (ρ, V ) where V is an E-vector space. Let Φ again be any (lift of) Frobenius. We have Theorem 0.0. (Deligne) Let t l be as above and N as in Corollary 0.9. The formula ρ (Φ m τ) := ρ(φ) m ρ(τ) exp( t l (τ)n), m Z, τ I F defines a new representation of W F on V. Moreover, the isomorphism class of (ρ, V ) does not depend on the choice of Φ. Proof. Recall that we had t l (ΦτΦ ) = q F t l (τ) ρ(φ)nρ(φ) = q F N. A similar argument gives t l (στσ ) = σ t l (τ) and ρ(σ)nρ(σ) = σ N for any σ W F. Similarly we have ρ(σ) exp(xn)ρ(σ) = exp( σ xn). Now for the first statement of the theorem, suppose we have Φ m τ Φ m 2 τ 2 = Φ m +m 2 τ, i.e. τ = Φ m 2 τ Φ m 2 τ 2. Then ρ (Φ m +m 2 τ) = ρ(φ m +m 2 τ) exp( t l (τ)n) = ρ(φ m τ )ρ(φ m 2 τ 2 ) exp( t l (Φ m 2 τ Φ m 2 )N) exp( t l (τ 2 )N) = ρ(φ m τ )ρ(φ m 2 τ 2 ) exp( q m 2 F t l (τ )N) exp( t l (τ 2 )N) = ρ(φ m τ ) exp( t l (τ )N)ρ(Φ m 2 τ 2 ) exp( t l (τ 2 )N) = ρ (Φ m τ )ρ (Φ m 2 τ 2 ). For the second statement, suppose Φ is a different choice of Frobenius, and Φ = Φ τ, with t l (τ ) = s. Then the resulting ρ has ρ (Φ) = ρ (Φ τ ) = ρ (Φ) exp( sn). On the other hand, we have ρ(φ) exp(xn)ρ(φ) = exp(xn) q F ρ(φ) = exp(xn) q F ρ(φ) exp(xn) ρ(φ) exp(xn) q F = exp(xn) q F ρ(φ)(exp(xn) q F ). Taking x = s, we get ρ q F (Φ) = ρ(φ) is conjugate to ρ (Φ) exp( sn) = ρ (Φ) by exp(xn)q F. Since for any τ I we have ρ (τ) = ρ (τ ) commutes with N and exp(xn) by the formula, we have ρ is conjugate to ρ by exp(xn). 4

5 Remark 0.. ρ IF is trivial on the open subgroup U I F in Corollary 0.9, and thus has finite image and is a semisimple representation. On the other hand, in Corollary 0.9 we have N = 0 iff ρ IF has finite image, which is also equivalent to ρ = ρ. Definition 0.2. A Weil-Deligne representation is a pair (ρ, N) where ρ : W F GL n (C) is a continuous homomorphism, and N M n (C) is a nilpotent n n matrix in C such that ρ (σ)nρ (σ) = σ N for any σ W F. When N = 0, it s also common to call it a Weil representation. We fix an isomorphism ι : Q l C. Corollary 0.3. Upon the choice of ι, Theorem 0.0 gives a bijection between the set of isomorphism classes of l-adic Weil representations and the set of isomorphism classes of Weil-Deligne representations. We can also talk about L-functions of Weil-Deligne representations. Definition 0.4. Let ρ = (ρ, N) be an n-dimensional Weil-Deligne representation. Let V := ker(n) I F be the subspace of ker(n) on which ρ (I F ) acts trivially. Then L(s, ρ) := det(id V q s ρ (Φ) V ). Lemma 0.5. Let (ρ, N) be a Weil-Deligne representation. If ρ (Φ) is semisimple, then ρ (σ) is semisimple for any σ W F. Proof. Let U I F be as in Corollary 0.9. By shrinking U we may assume U is normalized by W F. For any σ = Φ m τ W F, we my write σ a = Φ am τ a for any a Z. The image of τ a in I F /U has to be periodic, and thus τ a U for some a > 0. This gives ρ (σ) a = ρ (Φ) am is semisimple. Since C has characteristic zero, ρ (σ) is also semisimple. (If m = 0, then σ I F and the semisimplicity of ρ (σ) is automatic as ρ IF has finite image. Definition 0.6. A Weil-Deligne representation is called Frobenius-semisimple if it satisfies the property in Lemma 0.5. A general conjecture is that Weil-Deligne representations that correspond to interesting (i.e. those that come from geometry) l-adic Weil representations should be Frobeniussemisimple. What is very exciting is then that Frobenius-semisimple Weil-Deligne representations can be related to representation theory by the local Langlands conjecture. Remark. Theorem 0.0, Definition 0.2 and all those follow also work for arbitrary reductive group. For example, let V be any quadratic space over Q. Then SO(V ) is a reductive group, and one may consider ρ : W F SO(V Q Ql ) and ρ : W F SO(V Q C). Then N should lie in the Lie algebra of SO(V Q C), namely a anti-self-adjoint nilpotent operator on V. 5

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

l-adic Representations

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

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

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

THE MONODROMY-WEIGHT CONJECTURE

THE MONODROMY-WEIGHT CONJECTURE THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence

More information

14 From modular forms to automorphic representations

14 From modular forms to automorphic representations 14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall

More information

The Local Langlands Conjectures for n = 1, 2

The Local Langlands Conjectures for n = 1, 2 The Local Langlands Conjectures for n = 1, 2 Chris Nicholls December 12, 2014 1 Introduction These notes are based heavily on Kevin Buzzard s excellent notes on the Langlands Correspondence. The aim is

More information

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is

More information

MA 162B LECTURE NOTES: FRIDAY, JANUARY 30

MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either

More information

Lifting Galois Representations, and a Conjecture of Fontaine and Mazur

Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Documenta Math. 419 Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Rutger Noot 1 Received: May 11, 2001 Revised: November 16, 2001 Communicated by Don Blasius Abstract. Mumford

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

1 Weil Sheaves: Notes by Dan Dore

1 Weil Sheaves: Notes by Dan Dore STANFORD NUMBER THEORY LEARNING SEMINAR 4/12/2017 1 Weil Sheaves: Notes by Dan Dore 1.1 Definition and Classification of Weil Sheaves In the course of Deligne s proof of the purity theorem, he makes certain

More information

COMPLEX MULTIPLICATION: LECTURE 15

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

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion

More information

What is the Langlands program all about?

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

The study of 2-dimensional p-adic Galois deformations in the l p case

The study of 2-dimensional p-adic Galois deformations in the l p case The study of 2-dimensional p-adic Galois deformations in the l p case Vincent Pilloni April 22, 2008 Abstract We introduce the language and give the classical results from the theory of deformations :

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

Galois Representations

Galois Representations Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy

More information

A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS

A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS HUI GAO, TONG LIU 1 Abstract. Let K 0 /Q p be a finite unramified extension and G K0 denote the Galois group Gal(Q p /K 0 ). We show

More information

A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017

A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017 A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the

More information

The Sato-Tate conjecture for abelian varieties

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

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

CLASS FIELD THEORY WEEK Motivation

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

Toric coordinates in relative p-adic Hodge theory

Toric coordinates in relative p-adic Hodge theory Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University

More information

Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011

Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way

More information

The local Langlands correspondence for inner forms of SL n. Plymen, Roger. MIMS EPrint:

The local Langlands correspondence for inner forms of SL n. Plymen, Roger. MIMS EPrint: The local Langlands correspondence for inner forms of SL n Plymen, Roger 2013 MIMS EPrint: 2013.43 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports

More information

ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l )

ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) DAVID HELM We give an explicit description of the modified mod p local Langlands correspondence for GL 2 (Q l ) of [EH], Theorem 5.1.5,

More information

The Grothendieck-Katz Conjecture for certain locally symmetric varieties

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

Galois Representations

Galois Representations Galois Representations Joel Bellaiche, Math 203b (Spring 2009) Contents 1 1 Introduction 1.1 Overview Three fields of study that are now thought to be related in quite fundamental ways are algebraic number

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

The Galois Representation Attached to a Hilbert Modular Form

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

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2) SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the

More information

Twists and residual modular Galois representations

Twists and residual modular Galois representations Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

On the Langlands Program

On the Langlands Program On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for

More information

Lecture 5: Schlessinger s criterion and deformation conditions

Lecture 5: Schlessinger s criterion and deformation conditions Lecture 5: Schlessinger s criterion and deformation conditions Brandon Levin October 30, 2009 1. What does it take to be representable? We have been discussing for several weeks deformation problems, and

More information

gφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l

gφ(m) = ω l (g)φ(g 1 m)) where ω l : Γ F l Global Riemann-Roch formulas Let K be a number field, Γ = Gal( K/K), M a finite Γ-module of exponent m; ie mm = (0) If S is a finite set of places of K we let Γ S = Gal(K S /K), where K S is the union

More information

Some introductory notes on the Local Langlands correspondence.

Some introductory notes on the Local Langlands correspondence. Some introductory notes on the Local Langlands correspondence. Last modified some time in the 1990s. A lot of the introductory papers published on Langlands stuff are written for people who know a fair

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

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

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2

Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2 Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2 Mathilde Gerbelli-Gauthier May 20, 2014 Abstract We study Hecke operators acting

More information

Local root numbers of elliptic curves over dyadic fields

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

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton

Hecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic

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

Notes on p-divisible Groups

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

Algebraic Hecke Characters

Algebraic Hecke Characters Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation

More information

LIFTING GLOBAL REPRESENTATIONS WITH LOCAL PROPERTIES

LIFTING GLOBAL REPRESENTATIONS WITH LOCAL PROPERTIES LIFTING GLOBAL REPRESENTATIONS WITH LOCAL PROPERTIES BRIAN CONRAD 1. Introduction Let k be a global field, with Galois group G k and Weil group W k relative to a choice of separable closure k s /k. Let

More information

An LMFDB perspective on motives David P. Roberts University of Minnesota, Morris

An LMFDB perspective on motives David P. Roberts University of Minnesota, Morris An LMFDB perspective on motives David P. Roberts University of Minnesota, Morris Classical language is adequate for studying L- functions associated to 0- and 1-dimensional varieties. Q. What is a good

More information

Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

More information

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

On the equality case of the Ramanujan Conjecture for Hilbert modular forms On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits

More information

Representations Are Everywhere

Representations Are Everywhere Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.

More information

NUNO FREITAS AND ALAIN KRAUS

NUNO FREITAS AND ALAIN KRAUS ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion

More information

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS

SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS SOME REMARKS ON REPRESENTATIONS OF QUATERNION DIVISION ALGEBRAS DIPENDRA PRASAD Abstract. For the quaternion division algebra D over a non-archimedean local field k, and π an irreducible finite dimensional

More information

Residual modular Galois representations: images and applications

Residual modular Galois representations: images and applications Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular

More information

Arboreal Cantor Actions

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

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

Geometric Structure and the Local Langlands Conjecture

Geometric Structure and the Local Langlands Conjecture Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure

More information

Inertial types and automorphic representations with prescribed ramification. William Conley

Inertial types and automorphic representations with prescribed ramification. William Conley Inertial types and automorphic representations with prescribed ramification William Conley May, 2010 Contents 1 Introduction 3 1.1 Notation.............................. 5 2 Types and K-types for p-adic

More information

THE PARAMODULAR CONJECTURE ARMAND BRUMER

THE PARAMODULAR CONJECTURE ARMAND BRUMER THE PARAMODULAR CONJECTURE ARMAND BRUMER (Joint work with Ken Kramer and Magma) Modular Forms and Curves of Low Genus: Computational Aspects @ ICERM Sept. 30, 2015 B&Kramer: Certain abelian varieties bad

More information

Are ζ-functions able to solve Diophantine equations?

Are ζ-functions able to solve Diophantine equations? Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

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

Iwasawa algebras and duality

Iwasawa algebras and duality Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

More information

Dieudonné Modules and p-divisible Groups

Dieudonné Modules and p-divisible Groups Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous

More information

GALOIS EXTENSIONS ZIJIAN YAO

GALOIS EXTENSIONS ZIJIAN YAO GALOIS EXTENSIONS ZIJIAN YAO This is a basic treatment on infinite Galois extensions, here we give necessary backgrounds for Krull topology, and describe the infinite Galois correspondence, namely, subextensions

More information

IRREDUCIBILITY OF AUTOMORPHIC GALOIS REPRESENTATIONS OF GL(n), n AT MOST 5. FRANK CALEGARI AND TOBY GEE

IRREDUCIBILITY OF AUTOMORPHIC GALOIS REPRESENTATIONS OF GL(n), n AT MOST 5. FRANK CALEGARI AND TOBY GEE IRREDUCIBILITY OF AUTOMORPHIC GALOIS REPRESENTATIONS OF GL(n), n AT MOST 5. FRANK CALEGARI AND TOBY GEE Abstract. Let π be a regular, algebraic, essentially self-dual cuspidal automorphic representation

More information

Reflexivity of Locally Convex Spaces over Local Fields

Reflexivity of Locally Convex Spaces over Local Fields Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric

More information

arxiv: v1 [math.nt] 9 Nov 2016

arxiv: v1 [math.nt] 9 Nov 2016 LARGE IMAGES OF REDUCIBLE GALOIS REPRESENTATIONS arxiv:1611.03045v1 [math.nt] 9 Nov 2016 AFTAB PANDE Abstract. Given a reducible Galois representation ρ : G Q GL 2 (F q) we show there exists an irreducible

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

AHAHA: Preliminary results on p-adic groups and their representations.

AHAHA: Preliminary results on p-adic groups and their representations. AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation

More information

The Margulis-Zimmer Conjecture

The Margulis-Zimmer Conjecture The Margulis-Zimmer Conjecture Definition. Let K be a global field, O its ring of integers, and let G be an absolutely simple, simply connected algebraic group defined over K. Let V be the set of all inequivalent

More information

POTENTIAL MODULARITY AND APPLICATIONS

POTENTIAL MODULARITY AND APPLICATIONS POTENTIAL MODULARITY AND APPLICATIONS ANDREW SNOWDEN Contents 1. Introduction 1 2. Review of compatible systems 2 3. Potential modularity 3 4. Putting representations into compatible systems 5 5. Lifting

More information

Local Langlands correspondence and examples of ABPS conjecture

Local Langlands correspondence and examples of ABPS conjecture Local Langlands correspondence and examples of ABPS conjecture Ahmed Moussaoui UPMC Paris VI - IMJ 23/08/203 Notation F non-archimedean local field : finite extension of Q p or F p ((t)) O F = {x F, v(x)

More information

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: Non-existence of certain Galois rep Titletame inertia weight : A resume (Alg Related Topics 2009) Author(s) OZEKI, Yoshiyasu Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: 89-92 Issue Date 2011-04

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

Locally definable groups and lattices

Locally definable groups and lattices Locally definable groups and lattices Kobi Peterzil (Based on work (with, of) Eleftheriou, work of Berarducci-Edmundo-Mamino) Department of Mathematics University of Haifa Ravello 2013 Kobi Peterzil (University

More information

NOTES IN COMMUTATIVE ALGEBRA: PART 2

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

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

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

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)

AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) Kâzım Büyükboduk March 3-7, 2018 Contents 1 Commutative Algebra 1 2 Classical Iwasawa Theory (of Tate motives) 2 3 Galois cohomology and

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015

From K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface

More information

The Galois Representation Associated to Modular Forms (Part I)

The Galois Representation Associated to Modular Forms (Part I) The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2

More information

Marko Tadić. Introduction Let F be a p-adic field. The normalized absolute value on F will be denoted by F. Denote by ν : GL(n, F ) R the character

Marko Tadić. Introduction Let F be a p-adic field. The normalized absolute value on F will be denoted by F. Denote by ν : GL(n, F ) R the character ON REDUCIBILITY AND UNITARIZABILITY FOR CLASSICAL p-adic GROUPS, SOME GENERAL RESULTS Marko Tadić Abstract. The aim of this paper is to prove two general results on parabolic induction of classical p-adic

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

EXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS

EXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS EXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS HARUZO HIDA Take a totally real field F with integer ring O as a base field. We fix an identification ι : Q p = C Q. Fix a prime p>2,

More information

Lecture 7: Etale Fundamental Group - Examples

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

1 Notations and Statement of the Main Results

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