DOCSLIB.ORG

What Is...A Shtuka?, Volume 50, Number 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
What Is...A Shtuka?, Volume 50, Number 1 ?WHAT IS... a Shtuka? David Goss Shtuka is a Russian word colloquially meaning thought, motivated much early work of O. Ore, “thing”. Spelled chtouca in the French literature, a E. H. Moore, and others. mathematical shtuka is, roughly speaking, a special Drinfeld Modules kind of module with a Frobenius-linear endomor- To define a Drinfeld module we need an algebra A phism (as explained below) attached to a curve over which will play the same role in the characteristic a finite field. Shtukas came from a fundamental p theory as the integers Z play in classical arith- analogy between differentiation and the p-th power metic. For simplicity of exposition we now set mapping in prime characteristic p. We will follow A = Fp[T ], the ring of polynomials in one indeter- both history and analogy in our brief presentation minate T. Let L be as above. A Drinfeld A-module here, with the hope that the reader will come to some ψ of rank d over L [Dr1] is an Fp-algebra injection appreciation of the amazing richness and beauty of ψ: A → L{τ} such that the image of a ∈ A, denoted characteristic p algebra. ψa(τ), is a polynomial in τ of degree d times the degree of a with d>0 . Note that ψ is uniquely de- Additive Polynomials termined by ψ (τ) and therefore d is a positive in- Let L be a field in characteristic p (so L is some ex- T teger. Moreover, there is a homomorphism ı from tension field of the finite field F = Z/(p)). The p A to L defined by setting ı(a) equal to the constant binomial theorem implies that the p-th power map- p term of the polynomial ψa(τ). Drinfeld modules are ping τ(x):=x satisfies τ(α + β)=τ(α)+τ(β) for α similar to elliptic curves in that they possess divi- and β in L (the coefficients of the mixed terms are sion points (= zeroes of ψ (τ)(x) for a ∈ A), Tate j pj pj j j a 0 in L); thus τ (α + β)=α + β = τ (α)+τ (β) modules, and cohomology. Moreover, like elliptic ≥ → j for any j 0. We view the mappings x τ (x) as curves, Drinfeld modules arise analytically (i.e., operators on L and on its field extensions. A poly- over the complete field Fp((1/T ))) from “lattices” m j nomial in τ is an expression p(τ):= j=0 cj τ with via an exponential function (which is an entire F - j p {c }⊆L ; so p(τ)(x)= m c xp . Like τ and τj for ∞ j j j=0 j linear function e(τ)= j=0 bj τ ). ≥ → j 0, the function x p(τ)(x) is an additive map. A Bit of Algebraic Geometry Thus its kernel, the roots of p(τ)(x) in a fixed al- For simplicity again, we now assume that L is an gebraic closure L¯ of L, is a finite-dimensional Fp- algebraically closed field. Consider the projective subspace of L¯. The set of polynomials in τ, denoted line P1 over L. An affine open subspace U of P1 is L{τ}, is a left L-vector space and forms a ring P1 minus a finite nonempty collection of points. under composition; notice that τ · (cτ)=cpτ2 , so There is a large ring Γ (U) of rational functions with this ring is not commutative in general. The anal- no poles in U. A locally free sheaf of rank d on P1 ogy with the ring of complex differential operators over L is an assignment of a free Γ (U)-module of in one variable, which becomes clear with a little rank d to each affine open subspace U in a way which is consistent with respect to the restriction David Goss is professor of mathematics at The Ohio of one affine open subspace to another. Notice State University. His email address is goss@math. that the rational functions with no poles anywhere ohio-state.edu. on P1 are the elements of L, and there are far too 36 NOTICES OF THE AMS VOLUME 50, NUMBER 1 few of these to classify locally free sheaves. There While we have worked here with A = Fp[T ], in is, however, a very clever dictionary between the lo- fact all of the above goes through readily when A cally free sheaves and certain graded modules which is replaced by the affine algebra of an arbitrary arise from homogeneous coordinates (see, e.g., §II.5 smooth projective curve X over a finite field minus of R. Hartshorne’s book Algebraic Geometry). a fixed closed point. All of the salient issues are Shtukas touched on in the simple case sketched here. The In his study of the Korteweg de Vries equation, I. M. collection of those algebraic functions on X with Krichever found a remarkable dictionary between poles of finite order forms a field k called the “func- certain sheaves on curves and subalgebras of tion field of X”. Such function fields are the analogs C[[t]][d/dt] (see, e.g., [M1]). The analogy between in finite characteristic of “number fields” defined Q τ and d/dt inspired V. G. Drinfeld to look for a sim- by adjoining to the rational numbers a finite ilar construction involving Drinfeld modules; the number of roots of polynomials with rational co- resulting sheaves will give us the shtuka. Let our efficients. Modern number theory is concerned with field L now be equipped with a Drinfeld module ψ the properties of both types of fields. of degree d. We make M := L{τ} into a module The general notion of a shtuka, which has been crucial to the work of Drinfeld and L. Lafforgue on over L ⊗F Fp[T ] L[T ] as follows: Let f (τ) ∈ M, p the Langlands conjectures for k (see [L1] and its ref- l ∈ L, and a ∈ A = Fp[T ]; we then put erences), is just the abstraction of (1) to families l ⊗ a · f (τ):=lf(ψa(τ)) U × X where U is a scheme in characteristic p (see, e.g., [L1]). Moreover, it is possible to describe which (so that elements of Fp[T ] always act via the shtukas arise from Drinfeld modules (see, e.g., ψ-action). Using a right division algorithm, one shows [M1]). readily that M is a free L[T ]-module of rank d. How- d τ-Sheaves ever, M is much richer than L[T ] because M also Over the affine line inside P1 over L, both M and { } has the left action of τ via multiplication in L τ . M reduce to M itself. The L[T,τ]-module M is · p · This action is Frobenius-linear, as τ(l m)=l τ(m) called by G. Anderson the “motive of ψ” in analogy ∈ ∈ for l L and m M. with the classical theory of motives, and its ab- The module M possesses a gradation given by the straction to families is called “τ-sheaves”. It turns degree (in τ) of an element f (τ). The action of L[T ] out that τ-sheaves are the correct notion with which given above clearly preserves this gradation. Define to describe characteristic-p-valued L-functions { ∈ | ≤ } M ⊕∞ Mj := f (τ) M degτ f (τ) j , := j=0Mj , (D. Wan–Y. Taguchi, G. Böckle–R. Pink, F. Gardeyn, M ⊕∞ M M and [1] := j=0Mj+1. Both and [1] are graded G. Böckle) and to study special values of character- modules over the graded ring constructed from L[T ] istic-p-valued Γ-functions (G. Anderson– in the same fashion as M, and they fit into the dic- W. D. Brownawell–M. Papanikolas). Moreover, τ- tionary mentioned in the preceding section. Thus sheaves are naturally associated to characteristic- both M and M[1] give rise to locally free sheaves of p-valued cusp forms (G. Böckle), much as one asso- 1 rank d on P over L, which we denote by M and M ciates elliptic curves (and other classical motives) to respectively. The mapping which injects Mj into elliptic cusp forms. Shtukas, and τ-sheaves, are such Mj+1 gives an injection λ of M into M . Moreover, fundamental ideas that the process of mining their multiplication by τ gives an injection of M into M riches is really just beginning! which is Frobenius linear over each affine open sub- space. We encapsulate all this by References [Dr1] V. G. DRINFELD, Elliptic modules, Math. Sbornik 94 λ τ (1) M → M ← M . (1974), 594–627; English transl., Math. USSR Sbornik 23 (1976), 561–92. Diagram (1) is the “shtuka associated to ψ”. [L1] G. LAUMON, La correspondence de Langlands sur les The cokernel of λ gives rise to trivial modules on corps de fonctions (d’après Laurent Lafforgue), Sém. affine open subspaces not containing the point Bourbaki 873 (1999–2000). 1 ∞∈P , and the cokernel of τ also gives rise to [M1] D. MUMFORD, An algebro-geometric construction of trivial modules on affine open subspaces not con- commuting operators and solutions to the Toda taining a point lying over the prime ker ı of A. lattice equation, KdV equation and related nonlin- These are naturally called the “pole” and the “zero” ear equations, International Symposium on Algebraic of the shtuka. Geometry (Kyoto, 1977) (M. Nagata, ed.), Kinokuniya, Tokyo, 1978, pp. 115–53. When d =1, the locally free sheaves are called [Th1] D. THAKUR, Shtukas and Jacobi sums, Invent. Math.
Load more

Recommended publications
  • On Sandwich Theorem for Delta-Subadditive and Delta-Superadditive Mappings
    Results Math 72 (2017), 385–399 c 2016 The Author(s). This article is published with open access at Springerlink.com 1422-6383/17/010385-15 published online December 5, 2016 Results in Mathematics DOI 10.1007/s00025-016-0627-7 On Sandwich Theorem for Delta-Subadditive and Delta-Superadditive Mappings Andrzej Olbry´s Abstract. In the present paper, inspired by methods contained in Gajda and Kominek (Stud Math 100:25–38, 1991) we generalize the well known sandwich theorem for subadditive and superadditive functionals to the case of delta-subadditive and delta-superadditive mappings. As a conse- quence we obtain the classical Hyers–Ulam stability result for the Cauchy functional equation. We also consider the problem of supporting delta- subadditive maps by additive ones. Mathematics Subject Classification. 39B62, 39B72. Keywords. Functional inequality, additive mapping, delta-subadditive mapping, delta-superadditive mapping. 1. Introduction We denote by R, N the sets of all reals and positive integers, respectively, moreover, unless explicitly stated otherwise, (Y,·) denotes a real normed space and (S, ·) stands for not necessary commutative semigroup. We recall that a functional f : S → R is said to be subadditive if f(x · y) ≤ f(x)+f(y),x,y∈ S. A functional g : S → R is called superadditive if f := −g is subadditive or, equivalently, if g satisfies g(x)+g(y) ≤ g(x · y),x,y∈ S. If a : S → R is at the same time subadditive and superadditive then we say that it is additive, in this case a satisfies the Cauchy functional equation a(x · y)=a(x)+a(y),x,y∈ S.
    [Show full text]
  • Abstracts Julio Cesar Bueno De Andrade (University of Exeter, UK): Universality of L-Functions in Function Fields
    NEW DEVELOPMENTS IN THE THEORY OF MODULAR FORMS OVER FUNCTION FIELDS CRM PISA, NOVEMBER 5{9, 2018 Titles and Abstracts Julio Cesar Bueno De Andrade (University of Exeter, UK): Universality of L-functions in Function Fields. In this talk, I will discuss Dirichlet L-functions associated with Dirich- let characters in Fq[x] and will prove that they are universal. That is, given a modulus of high enough degree, L-functions with characters to this modulus can be found that approximate any given nonvanishing analytic function arbitrarily closely. This is the function field analogue of Voronin's universality theorem. Dirk Basson (University of Stellenbosch, South Africa): Hecke operators in higher rank. Recently, F. Breuer, R. Pink and I have made available preprints on a foundational theory for Drinfeld modular form of rank greater than 2. In this talk I wish to give an overview of this theory with a focus on the Hecke operators that act on them. Gunther Cornelissen (Utrecht University, Netherlands): Count- ing in algebraic groups in positive characteristic. Our starting point are the well-known formulae for the number of places of a given degree in a global function field and for the order of groups of Lie type over finite fields. We consider these as results about the action of Frobenius on jacobians and on the additive group, and in- vestigate what happens for general endomorphisms of general algebraic groups. New p-adic phenomena appear, zeta functions are no longer rational in general, and the analogue of the Prime Number Theorem can fail. (Joint work with Jakub Byszewski and Marc Houben.) Madeline Locus Dawsey (Emory University, USA): Higher Width Moonshine.
    [Show full text]
  • Notes on Elementary Linear Algebra
    Notes on Elementary Linear Algebra Adam Coffman Contents 1 Real vector spaces 2 2 Subspaces 6 3 Additive Functions and Linear Functions 8 4 Distance functions 10 5 Bilinear forms and sesquilinear forms 12 6 Inner Products 18 7 Orthogonal and unitary transformations for non-degenerate inner products 25 8 Orthogonal and unitary transformations for positive definite inner products 29 These Notes are compiled from classroom handouts for Math 351, Math 511, and Math 554 at IPFW. They are not self-contained, but supplement the required texts, [A], [FIS], and [HK]. 1 1 Real vector spaces Definition 1.1. Given a set V , and two operations + (addition) and · (scalar multiplication), V is a “real vector space” means that the operations have all of the following properties: 1. Closure under Addition: For any u ∈ V and v ∈ V , u + v ∈ V . 2. Associative Law for Addition: For any u ∈ V and v ∈ V and w ∈ V ,(u + v)+w = u +(v + w). 3. Existence of a Zero Element: There exists an element 0 ∈ V such that for any v ∈ V , v + 0 = v. 4. Existence of an Opposite: For each v ∈ V , there exists an element of V , called −v ∈ V , such that v +(−v)=0. 5. Closure under Scalar Multiplication: For any r ∈ R and v ∈ V , r · v ∈ V . 6. Associative Law for Scalar Multiplication: For any r, s ∈ R and v ∈ V ,(rs) · v = r · (s · v). 7. Scalar Multiplication Identity: For any v ∈ V ,1· v = v. 8. Distributive Law: For all r, s ∈ R and v ∈ V ,(r + s) · v =(r · v)+(s · v).
    [Show full text]
  • Drinfeld Modules
    Drinfeld modules Jared Weinstein November 8, 2017 1 Motivation Drinfeld introduced his so-called elliptic modules in an important 1973 paper1 of the same title. He introduces this paper by observing the unity of three phenomena that appear in number theory: 1. The theory of cyclotomic extensions of Q, and class field theory over Q. 2. The theory of elliptic curves with complex multiplication, relative to an imaginary quadratic field. 3. The theory of elliptic curves in the large, over Q. To these, Drinfeld added a fourth: 4. The theory of Drinfeld modules over a function field. Thus, Drinfeld modules are some kind of simultaneous generalization of groups of roots of unity (which are rank 1), but also of elliptic curves (which are rank 2, in the appropriate sense). Furthermore, Drinfeld modules can be any rank whatsoever; there is no structure that we know of which is an analogue of a rank 3 Drinfeld module over Q. In later work, Drinfeld extended his notion to a rather more general gad- get called a shtuka2. Later, Laurent Lafforgue used the cohomology of moduli spaces of shtukas to prove the Langlands conjectures for GL(n), generalizing 1Try not to think too hard about the fact that Drinfeld was 20 years old that year. 2Russian slang for \thingy", from German St¨uck, \piece". 1 what Drinfeld had done for n = 2, and receiving a Fields medal in 2002 for those efforts. Whereas the Langlands conjectures are still wide open for number fields, even for GL(2) and even for Q! Before stating the definition of a Drinfeld module, it will be helpful to review items (1)-(3) above and highlight the common thread.
    [Show full text]
  • T-Motives: Hodge Structures, Transcendence and Other Motivic Aspects
    t-motives: Hodge structures, transcendence and other motivic aspects G. B¨ockle, D. Goss, U. Hartl, M. Papanikolas December 6, 2009 1 Overview of the field Drinfeld in 1974, in his seminal paper [10], revolutionized the contribution to arithmetic of the area of global function fields. He introduced a function field analog of elliptic curves over number fields. These analogs are now called Drinfeld modules. For him and for many subsequent developments in the theory of automorphic forms over function fields, their main use was in the exploration of the global Langlands conjecture over function fields. One of its predictions is a correspondence between automorphic forms and Galois representations. The deep insight of Drinfeld was that the moduli spaces of Drinfeld modules can be assembled in a certain tower such that the corresponding direct limit of the associated `-adic cohomologies would be an automorphic representation which at the same time carries a Galois action. This would allow him to realize the correspondence conjectured by Langlands in geometry. Building on this, in [11] Drinfeld himself proved the global Langlands' correspondence for function fields for GL2 and later in [18] Lafforgue obtained the result for all GLn. In a second direction, the analogy of Drinfeld modules with elliptic curves over number fields made them interesting objects to be studied on their own right. One could study torsion points and Galois representations, one could define cohomology theories such as de Rham or Betti cohomology and thus investigate their periods as well as transcendence questions. A main advance in this direction is the introduction of t-motives by Anderson in [1].
    [Show full text]
  • Special L-Values of Drinfeld Modules
    Annals of Mathematics 175 (2012), 369{391 http://dx.doi.org/10.4007/annals.2012.175.1.10 Special L-values of Drinfeld modules By Lenny Taelman Abstract We state and prove a formula for a certain value of the Goss L-function of a Drinfeld module. This gives characteristic-p-valued function field ana- logues of the class number formula and of the Birch and Swinnerton-Dyer conjecture. The formula and its proof are presented in an entirely self- contained fashion. Contents 1. Introduction and statement of the theorem 369 2. Nuclear operators and determinants 376 3. A trace formula 381 4. Ratio of co-volumes 384 5. Proof of the main result 388 References 389 1. Introduction and statement of the theorem Let k be a finite field of q elements. For a finite k[t]-module M we define jMj 2 k[T ] to be the characteristic polynomial of the endomorphism t of the k-vector space M, so jMj = detk[T ] T − t M : ∼ Q In other words, if M = ⊕ik[t]=fi(t) with the fi monic then jMj = i fi(T ). We will treat the invariant jMj of the finite k[t]-module M as an analogue of the cardinality #A of a finite abelian group A. Let R be the integral closure of k[t] in a finite extension K of the field k(t) of rational functions. Consider in the Laurent series field k((T −1)) the infinite sum 1 X ; jR=Ij I where I ranges over all the nonzero ideals of R.
    [Show full text]
  • Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module
    Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module Yossef Musleh Éric Schost Cheriton School of Computer Science Cheriton School of Computer Science University of Waterloo University of Waterloo Waterloo, Ontario, Canada Waterloo, Ontario, Canada [email protected] [email protected] Abstract Rank two Drinfeld modules enjoy remarkable similarities with Motivated by finding analogues of elliptic curve point counting elliptic curves: analogues exist of good reduction, complex multi- techniques, we introduce one deterministic and two new Monte plication, etc. Based in part on these similarities, Drinfeld modules Carlo randomized algorithms to compute the characteristic poly- have recently started being considered under the algorithmic view- nomial of a finite rank-two Drinfeld module. We compare their point. For instance, they have been proved to be unsuitable for usual asymptotic complexity to that of previous algorithms given by forms of public key cryptography [34]; they have also been used to Gekeler, Narayanan and Garai-Papikian and discuss their practical design several polynomial factorization algorithms [7, 29, 30, 38]; behavior. In particular, we find that all three approaches represent recent work by Garai and Papikian discusses the computation of either an improvement in complexity or an expansion of the pa- their endomorphism rings [9]. Our goal is to study in detail the rameter space over which the algorithm may be applied. Some complexity of computing the characteristic polynomial of a rank experimental results are also presented. two Drinfeld module over a finite field. A fundamental object attached to an elliptic curve E defined CCS Concepts over a finite field Fq is its Frobenius endomorphism π : ¹x;yº 7! ¹xq;yq º; it is known to satisfy a degree-two relation with integer • Computing methodologies → Symbolic and algebraic algo- coefficients called its characteristic polynomial.
    [Show full text]
  • Equivariant Spectra and Mackey Functors
    Equivariant spectra and Mackey functors Jonathan Rubin August 15, 2019 Suppose G is a finite group, and let OrbG be the orbit category of G. By Elmendorf's theorem (cf. Talk 2.2), there is an equivalence between the homotopy theory of G-spaces, and the homotopy theory of topological presheaves over OrbG . In this note, we introduce Mackey functors and explain Guillou and May's version of Elmendorf's theorem for G-spectra. This result gives an algebraic perspective on equivariant spectra.1 1 Mackey functors Spectra are higher algebraic analogues of abelian groups. Thus, we begin by con- sidering the fixed points of G-modules, and then we turn to G-spectra in general. Suppose pM, `, 0q is a G-module. By neglect of structure, M is a G-set, and H G therefore its fixed points M – Set pG{H, Mq form a presheaf over OrbG . Spelled out, we have an inclusion MK Ðâ MH for every inclusion K Ă H Ă G of subgroups, ´1 and an isomorphism gp´q : MH Ñ MgHg for every element g P G and subgroup H Ă G. The extra additive structure on M induces extra additive structure on the fixed points of M. Suppose H Ă G is a subgroup. By adjunction, an H-fixed point G{H Ñ M is equivalent to a G-linear map ZrG{Hs Ñ M, and thus MH – homZrGspZrG{Hs, Mq is an abelian group. More interestingly, for any inclusion of subgroups K Ă H Ă G, there is a G-linear map ZrG{Hs Ñ ZrG{Ks that rep- H resents the element H{K rK P ZrG{Ks .
    [Show full text]
  • L-Functions of Φ-Sheaves and Drinfeld Modules
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 9, Number 3, July 1996 L-FUNCTIONS OF ϕ-SHEAVES AND DRINFELD MODULES Y. TAGUCHI AND D. WAN 0. Introduction In this paper, we apply Dwork’s p-adic methods to study the meromorphic con- tinuation and rationality of various L-functions arising from π-adic Galois repre- sentations, Drinfeld modules and ϕ-sheaves. As a consequence, we prove some conjectures of Goss about the rationality of the local L-function and the meromor- phic continuation of the global L-function attached to a Drinfeld module. Let Fq be a finite field of q elements with characteristic p.Letπbe a prime of the polynomial ring A = Fq[t]. Let Aπ be the completion of the ring A at π.This is an analogue of the classical ring Zp of p-adic integers. Let X be an irreducible algebraic variety defined over Fq and let π1(X) be the arithmetic fundamental group of X/Fq with respect to some base point. The group π1(X) may be regarded as the Galois group of a separable closure of the function field of X/Fq modulo the inertia groups at the closed points of X/Fq. Suppose now that we are given a continuous π-adic representation ρ : π1(X) GLr(Aπ). −→ We can then define the Artin L-function of the representation in a standard manner: 1 L(ρ, T ):= , deg(x) det(I T ρ(Frobx)) x X0 Y∈ − where X0 is the set of closed points on X/Fq and Frobx is (the conjugacy class of) a Frobenius element of π1(X) at the closed point x.
    [Show full text]
  • AN OVERVIEW of the THEORY of DRINFELD MODULES Contents 1
    AN OVERVIEW OF THE THEORY OF DRINFELD MODULES MIHRAN PAPIKIAN Abstract. These are the notes of an expository talk about Drinfeld modules I gave at the University of Michigan on September 18, 2017. The talk was aimed at graduate students. Contents 1. Carlitz module 2 1.1. Carlitz zeta function 2 1.2. Analytic continuation and Riemann hypothesis 3 1.3. Carlitz exponential 4 2. Drinfeld modules 5 2.1. Definition 5 2.2. Analytic uniformization 6 2.3. Moduli space 7 3. Endomorphisms and Galois representations 10 3.1. Endomorphism rings of Drinfeld modules 10 3.2. Galois representations arising from Drinfeld modules 12 4. Generalizations of Drinfeld modules 15 4.1. Anderson modules 15 4.2. Drinfeld-Stuhler modules 17 4.3. Anderson motives and shtukas 20 5. Modular forms 21 5.1. Classical modular forms 21 5.2. Drinfeld modular forms 23 5.3. Drinfeld automorphic forms 26 5.4. Modularity of elliptic curves 30 References 32 Last modified on October 9, 2017. 1 2 MIHRAN PAPIKIAN 1. Carlitz module 1.1. Carlitz zeta function. Let q be a power of a prime number p. The ring of integers Z has many similarities with the ring A = Fq[T ] of polynomials in indeterminate T with coefficients in the finite field Fq with q elements, e.g., both are Euclidean domains, have finite residue fields and finite groups of units. But there are also deeper arithmetic similarities. One of those similarities arises in the theory zeta functions. A famous result of Euler says that for even m ≥ 2, we have 1 X 1 (1.1) ζ(m) = = −B (2πi)m=2; nm m n=1 p where i = −1 and Bm's are the coefficients of the expansion 1 x X = B xm ex − 1 m m=0 2 (Bm · m! are the Bernoulli numbers).
    [Show full text]
  • Modules and Categories∗ Lenny Taelman
    Modules and Categories∗ Lenny Taelman ∗Preliminary version, May 22, 2018 Contents Foreword 7 Prerequisites 7 Other sources 7 Acknowledgements 7 Chapter 1. Modules over a ring 9 1. Left and right modules 9 2. First examples 10 3. Homomorphisms, submodules and quotient modules 12 4. Products, direct sums and free modules 13 Exercises 17 Chapter 2. Exact sequences 21 1. Exact sequences 21 2. The Five Lemma and the Snake Lemma 22 3. Split short exact sequences 24 Exercises 26 Chapter 3. Finitely generated modules over a PID 31 1. Introduction 31 2. Review of principal ideal domains 31 3. Free modules of finite rank over a PID 32 4. Structure of finitely generated modules over a PID 33 5. Application to Jordan normal form 35 Exercises 38 Chapter 4. Categories 41 1. Definition 41 2. Big examples 42 3. Small examples 42 4. Isomorphisms, monomorphisms, epimorphisms 44 3 4 CONTENTS 5. Initial and final objects 45 Exercises 47 Chapter 5. Functors 51 1. Definition of a functor 51 2. Many examples 51 3. Contravariant functors 54 4. Functors with multiple arguments 55 5. Morphisms of functors 56 6. Equivalences of categories 57 Exercises 61 Chapter 6. Tensor product 65 1. Tensor product of a right and a left module 65 2. Tensor products and bimodules 68 3. Tensor product as a functor 70 4. The adjunction 72 5. Restriction and extension of scalars 73 Exercises 75 Chapter 7. Adjoint functors 79 1. Adjoint pairs of functors 79 2. Many examples 80 3. Yoneda and uniqueness of adjoints 83 Exercises 86 Chapter 8.
    [Show full text]
  • Arxiv:2007.03411V2 [Math.NT] 12 Jul 2020 Nt Hua Oa Nesnmdl,Ctnetcomplex
    ON LANGLANDS PROGRAM, GLOBAL FIELDS AND SHTUKAS NIKOLAJ GLAZUNOV arXiv:2007.03411v2 [math.NT] 12 Jul 2020 Date: June 25, 2020. 2010 Mathematics Subject Classification. Primary 11G09; Secondary 14L. Key words and phrases. Langlands program, global field, Drinfeld module, shtuka, finite shtuka, local Anderson-module, cotangent complex. 1 2 Abstract. The purpose of this paper is to survey some of the im- portant results on Langlands program, global fields, D-shtukas and finite shtukas which have influenced the development of algebra and number theory. It is intended to be selective rather than exhaustive, as befits the occasion of the 80-th birthday of Yakovlev, 75-th birth- day of Vostokov and 75-th birthday of Lurie. Under assumptions on ground fields results on Langlands program have been proved and discussed by Langlands, Jacquet, Shafarevich, Parshin, Drinfeld, Lafforgue and others. This communication is an introduction to the Langlands Pro- gram, global fields and to D-shtukas and finite shtukas (over algebraic curves) over function fields. At first recall that linear algebraic groups found important applications in the Langlands program. Namely, for a connected reductive group G over a global field K, the Langlands correspondence relates automorphic forms on G and global Lang- lands parameters, i.e. conjugacy classes of homomorphisms from the ˆ Galois group al(K/K) to the dual Langlands group G(Qp). In the case of fields ofG algebraic numbers, the application and development of elements of the Langlands program made it possible to strengthen the Wiles theorem on the Shimura-Taniyama-Weil hypothesis and to prove the Sato-Tate hypothesis.
    [Show full text]