arxiv: v2 [math.rt] 18 Apr 2012

Transcription

1 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2 (Q p ) RAMLA ABDELLATIF AND STEFANO MORRA arxiv: v2 [math.rt] 18 Apr 2012 Résumé. Soit p 5 un nombre premier. À l aide de travaux antérieurs des deux auteurs, nous déterminons la filtration par le SL 2 (Z p)-socle des F p- représentations lisses irréductibles de SL 2 (Q p). 1. Introduction Soit p un nombre premier, que l on choisit comme uniformisante de Z p, soit F une extension finie de Q p et soit F p une clôture algébrique du corps résiduel F p de Z p. Les récents travaux de Breuil-Paškūnas [BP] et Hu [Hu] ayant trait à la recherche d une classification des représentations lisses irréductibles de GL 2 (F) sur F p mettent en valeur l importance cruciale de la compréhension des extensions entre représentations lisses irréductibles d un sous-groupe ouvert compact maximal hyperspecial 1 K fixé de GL 2 (F) qui apparaissent comme sous-quotients d une F p - représentation lisse irréductible donnée. Dans cette optique, nous nous proposons d étudier la filtration par le SL 2 (Z p )- socle des représentations lisses irréductibles de SL 2 (Q p ) sur F p. Pour ce faire, nous allons utiliser certains travaux antérieurs des deux auteurs : en effet, le premier auteur donne dans [Ab] une classification complète des F p -représentations lisses irréductibles de SL 2 (Q p ) tandis que, pour p est impair, le second auteur détermine dans [Mo1] la filtration par le GL 2 (Z p )-socle des F p -représentations lisses irréductibles de GL 2 (Q p ). Avant d énoncer notre résultat, nous rappelons que pour tout entier n Z, on note χ s n le F p -caractère du groupe B(F p ) des matrices triangulaires supérieures de GL 2 (F p ) défini par (( )) χ s a b n := d n, (1.1) 0 d (( )) a b que l on désigne par a le F p -caractère de B(F p ) défini par a := ad 0 d 1, par ω le F p -caractère lisse de Q p trivial en p dont la restriction à Z p est donnée par l application de réduction modulo p, et que pour tout coefficient λ F p non nul, on note µ λ le F p -caractère lisse non ramifié de Q p envoyant p sur λ. Théorème 1.1. Soit r {0,...,p 1} et soit λ F p. Notons le sous-groupe d Iwahori standard de SL 2 (Q p ), K S := SL 2 (Z p ) et le sous-groupe des matrices triangulaires supérieures de SL 2 (Q p ) Mathematics Subject Classification. 11F85, 22E50. Key words and phrases. représentations supersingulières, programme de Langlands modulo p, poids de Serre, filtration par le socle. 1. De telles représentations sont parfois appelées poids de Serre dans la littérature. 1

2 2 RAMLA ABDELLATIF AND STEFANO MORRA (1) La filtration par le K S -socle de l induite parabolique Ind GS (µ λ ω p 1 r ) est donnée par SocFil(Ind KS (χ s r)) SocFil(Ind KS (χ s r 2)) SocFil(Ind KS (χ s r 4)).... (2) La filtration par le K S -socle de la représentation de SteinbergSt S est donnée par Sym p 1 F 2 p SocFil(IndKS (a)) SocFil(Ind KS (a 2 )) SocFil(Ind K I (a3 )).... (3) La filtration par le K S -socle de la représentation supersingulière π r est donnée par Sym r F 2 p SocFil(Ind KS (χ s r 2)) SocFil(Ind KS (χ s r 4)).... Cet article est organisé de la façon suivante : on commence par rappeler les résultats de [Ab] et [Mo1] ayant inspiré l étude menée ici, et qui traitent respectivement des représentations modulo p de SL 2 (Q p ) et de la structure interne des représentations modulo p de GL 2 (Q p ). On démontre ensuite deux résultats techniques concernant le comportement des GL 2 (Z p )-extensions après restriction à SL 2 (Z p ), dont nous déduisons finalement une preuve simple du Théorème Préliminaires 2.1. Notations. On fixe un nombre premier p. On note G := GL 2 (Q p ) de sousgroupe ouvert compact maximal hyperspécial K := GL 2 (Z p ) et de centre Z Q p dont le pro-p-sous-groupe maximal est noté Z 1. On désigne par B le sous-groupe de Borel formé des matrices triangulaires supérieures de G et par U son radical unipotent. L application de réduction modulo p induit naturellement une surjection de K sur GL 2 (F p ) qui nous permet de définir le sous-groupe d Iwahori standard I (resp. : son pro-p-radical I(1)) comme l image réciproque par cette surjection du sous-groupe des matrices triangulaires supérieures (resp. : et unipotentes) de GL 2 (F p ). Plus généralement, pour tout entier n 1, on ( définit K ) 0 (p n ) a b comme le sous-groupe des éléments de K s écrivant sous la forme p n avec c d a,b,c,d Z p. De même, on note G S := SL 2 (Q p ) de sous-groupe ouvert compact maximal hyperspécial standard K S = SL 2 (Z p ), de sous-groupe de Borel := G S B, de sous-groupe d Iwahori standard = G S I et de pro-p-iwahori standard (1) = G S I(1). Comme nous l avons rappelé dans l introduction, on désigne par ω le F p -caractère lisse de Q p qui est trivial sur p et dont l action sur Z p est définie par l application de réduction modulo p. Pour tout coefficient λ F p non nul, on note µ λ : Q p F p le caractère lisse non ramifié qui envoiep surλ, et pour tout(( entier n )) Z, on désigne a b par χ s n le F p-caractère du groupe fini B(F p ) défini par χ s n := d 0 d n. On (( )) a b note enfin a le F p -caractère de B(F p ) défini par a := ad 0 d 1. Remarque 2.1. Les caractères χ s n et a définissent par restriction des caractères du groupe fini (F p ) = B(F p ) SL 2 (F p ), qui définissent par inflation des F p - caractères lisses de que l on note encore χ s n et a. Notons qu ils satisfont d une part aux relations suivantes : M (F p ), n Z, χ s n(m) = χ s n(m 1 ),

3 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2(Q p) 3 et que l on a d autre part χ s 2a = det. Pour tout sous-groupe ouvert H de G, on dispose d un foncteur d induction compacte ind G H qui coïncide avec le foncteur d induction lisse Ind G H lorsque H est d indice fini dans G. Pour toute F p -représentation lisse σ de H et tout vecteur v σ, on note [1,v] l élément de ind G H (σ) de support égal à H et qui envoie I 2 sur v. Ceci reste vrai si l on remplacegpark et que l on considère le sous-groupe d indice fini H = K 0 (p) de K. Dans ce cas, si σ est une F p -représentation lisse de K 0 (p) et si v est un élément de σ, on pose alors, pour tout l {0,...,p 1}, F l (v) := λ 0 F p λ l 0 ( [λ0 ] ) [1,v] Ind K K 0(p) σ. (2.1) Rappelons par ailleurs que toute représentation lisse irréductible de K S sur F p provient par inflation d une représentation irréductible Sym r F 2 p de SL 2 (F p ), et que toute représentation lisse irréductible de K sur F p provient par inflation d une représentation irréductible Sym r F 2 p det m de GL 2 (F p ), avec r {0,...,p 1} et m {0,...,p 2} uniques. Par abus de notation, nous noterons encore Sym r F 2 p (resp. Sym r F 2 p det) la représentation de K S (resp. de K) correspondante. Enfin, si τ est une représentation lisse de K S sur F p, on note { soc i (τ) } i N sa filtration par le socle, que l on définit comme suit : soc 0 (τ) est le K S -socle de τ, i.e. le sous-f p [K S ]-module semi-simple maximal contenu dans τ. En supposant avoir construit soc i (τ), on définit soc i+1 (τ) comme l image réciproque de soc 0( τ/ ( soc i (τ) )) par la projection canonique τ τ/ ( soc i (τ) ). On utilisera alors la notation soc 1 (τ) soc 1 (τ)/soc 0 (τ)... soc n+1 (τ)/soc n (τ)... pour désigner la suite des facteurs gradués successifs de la filtration par le socle de τ. Plus généralement, si τ est une F p -représentation lisse de K S munie d une filtation croissante { τ }, nous écrirons i N SocFil(τ 0 ) SocFil(τ 1 /τ 0 )... SocFil(τ i+1 /τ i )... pour signifier que : i) la filtration par le socle de τ est induite par raffinemment par la filtration par le socle de chaque facteur gradué τ i+1 /τ i ; ii) la suite des facteurs gradués de la filtration par le socle de τ s obtient en juxtaposant les suites de facteurs gradués associés aux filtrations par le socle de chaque τ i+1 /τ i Représentations modulo p de SL 2 (Q p ). Les travaux présentés dans [Ab] fournissent sans hypothèse sur p une classification exhaustive des classes d isomorphisme des représentations lisses irréductibles de SL 2 (Q p ) sur F p, ainsi qu une description de la restriction à SL 2 (Q p ) des représentations lisses irréductibles de GL 2 (Q p ) sur F p. Ils permettent notamment d obtenir l énoncé suivant [Ab, Théorèmes 0.1, 2.16 et Proposition 4.5]. Théorème 2.2. Soit λ F p et soit r {0,...,p 1}. (1) La restriction à G S définit un isomorphisme de F p [G S ]-modules : Res G G S (Ind G B (µ λ µ λ 1ω r )) Ind GS (µ λ 2ω p 1 r ).

4 4 RAMLA ABDELLATIF AND STEFANO MORRA (2) Le F p [G S ]-module Ind GS (µ λ 2ω p 1 r ) est réductible si et seulement si le caractère µ λ 2ω p 1 r est trivial. L induite parabolique Ind GS (1) est un F p [G S ]- module indécomposable de longueur 2 admettant le caractère trivial comme sous-objet et la représentation de Steinberg St S comme quotient. (3) La restriction à G S établit un isomorphisme de F p [G S ]-modules de la représentation de Steinberg St de G vers la représentation de Steinberg St S. (4) La restriction à G S induit un isomorphisme de F p [G S ]-modules : Res G G S (π(r,0,1)) π r π p 1 r. (2.2) Dans cet énoncé, π(r,0,1) := Coker(T r : ind G KZ(Sym r F 2 p) ind G KZ(Sym r F 2 p)) est la représentation supersingulière de GL 2 (Q p ) de paramètre r [Br, Section 2.7]. On désigne par f l image dans π(r,0,1) d un élément f ind G KZ (Symr F 2 p ). Les représentations π 0,...,π p 1 forment quant à elles un système explicite de représentants des classes d isomorphisme des représentations supersingulières de G S [Ab, Section 4.1] qui vérifient en particulier les assertions suivantes [Ab, Propositions 4.7 et 4.11]. Théorème 2.3. Soit r {0,...,p 1}. (1) L espace πr IS(1) des vecteurs (1)-invariants de la représentation supersingulière π r est de dimension 1 sur F p et engendré par v r := [I 2,x r ]. (2) Le sous-groupe d Iwahori standard agit sur π IS(1) r par le caractère ω r Structure interne des représentations modulo p de GL 2 (Q p ). On suppose désormais p 5. Nous rappelons maintenant quelques résultats de [Mo1] concernant la structure interne des représentations lisses irréductibles de GL 2 (Q p ) sur F p, qui décrivent notamment la filtration par le K-socle des F p -représentations lisses irréductibles de dimension infinie de GL 2 (Q p ) [Mo1, Theorems 1.1 and 1.2]. Théorème 2.4. Soit (r,λ) {0,...,p 1} F p une paire de paramètres. (1) La représentation Ind G B (µ λ µ λ 1ω r ) admet la filtration par le K-socle suivante : SocFil(Ind K I (χ s r)) SocFil(Ind K I (χ s ra)) SocFil(Ind K I (χ s ra 2 )).... (2) La représentation de Steinberg St de GL 2 (Q p ) admet la filtration par le K-socle suivante : Sym p 1 F 2 p SocFil(IndK I (a)) SocFil(IndK I (a2 )) SocFil(Ind K I (a3 )).... (3) La restriction à KZ de la représentation supersingulière π(r,0,1) est scindée de longueur 2 : π(r,0,1) KZ Π r Π p 1 r. (2.3) Les représentations Π r et Π p 1 r admettent respectivement les filtrations par le K-socle suivantes : Sym r F 2 p SocFil(Ind K I (χ s ra r+1 )) SocFil(Ind K I (χ s ra r+2 )) SocFil(Ind K I (χ s ra r+3 ))... et Sym p 1 r F 2 p SocFil(Ind K I (χ s ra)) SocFil(Ind K I (χ s ra 2 )) SocFil(Ind K I (χ s ra 3 ))....

5 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2(Q p) 5 3. De K à K S Cette section a pour but de combiner les résultats rappelés ci-avant afin d obtenir deux énoncés techniques nous permettant de démontrer facilement le Théorème 1.1. Nous procédons comme suit : nous commençons par étudier plus en détail la nature des K-extensions entre poids de Serre contenus dans une représentation lisse irréductible donnée de G, ce qui fournit un raffinement de l énoncé du Théorème 2.4. Nous prouvons ensuite que ces K-extensions restent non scindées lorsqu on se limite à les considérer comme des K S -extensions Structure des K-extensions entre poids de Serre. Traitons tout d abord le cas d une représentation de la forme Ind G B (µ λ µ λ 1ω r ) avec λ F p et r {0,...,p 1} fixés. Un calcul direct reposant sur la décomposition d Iwahori G = KB = BK montre, par application de la décomposition de Mackey, que le F p [K]- module porté par Ind G B (µ λ µ λ 1ω r ) est isomorphe à Ind K K B χs r. D après [Mo1, 10], on dispose en outre d un isomorphisme K-équivariant 2 limind K K 0(p n+1 ) χs r Ind K K B χs r. n N Par continuité du foncteur d induction Ind K K 0(p), on en déduit l existence d un isomorphisme de F p [K]-modules ( ) Ind K K 0(p) limind K0(p) K 0(p n+1 ) χs r Ind K K Bχ s r. (3.1) n N Par ailleurs, on sait grâce à [Mo1, Proposition 5.10] que pour tout entier n 1, la représentation Ind K0(p) K 0(p n+1 ) χs r est unisérielle 3 de dimension p n sur F p et qu elle admet la filtration par le K 0 (p)-socle suivante : χ s r χs r a χs r a2... χ s r apn 2 χ s r apn 1. On obtient donc ainsi le premier résultat suivant. Lemme 3.1. Soit (r,λ) {0,...,p 1} F p une paire de paramètres. Le F p[k]- module porté par Ind G B (µ λ µ λ 1ω r ) est isomorphe à Ind K K 0(p) R, où R := limind K0(p) K 0(p n+1 ) χs r est une représentation unisérielle de K 0(p) de longueur infinie n N admettant la filtration par le K 0 (p)-socle suivante : χ s r χ s ra χ s ra La situation est analogue pour les F p [KZ]-modules Π r et Π p 1 r introduits dans l énoncé du Théorème 2.4. Pour tout entier n N, notons σr n le F p[k 0 (p n )]-module r d espace sous-jacent F p X i Y r i sur lequel l action de K 0 (p n ) est donnée par la i=0 formule suivante [Mo1, 3.1] : (( )) a b σr n p n X c d i Y r i := (dx +cy) i (p n bx +ay) r i. 2. Donc en particulier I = K 0 (p)-équivariant. 3. Ce qui signifie que sa restriction au sous-groupe U(Z p) des matrices unipotentes de B K est une suite d extensions non scindées d objets irréductibles.

6 6 RAMLA ABDELLATIF AND STEFANO MORRA En posant R n := Ind K K 0(p n )(σ n r), on dispose grâce à [Mo2, Lemma 3.4] d une injection de systèmes inductifs R 0 R 1 R 0 R 1 R n 2 R n 1 R n Rn+1 R 0 R1 Rn 2 R n 1 R 0 R1 Rn R n+1 qui induit un isomorphisme K-équivariant [Mo1, Proposition 3.9] lim R 0 R1 Rn R n+1 Πr. n impair Chaque R0 R 1 R n Rn+1 définit alors une représentation unisérielle de dimension finie sur F p dont la filtration par le K 0 (p)-socle est de la forme [Mo2, Theorem 5.18] : χ s ra r χ s ra r+1 χ s ra r Le lemme suivant établit une relation importante entre R0 R 1 R n Rn+1 et R 0 R1 Rn R n+1. Lemme 3.2. Pour tout entier impair n 1, on dispose de la suite exacte courte suivante de F p [K]-modules : 0 Sym p 1 r F 2 p det r Ind K K 0(p)(R 0 R 1 R n R n+1 ) R 0 R1 Rn R n+1 0. (3.2) Démonstration. La démonstration s effectue par récurrence sur l entier impair n 1, le cas n = 1 s obtenant par un calcul direct qui repose sur la définition de R 0 Sym r F 2 p et de R 0 = χs r ar [Mo2, 3]. Le cas général se traite à l aide du diagramme commutatif suivant [Mo2, Proposition 3.5] : 0 R n 0 Rn R n+1 R n+1 R n+1 /R n 0 R n+1 /Rn 0 0 R R n 1 n ( Rn 2 R n 1 ) K0 (p) ( Rn2 R n+1 ) K0 (p) R n R n+1 R n+1 /R n R n+1 /Rn 0. 0

7 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2(Q p) 7 Par transitivité de l induction compacte et [Mo2, 3], on sait qu il existe un isomorphisme de F p [K]-modules Ind K K 0(p)R n+1 = R n+1. On déduit donc de l exactitude du foncteur Ind K K 0(p) et de la réciprocité de Frobenius compacte l existence du diagramme commutatif à lignes exactes suivant : 0 Rn 1 R n 1 Rn R n+1 R n+1 /R n 0 0 Ind K K ( 0(p) R Rn 1 ) Ind K K ( n 1 0(p) R Rn+1 ) R n+1 /R n 0. n+1 Ainsi, si la suite exacte courte (3.2) est vérifiée pour l entier n 1 1, l application du lemme du serpent au diagramme ci-dessus implique directement que la suite exacte (3.2) est vérifiée pour l entier n+1, ce qui achève la démonstration. La continuité et l exactitude du foncteur Ind K K 0(p) nous permettent en particulier d en déduire le résultat suivant. Corollaire 3.3. Soit r {0,...p 1} et soit Π r le facteur direct du F p [KZ]-module π(r,0,1) de K-socle égal à Sym r F 2 p. On dispose alors d une suite exacte courte de F p [K]-modules 0 Sym p 1 r F 2 p detr Ind K K 0(p) (R,r ) Π r 0, où R,r := lim R 0 R 1 R n Rn+1 est une représentation unisérielle de dimension infinie sur F p dont la filtration par le K 0 (p)-socle est donnée n impair par χ s r ar χ s r ar+1 χ s r ar Restriction à K S. Nous allons maintenant étudier la restriction à K S des extensions entre poids de Serre considérées dans la sous-section précédente. Commençons par rappeler un résultat dû à Paškūnas [P, Proposition 5.4], qui traite le cas des K 0 (p)-extensions entre caractères. Proposition 3.4. Soient χ et ψ deux F p -caractères lisses de K 0 (p). L espace d extensions Ext 1 K 0(p)/Z 1 (ψ,χ) est non nul si et seulement si ψ = χa. Dans ce cas, c est un espace de dimension 1 sur F p, et toute extension non triviale de χa par χ admet une base (e 0,e 1 ) sur F p pour laquelle K 0 (p) agit sur e i par le caractère χa i et telle que ( ) 1+pa b e pc 1+pd 1 = e 1 +ce 0. Fixons un paramètre r {0,...,p 1}. La structure de F p [K]-module portée par Ind K K 0(p)χ s r est donnée par [BP, Lemma 2.3 & Theorem 2.4] et admet la description suivante : Sym r F 2 p Sym p 1 r F 2 p det r si r 0 modulo (p 1), (3.3) Sym p 1 F 2 p Sym0 F 2 p si r 0 modulo (p 1). (3.4) Les fonctions F l (v) définies par la formule (2.1) permettent en outre d expliciter certains espaces de vecteurs invariants ou coinvariants sousk 0 (p). Plus précisément, en fixant un vecteur non nule χ s r, on dispose grâce à [BP, Lemma 2.5] des formules suivantes lorsque r 0 modulo(p 1) : (soc K (Ind K K 0(p) χs r ))K0(p) = F 0 (e) Fp ; (3.5) (cosoc K (Ind K K 0(p) χs r )) K 0(p) = F p 1 (e) Fp. (3.6)

8 8 RAMLA ABDELLATIF AND STEFANO MORRA L isomorphisme de F p [K]-modules Sym p 1 F 2 p Sym0 F 2 p = Ind K K 0(p) 1 permet de plus de déduire de [BP, Lemma 2.6] les cas r = 0 et r = p 1 : (Sym p 1 F 2 p) K0(p) = F 0 (e) Fp (3.7) (Sym p 1 F 2 p) K0(p) = F p 1 (e)+[1,e] Fp (3.8) Sym 0 F 2 p = F 0 (e)+[1,e] Fp (3.9) Nous allons à présent utiliser la Proposition 3.4 dans le cas χ = χ s r pour construire nos extensions entre poids de Serre. Par exactitude du foncteur Ind K K 0(p), l extension non triviale E de χ s r a par χs r décrite dans la Proposition 3.4 définit une K-extension de la forme 0 Ind K K 0(p)(χ s r) pr Ind K K 0(p)(χ s ra) 0. Pour r 2, on définit E r comme l image réciproque de soc K (Ind K K 0(p) (χs ra)) dans l extension induite 0 cosoc K (Ind K K 0(p) (χs pr r )) Ind K K 0(p) (χs ra) 0, (3.10) sous réserve de poser cosoc K (Ind K def K 0(p) (1)) = Sym p 1 F 2 p. Pour r = 2, auquel cas on a χ s 2 a = det, on définit E 2,0 et E 2,p 1 comme les images réciproques respectives de Sym 0 F 2 p det et de Symp 1 F 2 p det dans l extension (3.10). En particulier, on voit quee r (pourr 2),E 2,0 ete 2,p 1 possèdent respectivement les filtrations K-équivariantes suivantes 4 : (E r ) : Sym p 1 r F 2 p det r Sym r 2 F 2 p det ; (E 2,0 ) : Sym p 3 F 2 p det 2 det ; (E 2,p 1 ) : Sym p 3 F 2 p det2 Sym p 1 F 2 p det. Rappelons maintenant que pour tous scalaires λ 0,µ F p, on a l égalité suivante dans Z p /p 2 Z p [AC, Chap. IX, 1, n 3] : [λ 0 ]+[µ] [λ 0 +µ]+p[p(λ 0,µ)] modp 2 (3.11) avec P(λ 0,µ) F p [λ 0,µ] polynôme de degré p 1 en λ 0 et de coefficient dominant égal à ±µ. Nous pouvons alors démontrer le résultat technique suivant, sur lequel repose notre preuve du Théorème 1.1. Lemme 3.5. Les représentations de U(Z p ) portées par E r, E 2,0 et E 2,p 1 sont unisérielles. Démonstration. Notons E r, E 2,0 et E 2,p 1 les quotients respectifs des F p [U(Z p )]- modules E r, E 2,0 et E 2,p 1 par le noyau de la projection naturelle sur les U(Z p )- coinvariants Sym p 1 r F 2 p det r (Sym p 1 r F 2 p det r ) U(Zp). 4. Les extensions sont ici notées en pointillé car à ce stade, nous ne savons pas encore que ces extensions sont non scindées : c est l objet du Corollaire 3.6.

9 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2(Q p) 9 Ce sont des représentations de U(Z p ) qui satisfont par construction aux suites exactes courtes suivantes de F p [U(Z p )]-modules : 0 (Sym p 1 r F 2 p detr ) U(Zp) E r Sym r 2 F 2 p 0 ; (3.12) 0 (Sym p 3 F 2 p det2 ) U(Zp) E 2,0 1 0 ; (3.13) 0 (Sym p 3 F 2 p det 2 ) U(Zp) E 2,p 1 Sym p 1 F 2 p 0. (3.14) On peut donc définir E r (resp. E 2,0, E 2,p 1) comme la sous-représentation de E r (resp. E 2,0, E 2,p 1 ) obtenue par image reciproque de (Sym r 2 F 2 p) U(Zp) (resp. 1, (Sym p 1 F 2 p) U(Zp) ) à partir de la suite exacte (3.12) (resp. (3.13), (3.14)). La restriction à U(Z p ) des poids de Serre de GL 2 (Z p ) étant unisérielle, il nous suffit de prouver que les U(Z p )-extensions E r, E 2,0 et E 2,p 1 ne sont pas scindées pour conclure. Pour ce faire, considérons une base (e 0,e 1 ) adaptée à l extension non triviale E au sens de la Proposition 3.4. Les identités (3.5), (3.6), (3.7), (3.8) et (3.9) permettent alors de voir que l on a E r = F p 1(e 0 ),F 0 (e 1 ) Fp, E 2,0 = F p 1(e 0 ),F 0 (e 1 )+[1,e] Fp, E 2,p 1 = F p 1(e 0 ),F 0 (e 1 ) Fp, les fonctions F p 1 (e 0 ) et F 0 (e 1 ) étant ici des éléments de Ind K K 0(p) (E). Étant donné que 1 est un générateur topologique de Z p, l action de U(Z p ) sur E r, E 2,0 et E 2,p 1 est entièrement déterminée par l action des matrices de la forme ( ) 1 [µ] avec µ F 0 1 p. En remarquant que F l (e 0 ) est nul dans E r, E 2,0 et E 2,p 1 lorsque l p 1, on obtient par un calcul direct reposant sur l égalité modulaire (3.11) et sur la définition des vecteurs (e 0,e 1 ) que l on a, pour tout scalaire non nul µ F p, (( ) 1 [µ] ) I F 0 (e 1 ) = ±µf p 1 (e 0 ) 0. Ceci achève la démonstration une fois que l on a remarqué que F p 1 (e 0 ) est fixe sous l action de U(Z p ). Corollaire 3.6. (1) Les K S -extensions portées par E r (pour r 2), E 2,0 et E 2,p 1 ne sont pas scindées. (2) La filtration par le K-socle de l induite Ind K K 0(p) χs r est stable par restriction à K S. Démonstration. La première assertion est une conséquence directe du Lemme 3.6 puisque U(Z p ) est un sous-groupe de K S. La seconde assertion découle quant à elle du Lemme 3.6 et de la décomposition de Mackey qui assure que l on a Ind K I (χs r ) U(Z p) ρ 1 avec ρ représentation unisérielle de U(Z p ) de dimension p sur F p. 4. Preuve du Théorème 1.1 Nous pouvons maintenant démontrer notre résultat principal, dont nous rappelons l énoncé ci-dessous. Théorème 4.1. Soit r {0,...,p 1} et soit λ F p.

10 10 RAMLA ABDELLATIF AND STEFANO MORRA (1) La représentation Ind GS (µ λ ω p 1 r ) admet la filtration par le K S -socle suivante : SocFil(Ind KS (χ s r)) SocFil(Ind KS (χ s r 2)) SocFil(Ind KS (χ s r 4))... (2) La représentation de Steinberg St S admet la filtration par le K S -socle suivante : Sym p 1 F 2 p SocFil(IndKS (a)) SocFil(Ind KS (a 2 )) SocFil(Ind K I (a3 )).... (3) La représentation supersingulière π r admet la filtration par le K S -socle suivante : Sym r F 2 p SocFil(Ind KS (χ s r 2)) SocFil(Ind KS (χ s r 4)) SocFil(Ind KS (χ s r 6)) Cas des représentations non supersingulières. Fixons r {0,...,p 1} et λ F p. Par exactitude du foncteur d induction compacte, le Lemme 3.1 assure que le F p [K]-module porté par Ind G B (µ λ µ λ ω r ) admet une filtration 1 K-équivariante de longueur infinie dont les facteur gradués sont décrit par Ind K I (χs r ) IndK I (χs r a) IndK I (χs r a2 ).... Par suite, les extensions entre les poids de Serre qui apparaissent dans la filtration par lek-socle deind G B(µ λ µ λ ω r ) sont, à torsion par unf 1 p -caractère lisse près, des extensions non scindées de la forme E i, E 2,0, E 2,p 1 ou Ind K K 0(p) χs r aj avec i {0,...,p 1} différent de 2 et j N vérifiant r 2j 0 modulo (p 1). Le Lemme 3.6 affirme alors que ces objets définissent des K S -extensions non scindées, ce qui prouve le résultat voulu pour les représentations de la formeind GS (µ λ ω p 1 r ) grâce aux Théorèmes 2.2 et 2.4 et à l égalité = K 0 (p) K S. On en déduit directement le cas de la représentation de Steinberg en rappelant que l on dispose de la suite exacte courte non scindée de F p [K]-modules 1 1 Ind GS (1) St S 1. Comme le K S -socle de la représentation Ind KS K S (1) est somme directe du caractère trivial et du K S -socle de la représentation obtenue par inflation de la représentation de Steinberg du groupe fini SL 2 (F p ), celui-ci engendrant de plus le F p [K S ]-module irréductible St S, il suffit de remarquer qu en restriction à, on a χ s 2 = a pour déduire le résultat voulu de la K S-filtration de Ind GS (1) Cas des représentations supersingulières. Pour terminer la preuve du Théorème 1.1, nous allons relier les représentations supersingulières de G S aux représentations Π r de KZ définies dans le Théorème 2.4. Lemme 4.2. Soit r {0,...,p 1}. Le F p [KZ]-module Π r est stable sous l action de G S, et la représentation de G S qu il définit est alors isomorphe à π r. Démonstration. Un calcul direct basé sur la définition de Π r donnée ( dans [Mo1, ) p 1 0 Proposition 3.9] montre que Π r est stable sous l action de α 0 :=. 0 p Comme la décomposition de Cartan assure que G S est engendré par K S et par α 0, cela suffit à prouver que Π r est un sous-f p [G S ]-module de π(r,0,1). Il suffit ensuite de remarquer que v r appartient à Π r pour obtenir que π r =< G S v r > Fp est contenu dans Π r, puis de comparer les décompositions de π(r,0,1) données par les Théorèmes 2.2 et 2.4 pour en conclure que les F p [G S ]-modules π r et Π r sont isomorphes. 5. Qui correspond au cas (r,λ) = (p 1,1).

11 STRUCTURE INTERNE DES REPRÉSENTATIONS MODULO p DE SL 2(Q p) 11 On démontre alors le cas supersingulier du Théorème 1.1 comme suit : le Corollaire 3.3 et l exactitude du foncteur d induction compacte assurent que Π r admet une filtration K-équivariante de longueur infinie dont les facteurs gradué sont décrits par Sym r F 2 p Ind K I (χ s ra r+1 ) Ind K I (χ s ra r+2 ) Ind K I (χ s ra r+3 ).... Par suite, les extensions entre poids de Serre qui apparaissent dans la filtration par le K-socle de Π r sont, à torsion par un caractère lisse près, des extensions non scindées de la forme E i, E 2,0, E 2,p 1 ou Ind K K 0(p)χ s ra j avec i {0,...,p 1} différent de 2 et j N vérifiant r 2j 0 modulo p 1. Le Lemme 3.6 affirme que ces objets définissent des K S -extensions non scindées, ce qui prouve le résultat voulu grâce au Lemme 4.2, au Théorème 2.4 et à l égalité = K 0 (p) K S Deux remarques. 1) Les résultats présentés dans cet article restent valables lorsque p = 3. La difficulté de ce cas réside essentiellement dans la complexité technique des calculs à mener pour obtenir la filtration par l Iwahori-socle des représentations R introduites dans la Section ) Le groupe SL 2 (Q p ) possède deux classes de conjugaison de sous-groupes ouverts compacts maximaux hyperspéciaux. Il est donc naturel de s interroger quant à l influence possible du choix de cette classe sur les résultats obtenus ( ci-avant. ) Il suffit toutefois de remarquer que l action de l élément 1 0 α =, dont l action par conjugaison échange les deux classes de 0 p sous-groupes ouverts compacts maximaux sus-mentionnées, échange aussi les composantesπ r etπ p 1 r introduites dans le Théorème 2.4 pour vérifier immédiatement que l on dispose d énoncés parfaitement analogues si l on s intéresse aux filtrations par le KS α := αk Sα 1 -socle des représentations lisses irréductibles de SL 2 (Q p ) sur F p. Autrement dit, le choix de la classe de conjugaison de sous-groupes ouverts compacts maximaux hyperspéciaux considérée n a pas d influence sur les résultats obtenus. 3) Remarquons enfin que pour certaines valeurs de r, la filtration par le K S - socle de la représentation supersingulièreπ r est donnée par la suite suivante de poids de Serre : Sym r F 2 p Symp 3 r F 2 p Symr+2 F 2 p Symp 5 r F 2 p Symr+4 F 2 p..., et semble ainsi, pour des raisons que nous ne savons pas encore expliquer, refléter la structure de l arbre de Brauer de SL 2 (F p ) [Hum, Section 9.9]. Références [Ab] R. Abdellatif, Classification des représentations modulo p de SL(2, F), soumis (2012). [AC] N. Bourbaki, Éléments de mathématiques - Algèbre commutative, Ed. Masson (1983). [Br] Ch. Breuil, Sur quelques représentations modulaires et p-adiques de GL 2 (Q p), I, Compositio Math. 138 (2003), [BP] Ch. Breuil, V. Paškūnas, Towards a mod p Langlands correspondance, Memoirs of Amer. Math. Soc. 216 (2012). [Hu] Y. Hu, Diagrammes canoniques et représentations modulo p de GL 2 (Q p), J. Inst. Math. Jussieu 11 (2012), [Hum] J.E. Humphreys, Modular representations of finite groups of Lie type, Lecture Notes Series LMS 326 (2005), Cambrige Univ. Press. [Mo1] S. Morra, Explicit description of irreducible GL 2 (Q p)-representations over F p, J. of Algebra 339 (2011), [Mo2] S. Morra, On some representations of the Iwahori subgroup, à paraître à J. of Number Theory (2011).

12 12 RAMLA ABDELLATIF AND STEFANO MORRA [P] V. Paškūnas, Extensions for supersingular representations of GL 2 (Q p), Astérisque 331 (2010), Laboratoire de Mathématiques - Bâtiment Université Paris-Sud XI, Orsay; Ramla.Abdellatif@math.u-psud.fr Institut de Mathématiques et de Modélisation de Montpellier - place Eugène Bataillon, case courrier 051, Montpellier ; stefano.morra@math.univ-montp2.fr