DOCSLIB.ORG

Galois Representations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Galois Representations Galois representations 1 Introduction (Vladimir) 1.1 Galois representations Galois representations really mean representations of Galois groups. Denition 1.1. An Artin representation, ρ, over a eld K is a nite dimensional complex representation of Gal(K=K) which factors through a nite quotient (by an open subgroup). I.e., there exists nite Galois extension F=K, such that ρ comes from a representation of Gal(F=K) K G F G K Gal(K=K) ! Gal(F=K) ! GLn(C) Note. e.g., I the trivial representation is the same Artin representation for all F=K p Example. Let 3 , , 3 2 −1 . The character table F = Q(ζ3; 5) K = Q G = Gal(F=Q) = S3 = s; tjs = t = id; tst = s is id (12) (123) I 1 1 1 So: 1 −1 1 ρ 2 0 −1 • I(s) = I(t) = 1 • (s) = 1,(t) = −1 p ! − 1 − 3 1 0 • ρ(s) = p2 2 , ρ(t) = 3 1 0 −1 2 − 2 Example. Dirichlet characters: Z=NZ ! C multiplicative. Q(ζN ) ∗ G=(Z=NZ) Q Hence Dirichlet characters can be seen as representation 1 χ : G! C = GL1(C) 1 Denition 1.2. A mod Galois representation is the same thing with matrices in . l GLn(Fl) Example. Let E=Q be an elliptic curve. We know E(Q)[l] =∼ Z=lZ × Z=lZ. Set F = Q(E[l]), the smallest eld generated by the x-coordinates and y-coordinates of the points of order l. We end up with a Galois group F G Q acts on and preserves addition, i.e., . Therefore we get . G E[l] pg(P + Q)p = g(P ) +pg(Q) ρ :pG ! GL2(Fl) E.g.: Let y2 = x3−5, then E[2] = 0; ( 3 5; 0); (ζ 3 5; 0); (ζ2 3 5; 0) . So take F = (ζ ; 3 5), then G = Gal(F= ) 3 3 p Q 3 p Q 3 3 permutes E[2] (we see that G = S3). Let us write down the matrix, so let P = ( 5; 0) and Q = (ζ3 5; 0). 0 1 • g 2 S be a 3-cycle, ρ(g) = 2 GL ( ) 3 1 1 2 F2 1 1 • g 2 S , be a transposition, ρ(g) = 2 GL ( ) 3 0 1 2 F2 1.2 l-adic representations sep Denition 1.3. A continuous l-adic representation over K is a continuous homomorphism Gal(K =K) ! GLd(F) for some nite . F=Ql Remark. An l-adic representation is continuous if and only if for all n there exists a nite Galois extension Fn=K sep n n such that Gal(K =Fn) ! id mod l . I.e., ρ mod l factors through a nite extension Fn=K. sep 1 + lOF lOF So Gal(K =F1) map to . lOF 1 + lOF Example. Let E=Q be an elliptic curve: basis for . • P1;Q1 E(Q)[l] basis for 2 , with , • P2;Q2 E(Q)[l ] lP2 = P1 lQ2 = Q1 . • . basis for n , with , . • Pn;Qn E(Q)[l ] lPn = Pn−1 lQn = Qn−1 For dene by , , and g 2 Gal(Q=Q) 0 ≤ an; bn; cn; dn < l gP1 = a1P1 + bQ1 gQ1 = c1P1 + d1Q1 gPn = n−1 n−1 n−1 n−1 a1 + ··· + anl Pn + (b1 + ··· + bnl )Qn and gQn = (c1 + ··· + cnl )Pn + (d1 + ··· + dnl )Qn. Then n−1 n−1 a1 + ··· + l an + : : : c1 + ··· + l cn + ::: ρ(g) = n−1 n−1 2 GL2(Zl) b1 + ··· + l bn + : : : d1 + ··· + l dn + ::: Note that ρ(g) mod ln tells you what g does to E[ln]. This does give a 2d continuous l-adic representations. 2 Galois Representations: vocabulary (Matthew S) 2.1 Galois Theory of Innite Algebraic Extensions Notation. G(F=K) := Gal(F=K), GK = G(K=K) the absolute Galois group For this section we assume K is a perfect eld (so every extensions is separable) and F is a normal algebraic extension of K. 2 Example. Let be a prime, and , let be dened as p. is xed by . Naively p K = Fp F = Fp φp φp(x) = x Fp hφpi we would think ∼ , but this is not true at all. To see this, take such that an where GFp = hφpi = Z φ 2 GFp φjFpn = φp is a sequence such that where . This shows . fang an ≡ am mod m mjn GFp > hφpi Denition 2.1. Let F=K be a Galois extension. For each nite subextension K0 consider G(K0=K). When we have two of them, such that K0 ⊆ K00 consider G(K00=K) ! G(K0=K): This denes an inverse system of groups. G(F=K) = lim G(K0=K). −K0=K B = fleft=right cosets of finite index subgroupsg Fact. G(F=K) is Hausdor, compact and totally disconnected. Theorem 2.2. Let F=K be a Galois extension. The map K0 ! G(F=K0) is a bijective inclusion reversing corres- pondence between K0 and closed subgroups of G(F=K), H ! F H . Example. Back to the example, G( n = ) = =n , so G = lim =n = . Fp Fp Z Z Fp −n Z Z Zb 2.2 Galois groups of Q. Fix , : Q ! Qp Q ! Qp Qp Fp ur Qp Fp Qp Fp Note ur ∼ . G(Qp =Qp) = GFp ∼ µr = GQp / / G(Qp =Qp) / GFp C C The kernel of such a map is Ip. Ip admits a large normal p-subgroup, Wp;the wild inertia group. Ip=Wp tame inertia Let , for a Galois extension of if : Θ:GQp G(K=Qp) Qp • Θ(Ip) = 0 we say that K is unramied • Θ(Wp) = 0 then we say that K is tamely ramied • Θ(Wp) 6= 0 then we say that K is widely ramied Example. Cyclotomic extensions: ∗ ∗ ∗ ∼ , n we have an isomorphism . Let , G(Q(ζm)=Q) = (Z=mZ) Kl = [n2Z>0 Q(ζl ) G(Kl=Q) ! Zl l : GQ ! Zl dened as for: l(σ). is ramied at and at , For , recall , then , p. σ 2 GQ,σ(ζ) = ζ Kl 1 l p 6= l φp (φp) = p φp(ζ) = ζ Conjecture. Any nite group is a discrete quotient of GQ 3 2.3 Restricting the ramication Let be a set of primes including . Let be the maximal extension of unramied outside . Let S f1g QS Q S . GQ;S = G(QS=Q) Theorem 2.3 (Hermito-Minkowski). Let nite, a nite set of primes, . Then there exists nitely K=Q S d 2 Z>0 many degree d extensions F=K unramied outside F . In particular is nite. Homcont(GK;S; Z=pZ) Theorem 2.4 (p-niteness condition). Let p be a prime, K a number eld, S a nite set of primes (non- archimedean). Let G ⊂ GK;S which is open then there exists only nitely many continuous homomorphism from G to Z=pZ. Theorem 2.5. If is a nite extension then is topologically nite generated. K Qp GK Conjecture. If , the map is an inclusion • p 2 S GQp ! GQ;S If , the map has kernel exactly . So . • p2 = S GQp ! GQ;S Ip GQp =Ip ,! GQ;S Suppose now that we have not xed our embedding. Theorem 2.6 (Chebotarov). Let K=Q be a Galois extension unramied outside a nite set of primes S. Let T ⊇ S be a nite set of primes. For each there exists a well-dened , the union of these classes is p2 = T [φp] ⊂ G(K=Q) dense in G(K=Q) 2.4 Galois Representations Denition 2.7. A Galois representation over a topological ring A unramied outside S (a set of primes) is a continuous homomorphism, . ρ : GQ;S ! GLn(A) Let M be a free rank n A-module, we can equip it with a G action: g · a = ρ(g) · a. More formally: Suppose we have a free A-module M such that: • G (a pronite group) acts continuously • M = lim M H where H runs over open normal subgroups of G, −!H then we can make M into a A[[G]]-module: A[[G]] = lim A[G=H] where H is as before. We say , a representation of , is : −H ρ GQ • unramied at p if it is trivial on Ip. • tamely ramied at p if it is trivial on Wp • otherwise it is widely ramied. Proposition 2.8. Let S be any set of primes: 1. An Artin representation, , is determined by trace on such that is unramied ρ : GQ ! GLn(C) (ρ(φp)) p2 = S ρ at p. 2. A semisimple representation, , is determined by the values of trace i where mod l ρ : GQ ! GLn(k) (^ (ρ(φp))) i = 1; : : : ; n on primes p2 = S at which ρ is unramied. If l > n it is sucient to use trace(ρ(φp)) at the same primes. 3. A semisimple -adic representations, , is determined by trace on at which is l ρ : GQ ! GLn(A) (ρ(φp)) p2 = S ρ unramied. 4 2.5 Conductors of representation The inertia group is ltered by u , closed and for Ip Ip C GQ;p u 2 [−1; 1] If then u v • u ≤ v Ip ⊃ Ip If , then u and 1 • u ≤ 0 Ip = Ip Ip = f1g u • Wp = [u>0Ip u v • Ip = \v<uIp Denition 2.9. Conductor of ρ at p is the integer 1 u Ip I mp(ρ) = codim(ρ ) + codim(ρ p )du ˆ0 . The conductor of ρ is the integer Y N(ρ) = pmp(ρ) p where p runs over all p 6= l (unless its Artin) 3 Invariants of Artin and l-adic Representations (Céline) Notation.
Load more

Recommended publications
  • Artin L-Functions
    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 fields G = Gal(L=K ) its Galois group Let (r;V ) be a representation of G and c the associated character. Let p be a prime ideal in the ring of integers OK of K , we denote by : Ip the inertia group jp the Frobenius automorphism I V p = fv 2 V : 8i 2 Ip; r(i)(v) = vg Charlotte Euvrard (LMB) Artin L-functions Atelier PARI/GP 2 / 12 1 In the particular case K = Q : L(s;c;L=Q) = ∏ det(Id − p−sj ;V Ip ) p2Z p Definition Definition The Artin L-function is defined by : 1 L(s; ;L=K ) = ; Re(s) > 1; c ∏ −s I det(Id − N(p) jp;V p ) p⊂OK where 8 −s < det(Id − N(p) r(jp)) if p is unramified −s Ip −s I det(Id−N(p) jp;V ) = det(Id − N(p) r~(jp)) if p is ramified and V p 6= f0g : 1 otherwise and 1 r~(s¯) = r(js) jI j ∑ p j2Ip Charlotte Euvrard (LMB) Artin L-functions Atelier PARI/GP 3 / 12 Definition Definition The Artin L-function is defined by : 1 L(s; ;L=K ) = ; Re(s) > 1; c ∏ −s I det(Id − N(p) jp;V p ) p⊂OK where 8 −s < det(Id − N(p) r(jp)) if p is unramified −s Ip −s I det(Id−N(p) jp;V ) = det(Id − N(p) r~(jp)) if p is ramified and V p 6= f0g : 1 otherwise and 1 r~(s¯) = r(js) jI j ∑ p j2Ip 1 In the particular case K = Q : L(s;c;L=Q) = ∏ det(Id − p−sj ;V Ip ) p2Z p Charlotte Euvrard (LMB) Artin L-functions Atelier PARI/GP 3 / 12 Sum and Euler product Proposition Let d and d0 be the degrees of the representations (r;V ) and (r~;V Ip ).
    [Show full text]
  • Part III Essay on Serre's Conjecture
    Serre’s conjecture Alex J. Best June 2015 Contents 1 Introduction 2 2 Background 2 2.1 Modular forms . 2 2.2 Galois representations . 6 3 Obtaining Galois representations from modular forms 13 3.1 Congruences for Ramanujan’s t function . 13 3.2 Attaching Galois representations to general eigenforms . 15 4 Serre’s conjecture 17 4.1 The qualitative form . 17 4.2 The refined form . 18 4.3 Results on Galois representations associated to modular forms 19 4.4 The level . 21 4.5 The character and the weight mod p − 1 . 22 4.6 The weight . 24 4.6.1 The level 2 case . 25 4.6.2 The level 1 tame case . 27 4.6.3 The level 1 non-tame case . 28 4.7 A counterexample . 30 4.8 The proof . 31 5 Examples 32 5.1 A Galois representation arising from D . 32 5.2 A Galois representation arising from a D4 extension . 33 6 Consequences 35 6.1 Finiteness of classes of Galois representations . 35 6.2 Unramified mod p Galois representations for small p . 35 6.3 Modularity of abelian varieties . 36 7 References 37 1 1 Introduction In 1987 Jean-Pierre Serre published a paper [Ser87], “Sur les representations´ modulaires de degre´ 2 de Gal(Q/Q)”, in the Duke Mathematical Journal. In this paper Serre outlined a conjecture detailing a precise relationship between certain mod p Galois representations and specific mod p modular forms. This conjecture and its variants have become known as Serre’s conjecture, or sometimes Serre’s modularity conjecture in order to distinguish it from the many other conjectures Serre has made.
    [Show full text]
  • Arxiv:0906.3146V1 [Math.NT] 17 Jun 2009
    Λ-RINGS AND THE FIELD WITH ONE ELEMENT JAMES BORGER Abstract. The theory of Λ-rings, in the sense of Grothendieck’s Riemann– Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce Λ-algebraic geometry. We show that Λ-algebraic geometry is in a precise sense an algebraic geometry over a deeper base than Z and that it has many properties predicted for algebraic geometry over the mythical field with one element. Moreover, it does this is a way that is both formally robust and closely related to active areas in arithmetic algebraic geometry. Introduction Many writers have mused about algebraic geometry over deeper bases than the ring Z of integers. Although there are several, possibly unrelated reasons for this, here I will mention just two. The first is that the combinatorial nature of enumer- ation formulas in linear algebra over finite fields Fq as q tends to 1 suggests that, just as one can work over all finite fields simultaneously by using algebraic geome- try over Z, perhaps one could bring in the combinatorics of finite sets by working over an even deeper base, one which somehow allows q = 1. It is common, follow- ing Tits [60], to call this mythical base F1, the field with one element. (See also Steinberg [58], p. 279.) The second purpose is to prove the Riemann hypothesis. With the analogy between integers and polynomials in mind, we might hope that Spec Z would be a kind of curve over Spec F1, that Spec Z ⊗F1 Z would not only make sense but be a surface bearing some kind of intersection theory, and that we could then mimic over Z Weil’s proof [64] of the Riemann hypothesis over function fields.1 Of course, since Z is the initial object in the category of rings, any theory of algebraic geometry over a deeper base would have to leave the usual world of rings and schemes.
    [Show full text]
  • A Refinement of the Artin Conductor and the Base Change Conductor
    A refinement of the Artin conductor and the base change conductor C.-L. Chai and C. Kappen Abstract For a local field K with positive residue characteristic p, we introduce, in the first part of this paper, a refinement bArK of the classical Artin distribution ArK . It takes values in cyclotomic extensions of Q which are unramified at p, and it bisects ArK in the sense that ArK is equal to the sum of bArK and its conjugate distribution. 1 Compared with 2 ArK , the bisection bArK provides a higher resolution on the level of tame ramification. In the second part of this article, we prove that the base change conductor c(T ) of an analytic K-torus T is equal to the value of bArK on the Qp-rational ∗ ∗ Galois representation X (T ) ⊗Zp Qp that is given by the character module X (T ) of T . We hereby generalize a formula for the base change conductor of an algebraic K-torus, and we obtain a formula for the base change conductor of a semiabelian K-variety with potentially ordinary reduction. Contents 1 Introduction 1 2 Notation 4 3 A bisection of the Artin character 5 4 Analytic tori 15 5 The base change conductor 17 6 A formula for the base change conductor 24 7 Application to semiabelian varieties with potentially ordinary reduc- tion 27 References 30 1. Introduction The base change conductor c(A) of a semiabelian variety A over a local field K is an interesting arithmetic invariant; it measures the growth of the volume of the N´eron model of A under base change, cf.
    [Show full text]
  • Background on Local Fields and Kummer Theory
    MATH 776 BACKGROUND ON LOCAL FIELDS AND KUMMER THEORY ANDREW SNOWDEN Our goal at the moment is to prove the Kronecker{Weber theorem. Before getting to this, we review some of the basic theory of local fields and Kummer theory, both of which will be used constantly throughout this course. 1. Structure of local fields Let K=Qp be a finite extension. We denote the ring of integers by OK . It is a DVR. There is a unique maximal ideal m, which is principal; any generator is called a uniformizer. We often write π for a uniformizer. The quotient OK =m is a finite field, called the residue field; it is often denoted k and its cardinality is often denoted q. Fix a uniformizer π. Every non-zero element x of K can be written uniquely in the form n uπ where u is a unit of OK and n 2 Z; we call n the valuation of x, and often denote it S −n v(x). We thus have K = n≥0 π OK . This shows that K is a direct union of the fractional −n ideals π OK , each of which is a free OK -module of rank one. The additive group OK is d isomorphic to Zp, where d = [K : Qp]. n × ∼ × The decomposition x = uπ shows that K = Z × U, where U = OK is the unit group. This decomposition is non-canonical, as it depends on the choice of π. The exact sequence 0 ! U ! K× !v Z ! 0 is canonical. Choosing a uniformizer is equivalent to choosing a splitting of this exact sequence.
    [Show full text]
  • L-FUNCTIONS Contents Introduction 1 1. Algebraic Number Theory 3 2
    L-FUNCTIONS ALEKSANDER HORAWA Contents Introduction1 1. Algebraic Number Theory3 2. Hecke L-functions 10 3. Tate's Thesis: Fourier Analysis in Number Fields and Hecke's Zeta Functions 13 4. Class Field Theory 52 5. Artin L-functions 55 References 79 Introduction These notes, meant as an introduction to the theory of L-functions, form a report from the author's Undergraduate Research Opportunities project at Imperial College London under the supervision of Professor David Helm. The theory of L-functions provides a way to study arithmetic properties of integers (and, more generally, integers of number fields) by first, translating them to analytic properties of certain functions, and then, using the tools and methods of analysis, to study them in this setting. The first indication that the properties of primes could be studied analytically came from Euler, who noticed the factorization (for a real number s > 1): 1 X 1 Y 1 = : ns 1 − p−s n=1 p prime This was later formalized by Riemann, who defined the ζ-function by 1 X 1 ζ(s) = ns n=1 for a complex number s with Re(s) > 1 and proved that it admits an analytic continuation by means of a functional equation. Riemann established a connection between its zeroes and the distribution of prime numbers, and it was also proven that the Prime Number Theorem 1 2 ALEKSANDER HORAWA is equivalent to the fact that no zeroes of ζ lie on the line Re(s) = 1. Innocuous as it may seem, this function is very difficult to study (the Riemann Hypothesis, asserting that the 1 non-trivial zeroes of ζ lie on the line Re(s) = 2 , still remains one of the biggest open problems in mathematics).
    [Show full text]
  • Multiplicative Reduction and the Cyclotomic Main Conjecture for Gl2
    Pacific Journal of Mathematics MULTIPLICATIVE REDUCTION AND THE CYCLOTOMIC MAIN CONJECTURE FOR GL2 CHRISTOPHER SKINNER Volume 283 No. 1 July 2016 PACIFIC JOURNAL OF MATHEMATICS Vol. 283, No. 1, 2016 dx.doi.org/10.2140/pjm.2016.283.171 MULTIPLICATIVE REDUCTION AND THE CYCLOTOMIC MAIN CONJECTURE FOR GL2 CHRISTOPHER SKINNER We show that the cyclotomic Iwasawa–Greenberg main conjecture holds for a large class of modular forms with multiplicative reduction at p, extending previous results for the good ordinary case. In fact, the multiplicative case is deduced from the good case through the use of Hida families and a simple Fitting ideal argument. 1. Introduction The cyclotomic Iwasawa–Greenberg main conjecture was established in[Skinner and Urban 2014], in combination with work of Kato[2004], for a large class of newforms f 2 Sk.00.N// that are ordinary at an odd prime p - N, subject to k ≡ 2 .mod p − 1/ and certain conditions on the mod p Galois representation associated with f . The purpose of this note is to extend this result to the case where p j N (in which case k is necessarily equal to 2). P1 n Recall that the coefficients an of the q-expansion f D nD1 anq of f at the cusp at infinity (equivalently, the Hecke eigenvalues of f ) are algebraic integers that generate a finite extension Q. f / ⊂ C of Q. Let p be an odd prime and let L be a finite extension of the completion of Q. f / at a chosen prime above p (equivalently, let L be a finite extension of Qp in a fixed algebraic closure Qp of Qp that contains the image of a chosen embedding Q.
    [Show full text]
  • Viewed As a Vector Space Over Itself) Equipped with the Gfv -Action Induced by Ψ
    New York Journal of Mathematics New York J. Math. 27 (2021) 437{467. On Bloch{Kato Selmer groups and Iwasawa theory of p-adic Galois representations Matteo Longo and Stefano Vigni Abstract. A result due to R. Greenberg gives a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic Zp-extensions at good ordinary primes p. We extend Green- berg's result to more general p-adic Galois representations, including a large subclass of those attached to p-ordinary modular forms of weight at least 4 and level Γ0(N) with p - N. Contents 1. Introduction 437 2. Galois representations 440 3. Selmer groups 446 4. Characteristic power series 449 Γ 5. Relating SelBK(A=F ) and S 450 6. Main result 464 References 465 1. Introduction A classical result of R. Greenberg ([9, Theorem 4.1]) establishes a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic Zp-extensions at good ordinary primes p. Our goal in this paper is to extend Greenberg's result to more general p-adic Galois representa- tions, including a large subclass of those coming from p-ordinary modular forms of weight at least 4 and level Γ0(N) with p a prime number such that p - N. This generalization of Greenberg's theorem will play a role in our Received November 11, 2020. 2010 Mathematics Subject Classification. 11R23, 11F80.
    [Show full text]
  • An Introduction to Motives I: Classical Motives and Motivic L-Functions
    An introduction to motives I: classical motives and motivic L-functions Minhyong Kim February 3, 2010 IHES summer school on motives, 2006 The exposition here follows the lecture delivered at the summer school, and hence, contains neither precision, breadth of comprehension, nor depth of insight. The goal rather is the curious one of providing a loose introduction to the excellent introductions that already exist, together with scattered parenthetical commentary. The inadequate nature of the exposition is certainly worst in the third section. As a remedy, the article of Schneider [40] is recommended as a good starting point for the complete novice, and that of Nekovar [37] might be consulted for more streamlined formalism. For the Bloch-Kato conjectures, the paper of Fontaine and Perrin-Riou [20] contains a very systematic treatment, while Kato [27] is certainly hard to surpass for inspiration. Kings [30], on the other hand, gives a nice summary of results (up to 2003). 1 Motivation Given a variety X over Q, it is hoped that a suitable analytic function ζ(X,s), a ζ-function of X, encodes important arithmetic invariants of X. The terminology of course stems from the fundamental function ∞ s ζ(Q,s)= n− nX=1 named by Riemann, which is interpreted in this general context as the zeta function of Spec(Q). A general zeta function should generalize Riemann’s function in a manner similar to Dedekind’s extension to number fields. Recall that the latter can be defined by replacing the sum over positive integers by a sum over ideals: s ζ(F,s)= N(I)− XI where I runs over the non-zero ideals of the ring of integers F and N(I)= F /I , and that ζ(F,s) has a simple pole at s =1 (corresponding to the trivial motiveO factor of Spec(|OF ), as| it turns out) with r1 r2 2 (2π) hF RF (s 1)ζ(F,s) s=1 = − | wF DF p| | By the unique factorization of ideals, ζ(F,s) can also be written as an Euler product s 1 (1 N( )− )− Y − P P 1 as runs over the maximal ideals of F , that is, the closed points of Spec( F ).
    [Show full text]
  • L-Functions and Non-Abelian Class Field Theory, from Artin to Langlands
    L-functions and non-abelian class field theory, from Artin to Langlands James W. Cogdell∗ Introduction Emil Artin spent the first 15 years of his career in Hamburg. Andr´eWeil charac- terized this period of Artin's career as a \love affair with the zeta function" [77]. Claude Chevalley, in his obituary of Artin [14], pointed out that Artin's use of zeta functions was to discover exact algebraic facts as opposed to estimates or approxi- mate evaluations. In particular, it seems clear to me that during this period Artin was quite interested in using the Artin L-functions as a tool for finding a non- abelian class field theory, expressed as the desire to extend results from relative abelian extensions to general extensions of number fields. Artin introduced his L-functions attached to characters of the Galois group in 1923 in hopes of developing a non-abelian class field theory. Instead, through them he was led to formulate and prove the Artin Reciprocity Law - the crowning achievement of abelian class field theory. But Artin never lost interest in pursuing a non-abelian class field theory. At the Princeton University Bicentennial Conference on the Problems of Mathematics held in 1946 \Artin stated that `My own belief is that we know it already, though no one will believe me { that whatever can be said about non-Abelian class field theory follows from what we know now, since it depends on the behavior of the broad field over the intermediate fields { and there are sufficiently many Abelian cases.' The critical thing is learning how to pass from a prime in an intermediate field to a prime in a large field.
    [Show full text]
  • Serre's Modularity Conjecture
    SERRE’S MODULARITY CONJECTURE (I) CHANDRASHEKHAR KHARE AND JEAN-PIERRE WINTENBERGER to Jean-Pierre Serre Abstract. This paper is the first part of a work which proves Serre’s modularity conjecture. We first prove the cases p 6= 2 and odd conduc- tor, and p = 2 and weight 2, see Theorem 1.2, modulo Theorems 4.1 and 5.1. Theorems 4.1 and 5.1 are proven in the second part, see [23]. We then reduce the general case to a modularity statement for 2-adic lifts of modular mod 2 representations. This statement is now a theorem of Kisin [28]. Contents 1. Introduction 2 1.1. Main result 2 1.2. The nature of the proof of Theorem 1.2 3 1.3. A comparison to the approach of [22] 3 1.4. Description of the paper 4 1.5. Notation 4 2. A crucial definition 4 3. Proof of Theorem 1.2 5 3.1. Auxiliary theorems 5 3.2. Proof of Theorem 1.2 6 4. Modularity lifting results 6 5. Compatible systems of geometric representations 7 6. Some utilitarian lemmas 10 7. Estimates on primes 12 8. Proofs of the auxiliary theorems 12 8.1. Proof of Theorem 3.1 12 8.2. Proof of Theorem 3.2 13 8.3. Proof of Theorem 3.3 15 8.4. Proof of Theorem 3.4 17 9. The general case 18 10. Modularity of compatible systems 19 CK was partially supported by NSF grants DMS 0355528 and DMS 0653821, the Miller Institute for Basic Research in Science, University of California Berkeley, and a Guggenheim fellowship.
    [Show full text]
  • L-FUNCTIONS and CYCLOTOMIC UNITS 1. Introduction
    L-FUNCTIONS AND CYCLOTOMIC UNITS TOM WESTON, UNIVERSITY OF MICHIGAN 1. Introduction Let K be a number field with r1 real embeddings and r2 pairs of complex con- jugate embeddings. If ζK (s) is the Dedekind zeta function of K, then ζK (s) has a zero of order r1 + r2 1 at s = 0, and the value of the first non-zero derivative is given by the Dirichlet− class number formula: (r1+r2 1) hK RK ζK − (0) = : − wK Here RK is the regulator of K, wK is the number of roots of unity in K and hK is the class number of K. This formula is a striking connection between arithmetic and analysis, and there have been many attempts to generalize it to other L-functions: one expects that the value of a \motivic" L-function at an integer point should involve a transcendental factor, a boring rational factor, and an interesting rational factor. In the case of the Dedekind zeta function, these roles are played by RK , wK , and hK , respectively. In the general case one expects that the interesting rational factor is the order of a certain Selmer group. 2. Selmer groups and Kolyvagin systems Let us recall the definition of the Selmer group of a p-adic Galois representation. Let T be a free Zp-module with a continuous action of the absolute Galois group ¯ GK = Gal(K=K). We define the Cartier dual of T by T ∗ = HomZp (T; µp1 ) with the adjoint Galois action. Let be a Selmer structure on T . Recall that consists of choices of local Selmer structuresF F 1 1 H (Kv;T ) H (Kv;T ) F ⊆ for each place v of K; these are assumed to coincide with the unramified choice at almost all places v.
    [Show full text]