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 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 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 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 and that the general case can be deduced form a generalization of the vanishing conjecture of [11]
@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},
volume = {54},
year = {2004},
pages = {2235-2325},
doi = {10.5802/aif.2080},
mrnumber = {2139694},
zbl = {1137.11347},
language = {en},
url = {http://dml.mathdoc.fr/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) pp. 2235-2325. doi : 10.5802/aif.2080. http://gdmltest.u-ga.fr/item/AIF_2004__54_7_2235_0/
[1] Twisted bundles and admissible covers, Comm. Algebra, Tome 31 (2003), pp. 3547-3618 | Article | MR 2007376 | Zbl 01961939
[2] SGA 4: Théorie des topos et cohomologie étale des schémas, Springer-Verlag Tome t. 3 (1973) | MR 354654
[3] The intrinsic normal cone, Invent. Math., Tome 128 (1997), pp. 45-88 | Article | MR 1437495 | Zbl 0909.14006
[4] Faisceaux pervers, Astérisque 100 (1983) | Zbl 0536.14011
[5] 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] 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] La conjecture de Weil II, Publ. Math. IHÉS, Tome 52 (1980), pp. 137-252 | Numdam | MR 601520 | Zbl 0456.14014
[8] 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] Two-dimensional -adic representations of the galois group of a global field of characteristic and automorphic forms on GL(2), J. Sov. Math., Tome 36 (1987), pp. 93-105 | Article | Zbl 0609.12010
[10] 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] On the geometric Langlands conjecture, J. Amer. Math. Soc., Tome 15 (2002), pp. 367-417 | Article | MR 1887638 | Zbl 01720951
[12] Representation Theory - A First Course, Springer-Verlag, Graduate Texts in Mathematics, Tome 129 (1991) | MR 1153249 | Zbl 0744.22001
[13] On a vanishing conjecture appearing in the geometric Langlands correspondence (e-print, arXiv:math.AG/0204081) | Zbl 02157786
[14] Intersection homology II, Invent. Math., Tome 72 (1983), pp. 77-129 | Article | MR 696691 | Zbl 0529.55007
[15] 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] 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] 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] SGA 5 : Cohomologie -adique et fonctions , Springer-Verlag (1977) | MR 463174 | Zbl 0407.18008
[18] Chtoucas de Drinfeld et correspondance de Langlands, Invent. Math., Tome 147 (2002), pp. 1-241 | Article | MR 1875184 | Zbl 1038.11075
[19] Faisceaux automorphes pour : la première construction de Drinfeld (e-print, arXiv:alg-geom/9511004)
[20] 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] 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] Cohomology of Drinfeld modular varieties II, Cambridge University Press (1997) | MR 1439250 | Zbl 0870.14016
[23] Travaux de Frenkel, Gaitsgory et Vilonen sur la correspondance de Drinfeld-Langlands, Séminaire Bourbaki, Tome 906 (2002) | Numdam | MR 2074060 | Zbl 02134860
[24] Champs algébriques, Springer-Verlag, Ergebnisse der Mathematik und ihrer Grenzgebiete, Tome 3 (2000) | MR 1771927 | Zbl 0945.14005
[25] The multiplicity one theorem for , Ann. of Math., Tome 100 (1974), pp. 171-193 | Article | MR 348047 | Zbl 0316.12010