Drinfeld module

Last updated

In mathematics, a Drinfeld module (or elliptic 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 (also called F-sheaf or chtouca) 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.

Contents

Drinfeld modules were introduced by Drinfeld  ( 1974 ), who used them to prove the Langlands conjectures for GL2 of an algebraic function field in some special cases. He later invented shtukas and used shtukas of rank 2 to prove the remaining cases of the Langlands conjectures for GL2. Laurent Lafforgue proved the Langlands conjectures for GLn of a function field by studying the moduli stack of shtukas of rank n.

"Shtuka" is a Russian word штука meaning "a single copy", which comes from the German noun “Stück”, meaning “piece, item, or unit". In Russian, the word "shtuka" is also used in slang for a thing with known properties, but having no name in a speaker's mind.

Drinfeld modules

The ring of additive polynomials

We let be a field of characteristic . The ring is defined to be the ring of noncommutative (or twisted) polynomials over , with the multiplication given by

The element can be thought of as a Frobenius element: in fact, is a left module over , with elements of acting as multiplication and acting as the Frobenius endomorphism of . The ring can also be thought of as the ring of all (absolutely) additive polynomials

in , where a polynomial is called additive if (as elements of ). The ring of additive polynomials is generated as an algebra over by the polynomial . The multiplication in the ring of additive polynomials is given by composition of polynomials, not by multiplication of commutative polynomials, and is not commutative.

Definition of Drinfeld modules

Let F be an algebraic function field with a finite field of constants and fix a place of F. Define A to be the ring of elements in F that are regular at every place except possibly . In particular, A is a Dedekind domain and it is discrete in F (with the topology induced by ). For example, we may take A to be the polynomial ring . Let L be a field equipped with a ring homomorphism .

A Drinfeld A-module over L is a ring homomorphism whose image is not contained in L, such that the composition of with coincides with .

The condition that the image of A is not in L is a non-degeneracy condition, put in to eliminate trivial cases, while the condition that gives the impression that a Drinfeld module is simply a deformation of the map .

As L{τ} can be thought of as endomorphisms of the additive group of L, a Drinfeld A-module can be regarded as an action of A on the additive group of L, or in other words as an A-module whose underlying additive group is the additive group of L.

Examples of Drinfeld modules

Shtukas

Suppose that X is a curve over the finite field Fp. A (right) shtuka of rank r over a scheme (or stack) U is given by the following data:

EE ← (Fr×1)*E,

whose cokernels are supported on certain graphs of morphisms from U to X (called the zero and pole of the shtuka, and usually denoted by 0 and ∞), and are locally free of rank 1 on their supports. Here (Fr×1)*E is the pullback of E by the Frobenius endomorphism of U.

A left shtuka is defined in the same way except that the direction of the morphisms is reversed. If the pole and zero of the shtuka are disjoint then left shtukas and right shtukas are essentially the same.

By varying U, we get an algebraic stack Shtukar of shtukas of rank r, a "universal" shtuka over Shtukar×X and a morphism (∞,0) from Shtukar to X×X which is smooth and of relative dimension 2r  2. The stack Shtukar is not of finite type for r > 1.

Drinfeld modules are in some sense special kinds of shtukas. (This is not at all obvious from the definitions.) More precisely, Drinfeld showed how to construct a shtuka from a Drinfeld module. See Drinfeld, V. G. Commutative subrings of certain noncommutative rings. Funkcional. Anal. i Prilovzen. 11 (1977), no. 1, 11–14, 96. for details.

Applications

The Langlands conjectures for function fields state (very roughly) that there is a bijection between cuspidal automorphic representations of GLn and certain representations of a Galois group. Drinfeld used Drinfeld modules to prove some special cases of the Langlands conjectures, and later proved the full Langlands conjectures for GL2 by generalizing Drinfeld modules to shtukas. The "hard" part of proving these conjectures is to construct Galois representations with certain properties, and Drinfeld constructed the necessary Galois representations by finding them inside the l-adic cohomology of certain moduli spaces of rank 2 shtukas.

Drinfeld suggested that moduli spaces of shtukas of rank r could be used in a similar way to prove the Langlands conjectures for GLr; the formidable technical problems involved in carrying out this program were solved by Lafforgue after many years of effort.

See also

Related Research Articles

<span class="mw-page-title-main">Associative algebra</span> Algebraic structure with (a + b)(c + d) = ac + ad + bc + bd and (a)(bc) = (ab)(c)

In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

<span class="mw-page-title-main">Field (mathematics)</span> Algebraic structure with addition, multiplication, and division

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

<span class="mw-page-title-main">Ring (mathematics)</span> Algebraic structure with addition and multiplication

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential 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."

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

<span class="mw-page-title-main">Group scheme</span>

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

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.

In mathematics, the Mahler measureof a polynomial with complex coefficients is defined as

In mathematics, the additive polynomials are an important topic in classical algebraic number theory.

In mathematics, a D-module is a module over a ring D of differential operators. The major interest of such D-modules is as an approach to the theory of linear partial differential equations. Since around 1970, D-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial.

In mathematics, an exponential field is a field that has an extra operation on its elements which extends the usual idea of exponentiation.

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.

In algebraic geometry, the Witten conjecture is a conjecture about intersection numbers of stable classes on the moduli space of curves, introduced by Edward Witten in the paper Witten (1991), and generalized in Witten (1993). Witten's original conjecture was proved by Maxim Kontsevich in the paper Kontsevich (1992).

In mathematics, the Carlitz exponential is a characteristic p analogue to the usual exponential function studied in real and complex analysis. It is used in the definition of the Carlitz module – an example of a Drinfeld module.

In mathematics, a twisted polynomial is a polynomial over a field of characteristic in the variable representing the Frobenius map . In contrast to normal polynomials, multiplication of these polynomials is not commutative, but satisfies the commutation rule

In the mathematical field of algebraic number theory, the concept of principalization refers to a situation when, given an extension of algebraic number fields, some ideal of the ring of integers of the smaller field isn't principal but its extension to the ring of integers of the larger field is. Its study has origins in the work of Ernst Kummer on ideal numbers from the 1840s, who in particular proved that for every algebraic number field there exists an extension number field such that all ideals of the ring of integers of the base field become principal when extended to the larger field. In 1897 David Hilbert conjectured that the maximal abelian unramified extension of the base field, which was later called the Hilbert class field of the given base field, is such an extension. This conjecture, now known as principal ideal theorem, was proved by Philipp Furtwängler in 1930 after it had been translated from number theory to group theory by Emil Artin in 1929, who made use of his general reciprocity law to establish the reformulation. Since this long desired proof was achieved by means of Artin transfers of non-abelian groups with derived length two, several investigators tried to exploit the theory of such groups further to obtain additional information on the principalization in intermediate fields between the base field and its Hilbert class field. The first contributions in this direction are due to Arnold Scholz and Olga Taussky in 1934, who coined the synonym capitulation for principalization. Another independent access to the principalization problem via Galois cohomology of unit groups is also due to Hilbert and goes back to the chapter on cyclic extensions of number fields of prime degree in his number report, which culminates in the famous Theorem 94.

In algebraic geometry, a level structure on a space X is an extra structure attached to X that shrinks or eliminates the automorphism group of X, by demanding automorphisms to preserve the level structure; attaching a level structure is often phrased as rigidifying the geometry of X.

References

Drinfeld modules

Shtukas