Search

We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G over a function field, indexed by global Langlands parameters. The proof uses the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence., Comment: ICM report

This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula.

This is an introduction to the article "Chtoucas pour les groupes r\'eductifs et param\'etrisation de Langlands globale", arXiv:1209.5352. We explain all the ideas of the proof. For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula., Comment: in French. arXiv admin note: substantial text overlap with arXiv:1209.5352

For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula., Comment: in French

Let X be a smooth projective curve. Write Bun_{SO_{2n}} for the moduli stack of SO_{2n}-torsors on X. We give a geometric interpretation of the automorphic function f on Bun_{SO_{2n}} corresponding to the minimal representation. Namely, we construct a perverse sheaf K on Bun_{SO_{2n}} such that f should be equal to the trace of Frobenius of K plus some constant function. We also calculate K explicitely for curves of genus zero and one. The construction of K is based on some explicit geometric formulas for the Fourier coefficients of f on one hand, and on the geometric theta-lifting on the other hand. Our construction makes sense for more general simple algebraic groups, we formulate the corresponding conjectures. They could provide a geometric interpretation of some unipotent automorphic representations in the framework of the geometric Langlands program., Comment: LaTeX2e, 69 pages, final version, to appear in Representation theory (electronic J. of AMS)

We prove that the global geometric theta-lifting functor for the pair (H, G) is compatible with the Whittaker normalization, where (H,G) is one of the pairs (SO_{2n}, Sp_{2n}), (Sp_{2n}, SO_{2n+2}) or (GL_{n},GL_{n+1}). That is, the composition of the theta-lifting functor from H to G with the Whittaker functor for G is isomorphic to the Whittaker functor for H., Comment: 13 pages, final version to appear in Bulletin SMF

Let k be an algebraically closed field of characteristic >2, F=k((t)) and Mp(F) denote the metaplectic extension of Sp_{2d}(F). In this paper we propose a geometric analog of the Weil representation of Mp(F). This is a category of certain perverse sheaves on some stack, on which Mp(F) acts by functors. This construction will be used in math.RT/0701170 (and subsequent publications) for a proof of the geometric Langlands functoriality for some dual reductive pairs., Comment: LaTeX2e, 37 pages