A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)

Abstract

Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The proof relies on Lafforgue's Langlands correspondence over curves. In addition, Deligne shows the existence of affine moduli of finite type over $\mathbb{Q}$. A corollary of Deligne's finiteness theorem is the existence of a number field which contains all traces of the Frobenii at closed points, which was the main result of his recent article and which answers positively his own conjecture from Weil II.

arXiv comment37 pages

Cited by in corpus (10)

• Chow group of 0-cycles with modulus and higher dimensional class field theory
• Lefschetz theorem for abelian fundamental group with modulus
• Etale and crystalline companions, I
• Rank 2 Local Systems, Barsotti-Tate Groups, and Shimura Curves
• On certain products of algebraic groups over a finite field
• Companions on Artin stacks
• An inverse theorem for Gowers norms of trace functions over prime fields
• Non-abelian reciprocity laws and higher Brauer-Manin obstructions
• Tamagawa number formula with coefficients over varieties in positive characteristic
• Semi-continuity of conductors, and ramification bound of nearby cycles