Uniformisation des variétés de Laumon-Rapoport-Stuhler et conjecture de Drinfeld-Carayol

Hausberger, Thomas

Annales de l'Institut Fourier, Tome 55 (2005), p. 1285-1371 / Harvested from Numdam

Access to full text
Full (PDF)
Full (DJVU)

Résumé
Abstract

Considérons les variétés de “ $D$ -faisceaux elliptiques” $ℰ ℓ ℓ$ introduites par Laumon, Rapoport et Stuhler, définies sur un corps de fonctions $F$ d’une variable sur un corps fini, où $D$ est une algèbre de division de dimension $d^{2}$ sur $F$ . Nous montrons que ces variétés admettent, en une place $o$ de $F$ où $D_{o}$ est un corps gauche d’invariant $1 / d$ , une uniformisation rigide-analytique par l’espace de Drinfeld $Ω^{d}$ , ou par les revêtements $Σ_{n}^{d}$ de $Ω^{d}$ (selon la structure de niveau). Ce résultat constitue l’analogue du théorème de Čerednik bien connu dans le cas des corps de nombres. Comme application, nous démontrons une conjecture de Carayol : la limite inductive $Ψ_{d}$ , suivant $n$ , des groupes de cohomologie $ℓ$ -adique avec support, en degré médian, des revêtements $Σ_{n}^{d}$ - sur laquelle agit le produit GL $_{d} (F_{o}) \times D_{o}^{*} \times W_{F_{o}}$ - constitue une réalisation géométrique simultanée des correspondances locales de Langlands et de Jacquet-Langlands (du moins pour les cuspidales). Notre preuve est de nature “globale” : via le théorème d’uniformisation, on compare la représentation locale $Ψ_{d}$ à la cohomologie globale de la variété modulaire $ℰ ℓ ℓ$ .

Let us consider Laumon-Rapoport-Stuhler modular varieties $ℰ ℓ ℓ$ for “ $D$ - elliptic sheaves”, which are defined over a function field $F$ in one variable over a finite field, for a division algebra $D$ of dimension $d^{2}$ over $F$ . We show that these varieties admit, at a place $o$ of $F$ where $D_{o}$ is a skew field of invariant $1 / d$ , a rigid-analytic uniformization by Drinfeld’s space $Ω^{d}$ , or by the coverings $Σ_{n}^{d}$ of $Ω^{d}$ (depending on the level structure). This result is the analogue of Čerednik’s theorem, which is well known in the number field case. As an application, we prove a conjecture of Carayol’s : the inductive limit $Ψ_{d}$ over $n$ of the $ℓ$ -adic cohomology groups with support, in median degree, of the coverings $Σ_{n}^{d}$ - on wich the product GL $_{d} (F_{o}) \times D_{o}^{*} \times W_{F_{o}}$ acts - yields a geometrical simultaneous realization of the local Langlands and Jacquet-Langlands correspondences. Our proof is of “global” nature : using the uniformization theorem, we compare the local representation $Ψ_{d}$ to the global cohomology of the moduli variety $ℰ ℓ ℓ$ .

Publié le : 2005-01-01

MR 2157169 | Zbl 02191973 | 1 citation dans Numdam

DOI : https://doi.org/10.5802/aif.2126
Classification: 11G, 11S37, 11G09, 11G18, 14G22
Mots clés: uniformisation rigide-analytique, variétés modulaires de Drinfeld, correspondance de Langlands locale

@article{AIF_2005__55_4_1285_0,
     author = {Hausberger, Thomas},
     title = {Uniformisation des vari\'et\'es de Laumon-Rapoport-Stuhler et conjecture de Drinfeld-Carayol},
     journal = {Annales de l'Institut Fourier},
     volume = {55},
     year = {2005},
     pages = {1285-1371},
     doi = {10.5802/aif.2126},
     mrnumber = {2157169},
     zbl = {02191973},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/AIF_2005__55_4_1285_0}
}

Hausberger, Thomas. Uniformisation des variétés de Laumon-Rapoport-Stuhler et conjecture de Drinfeld-Carayol. Annales de l'Institut Fourier, Tome 55 (2005) pp. 1285-1371. doi : 10.5802/aif.2126. http://gdmltest.u-ga.fr/item/AIF_2005__55_4_1285_0/

Bibliographie

[Ba1] I. Badulescu Correspondance entre ${GL}_{n}$ et ses formes intérieures en caractéristique positive (janvier 1999) (thèse, Université de Paris XI)

[Ba2] I. Badulescu Orthogonalité des caractères pour ${GL}_{n}$ sur un corps local de caractéristique non nulle, Manuscripta Math., Tome 101 (2000), pp. 49-70 | Article | MR 1737224 | Zbl 0957.20027

[BC] J.-F. Boutot; H. Carayol Uniformisation $p$ -adique des courbes de Shimura : les théorèmes de Cerednik et de Drinfeld, Astérisque, Tome 196-197 (1991), pp. 45-149 | MR 1141456 | Zbl 0781.14010

[Be1] V.G. Berkovich Étale cohomology for non-archimedean analytic spaces, Publ. Math. IHÉS, Tome 78 (1993), pp. 5-161 | Numdam | MR 1259429 | Zbl 0804.32019

[Be2] V.G. Berkovich Vanishing cycles for formal schemes, Invent. Math., Tome 115 (1994), pp. 539-571 | Article | MR 1262943 | Zbl 0791.14008

[Be3] V.G. Berkovich Étale equivariant sheaves on $p$ -adic analytic spaces (1995) (preprint, Weizmann Inst. of Science (Israel)) | MR 1648064

[Bo] P. Boyer Mauvaise réduction des variétés de Drinfeld et conjecture de Langlands locale, Inv. Math., Tome 138 (1999) no. 3, pp. 573-629 | MR 1719811 | Zbl 01383862

[BZ] J. Bernstein; A.V. Zelevinski Representations of the group GL $(n, F)$ , where $F$ is a non-archimedean local field, Russ. Math. Surv., Tome 31 (1976), pp. 1-68 | Article | Zbl 0348.43007

[Ca1] H. Carayol Variétés de Drinfeld compactes, d'après Laumon, Rapoport et Stuhler, Séminaire Bourbaki, Tome 756 (1991-1992) | Numdam | Zbl 0801.14005

[Ca2] H. Carayol; L. Clozel Et J. Milne Non-abelian Lubin-Tate theory, Automorphic forms, Shimura varieties and $L$ -functions, Academic Press (Persp. in Math. 11, vol. II) (1990), pp. 15-39 | Zbl 0704.11049

[Ca3] H. Carayol Preuve de la conjecture de Langlands locale pour ${GL}_{n}$ : travaux de Harris-Taylor et Henniart (Séminaire Bourbaki) Tome 857 (1998-1999) | Numdam | Zbl 0958.11077

[Ce] I.V. Cerednik Uniformization of algebraic curves by discrete arithmetic subgroups of ${PGL}_{2} (k_{w})$ with compact quotients, Math. USSR Sbornik, Tome 29 (1976) no. 1, pp. 55-78 | Article | Zbl 0379.14010

[De] P. Deligne (1973) (Lettre à Piatetskii-Shapiro)

[DH] P. Deligne; D. Husemoller Survey of Drinfeld modules, Current Trends in Arithmetical Algebraic Geometry, Amer. Math. Soc. (Contemporary Mathematics) Tome 67 (1987), pp. 25-91 | Zbl 0627.14026

[DKV] P. Deligne; D. Kazhdan; M.-F. Vignéras; I.-N. Bernstein, P. Deligne, D. Kazhdan Et M.-F. Vignéras Représentations des algèbres simples $p$ -adiques, Représentations des groupes réductifs sur un corps local, Hermann (1984) | Zbl 0583.22009

[Dr1] V.G. Drinfeld Elliptic Modules, Math. USSR Sbornik, Tome 23 (1974), pp. 561-592 | Article | MR 384707 | Zbl 0321.14014

[Dr2] V.G. Drinfeld Elliptic Modules II, Math. USSR Sbornik, Tome 31 (1977), pp. 159-170 | Article | Zbl 0386.20022

[Dr3] V.G. Drinfeld Commutative subrings of certain noncommutative rings, Fonct. Anal. Appl., Tome 11 (1977), pp. 9-12 | Article | MR 476732 | Zbl 0368.14011

[Dr4] V.G. Drinfeld Coverings of $p$ -adic symmetric domains, Funct. Anal. Appl., Tome 10 (1976), pp. 107-115 | Article | MR 422290 | Zbl 0346.14010

[Dr5] V.G. Drinfeld (1980) (Letter to H. Carayol, January 12th)

[Dr6] V.G. Drinfeld Varieties of modules of $F$ -sheaves, Funct. Anal. Appl., Tome 21 (1987), pp. 107-122 | Article | MR 902291 | Zbl 0665.12013

[Dr7] V.G. Drinfeld Cohomology of compactified manifolds of modules of $F$ -sheaves of rank $2$ , J. Soviet Math., Tome 46 (1989) no. 1, pp. 1789-1821 | MR 918745 | Zbl 0672.14008

[EGA3] A. Grothendieck Élé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

[Fal1] G. Faltings A relation between two moduli spaces studied by V.G. Drinfeld (2001) (prépublication) | MR 1936369 | Zbl 1062.14059

[Fal2] G. Faltings Groupschemes with strict $𝒪$ -action (2002) (prépublication) | Zbl 1013.11079

[Far] L. Fargues Correspondances de Langlands locales dans la cohomologie des espaces de Rapoport-Zink (2001) (thèse, Université Paris 7) | Zbl 1050.11002

[Ge] A. Genestier Espaces symétriques de Drinfeld, Astérisque, Tome 234 (1996) | MR 1393015 | Zbl 0912.14015

[GM] S.I. Gelfand; Yu.I. Manin Homological Algebra, Springer-Verlag (1999) | MR 1698374

[Go] R. Godement Topologie algébrique et théorie des faisceaux, Hermann (1998) | MR 345092 | Zbl 0080.16201

[Ha1] M. Harris Supercuspidal representations in the cohomology of Drinfel'd upper half spaces ; elaboration of Carayol's program, Invent. Math., Tome 129 (1997), pp. 75-119 | Article | MR 1464867 | Zbl 0886.11029

[Ha2] M. Harris Galois properties of cohomological automorphic forms on GL $(n)$ , J. Math. Kyoto Univ., Tome 39 (1999) no. 2, pp. 299-318 | MR 1709295 | Zbl 1017.11026

[He1] G. Henniart On the local Langlands conjecture for GL $(n)$ : the cyclic case, Anal. Math., Tome 123 (1986), pp. 145-203 | Article | MR 825841 | Zbl 0588.12010

[He2] G. Henniart Une preuve simple des conjectures de Langlands pour GL $(n)$ sur un corps $p$ -adique, Inv. Math., Tome 139 (2000) no. 2, pp. 439-455 | Article | MR 1738446 | Zbl 1048.11092

[He3] G. Henniart La correspondance de Langlands locale : caractérisation et propriétés fonctorielles (en préparation)

[HT] M. Harris; R. Taylor The geometry and cohomology of some simple Shimura varieties, Ann. Math. Studies, Tome 151 (2001) | Zbl 1036.11027

[Ill] L. Illusie Complexe cotangent et déformations I, II,, Springer, Lect. Notes in Math., Tome 239, 283 (1971, 1973) | MR 491680 | Zbl 0224.13014

[Laf] L. Lafforgue Chtoucas de Drinfeld et conjecture de Ramanujan-Petersson, Soc. Math. France (Astérisque) Tome 243 (1997) | Zbl 0899.11026

[Lau] G. Laumon Cohomology of Drinfeld Modular Varieties, part I, Cambridge University Press (1996) | MR 1381898 | Zbl 0837.14018

[Le] B. Lemaire Intégrabilité locale des caractères-distributions de ${GL}_{n} (F)$ , où $F$ est un corps local non archimédien de caractéristique quelconque, Comp. Math., Tome 100 (1996), pp. 41-75 | Numdam | MR 1377408 | Zbl 0856.22024

[LRS] G. Laumon; M. Rapoport; U. Stuhler $𝒟$ -elliptic sheaves and the Langlands correspondence, Inv. Math., Tome 113 (1993), pp. 217-338 | Article | MR 1228127 | Zbl 0809.11032

[Me] W. Messing Crystals associated to Barsotti-Tate groups, Springer-Verlag, Lect. Notes in Math., Tome 264 (1972) | MR 347836 | Zbl 0243.14013

[Mum] D. Mumford An analytic construction of degenerating curves over complete local rings, Comp. Math., Tome 24 (1972) no. 3, pp. 239-272 | Numdam | MR 352106 | Zbl 0228.14011

[Mus] G.A. Mustafin Nonarchimedean uniformization, Math. USSR Sbornik, Tome 34 (1978), pp. 187-214 | Article | Zbl 0411.14006

[Ra1] M. Raynaud Construction analytique de courbes en géométrie non archimédienne (d'après David Mumford), Séminaire Bourbaki (Lect. Notes in Math.) Tome 383 (1974), pp. 171185 | Numdam | Zbl 0294.14017

[Ra2] M. Raynaud Géomérie analytique rigide d'après Tate, Kiehl,..., Table ronde analyse non archimédienne, Bull. Soc. Math. Fr., Tome 39-40 (1974), pp. 319-327 | Numdam | MR 470254 | Zbl 0299.14003

[Ro] J. Rogawski Representations of ${GL}_{n}$ and division algebras over a $p$ -adic field, Duke Math. J., Tome 50 (1983), pp. 161-196 | MR 700135 | Zbl 0523.22015

[RZ] M. Rapoport; Th. Zink Period spaces for $p$ -divisible groups, Amer. Math. Soc., Annals Math. Studies, Tome 141 (1996) | MR 1393439 | Zbl 0873.14039

[ScSt] P. Schneider; U. Stuhler The cohomology of $p$ -adic symmetric spaces, Inv. Math., Tome 105 (1991), pp. 47-122 | Article | MR 1109620 | Zbl 0751.14016

[SGA4] A. Grothendieck Et Al. SGA 4 : Théorie des topos et cohomologie étale des schémas, Springer-Verlag, Lect. Notes in Math., Tome 305 (1973) | MR 354654

[SGA5] A. Grothendieck Et Al. SGA 5 : Cohomologie $ℓ$ -adique et fonctions $L$ , Springer-Verlag, Lect. Notes in Math., Tome 589 (1977) | MR 463174 | Zbl 0407.18008

[Ta] J. Tate Rigid analytic spaces, Invent. Math., Tome 12 (1971), pp. 257-289 | Article | MR 306196 | Zbl 0212.25601

[We] A. Weil Basic Number Theory, Springer-Verlag (1985) | Zbl 0823.11001

[Zi1] Th. Zink Isogenien Formaler Gruppen Über einem Lokal Noetherschen Schema, Math. Nachr, Tome 99 (1980), pp. 273-283 | Article | MR 637665 | Zbl 0481.14017

[Zi2] Th. Zink Cartiertheorie Kommutativer Formaler Gruppen, Teubner, Leipzig, Teubner-Texte zur Mathematik (1984) | MR 767090 | Zbl 0578.14039