Drinfeld module

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.

Drinfeld modules were  introduced  by , 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
Define A to be Fp[T], the usual (commutative!) ring of polynomials over the finite field of order p. In other words, A is the coordinate ring of an affine genus 0 curve. Then a Drinfeld module ψ is determined by the image ψ(T) of T, which can be any non-constant element of L{τ}. So Drinfeld modules can be identified with non-constant elements of L{τ}. (In the higher genus case the description of Drinfeld modules is more complicated.)
The Carlitz module is the Drinfeld module ψ given by ψ(T) = T+τ, where A is Fp[T] and L is a suitable complete algebraically closed field containing A. It was described by L. Carlitz in 1935, many years before the general definition of Drinfeld module. See chapter 3 of  for more information about the Carlitz module. See also Carlitz exponential.

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:
 Locally free sheaves E, E′  of rank r over U×X together with injective morphisms
E → E′ ← (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 

 Level structure (algebraic geometry)
 Moduli stack of elliptic curves

References

Drinfeld modules
. English translation in Math. USSR  Sbornik 23 (1974) 561–592.

.

.

Shtukas
Drinfeld, V. G. Cohomology of compactified moduli varieties of F-sheaves of rank 2. (Russian) Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 162 (1987), Avtomorfn. Funkts. i Teor. Chisel. III, 107–158, 189; translation in J. Soviet Math. 46 (1989), no. 2, 1789–1821
. English translation: Functional Anal. Appl. 21 (1987), no. 2, 107–122.

Algebraic number theory
Algebraic geometry
Finite fields