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

Hausberger, Thomas

Annales de l'Institut Fourier, Tome 55 (2005) no. 4, pp. 1285-1371.

Considérons les variétés de “$D$-faisceaux elliptiques” $ℰ\ell \ell$ 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 ${\Omega }^d$, ou par les revêtements ${\Sigma }_n^d$ de ${\Omega }^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 ${\Psi }_d$, suivant $n$, des groupes de cohomologie $\ell$-adique avec support, en degré médian, des revêtements ${\Sigma }_n^d$ - sur laquelle agit le produit GL${}_d\left(F_o\right)\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 ${\Psi }_d$ à la cohomologie globale de la variété modulaire $ℰ\ell \ell$.

Let us consider Laumon-Rapoport-Stuhler modular varieties $ℰ\ell \ell$ 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 ${\Omega }^d$, or by the coverings ${\Sigma }_n^d$ of ${\Omega }^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 ${\Psi }_d$ over $n$ of the $\ell$-adic cohomology groups with support, in median degree, of the coverings ${\Sigma }_n^d$ - on wich the product GL${}_d\left(F_o\right)\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 ${\Psi }_d$ to the global cohomology of the moduli variety $ℰ\ell \ell$ .

Classification : 11G, 11S37, 11G09, 11G18, 14G22
Mot clés : uniformisation rigide-analytique, variétés modulaires de Drinfeld, correspondance de Langlands locale
Keywords: Rigid-analytic uniformization, Drinfeld modular varieties, local Langlands correspondence

[Ba1] I. Badulescu Correspondance entre ${\mathrm{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 ${\mathrm{GL}}_n$ sur un corps local de caractéristique non nulle, Manuscripta Math., Volume 101 (2000), pp. 49-70 | DOI | MR | Zbl

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

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

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

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

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

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

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

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

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

[Ce] I.V. Cerednik Uniformization of algebraic curves by discrete arithmetic subgroups of ${\mathrm{PGL}}_2\left(k_w\right)$ with compact quotients, Math. USSR Sbornik, Volume 29 (1976) no. 1, pp. 55-78 | DOI | Zbl

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

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

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

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

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

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

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

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

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

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

[EGA3] A. Grothendieck Éléments de géométrie algébrique, III : étude cohomologique des faisceaux cohérents, Publ. Math. IHÉS, Volume 11 (1961) | Numdam | Zbl

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

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

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

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

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

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

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

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

[He1] G. Henniart On the local Langlands conjecture for GL$\left(n\right)$ : the cyclic case, Anal. Math., Volume 123 (1986), pp. 145-203 | DOI | MR | Zbl

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

[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, Volume 151 (2001) | Zbl

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

[Laf] L. Lafforgue Chtoucas de Drinfeld et conjecture de Ramanujan-Petersson (Astérisque), Volume 243 (1997) | Numdam | Zbl

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

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

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

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

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

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

[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.), Volume 383 (1974), pp. 171–185 | Numdam | Zbl

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

[Ro] J. Rogawski Representations of ${\mathrm{GL}}_n$ and division algebras over a $p$-adic field, Duke Math. J., Volume 50 (1983), pp. 161-196 | MR | Zbl

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

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

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

[SGA5] A. Grothendieck et al. SGA 5 : Cohomologie $\ell$-adique et fonctions $L$, Lect. Notes in Math., 589, Springer-Verlag, 1977 | MR | Zbl

[Ta] J. Tate Rigid analytic spaces, Invent. Math., Volume 12 (1971), pp. 257-289 | DOI | MR | Zbl

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

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

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