DOCSLIB.ORG

The Langlands Program? Solomon Friedberg Communicated by Cesar E

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Langlands Program? Solomon Friedberg Communicated by Cesar E THE GRADUATE STUDENT SECTION WHAT IS… the Langlands Program? Solomon Friedberg Communicated by Cesar E. Silva The Langlands Program envisions deep links between center by a character, and that are square-integrable with arithmetic and analysis, and uses constructions in arith- respect to a natural group-invariant measure. The group metic to predict maps between spaces of functions on 퐺(ℝ) acts by the right regular representation, and it different groups. The conjectures of the Langlands turns out that to each invariant subspace 휋 (with some Program have shaped research in number theory, rep- conditions) one can once again attach an Euler product resentation theory, and other areas for many years, but 퐿(푠, 휋) that converges for ℜ(푠) sufficiently large, called they are very deep, and much still remains to be done. the standard 퐿-function of 휋. The space of functions For arithmetic, if 퐾 is a finite Galois extension of 휋 is called an automorphic representation. (One may the rationals we have the Galois group Gal(퐾/ℚ) of all also consider certain other functions on Γ\퐺(ℝ) and ring automorphisms of 퐾 fixing ℚ. Frobenius suggested certain quotient spaces.) The subject of automorphic studying groups by embedding them into groups of forms studies the functions in 휋, and shows that for matrices, so fix a homomorphism 휌∶ Gal(퐾/ℚ) → 퐺퐿(푉) most 휋 the “automorphic” L-series 퐿(푠, 휋) is entire. A where 푉 is a finite dimensional complex vector space. For first example is 퐺 = 퐺퐿1, and there one recovers (from almost all primes 푝 one can define a certain conjugacy the adelic version) the theory of Dirichlet 퐿-functions × × class Frob푝 in the Galois group. Artin introduced a attached to a Dirichlet character 휒 ∶ (ℤ/푁ℤ) → ℂ , and function in a complex variable 푠 built out of the values used by Dirichlet to prove his primes in progressions of the characteristic polynomials for 휌(Frob푝): 퐿(푠, 휌) = theorem. ′ −푠 −1 ∏푝 det(I푉 − 휌(Frob푝)푝 ) . Here the product is an Euler Langlands’s first insight is that Artin’s conjecture product, that is a product over the primes 푝; it converges should be true because Galois representations are con- for ℜ(푠) > 1. Also, there is a specific adjustment at a nected to automorphic representations. More precisely, finite number of primes (indicated by the apostrophe he conjectures that each Artin 퐿-function 퐿(푠, 휌) should in the product above) which we suppress. For example, in fact be an automorphic 퐿-function 퐿(푠, 휋), with 휋 on if 푉 is one dimensional and 휌 is trivial, then 퐿(푠, 휌) is 퐺퐿dim 푉. If dim 푉 = 1 this assertion states that the Artin exactly the Riemann zeta function. Artin made the deep 퐿-function is in fact a Dirichlet 퐿-function; this is Artin’s conjecture that these “Artin 퐿-functions” (which Brauer famous reciprocity law. Incidentally, the converse to this showed have meromorphic continuation to 푠 ∈ ℂ) are conjecture is false—there are far more analytic objects entire if 휌 is irreducible and nontrivial. than algebraic ones. On the analysis side, let 퐺 be a (nice) algebraic group This is already remarkable. But Langlands suggests 2 such as 퐺퐿푛. Then one can study the space 퐿 (Γ\퐺(ℝ)) much more. There are natural (and easy) algebraic con- consisting of complex-valued functions on 퐺(ℝ) that are structions on the arithmetic side. Langlands conjectures invariant under a large discrete subgroup Γ (such as a that there should be matching (but, it seems, not easy) finite index subgroup of 퐺퐿푛(ℤ)), transform under the constructions on the analytic side. For example, suppose 푉 and 푊 are two finite dimen- Solomon Friedberg is James P. McIntyre professor of mathematics sional vector spaces and 휎 ∶ 퐺퐿(푉) → 퐺퐿(푊) is a group at Boston College. His email address is solomon.friedberg@bc homomorphism. (Concretely, 푊 could be the symmetric .edu. 푛th power Sym푛(푉) for some fixed 푛 and 휎 the natural For permission to reprint this article, please contact: map.) Then there is a map on the Galois side given by [email protected]. composition: 휌 ↦ 휎 ∘ 휌. If each of these Galois represen- DOI: http://dx.doi.org/10.1090/noti1686 tations corresponds to an automorphic representation, June/July 2018 Notices of the AMS 663 THE GRADUATE STUDENT SECTION 휌 / /o /o /o /o / o o/ o/ o/ Gal(퐾/ℚ)L 퐺퐿(푉) 퐿(푠, 휌) a special case of 퐿(푠, 휋) 휋 on 퐺퐿dim 푉 LLL L휎∘휌L LLL 휎 Functoriality L& /o /o /o / o o/ o/ o/ 퐺퐿(푊) 퐿(푠, 휎 ∘ 휌) a special case of 퐿(푠, Π) Π on 퐺퐿dim 푊 Figure 1. Natural maps for Galois representations lead to conjectured functoriality maps. 휌 / /o /o /o / o o/ o/ o/ Gal(퐾/ℚ)KK 퐻(ℂ) _ 퐿(푠, 휌) a special case of 퐿(푠, 휋) 휋 on dual group 퐺 KKK K휎∘휌 Endoscopic KK 휎 KK Transfer K% /o /o /o / 퐿(푠,휎∘휌) 퐿(푠,Π) o o/ o/ o/ o/ o/ 퐺퐿(푉) =퐿(푠,휌) a special case of =퐿(푠,휋) Π on 퐺퐿dim 푉 Figure 2. Endoscopic transfer: automorphic representations on different groups with the same 퐿-function. then there should be a map taking those spaces of func- also predicts maps of automorphic representations cor- tions attached to 퐺퐿dim 푉 to certain spaces of functions responding to other algebraic operations: a map that is a attached to 퐺퐿dim 푊. The Langlands Functoriality Conjec- counterpart of the algebraic operation of tensor product, ture asserts that there should be a full matching map and maps corresponding to induction and restriction of on the analytic side, taking general automorphic repre- Galois representations. These last maps require a tower of sentations 휋 on quotients of 퐺퐿dim 푉(ℝ) to automorphic field extensions and base fields other than ℚ, a topic that representations Π on quotients of 퐺퐿dim 푊(ℝ), such that is best addressed by passing to the adeles. The automor- the 퐿-functions correspond. (More about this momentar- phic induction and restriction maps for the general linear ily.) See Figure 1. There is no simple reason why the groups were constructed for cyclic extensions by Arthur analysis on these two groups, each modulo a discrete and Clozel using the trace formula, following earlier work subgroup, should be related; indeed, even if one can find for 퐺퐿2 by Langlands and others. So far we have only made use of general linear groups. a natural way to construct a function on 퐺퐿dim 푊(ℝ) from Langlands also addresses how other algebraic groups one on 퐺퐿dim 푉(ℝ), it is quite difficult to make one that is enter the story. Suppose that the image of the Galois invariant under a large discrete subgroup of 퐺퐿dim 푊(ℝ) and square-integrable on the quotient. The existence of representation 휌 is contained in a subgroup 퐻(ℂ) of this map in general would have important consequences 퐺퐿(푉), which is the complex points of a (nice) algebraic including the generalized Ramanujan Conjecture. It is group 퐻. Then Langlands conjectures that there should known in only a few cases. be an automorphic representation 휋 on a group 퐺, the The correspondence of 퐿-functions is a key feature of dual group of 퐻 (the definition involves Lie theoretic data), the Langlands Functoriality Conjecture. For the conjec- whose 퐿-function matches that of 휌. For example, suppose tural map 휋 ↦ Π described above, this means that if (for the image of 휌 stabilizes a nondegenerate symplectic form on 푉, so after a choice of basis, 휌 maps into ℜ(푠) sufficiently large) the symplectic group 푆푝푛(ℂ) ⊂ 퐺퐿푛(ℂ) for some even ′ −푠 −1 퐿(푠, 휋) = ∏ det(Idim 푉 − 퐴푝푝 ) number 푛. Then Langlands conjectures that 휌 should 푝 correspond (in the sense of matching 퐿-functions) to an where 퐴푝 is an invertible diagonal matrix for all but automorphic representation 휋 on the special orthogonal finitely many primes 푝, then the new product group 푆푂푛+1. ′ −푠 −1 But wait a moment! If we simply forget that 휌 maps into 퐿(푠, 휋, 휎) ∶= ∏ det(Idim 푊 − 휎(퐴푝)푝 ) a subgroup 퐻(ℂ) of 퐺퐿(푉), then 휌 should also correspond 푝 to an automorphic representation Π of 퐺퐿dim 푉. Langlands matches 퐿(푠, Π) for almost all primes 푝. In fact, similarly then suggests that every automorphic representation 휋 to the Riemann zeta function, all automorphic 퐿-functions of 퐺 should correspond to an automorphic representa- should have analytic continuation to ℂ and satisfy func- tion Π of 퐺퐿dim 푉, with 퐿(푠, 휋) = 퐿(푠, Π). See Figure 2. tional equations under 푠 ↦ 1 − 푠. We know this property To summarize, given an automorphic representation on for 퐿(푠, 휋) but not for 퐿(푠, 휋, 휎) in general (let alone that a symplectic or orthogonal group, there should be a 퐿(푠, 휋, 휎) matches the standard 퐿-function for an auto- corresponding automorphic representation on a general morphic representation Π on 퐺퐿dim 푊). The continuation linear group with the same 퐿-function, corresponding of 퐿(푠, 휋, 휎) to ℂ for a given symmetric power 휎 already to the natural inclusion on the dual group side. Such carries important analytic information. maps are called endoscopic liftings (they ‘see inside’ the Just as Langlands predicts a map of spaces of func- general linear group). They were established for certain tions that corresponds to the homomorphism 휎, he classes of automorphic representations by Cogdell, Kim, 664 Notices of the AMS Volume 65, Number 6 THE GRADUATE STUDENT SECTION for Galois representations are the shadows of maps for all automorphic representations continues to expand.
Load more

Recommended publications
  • Robert P. Langlands
    The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for Advanced Study, Princeton, USA, “for his visionary program connecting representation theory to number theory.” The Langlands program predicts the existence of a tight The group GL(2) is the simplest example of a non- web of connections between automorphic forms and abelian reductive group. To proceed to the general Galois groups. case, Langlands saw the need for a stable trace formula, now established by Arthur. Together with Ngô’s proof The great achievement of algebraic number theory in of the so-called Fundamental Lemma, conjectured by the first third of the 20th century was class field theory. Langlands, this has led to the endoscopic classification This theory is a vast generalisation of Gauss’s law of of automorphic representations of classical groups, in quadratic reciprocity. It provides an array of powerful terms of those of general linear groups. tools for studying problems governed by abelian Galois groups. The non-abelian case turns out to be Functoriality dramatically unifies a number of important substantially deeper. Langlands, in a famous letter to results, including the modularity of elliptic curves and André Weil in 1967, outlined a far-reaching program that the proof of the Sato-Tate conjecture. It also lends revolutionised the understanding of this problem. weight to many outstanding conjectures, such as the Ramanujan-Peterson and Selberg conjectures, and the Langlands’s recognition that one should relate Hasse-Weil conjecture for zeta functions. representations of Galois groups to automorphic forms involves an unexpected and fundamental insight, now Functoriality for reductive groups over number fields called Langlands functoriality.
    [Show full text]
  • Shtukas for Reductive Groups and Langlands Correspondence for Functions Fields
    SHTUKAS FOR REDUCTIVE GROUPS AND LANGLANDS CORRESPONDENCE FOR FUNCTIONS FIELDS VINCENT LAFFORGUE This text gives an introduction to the Langlands correspondence for function fields and in particular to some recent works in this subject. We begin with a short historical account (all notions used below are recalled in the text). The Langlands correspondence [49] is a conjecture of utmost impor- tance, concerning global fields, i.e. number fields and function fields. Many excellent surveys are available, for example [39, 14, 13, 79, 31, 5]. The Langlands correspondence belongs to a huge system of conjectures (Langlands functoriality, Grothendieck’s vision of motives, special val- ues of L-functions, Ramanujan-Petersson conjecture, generalized Rie- mann hypothesis). This system has a remarkable deepness and logical coherence and many cases of these conjectures have already been es- tablished. Moreover the Langlands correspondence over function fields admits a geometrization, the “geometric Langlands program”, which is related to conformal field theory in Theoretical Physics. Let G be a connected reductive group over a global field F . For the sake of simplicity we assume G is split. The Langlands correspondence relates two fundamental objects, of very different nature, whose definition will be recalled later, • the automorphic forms for G, • the global Langlands parameters , i.e. the conjugacy classes of morphisms from the Galois group Gal(F =F ) to the Langlands b dual group G(Q`). b For G = GL1 we have G = GL1 and this is class field theory, which describes the abelianization of Gal(F =F ) (one particular case of it for Q is the law of quadratic reciprocity, which dates back to Euler, Legendre and Gauss).
    [Show full text]
  • RELATIVE LANGLANDS This Is Based on Joint Work with Yiannis
    RELATIVE LANGLANDS DAVID BEN-ZVI This is based on joint work with Yiannis Sakellaridis and Akshay Venkatesh. The general plan is to explain a connection between physics and number theory which goes through the intermediary: extended topological field theory (TFT). The moral is that boundary conditions for N = 4 super Yang-Mills (SYM) lead to something about periods of automorphic forms. Slogan: the relative Langlands program can be explained via relative TFT. 1. Periods of automorphic forms on H First we provide some background from number theory. Recall we can picture the upper-half-space H as in fig. 1. We are thinking of a modular form ' as a holomorphic function on H which transforms under the modular group SL2 (Z), or in general some congruent sub- group Γ ⊂ SL2 (Z), like a k=2-form (differential form) and is holomorphic at 1. We will consider some natural measurements of '. In particular, we can \measure it" on the red and blue lines in fig. 1. Note that we can also think of H as in fig. 2, where the red and blue lines are drawn as well. Since ' is invariant under SL2 (Z), it is really a periodic function on the circle, so it has a Fourier series. The niceness at 1 condition tells us that it starts at 0, so we get: X n (1) ' = anq n≥0 Date: Tuesday March 24, 2020; Thursday March 26, 2020. Notes by: Jackson Van Dyke, all errors introduced are my own. Figure 1. Fundamental domain for the action of SL2 (Z) on H in gray.
    [Show full text]
  • Questions and Remarks to the Langlands Program
    Questions and remarks to the Langlands program1 A. N. Parshin (Uspekhi Matem. Nauk, 67(2012), n 3, 115-146; Russian Mathematical Surveys, 67(2012), n 3, 509-539) Introduction ....................................... ......................1 Basic fields from the viewpoint of the scheme theory. .............7 Two-dimensional generalization of the Langlands correspondence . 10 Functorial properties of the Langlands correspondence. ................12 Relation with the geometric Drinfeld-Langlands correspondence . 16 Direct image conjecture . ...................20 A link with the Hasse-Weil conjecture . ................27 Appendix: zero-dimensional generalization of the Langlands correspondence . .................30 References......................................... .....................33 Introduction The goal of the Langlands program is a correspondence between representations of the Galois groups (and their generalizations or versions) and representations of reductive algebraic groups. The starting point for the construction is a field. Six types of the fields are considered: three types of local fields and three types of global fields [L3, F2]. The former ones are the following: 1) finite extensions of the field Qp of p-adic numbers, the field R of real numbers and the field C of complex numbers, arXiv:1307.1878v1 [math.NT] 7 Jul 2013 2) the fields Fq((t)) of Laurent power series, where Fq is the finite field of q elements, 3) the field of Laurent power series C((t)). The global fields are: 4) fields of algebraic numbers (= finite extensions of the field Q of rational numbers), 1I am grateful to R. P. Langlands for very useful conversations during his visit to the Steklov Mathematical institute of the Russian Academy of Sciences (Moscow, October 2011), to Michael Harris and Ulrich Stuhler, who answered my sometimes too naive questions, and to Ilhan˙ Ikeda˙ who has read a first version of the text and has made several remarks.
    [Show full text]
  • LANGLANDS' CONJECTURES for PHYSICISTS 1. Introduction This Is
    LANGLANDS’ CONJECTURES FOR PHYSICISTS MARK GORESKY 1. Introduction This is an expanded version of several lectures given to a group of physicists at the I.A.S. on March 8, 2004. It is a work in progress: check back in a few months to see if the empty sections at the end have been completed. This article is written on two levels. Many technical details that were not included in the original lectures, and which may be ignored on a first reading, are contained in the end-notes. The first few paragraphs of each section are designed to be accessible to a wide audience. The present article is, at best, an introduction to the many excellent survey articles ([Ar, F, G1, G2, Gr, Kn, K, R1, T] on automorphic forms and Langlands’ program. Slightly more advanced surveys include ([BR]), the books [Ba, Be] and the review articles [M, R2, R3]. 2. The conjecture for GL(n, Q) Very roughly, the conjecture is that there should exist a correspondence nice irreducible n dimensional nice automorphic representations (2.0.1) −→ representations of Gal(Q/Q) of GL(n, AQ) such that (2.0.2) {eigenvalues of Frobenius}−→{eigenvalues of Hecke operators} The purpose of the next few sections is to explain the meaning of the words in this statement. Then we will briefly examine the many generalizations of this statement to other fields besides Q and to other algebraic groups besides GL(n). 3. Fields 3.1. Points in an algebraic variety. If E ⊂ F are fields, the Galois group Gal(F/E)is the set of field automorphisms φ : E → E which fix every element of F.
    [Show full text]
  • The Role of the Ramanujan Conjecture in Analytic Number Theory
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 2, April 2013, Pages 267–320 S 0273-0979(2013)01404-6 Article electronically published on January 14, 2013 THE ROLE OF THE RAMANUJAN CONJECTURE IN ANALYTIC NUMBER THEORY VALENTIN BLOMER AND FARRELL BRUMLEY Dedicated to the 125th birthday of Srinivasa Ramanujan Abstract. We discuss progress towards the Ramanujan conjecture for the group GLn and its relation to various other topics in analytic number theory. Contents 1. Introduction 267 2. Background on Maaß forms 270 3. The Ramanujan conjecture for Maaß forms 276 4. The Ramanujan conjecture for GLn 283 5. Numerical improvements towards the Ramanujan conjecture and applications 290 6. L-functions 294 7. Techniques over Q 298 8. Techniques over number fields 302 9. Perspectives 305 J.-P. Serre’s 1981 letter to J.-M. Deshouillers 307 Acknowledgments 313 About the authors 313 References 313 1. Introduction In a remarkable article [111], published in 1916, Ramanujan considered the func- tion ∞ ∞ Δ(z)=(2π)12e2πiz (1 − e2πinz)24 =(2π)12 τ(n)e2πinz, n=1 n=1 where z ∈ H = {z ∈ C |z>0} is in the upper half-plane. The right hand side is understood as a definition for the arithmetic function τ(n) that nowadays bears Received by the editors June 8, 2012. 2010 Mathematics Subject Classification. Primary 11F70. Key words and phrases. Ramanujan conjecture, L-functions, number fields, non-vanishing, functoriality. The first author was supported by the Volkswagen Foundation and a Starting Grant of the European Research Council. The second author is partially supported by the ANR grant ArShiFo ANR-BLANC-114-2010 and by the Advanced Research Grant 228304 from the European Research Council.
    [Show full text]
  • Quantization of the Riemann Zeta-Function and Cosmology
    Quantization of the Riemann Zeta-Function and Cosmology I. Ya. Aref’eva and I.V. Volovich Steklov Mathematical Institute Gubkin St.8, 119991 Moscow, Russia Abstract Quantization of the Riemann zeta-function is proposed. We treat the Riemann zeta-function as a symbol of a pseudodifferential operator and study the correspond- ing classical and quantum field theories. This approach is motivated by the theory of p-adic strings and by recent works on stringy cosmological models. We show that the Lagrangian for the zeta-function field is equivalent to the sum of the Klein-Gordon Lagrangians with masses defined by the zeros of the Riemann zeta-function. Quanti- zation of the mathematics of Fermat-Wiles and the Langlands program is indicated. The Beilinson conjectures on the values of L-functions of motives are interpreted as dealing with the cosmological constant problem. Possible cosmological applications of the zeta-function field theory are discussed. arXiv:hep-th/0701284v2 5 Feb 2007 1 1 Introduction Recent astrophysical data require rather exotic field models that can violate the null energy condition (see [1] and refs. therein). The linearized equation for the field φ has the form F (2)φ =0 , where 2 is the d’Alembert operator and F is an analytic function. Stringy models provide a possible candidate for this type of models. In particular, in this context p-adic string models [2, 3, 4] have been considered. p-Adic cosmological stringy models are supposed to incorporate essential features of usual string models [5, 6, 7]. An advantage of the p-adic string is that it can be described by an effective field theory including just one scalar field.
    [Show full text]
  • Department of Mathematics University of Notre Dame
    Department of Mathematics University of Notre Dame GRADUATE STUDENT SEMINAR Guest Speaker: Eric Wawerczyk University of Notre Dame Date: Monday, October 3, 2016 Time: 4:00 PM Location: 129 Hayes-Healy Hall Lecture Title: Dreams of a Number Theorist: The left side of the right-half- plane Abstract Euler studied the Harmonic series, the sums of reciprocals of squares, cubes, and so on. Chebyshev was able to package these together in the zeta function, defined for a real number greater than 1. Riemann had the idea of defining the function for complex numbers and found that this infinite series converges as long as the real part of the imaginary number is greater than 1. He then uses the inverse mellin transform of the Theta Function (see: modular forms) to derive the "functional equation" which gives a UNIQUE meromorphic extension to the whole complex plane outside of the point s=1 (harmonic series diverges=pole). This unique extension is called the Riemann Zeta Function. For over 150 years Number Theorists have been staring at the left side of the right half plane. We will explore this mysterious left hand side throughout the talk and its relationship to Number Theory. This will serve as our prototypical example of Zeta Functions. Finally, we will discuss generalizations of the zeta functions (Dedekind Zeta Functions, Artin Zeta Functions, Hasse-Weil Zeta Functions) and our daunting task of extending all of them to their own left sides and what mysteries lie within (The Analytic Class Number Formula, The (proven) Weil Conjectures, the Birch and Swinnerton-Dyer conjecture, The Langlands Program, and the (proven) Taniyama-Shimura Conjecture, the Grand Riemann Hypothesis ).
    [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]
  • The Langlands Program: Beyond Endoscopy
    Introduction Motivation Results References The Langlands Program: Beyond Endoscopy Oscar E. Gonz´alez1, [email protected] Kevin Kwan2, [email protected] 1Department of Mathematics, University of Puerto Rico, R´ıoPiedras. 2Department of Mathematics, The Chinese University of Hong Kong, Shatin, Hong Kong. Young Mathematicians Conference The Ohio State University August 21, 2016 Introduction Motivation Results References What is the Langlands program? Conjectures relating many areas of math. Proposed by Robert P. Langlands about 50 years ago. 1 a b For any z in H and any matrix c d in SL2(Z), f satisfies the az+b k equation f cz+d = (cz + d) f (z). 2 f is a holomorphic (complex analytic) function on H. 3 f satisfies certain growth conditions at the cusps. Automorphic forms generalize modular forms. Introduction Motivation Results References Automorphic Forms A modular form of weight k is a complex-valued function f on the upper half-plane H = fz 2 C; Im(z) > 0g (z = a + bi with b > 0), satisfying the following three conditions: Automorphic forms generalize modular forms. Introduction Motivation Results References Automorphic Forms A modular form of weight k is a complex-valued function f on the upper half-plane H = fz 2 C; Im(z) > 0g (z = a + bi with b > 0), satisfying the following three conditions: 1 a b For any z in H and any matrix c d in SL2(Z), f satisfies the az+b k equation f cz+d = (cz + d) f (z). 2 f is a holomorphic (complex analytic) function on H. 3 f satisfies certain growth conditions at the cusps.
    [Show full text]
  • David Lyon the Physics of the Riemann Zeta Function
    David Lyon The Physics of the Riemann Zeta function Abstract: One of the Clay Institute’s Millennium Prize Problems is the Riemann Hypothesis. Interest in this problem has led to collaboration between mathematicians and physicists to study the Riemann Zeta function and related classes of functions called Zeta functions and L-functions. A unified picture of these functions is emerging which combines insights from mathematics with those from many areas of physics such as thermodynamics, quantum mechanics, chaos and random matrices. In this paper, I will give an overview of the connections between the Riemann Hypothesis and Physics. The deceptively simple Riemann Zeta function ζ(s) is defined as follows, for complex s with real part > 1. In 1859, Bernhard Riemann published a paper showing how to analytically continue this function to the entire complex plane, giving a holomorphic function everywhere except for a simple pole at s=1. The paper also contained his famous hypothesis about the Riemann Zeta function, stating that the only zeroes are at the negative even integers and along the critical line Re(s) = 1/2. To prove this was problem number 8 on David Hilbert’s famous list of 23 unsolved mathematical problems given at the International Congress of Mathematicians in 1900. Hilbert’s list was a beacon to guide 20 th century mathematicians in their explorations, leading to many important results and individual honors. In 2000, 100 years after Hilbert’s list, the Clay Mathematics Institute proposed a list of 7 Millennium Problems. Each of the six remaining unsolved problems, including three in mathematics, two in physics, and one in computer science, carries a $1,000,000 bounty.
    [Show full text]