Coherent sheaves with parabolic structure and construction of Hecke eigensheaves for some ramified local systems  [ Faisceaux cohérents avec structure parabolique et la construction des faisceaux ayant la proprieté de Hecke relativement à certains systèmes locaux ramifiés ]
Annales de l'Institut Fourier, Tome 54 (2004) no. 7, p. 2235-2325
L’objectif de ces notes est de généraliser la construction de Laumon [20] des faisceaux automorphes correspondant aux systèmes locaux sur une courbe projective, lisse C aux cas des systèmes locaux ayant une ramification unipotente indécomposable en un nombre fini de points. Dans ce but, il est nécessaire d’étendre aux faisceaux cohérents la notion de structure parabolique des fibrés vectoriels. Une fois ceci défini, beaucoup d’arguments de l’article “On the geometric Langlands conjecture” de Frenkel, Gaitsgory et Vilonen [11] se transposent à notre situation. Nous montrons que nos faisceaux se descendent sur l’espace de modules des fibrés paraboliques si le rang est 3 et que le cas général peut se déduire d’une généralisation de la conjecture d’annulation de [11]
The aim of these notes is to generalize Laumon’s construction [20] of automorphic sheaves corresponding to local systems on a smooth, projective curve C to the case of local systems with indecomposable unipotent ramification at a finite set of points. To this end we need an extension of the notion of parabolic structure on vector bundles to coherent sheaves. Once we have defined this, a lot of arguments from the article “ On the geometric Langlands conjecture” by Frenkel, Gaitsgory and Vilonen [11] carry over to our situation. We show that our sheaves descend to the moduli space of parabolic bundles if the rank is 3 and that the general case can be deduced form a generalization of the vanishing conjecture of [11]
DOI : https://doi.org/10.5802/aif.2080
Classification:  11R39,  11F70,  14H60,  22E55
Mots clés: fibrés vectoriels paraboliques, faisceaux automorphes, correspondance de Langlands géométrique
@article{AIF_2004__54_7_2235_0,
     author = {Heinloth, Jochen},
     title = {Coherent sheaves with parabolic structure and construction of Hecke eigensheaves for some ramified local systems},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l'institut Fourier},
     volume = {54},
     number = {7},
     year = {2004},
     pages = {2235-2325},
     doi = {10.5802/aif.2080},
     zbl = {1137.11347},
     mrnumber = {2139694},
     language = {en},
     url = {http://www.numdam.org/item/AIF_2004__54_7_2235_0}
}
Heinloth, Jochen. Coherent sheaves with parabolic structure and construction of Hecke eigensheaves for some ramified local systems. Annales de l'Institut Fourier, Tome 54 (2004) no. 7, pp. 2235-2325. doi : 10.5802/aif.2080. http://www.numdam.org/item/AIF_2004__54_7_2235_0/

[1] D. Abramovich; A. Corti; A. Vistoli Twisted bundles and admissible covers, Comm. Algebra, Tome 31 (2003), pp. 3547-3618 | Article | MR 2007376 | Zbl 01961939

[2] M. Artin; A. Grothendieck; J.-L. Verdier SGA 4: Théorie des topos et cohomologie étale des schémas, Springer-Verlag Tome t. 3 (1973) | MR 354654

[3] K. Behrend; B. Fantechi The intrinsic normal cone, Invent. Math., Tome 128 (1997), pp. 45-88 | Article | MR 1437495 | Zbl 0909.14006

[4] A.A. Beilinson; J. Bernstein; P. Deligne Faisceaux pervers, Astérisque 100 (1983) | Zbl 0536.14011

[5] A. Borel Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup, Invent. Math., Tome 35 (1976), pp. 233-259 | Article | MR 444849 | Zbl 0334.22012

[6] J.-L. Brylinski Transformations canoniques, dualité projective, théorie de Lefschetz, transformation de Fourier et sommes trigonométriques, Astérisque, Tome 140-141 (1986), pp. 3-134 | MR 864073 | Zbl 0624.32009

[7] P. Deligne La conjecture de Weil II, Publ. Math. IHÉS, Tome 52 (1980), pp. 137-252 | Numdam | MR 601520 | Zbl 0456.14014

[8] V.G. Drinfeld Two-dimensional -adic representations of the fundamental group of a curve over a finite field and automorphic forms on GL(2), Amer. J. Math., Tome 105 (1983), pp. 85-114 | Article | MR 692107 | Zbl 0536.14014

[9] V.G. Drinfeld Two-dimensional -adic representations of the galois group of a global field of characteristic p and automorphic forms on GL(2), J. Sov. Math., Tome 36 (1987), pp. 93-105 | Article | Zbl 0609.12010

[10] E. Frenkel; D. Gaitsgory; D. Kazhdan; K. Vilonen Geometric realization of Whittaker functions and the geometric Langlands conjecture, J. Amer. Math. Soc., Tome 11 (1998), pp. 451-484 | Article | MR 1484882 | Zbl 01132436

[11] E. Frenkel; D. Gaitsgory; K. Vilonen. On the geometric Langlands conjecture, J. Amer. Math. Soc., Tome 15 (2002), pp. 367-417 | Article | MR 1887638 | Zbl 01720951

[12] W. Fulton; J. Harris Representation Theory - A First Course, Springer-Verlag, Graduate Texts in Mathematics, Tome 129 (1991) | MR 1153249 | Zbl 0744.22001

[13] D. Gaitsgory On a vanishing conjecture appearing in the geometric Langlands correspondence (e-print, arXiv:math.AG/0204081) | Zbl 02157786

[14] M. Goresky; R. Macpherson Intersection homology II, Invent. Math., Tome 72 (1983), pp. 77-129 | Article | MR 696691 | Zbl 0529.55007

[15] A. Grothendieck Technique de descente et théorèmes d'existence en géométrie algébrique. IV: Les schémas de Hilbert, Séminaire Bourbaki, Tome 13 (1960), pp. 1-221 | Numdam | Zbl 0236.14003

[16] A. Grothendieck Eléments de Géométrie Algébrique III : Étude cohomologique des faisceaux cohérents, Publ. Math. IHÉS, Tome 11 (1961) | Numdam | Zbl 0118.36206

[16] A. Grothendieck Eléments de Géométrie Algébrique III : Etude cohomologique des faisceaux cohérents, Publ. Math. IHES, Tome 17 (1963) | Numdam | Zbl 0122.16102

[17] A. Grothendieck SGA 5 : Cohomologie -adique et fonctions L, Springer-Verlag (1977) | MR 463174 | Zbl 0407.18008

[18] L. Lafforgue Chtoucas de Drinfeld et correspondance de Langlands, Invent. Math., Tome 147 (2002), pp. 1-241 | Article | MR 1875184 | Zbl 1038.11075

[19] G. Laumon Faisceaux automorphes pour GL ( n) : la première construction de Drinfeld (e-print, arXiv:alg-geom/9511004)

[20] G. Laumon Correspondance de Langlands géométrique pour les corps de fonctions, Duke Math. J., Tome 54 (1987), pp. 309-359 | MR 899400 | Zbl 0662.12013

[21] G. Laumon Transformation de Fourier, constantes d'équations fonctionnelles et conjecture de Weil, Publ. Math. IHÉS, Tome 65 (1987), pp. 131-210 | Numdam | MR 908218 | Zbl 0641.14009

[22] G. Laumon Cohomology of Drinfeld modular varieties II, Cambridge University Press (1997) | MR 1439250 | Zbl 0870.14016

[23] G. Laumon Travaux de Frenkel, Gaitsgory et Vilonen sur la correspondance de Drinfeld-Langlands, Séminaire Bourbaki, Tome 906 (2002) | Numdam | MR 2074060 | Zbl 02134860

[24] G. Laumon; L. Moret-Bailly Champs algébriques, Springer-Verlag, Ergebnisse der Mathematik und ihrer Grenzgebiete, Tome 3 (2000) | MR 1771927 | Zbl 0945.14005

[25] J.A. Shalika The multiplicity one theorem for GL n , Ann. of Math., Tome 100 (1974), pp. 171-193 | Article | MR 348047 | Zbl 0316.12010