9 Artin representations

Size: px
Start display at page:

Download "9 Artin representations"

Transcription

1 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 (ρ, V ) is a continuous homomorphism ρ : G K GL(V ) for some finite dimensional C-vector space V. Here GL(V ) is the space of automorphisms of V equipped with the natural topology from that of C. We say (ρ, V ) and (ρ, V ) are equivalent if there is an isomorphisms f : V V such that ρ = f ρ f 1. We identify equivalent Artin representations. It is common to abbreviate (ρ, V ) to ρ when there is no ambiguity. For any decomposition of vector space V = V 1 V 2, we have an inclusion of groups ι : GL(V 1 ) GL(V 2 ) GL(V ) where GL(V 1 ) acts trivially on V 2 and vise versa. For ρ i : G K GL(V i ), i = 1, 2, we say ρ = ρ 1 ρ 2 if ρ = ι (ρ 1, ρ 2 ) and say ρ is the direct sum of the subrepresentations ρ 1 and ρ 2. If this happens for some V 1, V 2 non-trivial we say ρ is reducible, and irreducible otherwise. Representation theory of the finite group G K / ker(ρ) gives Lemma 9.1. Every Artin representation is a unique direct sum (up to permutation) of irreducible subrepresentations. We have also seen Lemma 9.2. For any Artin representation ρ, Im(ρ) is finite. The kernel of ρ is a finite index open normal subgroup, and thus ker ρ = for some finite Galois extension L/K. Recall also that for any place v for K, we can fixed an embedding of separable closures K sep Kv sep, which induces ι v : G Kv G K. Different choices simply conjugate ι v by elements in G K. Definition 9.3. ρ is said to be unramified (resp. tamely ramified) at a non-archimedean place v iff the following equivalent condition holds: (i) L/K is unramified (resp. tamely ramified) at v. (ii) The image of the inertia I v (resp. wild inertia P v ) of G Kv is contained in ker ρ. It is obvious that any Artin representation is unramified almost everywhere. When ρ is unramified at v, the composition G Kv G K ρ GL(V ) factors through GKv /I v = Frob v. In general, let V Iv V be the subspace fixed by ρ(i v ), then Frob v acts on V Iv. Definition 9.4. Let (ρ, V ) be an Artin representation and v a non-archimedean place of K. We define the Artin local L-factor Recall Γ R (s) = π s/2 Γ(s/2). L v (s, ρ) := det(id V Iv q s v ρ(frob v ) V Iv ) 1. 1

2 Definition 9.5. Let (ρ, V ) be an Artin representation and v an archimedean place of K. We define the Artin local L-factor at v as follows: either K v = R and ρ = (triv) n 1 + (sgn) n 2, or K v = C and ρ = (triv) dim V is trivial. In the former case, we put L v (s, ρ) = Γ R (s) n 1 Γ R (s + 1) n 2. In the latter case put L v (s, ρ) = Γ R (s) dim V Γ R (s + 1) dim V. Remark 9.6. Despite that we chose a global language, one sees that all these definitions are purely local. For example, for F a local field and ρ : G F GL(V ) a continuous representation (i.e. homomorphism) we can define L F (s, ρ) likewise, so that L v (s, ρ) = L Kv (s, ρ GKv ). Definition 9.7. Let (ρ, V ) be an Artin representation. The Artin L-function is the Euler product L(s, ρ) = L v (s, ρ) v The Euler product converges again for Re(s) > 1. This is because as Im(ρ) is finite, Frob v is diagonalizable with eigenvalues being roots of unity. One sees directly that when dim V = 1, our Artin representations become Dirichlet characters, and our Artin L-functions agrees with the Dirichlet L-functions we had last time. In fact, they are compatible in even greater generality. Suppose G is any group and H G a (say finite index) subgroup, and ρ H : H GL(V ) a representation of H. One may think of V as a left C[H]-module, and form C[G] C[H] V as a left C[G]-module. This gives a representation ρ G : G GL(C[G] C[H] V ) and we write ind G H ρ H := ρ G. For any finite separable extension L/K and an Artin representation ρ L : GL(V ) for L, one checks that ind G K ρ L is an Artin representation for K. Proposition 9.8. Let L/K be a finite separable extension and ρ L be an Artin representation for L. Then L v (s, ind G K ρ L ) = w v L w (s, ρ L ) where w runs over places of L above v. Corollary 9.9. Let L/K be a finite separable extension and ρ L be an Artin representation for L. Then L(s, ind G K ρ L ) = L(s, ρ L ) where the first Artin L-function is of the Artin representation ind G K ρ L for K. To prove the proposition, we first establish its purely local part: 2

3 Lemma Let E/F be a finite separable extension of local fields and ρ E : GL(V ) a continuous representation. Then for L F (s, ind G F ρ E ) = L E (s, ρ E ). Proof. The case for F archimedean is obvious; we assume F non-archimedean. Let E be the maximal unramified subextension of E/F. Then we have from definition ind G F ρ E = ind G F G ind G E G E E ρ E, and the desired equality will follow from the two equalities L F (s, ind G F ρ E ) = L E (s, ind G E ρ E ) = L E (s, ρ E ). In other words, it suffices to deal with the case E = E and F = E. Let us write ρ F = ind G F ρ E. Also write I F the inertia in G F and likewise I E = I F the inertia in. First we consider the case E = F, so that E/F is totally ramified and equivalently G F = I F. In particular G F /I F = GE /I E and they share the same Frobenius σ. Let {θ 0 = 1, θ 1..., θ e 1 } be a set of representatives of G F / = I F / = IF /I E. Then e 1 V := C[G F ] C[GE ] V = θ i V and one has V I E V I F by v (v, θ 1 (v),...,, θ e 1 (v)). This is actually an isomorphism; every element in V fixed by I F, i.e. by I E and by θ 1,..., θ e 1 has to be of this form. Hence L F (s, ind G F ρ E ) = det(id V I F ρ F (σ) V I F ) 1 = det(id V I E ρ E (σ) V I E ) 1 = L E (s, ρ E ). Now suppose E = E, so that E/F is unramified and equivalently I F = I E. Let σ G F be any Frobenius. We have {1,..., σ f 1 } as a set of representatives of G F /, and σ f is a Frobenius in. We have f 1 f 1 V := C[G F ] C[GE ] V = σ i V, and V I F = σ i V I E. i=0 i=0 i=0 By the elementary properties of determinants this gives L F (s, ind G F ρ E ) = det(id V I F ρ F (σ) V I F ) 1 = det(id V I E ρ E (σ n ) V I E ) 1 = L E (s, ρ E ). Proof of Proposition 9.8. Now we are ready to prove the global result. The idea is that if {α i } is a set of representatives of G K /. Then we have V := C[G K ] C[GL ]V = i α iv. Now Frob v acts on V. The action is related to the action of G Kv on G K / We have a G Kv -equivariant (left action) bijection G K / = G Kv /w. w v Thus one has V = w v C[G K v ] C[GLw ] V as representations of G Kv, which is enough for defining L-factors. The desired identity thus follows from Lemma

4 Example Let L/K be any quadratic (separable) extension of global field. Let triv K (resp. triv L ) be the trivial representation of G K (resp. ) and χ L/K be the non-trivial character of Gal(L/K) pulled-back to G K. One has ind G K ind L = ind K χ L/K, and thus by Corollary 9.9 we have L(s, ind L ) = L(s, ind G K ind K ) = L(s, ind K )L(s, χ L/K ) which is well-known at least when K = Q. By the standard character theory of finite (or compact Hausdorff) groups, we know we can identify representations of Gal(L/K) (or G K ) as characters, i.e. certain functions on Gal(L/K) (or G K ), and one can talk about possibly negative integral linear combination of representations as virtual representations. Suppose now ρ as a representation of G = Gal(L/K) (or G = G K ) is an integral combination of certain ind G H χ for finite index open subgroups H G and 1-dimensional representations χ : H C. Then by Corollary 9.9 and our results for L-functions of Dirichlet characters, we see that L(s, ρ) is meromorphic for s C. This is indeed the case by a theorem of Brauer Theorem (Brauer) Let G be a finite group. Then any representation of G is an integral linear combination of inductions of 1-dimensional characters of subgroups H G. In fact, all H can be chosen among subgroups for which each is a direct product of a cyclic group and a p-group. Proof. We refer to the 7-page paper of Brauer and Tate, On the characters of finite groups, Ann. of Maths., 62, As taking dual of a representation is a conjugate-linear action on the space of characters, we have a functional equation relating L(s, ρ) and L(1 s, ρ ) where ρ is the dual representation. By Brauer s theorem we thus have Corollary Let ρ be any Artin representation. Then L(s, ρ) is meromorphic for s C, and there exists constants C(ρ), N(ρ) Q >0 as well as ɛ(ρ) C, ɛ(ρ) = 1 such that L(1 s, ρ ) = (C(ρ)N(ρ)) 1/2 ɛ(ρ)l(s, ρ). We would like to say a few words about C(ρ), N(ρ) and ɛ(ρ). Recall that when dim(ρ) = 1, we had N = v q nv v where the product runs over non-archimedean places v and n v is such that our chosen 1 additive character ψ K is trivial on ϖv nv O Kv but non-trivial on ϖv nv 1 O Kv. When K is a number field, N is the norm of the different to Q. When K contain F q as its constant field, we have N = q 2g 2. 1 When one scales the choice by some x K, the product formula ensures that N is scaled by x = 1, thus invariant. 4

5 Now we would like to put simply N(ρ) = N dim(ρ) ; in particular N(ρ) Z when K is a number field. It is then not an easy task to find a general formula for C(ρ). This had also been carried out by E. Artin and involves substantial interplay with ramification groups and class field theory. Recall that for a finite Galois extension of local fields E/F with G = Gal(E/F ), the lower ramification groups are defined by G i = {σ G σ(x) x ϖ i+1 E O E, x O E }, i 0 so that G 0 is the inertia and G 1 is the wild inertia. We define c E/F : G C as 0, g G 0 c E/F (g) = (i + 1) G G 0, g G i\g i+1 g G\{1} c E/F (g), g = 1 One directly computes that for any representation ρ of G with character χ ρ : G C we have (c E/F, χ ρ ) = 1 c E/F (g)χ ρ (g) = 1 χ ρ (1) χ ρ (σ). G G 0 g G i 0 σ G i Theorem (Artin) (c E/F, χ ρ ) Z 0. In other words, c is the character of some representation. Now let ρ be an Artin representation for our global field K which factor through Gal(L/K) for some L/K finite Galois. For each non-archimedean place v, take any w v of L, let G v = Gal(L w /K v ) Gal(L/K) and let χ ρv be the character of ρ Gv. Let the Artin conductor c(ρ) be c(ρ) := p (c Lw/Kv,χρv ) v. v and we also put C(ρ) := N(c(ρ)) = [O K : c(ρ)]. (When K is a global field, we should think of c(ρ) as a divisor and C(ρ) = q deg(c(ρ)).) In particular we see C(ρ) Z. Theorem (Artin) Our C(ρ) and N(ρ) are what is needed in Corollary There remains the question of expressing ɛ(ρ). It will be desirable to write ɛ(ρ) = v ɛ v(ρ, ψ). This turns out to be difficult: Theorem (Deligne) There exist unique constants ɛ F (ρ, ψ F ) C of absolute value 1 for any local field F, non-trivial additive character ψ F and virtual C-representation ρ of G F, such that ɛ F (ρ, ψ F ) is the same as what we had when ρ is a 1-dimensional (actual) represen- (i) tation. (ii) ɛ F (ρ 1 ρ 2, ψ F ) = ɛ F (ρ 1, ψ F )ɛ F (ρ 2, ψ F ). 5

6 (iii) Suppose E/F is a finite extension, ψ E = ψ F Tr E/F, and ρ E is any virtual representation of degree 0 of, we have ɛ E (ρ E, ψ E ) = ɛ F (ind G F ρ E, ψ F ). (iv) Let K be our global field with chosen ψ K : A K C. Write ψ Kv ɛ(ρ) = ɛ Kv (ρ GKv, ψ Kv ). v := ψ K Kv. Then Lastly, we mention the Artin Conjecture, which is one of the many motivations for Langlands program: Conjecture Let ρ be an irreducible non-trivial Artin representation. Then L(s, ρ) is entire. In the case when K is a global function field (say the function field of the algebraic curve X), the conjecture was proved by Weil in the case when K is a global function field. Nowadays this case is a standard application of Grothendieck-Lefschetz fixed point theorem, which allows us to express L(s, ρ) in terms of the l-adic cohomology of the local system on X associated to ρ. (In particular, the poles of L(s, ρ) comes from even degree l-adic cohomology in Hét even (X, ρ) = Hét 0 (X, ρ) H2 ét (X, ρ) = Hét 0 (X, ρ) H0 ét (X, ρ ) = 0, thus there are no poles.) 6

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

10 l-adic representations

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

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

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

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

GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY

GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY AVNER ASH, DARRIN DOUD, AND DAVID POLLACK Abstract. In this paper we extend a conjecture of Ash and Sinnott relating niveau

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

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

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

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

On Artin s L-Functions*

On Artin s L-Functions* On Artin s L-Functions* by R.P. Langlands The nonabelian Artin L-functions and their generalizations by Weil are known to be meromorphic in the whole complex plane and to satisfy a functional equation

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

Raising the Levels of Modular Representations Kenneth A. Ribet

Raising the Levels of Modular Representations Kenneth A. Ribet 1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is

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

Mod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi

Mod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi Mod p Galois representations of solvable image Hyunsuk Moon and Yuichiro Taguchi Abstract. It is proved that, for a number field K and a prime number p, there exist only finitely many isomorphism classes

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

Introduction to L-functions I: Tate s Thesis

Introduction to L-functions I: Tate s Thesis Introduction to L-functions I: Tate s Thesis References: - J. Tate, Fourier analysis in number fields and Hecke s zeta functions, in Algebraic Number Theory, edited by Cassels and Frohlich. - S. Kudla,

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

Artin L-functions. Charlotte Euvrard. January 10, Laboratoire de Mathématiques de Besançon

Artin L-functions. Charlotte Euvrard. January 10, Laboratoire de Mathématiques de Besançon Artin L-functions Charlotte Euvrard Laboratoire de Mathématiques de Besançon January 10, 2014 Charlotte Euvrard (LMB) Artin L-functions Atelier PARI/GP 1 / 12 Definition L/K Galois extension of number

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

Artin Conjecture for p-adic Galois Representations of Function Fields

Artin Conjecture for p-adic Galois Representations of Function Fields Artin Conjecture for p-adic Galois Representations of Function Fields Ruochuan Liu Beijing International Center for Mathematical Research Peking University, Beijing, 100871 liuruochuan@math.pku.edu.cn

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

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

Class Field Theory. Travis Dirle. December 4, 2016

Class Field Theory. Travis Dirle. December 4, 2016 Class Field Theory 2 Class Field Theory Travis Dirle December 4, 2016 2 Contents 1 Global Class Field Theory 1 1.1 Ray Class Groups......................... 1 1.2 The Idèlic Theory.........................

More information

SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p

SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic

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

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

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

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract

More information

Cover Page. The handle holds various files of this Leiden University dissertation.

Cover Page. The handle   holds various files of this Leiden University dissertation. Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter

More information

Galois Representations

Galois Representations Galois Representations Sommersemester 2008 Universität Duisburg-Essen Gabor Wiese gabor.wiese@uni-due.de Version of 13th February 2012 2 Preface This lecture gives an introduction to the theory of Galois

More information

LECTURE 1: LANGLANDS CORRESPONDENCES FOR GL n. We begin with variations on the theme of Converse Theorems. This is a coda to SF s lectures.

LECTURE 1: LANGLANDS CORRESPONDENCES FOR GL n. We begin with variations on the theme of Converse Theorems. This is a coda to SF s lectures. LECTURE 1: LANGLANDS CORRESPONDENCES FOR GL n J.W. COGDELL 1. Converse Theorems We begin with variations on the theme of Converse Theorems. This is a coda to SF s lectures. In 1921 1922 Hamburger had characterized

More information

Galois Representations

Galois Representations 9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

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

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

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

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

Some algebraic number theory and the reciprocity map

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

arxiv: v2 [math.nt] 12 Dec 2018

arxiv: v2 [math.nt] 12 Dec 2018 LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this

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

ON THE GALOIS STRUCTURE OF ARTIN S L-FUNCTION AT ITS CRITICAL POINTS KENNETH WARD

ON THE GALOIS STRUCTURE OF ARTIN S L-FUNCTION AT ITS CRITICAL POINTS KENNETH WARD ON THE GALOIS STRUCTURE OF ARTIN S L-FUNCTION AT ITS CRITICAL POINTS By KENNETH WARD Bachelor of Arts of mathematics The University of Chicago Chicago, Illinois, United States of America 2004 Submitted

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

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

GEOMETRIC CLASS FIELD THEORY I

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

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi

Induction formula for the Artin conductors of mod l Galois representations. Yuichiro Taguchi Induction formula for the Artin conductors of mod l Galois representations Yuichiro Taguchi Abstract. A formula is given to describe how the Artin conductor of a mod l Galois representation behaves with

More information

. Algebraic tori and a computational inverse Galois problem. David Roe. Jan 26, 2016

. Algebraic tori and a computational inverse Galois problem. David Roe. Jan 26, 2016 Algebraic tori and a computational inverse Galois problem David Roe Department of Mathematics University of Pittsburgh Jan 26, 2016 Outline 1 Algebraic Tori 2 Finite Subgroups of GL n (Z) 3 Tori over R

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

Odds and ends on equivariant cohomology and traces

Odds and ends on equivariant cohomology and traces Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.

More information

KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS

KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS SEAN KELLY Abstract. Kummer s criterion is that p divides the class number of Q(µ p) if and only if it divides the numerator of some Bernoulli number

More information

Existence of Taylor-Wiles Primes

Existence of Taylor-Wiles Primes Existence of Taylor-Wiles Primes Michael Lipnowski Introduction Let F be a totally real number field, ρ = ρ f : G F GL 2 (k) be ( an odd residually ) modular representation (odd meaning that complex conjugation

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

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

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

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

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

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

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

Proof of the Shafarevich conjecture

Proof of the Shafarevich conjecture Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel

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

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss

More information

Faltings Finiteness Theorems

Faltings Finiteness Theorems Faltings Finiteness Theorems Michael Lipnowski Introduction: How Everything Fits Together This note outlines Faltings proof of the finiteness theorems for abelian varieties and curves. Let K be a number

More information

3 Extensions of local fields

3 Extensions of local fields 3 Extensions of local fields ocal field = field complete wrt an AV. (Sometimes people are more restrictive e.g. some people require the field to be locally compact.) We re going to study extensions of

More information

Higher Ramification Groups

Higher Ramification Groups COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With

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

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

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field

More information

Representation Theory

Representation Theory Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim

More information

Part II Galois Theory

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

Unramified CFT for proper smooth varieties

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

(E.-W. Zink, with A. Silberger)

(E.-W. Zink, with A. Silberger) 1 Langlands classification for L-parameters A talk dedicated to Sergei Vladimirovich Vostokov on the occasion of his 70th birthday St.Petersburg im Mai 2015 (E.-W. Zink, with A. Silberger) In the representation

More information

Stark s Basic Conjecture

Stark s Basic Conjecture IAS/Park City Mathematics Series Volume XX, XXXX Stark s Basic Conjecture John Tate Some Notation. In these notes, k denotes a number field, i.e., a finite extension of the field Q of rationals, and O

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

M ath. Res. Lett. 15 (2008), no. 6, c International Press 2008

M ath. Res. Lett. 15 (2008), no. 6, c International Press 2008 M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.

More information

24 Artin reciprocity in the unramified case

24 Artin reciprocity in the unramified case 18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m

More information

Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory

Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.

More information

Semistable reduction of curves and computation of bad Euler factors of L-functions

Semistable reduction of curves and computation of bad Euler factors of L-functions Semistable reduction of curves and computation of bad Euler factors of L-functions Notes for a minicourse at ICERM: preliminary version, comments welcome Irene I. Bouw and Stefan Wewers Updated version:

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

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c

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

5. Kato s higher local class field theory

5. Kato s higher local class field theory ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato

More information

TRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN

TRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN TRILINAR FORMS AND TRIPL PRODUCT PSILON FACTORS W TCK GAN Abstract. We give a short and simple proof of a theorem of Dipendra Prasad on the existence and non-existence of invariant trilinear forms on a

More information

Mod p Galois representations attached to modular forms

Mod p Galois representations attached to modular forms Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended

More information

Anabelian Phenomena in Geometry and Arithmetic

Anabelian Phenomena in Geometry and Arithmetic Anabelian Phenomena in Geometry and Arithmetic Florian Pop, University of Pennsylvania PART I: Introduction and motivation The term anabelian was invented by Grothendieck, and a possible translation of

More information

A bisection of the Artin conductor

A bisection of the Artin conductor A bisection of the Artin conductor Ching-Li Chai Version 2., September 2, 2003 Abstract Let K be a local field such that the residue field κ is perfect and char(κ) = p > 0. For each finite quotient Γ of

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

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

Weil Representations of Finite Fields

Weil Representations of Finite Fields Weil Representations of Finite Fields Tim Tzaneteas December, 005 1 Introduction These notes present some of the results of a paper by Paul Gérardin [1] concerning the representations of matrix groups

More information

Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields

Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields journal of number theory 57, 114121 article no. 0037 Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields Keqin Feng and Fei Xu Department of Mathematics, University of Science and Technology of

More information

Reciprocity maps with restricted ramification

Reciprocity maps with restricted ramification Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at

More information

Isogeny invariance of the BSD formula

Isogeny invariance of the BSD formula Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic

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

On the modular curve X 0 (23)

On the modular curve X 0 (23) On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that

More information

Colette Mœglin and Marko Tadić

Colette Mœglin and Marko Tadić CONSTRUCTION OF DISCRETE SERIES FOR CLASSICAL p-adic GROUPS Colette Mœglin and Marko Tadić Introduction The goal of this paper is to complete (after [M2] the classification of irreducible square integrable

More information

Problem Set 1: Local Fields

Problem Set 1: Local Fields Note: In this document, unless otherwise noted, all rings are assumed to be commutative with 1, and all ring homomorphisms take 1 to 1. The sources [HH], [BW], [CS], and [MS] are the notes of Harbater-Hartmann,

More information