Lafforgue's theorem

Last updated

In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic forms on these groups and representations of Galois groups.

Contents

The Langlands conjectures were introduced by Langlands ( 1967 , 1970 ) and describe a correspondence between representations of the Weil group of an algebraic function field and representations of algebraic groups over the function field, generalizing class field theory of function fields from abelian Galois groups to non-abelian Galois groups.

Langlands conjectures for GL1

The Langlands conjectures for GL1(K) follow from (and are essentially equivalent to) class field theory. More precisely the Artin map gives a map from the idele class group to the abelianization of the Weil group.

Automorphic representations of GLn(F)

The representations of GLn(F) appearing in the Langlands correspondence are automorphic representations.

Lafforgue's theorem for GLn(F)

Here F is a global field of some positive characteristic p, and ℓ is some prime not equal to p.

Lafforgue's theorem states that there is a bijection σ between:

that preserves the L-function at every place of F.

The proof of Lafforgue's theorem involves constructing a representation σ(π) of the absolute Galois group for each cuspidal representation π. The idea of doing this is to look in the ℓ-adic cohomology of the moduli stack of shtukas of rank n that have compatible level N structures for all N. The cohomology contains subquotients of the form

π⊗σ(π)⊗σ(π)∨

which can be used to construct σ(π) from π. A major problem is that the moduli stack is not of finite type, which means that there are formidable technical difficulties in studying its cohomology.

Applications

Lafforgue's theorem implies the Ramanujan–Petersson conjecture that if an automorphic form for GLn(F) has central character of finite order, then the corresponding Hecke eigenvalues at every unramified place have absolute value 1.

Lafforgue's theorem implies the conjecture of Deligne (1980 , 1.2.10) that an irreducible finite-dimensional l-adic representation of the absolute Galois group with determinant character of finite order is pure of weight 0.

See also

Related Research Articles

<span class="mw-page-title-main">Laurent Lafforgue</span> French mathematician

Laurent Lafforgue is a French mathematician. He has made outstanding contributions to Langlands' program in the fields of number theory and analysis, and in particular proved the Langlands conjectures for the automorphism group of a function field. The crucial contribution by Lafforgue to solve this question is the construction of compactifications of certain moduli stacks of shtukas. The proof was the result of more than six years of concentrated efforts.

In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and consequential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."

In mathematics, the Weil conjectures were highly influential proposals by André Weil. They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.

In mathematics, the Sato–Tate conjecture is a statistical statement about the family of elliptic curves Ep obtained from an elliptic curve E over the rational numbers by reduction modulo almost all prime numbers p. Mikio Sato and John Tate independently posed the conjecture around 1960.

In mathematics, the Ramanujan conjecture, due to Srinivasa Ramanujan (1916, p. 176), states that Ramanujan's tau function given by the Fourier coefficients τ(n) of the cusp form Δ(z) of weight 12

Vladimir Gershonovich Drinfeld, surname also romanized as Drinfel'd, is a renowned mathematician from the former USSR, who emigrated to the United States and is currently working at the University of Chicago.

<span class="mw-page-title-main">Arithmetic geometry</span> Branch of algebraic geometry focused on problems in number theory

In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.

In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In mathematics, a Drinfeld module is roughly a special kind of module over a ring of functions on a curve over a finite field, generalizing the Carlitz module. Loosely speaking, they provide a function field analogue of complex multiplication theory. A shtuka is a sort of generalization of a Drinfeld module, consisting roughly of a vector bundle over a curve, together with some extra structure identifying a "Frobenius twist" of the bundle with a "modification" of it.

In mathematics, a Weil group, introduced by Weil, is a modification of the absolute Galois group of a local or global field, used in class field theory. For such a field F, its Weil group is generally denoted WF. There also exists "finite level" modifications of the Galois groups: if E/F is a finite extension, then the relative Weil group of E/F is WE/F = WF/W c
E .

In representation theory, a branch of mathematics, the Langlands dualLG of a reductive algebraic group G is a group that controls the representation theory of G. If G is defined over a field k, then LG is an extension of the absolute Galois group of k by a complex Lie group. There is also a variation called the Weil form of the L-group, where the Galois group is replaced by a Weil group. Here, the letter L in the name also indicates the connection with the theory of L-functions, particularly the automorphic L-functions. The Langlands dual was introduced by Langlands (1967) in a letter to A. Weil.

In mathematics, the local Langlands conjectures, introduced by Robert Langlands, are part of the Langlands program. They describe a correspondence between the complex representations of a reductive algebraic group G over a local field F, and representations of the Langlands group of F into the L-group of G. This correspondence is not a bijection in general. The conjectures can be thought of as a generalization of local class field theory from abelian Galois groups to non-abelian Galois groups.

In the mathematical theory of automorphic representations, a multiplicity-one theorem is a result about the representation theory of an adelic reductive algebraic group. The multiplicity in question is the number of times a given abstract group representation is realised in a certain space, of square-integrable functions, given in a concrete way.

<span class="mw-page-title-main">Vincent Lafforgue</span> French mathematician

Vincent Lafforgue is a French mathematician who is active in algebraic geometry, especially in the Langlands program, and a CNRS "Directeur de Recherches" at the Institute Fourier in Grenoble. He is the younger brother of Fields Medalist Laurent Lafforgue.

In mathematics, the Langlands–Shahidi method provides the means to define automorphic L-functions in many cases that arise with connected reductive groups over a number field. This includes Rankin–Selberg products for cuspidal automorphic representations of general linear groups. The method develops the theory of the local coefficient, which links to the global theory via Eisenstein series. The resulting L-functions satisfy a number of analytic properties, including an important functional equation.

In mathematics, the Langlands group is a conjectural group LF attached to each local or global field F, that satisfies properties similar to those of the Weil group. It was given that name by Robert Kottwitz. In Kottwitz's formulation, the Langlands group should be an extension of the Weil group by a compact group. When F is local archimedean, LF is the Weil group of F, when F is local non-archimedean, LF is the product of the Weil group of F with SU(2). When F is global, the existence of LF is still conjectural, though James Arthur gives a conjectural description of it. The Langlands correspondence for F is a "natural" correspondence between the irreducible n-dimensional complex representations of LF and, in the global case, the cuspidal automorphic representations of GLn(AF), where AF denotes the adeles of F.

In mathematics, base change lifting is a method of constructing new automorphic forms from old ones, that corresponds in Langlands philosophy to the operation of restricting a representation of a Galois group to a subgroup.

In mathematics, the Gan–Gross–Prasad conjecture is a restriction problem in the representation theory of real or p-adic Lie groups posed by Gan Wee Teck, Benedict Gross, and Dipendra Prasad. The problem originated from a conjecture of Gross and Prasad for special orthogonal groups but was later generalized to include all four classical groups. In the cases considered, it is known that the multiplicity of the restrictions is at most one and the conjecture describes when the multiplicity is precisely one.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.