Sur l image du groupe de tresses dans l algèbre de Hecke conférence en l honneur de F. Digne, 1er avril 2015
Le groupe de tresses et l algèbre de Hecke B n = σ 1,..., σ n 1 σ i σ i+1 σ i = σ i+1 σ i σ i+1, σ i σ j = σ j σ i si i j 2
Le groupe de tresses et l algèbre de Hecke Soit k un corps, α k. B n = σ 1,..., σ n 1 σ i σ i+1 σ i = σ i+1 σ i σ i+1, σ i σ j = σ j σ i si i j 2
Le groupe de tresses et l algèbre de Hecke B n = σ 1,..., σ n 1 σ i σ i+1 σ i = σ i+1 σ i σ i+1, σ i σ j = σ j σ i si i j 2 Soit k un corps, α k. Alors H n (α) = kb n /(σ i + 1)(σ i α).
Le groupe de tresses et l algèbre de Hecke B n = σ 1,..., σ n 1 σ i σ i+1 σ i = σ i+1 σ i σ i+1, σ i σ j = σ j σ i si i j 2 Soit k un corps, α k. Alors H n (α) = kb n /(σ i + 1)(σ i α).
Le groupe de tresses et l algèbre de Hecke B n = σ 1,..., σ n 1 σ i σ i+1 σ i = σ i+1 σ i σ i+1, σ i σ j = σ j σ i si i j 2 Soit k un corps, α k. Alors H n (α) = kb n /(σ i + 1)(σ i α). si et seulement si R(σ i ) annule (X + 1)(X α).
Le groupe de tresses et l algèbre de Hecke si et seulement si R(σ i ) annule (X + 1)(X α).
Le groupe de tresses et l algèbre de Hecke si et seulement si R(σ i ) annule (X + 1)(X α). Problème :
Le groupe de tresses et l algèbre de Hecke si et seulement si R(σ i ) annule (X + 1)(X α). Problème : quand k est fini, calculer R(B n )
Le groupe de tresses et l algèbre de Hecke si et seulement si R(σ i ) annule (X + 1)(X α). Problème : quand k est fini, calculer R(B n ) quand k est fini, calculer Im(B n H n (α) ).
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres,
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C),
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C), qui peuvent être également vus comme des revêtements étales de X, considérée comme variété sur Q.
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C), qui peuvent être également vus comme des revêtements étales de X, considérée comme variété sur Q. Quand de plus X est une variété définie sur Q,
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C), qui peuvent être également vus comme des revêtements étales de X, considérée comme variété sur Q. Quand de plus X est une variété définie sur Q, de tels revêtements permettent parfois de réaliser le quotient fini correspondant comme groupe de Galois d une extension de Q.
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C), qui peuvent être également vus comme des revêtements étales de X, considérée comme variété sur Q. Quand de plus X est une variété définie sur Q, de tels revêtements permettent parfois de réaliser le quotient fini correspondant comme groupe de Galois d une extension de Q. En tous les cas, la théorie du π 1 étale fournit une suite exacte courte
Motivation d étude des quotients finis de B n Si X est une variété algébrique lisse, définie sur un corps de nombres, les quotients fini de π 1 (X (C)) permettent de comprendre les revêtement de X (C), qui peuvent être également vus comme des revêtements étales de X, considérée comme variété sur Q. Quand de plus X est une variété définie sur Q, de tels revêtements permettent parfois de réaliser le quotient fini correspondant comme groupe de Galois d une extension de Q. En tous les cas, la théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π1 et (X ) Gal(Q Q) 1
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))),
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C)))
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C))) dès que X (Q).
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C))) dès que X (Q). Ainsi, tout quotient fini d un tel π 1 (X (C)) joue un role dans l étude des actions de Galois géométriques de Gal(Q Q).
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C))) dès que X (Q). Ainsi, tout quotient fini d un tel π 1 (X (C)) joue un role dans l étude des actions de Galois géométriques de Gal(Q Q). Quand le π 1 (X (C)) est loin d être abélien,
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C))) dès que X (Q). Ainsi, tout quotient fini d un tel π 1 (X (C)) joue un role dans l étude des actions de Galois géométriques de Gal(Q Q). Quand le π 1 (X (C)) est loin d être abélien, ou anabélien,
Motivation d étude des quotients finis de B n La théorie du π 1 étale fournit une suite exacte courte 1 π 1 (X (C)) π et 1 (X ) Gal(Q Q) 1 et donc un morphisme Gal(Q Q) Out( π1 (X (C))), provenant d un morphisme Gal(Q Q) Aut( π1 (X (C))) dès que X (Q). Ainsi, tout quotient fini d un tel π 1 (X (C)) joue un role dans l étude des actions de Galois géométriques de Gal(Q Q). Quand le π 1 (X (C)) est loin d être abélien, ou anabélien, on conjecture de plus que Gal(Q Q) Out(π 1 (X (C))) est injectif.
Motivation d étude des quotients finis de B n En particulier,
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C))
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q,
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n )
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n ) dont on sait qu il est injectif pour n 3.
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n ) dont on sait qu il est injectif pour n 3. Dans le cas particulier de B n,
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n ) dont on sait qu il est injectif pour n 3. Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme,
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n ) dont on sait qu il est injectif pour n 3. Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme, le groupe de Grothendieck-Teichmüller.
Motivation d étude des quotients finis de B n En particulier, comme B n = π 1 ({A C; #A = n}) = π 1 (X (C)) pour X une variété lisse définie sur Q, on a un morphisme Gal(Q Q) Aut( B n ) dont on sait qu il est injectif pour n 3. Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme, le groupe de Grothendieck-Teichmüller.
Motivation d étude des quotients finis de B n Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme, le groupe de Grothendieck-Teichmüller.
Motivation d étude des quotients finis de B n Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme, le groupe de Grothendieck-Teichmüller. pour n 5.
Motivation d étude des quotients finis de B n Dans le cas particulier de B n, Drinfeld a défini un groupe abstrait par lequel factorise ce morphisme, le groupe de Grothendieck-Teichmüller. pour n 5. Ainsi, la complétion profinie de B n est un objet intéressant à comprendre.
Image de B n dans H n (α) : idée générale
Image de B n dans H n (α) : idée générale On note o(α) l ordre de α dans le groupe multiplicatif de k.
Image de B n dans H n (α) : idée générale On note o(α) l ordre de α dans le groupe multiplicatif de k. Fait : si o(α) > n, alors H n (α) est semisimple déployée sur k.
Image de B n dans H n (α) : idée générale On note o(α) l ordre de α dans le groupe multiplicatif de k. Fait : si o(α) > n, alors H n (α) est semisimple déployée sur k. B n H n (α) λ n GL(V λ )
Image de B n dans H n (α) : idée générale On note o(α) l ordre de α dans le groupe multiplicatif de k. Fait : si o(α) > n, alors H n (α) est semisimple déployée sur k. B n H n (α) λ n GL(V λ ) où les R λ : B n GL(V λ ) sont les représentation irréductibles de B n qui factorisent par H n (α).
Image de B n dans H n (α) : idée générale On note o(α) l ordre de α dans le groupe multiplicatif de k. Fait : si o(α) > n, alors H n (α) est semisimple déployée sur k. B n H n (α) λ n GL(V λ ) où les R λ : B n GL(V λ ) sont les représentation irréductibles de B n qui factorisent par H n (α). Règle de branchement : Res Bn 1 R λ = µ λ R µ
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n si l on connait l image de B n 1 dans H n 1 (α), on connait un gros sous-groupe de R λ (B n ).
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n si l on connait l image de B n 1 dans H n 1 (α), on connait un gros sous-groupe de R λ (B n ). R λ (B n ) est un sous-groupe irréductible de GL(V λ ), dont un gros sous-groupe est connu : en grande dimension, il y a peu de possibilités.
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n si l on connait l image de B n 1 dans H n 1 (α), on connait un gros sous-groupe de R λ (B n ). R λ (B n ) est un sous-groupe irréductible de GL(V λ ), dont un gros sous-groupe est connu : en grande dimension, il y a peu de possibilités. Problèmes :
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n si l on connait l image de B n 1 dans H n 1 (α), on connait un gros sous-groupe de R λ (B n ). R λ (B n ) est un sous-groupe irréductible de GL(V λ ), dont un gros sous-groupe est connu : en grande dimension, il y a peu de possibilités. Problèmes : R λ (B n ) préserve-t-il une structure orthogonale? symplectique? unitaire?
Image de B n dans H n (α) : idée générale Règle de branchement : Res Bn 1 R λ = µ λ R µ Idée : par induction sur n si l on connait l image de B n 1 dans H n 1 (α), on connait un gros sous-groupe de R λ (B n ). R λ (B n ) est un sous-groupe irréductible de GL(V λ ), dont un gros sous-groupe est connu : en grande dimension, il y a peu de possibilités. Problèmes : R λ (B n ) préserve-t-il une structure orthogonale? symplectique? unitaire? Comment gérer les petites valeurs de n?
Image de B n dans H n (α) : cas générique Pour donner une idée de ce qui peut se passer, on considère le cas où k est infini.
Image de B n dans H n (α) : cas générique Pour donner une idée de ce qui peut se passer, on considère le cas où k est infini. Alors l adhérence R λ (B n ) de R λ (B n ) pour la topologie de Zariski est un groupe algébrique.
Image de B n dans H n (α) : cas générique Pour donner une idée de ce qui peut se passer, on considère le cas où k est infini. Alors l adhérence R λ (B n ) de R λ (B n ) pour la topologie de Zariski est un groupe algébrique. Comment le déterminer, au moins quand α est générique?
Image de B n dans H n (α) : cas générique Pour donner une idée de ce qui peut se passer, on considère le cas où k est infini. Alors l adhérence R λ (B n ) de R λ (B n ) pour la topologie de Zariski est un groupe algébrique. Comment le déterminer, au moins quand α est générique? Par une construction de monodromie.
Image de B n dans H n (α) : cas générique Pour donner une idée de ce qui peut se passer, on considère le cas où k est infini. Alors l adhérence R λ (B n ) de R λ (B n ) pour la topologie de Zariski est un groupe algébrique. Comment le déterminer, au moins quand α est générique? Par une construction de monodromie. k = C((h)) α = exp(iπh) le paramètre α étant alors transcendant sur le corps premier Q k.
Image de B n dans H n (α) : cas générique H n (1) = ks n.
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ).
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation associée, R λ : B n GL(V λ ) GL N (k)
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation associée, sur k = C((h)), R λ : B n GL(V λ ) GL N (k)
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation R λ : B n GL(V λ ) GL N (k) associée, sur k = C((h)), est obtenue par monodromie de la 1-forme
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation R λ : B n GL(V λ ) GL N (k) associée, sur k = C((h)), est obtenue par monodromie de la 1-forme ω = h i<j (i j) λ d log(z i z j ) Ω 1 (C n ) End(V λ )
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation R λ : B n GL(V λ ) GL N (k) associée, sur k = C((h)), est obtenue par monodromie de la 1-forme ω = h i<j (i j) λ d log(z i z j ) Ω 1 (C n ) End(V λ ) où C n = {(z 1,..., z n ) C n i j z i z j }.
Image de B n dans H n (α) : cas générique H n (1) = ks n. À λ n et w S n on associe w λ End(V λ ). La représentation R λ : B n GL(V λ ) GL N (k) associée, sur k = C((h)), est obtenue par monodromie de la 1-forme ω = h i<j (i j) λ d log(z i z j ) Ω 1 (C n ) End(V λ ) où C n = {(z 1,..., z n ) C n i j z i z j }. L image d un générateur σ i est conjuguée à exp (hiπ(i i +1) λ ).
Image de B n dans H n (α) : cas générique
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ).
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions.
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n Cette algèbre de Lie admet des analogues pour tout groupe de Coxeter
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n Cette algèbre de Lie admet des analogues pour tout groupe de Coxeter (et même tout groupe de réflexions complexes),
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n Cette algèbre de Lie admet des analogues pour tout groupe de Coxeter (et même tout groupe de réflexions complexes), et mérite donc le nom d algèbre de Hecke infinitésimale de type A.
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n Cette algèbre de Lie admet des analogues pour tout groupe de Coxeter (et même tout groupe de réflexions complexes), et mérite donc le nom d algèbre de Hecke infinitésimale de type A. C est une algèbre de Lie réductive, son centre est de dimension 1.
Image de B n dans H n (α) : cas générique Ceci permet de calculer l enveloppe algébrique de R λ (B n ). Son algèbre de Lie est l image dans la représentation λ de la sous-algèbre de Lie H n de l algèbre de groupe ks n engendrée par les transpositions. H n = (i j); 1 i, j n Lie = (i i +1); 1 i n 1 Lie ks n Cette algèbre de Lie admet des analogues pour tout groupe de Coxeter (et même tout groupe de réflexions complexes), et mérite donc le nom d algèbre de Hecke infinitésimale de type A. C est une algèbre de Lie réductive, son centre est de dimension 1. Comprendre sa structure revient donc à comprendre ses idéaux simples.
Image de B n dans H n (α) : cas générique
Image de B n dans H n (α) : cas générique Détail technique :
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n.
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n. On le note B n.
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n. On le note B n. On a une suite exacte 1 B n B n Z 1
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n. On le note B n. On a une suite exacte 1 B n B n Z 1 qui est presque scindée :
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n. On le note B n. On a une suite exacte 1 B n B n Z 1 qui est presque scindée : Z(B n ) Z est envoyé sur un sous-groupe d indice n(n 1)/2 de Z.
Image de B n dans H n (α) : cas générique Détail technique : Pour alléger la description, on a intérêt à se concentrer sur l image du sous-groupe des commutateurs de B n. On le note B n. On a une suite exacte 1 B n B n Z 1 qui est presque scindée : Z(B n ) Z est envoyé sur un sous-groupe d indice n(n 1)/2 de Z. On ne perd donc pas grand-chose à se restreindre à B n.
Image de B n dans H n (α) : cas générique
Image de B n dans H n (α) : cas générique Définitions :
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n}
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ }
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ }
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004)
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k)
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1]
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1] 3. λ E R λ (B n ) = SL(V λ ).
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1] 3. λ E R λ (B n ) = SL(V λ ). De plus, R λ Rλ,
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1] 3. λ E R λ (B n ) = SL(V λ ). De plus, R λ Rλ, d où SL(V λ ) R λ λ (B n ) = {(x, t x 1 )} SL(V λ ) SL(V λ )
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1] 3. λ E R λ (B n ) = SL(V λ ). De plus, R λ Rλ, d où SL(V λ ) R λ λ (B n ) = {(x, t x 1 )} SL(V λ ) SL(V λ ) 4. λ F R λ (B n ) = OSP(V λ ),
Image de B n dans H n (α) : cas générique Définitions : Eq = {Equerres} = {[n r, 1,..., 1] n} E = {λ n; λ λ } F = {λ n; λ = λ } Théorème. (I.M., 2004) 1. R [n 1,1] (B n ) = SL(V [n 1,1] ) = SL n 1 (k) 2. R [n r,1 r ] Λ r R [n 1,1] 3. λ E R λ (B n ) = SL(V λ ). De plus, R λ R λ, d où SL(V λ ) R λ λ (B n ) = {(x, t x 1 )} SL(V λ ) SL(V λ ) 4. λ F R λ (B n ) = OSP(V λ ), groupe d isométrie d une forme orthogonale ou symplectique issue de sgn V λ V λ dans Rep(S n ).
Image de B n dans H n (α) : cas générique
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004)
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α)
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) Idée de la démonstration : λ E/ SL(V λ ) λ F
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes,
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations,
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini.
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini. On montre qu il est surjectif par récurrence sur n.
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini. On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini. On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ).
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini. On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ).
Image de B n dans H n (α) : cas générique Globalement, on obtient enfin Théorème. (I.M., 2004) L image de B n dans H n (α) a pour adhérence SL n 1 (k) OSP(V λ ) λ E/ SL(V λ ) λ F Idée de la démonstration : une fois définies les formes invariantes, et observées les factorisations, on a un morphisme injectif bien défini. On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ). Alors
Image de B n dans H n (α) : cas générique On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ). Alors
Image de B n dans H n (α) : cas générique On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ). Alors Comme R λ est irréducible, si (dim V λ )/rg R λ (B n ) (dim V λ )/rg R λ (B n 1 ) est petit, les possibilités pour R λ (B n ) sont très contraintes
Image de B n dans H n (α) : cas générique On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ). Alors Comme R λ est irréducible, si (dim V λ )/rg R λ (B n ) (dim V λ )/rg R λ (B n 1 ) est petit, les possibilités pour R λ (B n ) sont très contraintes (exemple : si < 2, alors R λ (B n ) = SL(V λ )).
Image de B n dans H n (α) : cas générique On montre qu il est surjectif par récurrence sur n. A l aide de la simplicité de SL et OSP on est ramené à la détermination des R λ (B n ). Par récurrence, on connait R λ (B n 1 ). Alors Comme R λ est irréducible, si (dim V λ )/rg R λ (B n ) (dim V λ )/rg R λ (B n 1 ) est petit, les possibilités pour R λ (B n ) sont très contraintes (exemple : si < 2, alors R λ (B n ) = SL(V λ )). Pour n petit, on caclule la dimension de R λ (B n ), par calcul (informatique) de l image de H n.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ 2. R [n r,1 r ] Λ r R [n 1,1]
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ 2. R [n r,1 r ] Λ r R [n 1,1] 3. Il existe une forme bilinéaire non-degénérée invariante par B n is λ = λ.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ 2. R [n r,1 r ] Λ r R [n 1,1] 3. Il existe une forme bilinéaire non-degénérée invariante par B n is λ = λ. On veut en plus une preuve suffisamment explicite pour déterminer le type sur F q des formes orthogonales en question.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ 2. R [n r,1 r ] Λ r R [n 1,1] 3. Il existe une forme bilinéaire non-degénérée invariante par B n is λ = λ. On veut en plus une preuve suffisamment explicite pour déterminer le type sur F q des formes orthogonales en question. Hoefsmit (1974) a donné des modèles explicites, si o(α) > n.
Image de B n dans H n (α) : cas fini Pour adapter l argument, il faut d abord exhiber algébriquement une factorisation similaire. En termes de théorie des représentations, il faut montrer les propriétés suivantes. Proposition 1. R λ R λ 2. R [n r,1 r ] Λ r R [n 1,1] 3. Il existe une forme bilinéaire non-degénérée invariante par B n is λ = λ. On veut en plus une preuve suffisamment explicite pour déterminer le type sur F q des formes orthogonales en question. Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ.
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ.
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon.
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon. On montre qu il existe de bons poids,
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon. On montre qu il existe de bons poids, w(t) k
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon. On montre qu il existe de bons poids, w(t) k tels que les σ i préservent la forme bilinéaire
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon. On montre qu il existe de bons poids, w(t) k tels que les σ i préservent la forme bilinéaire < T 1, T 2 >= w(t 1 )δt 1,T 2
Image de B n dans H n (α) : cas fini Hoefsmit (1974) a donné des modèles explicites, si o(α) > n. Une base de V λ est donnée par les tableaux standard T de forme λ. L action de σ i est de la forme σ i.t = αt si i et i + 1 se trouvent dans la même ligne de T σ i.t = T si i et i + 1 se trouvent dans la même colonne de T σ i.t = m i (T)T + (1 + m i (T))T i i+1 sinon. On montre qu il existe de bons poids, w(t) k tels que les σ i préservent la forme bilinéaire < T 1, T 2 >= w(t 1 )δt 1,T 2 On en déduit la proposition, et un analogue fini du groupe algébrique précédent.
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit Comme B n = (B n, B n ), on n a pas à se soucier des représentations de dimension 1.
Image de B n dans H n (α) : cas fini, n petit Comme B n = (B n, B n ), on n a pas à se soucier des représentations de dimension 1.
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit Dickson : classification des sous-groupes irréducibles de SL 2 (F q ).
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit La représentation [2, 2] provient de [2, 1] via un morphisme spécial B 4 B 3.
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit Pour λ = [n 1, 1], les σ i agissent par des pseudo-réflexions.
Image de B n dans H n (α) : cas fini, n petit Pour λ = [n 1, 1], les σ i agissent par des pseudo-réflexions. Théorème de Wagner : en dimension 3, les sous-groupes de SL n (q) engendrés par des pseudo-réflexions d ordre au moins 3
Image de B n dans H n (α) : cas fini, n petit Pour λ = [n 1, 1], les σ i agissent par des pseudo-réflexions. Théorème de Wagner : en dimension 3, les sous-groupes de SL n (q) engendrés par des pseudo-réflexions d ordre au moins 3 sont SL n (q )
Image de B n dans H n (α) : cas fini, n petit Pour λ = [n 1, 1], les σ i agissent par des pseudo-réflexions. Théorème de Wagner : en dimension 3, les sous-groupes de SL n (q) engendrés par des pseudo-réflexions d ordre au moins 3 sont SL n (q ) ou SU n (q ), q q
Image de B n dans H n (α) : cas fini, n petit Pour λ = [n 1, 1], les σ i agissent par des pseudo-réflexions. Théorème de Wagner : en dimension 3, les sous-groupes de SL n (q) engendrés par des pseudo-réflexions d ordre au moins 3 sont SL n (q ) ou SU n (q ), q q (à une exception près).
Image de B n dans H n (α) : cas fini, n petit
Image de B n dans H n (α) : cas fini, n petit Par récurrence, à partir des représentations de réflexion, on obtient l image de B n dans la somme des représentations à deux colonnes [n p, p] (Brunat-M., 2012).
Image de B n dans H n (α) : cas fini, n petit Par récurrence, à partir des représentations de réflexion, on obtient l image de B n dans la somme des représentations à deux colonnes [n p, p] (Brunat-M., 2012). Mais comment distingue-t-on entre SU et SL?
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh.
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique.
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer,
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie :
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005)
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005) On remarque que ε(α) = α 1.
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005) On remarque que ε(α) = α 1. Si k = F q = F p (α) est fini,
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005) On remarque que ε(α) = α 1. Si k = F q = F p (α) est fini, il existe ε Aut(k) = Gal(F q F p ) d ordre 2 tel que ε(α) = α 1
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005) On remarque que ε(α) = α 1. Si k = F q = F p (α) est fini, il existe ε Aut(k) = Gal(F q F p ) d ordre 2 tel que ε(α) = α 1 si et seulement si F p (α + α 1 ) = F q.
Image de B n dans H n (α) : unitarisabilité Retour sur le cas générique : k = C((h)), α = exp iπh. On ne voit pas l unitarisabilité sur l enveloppe algébrique. Mais on peut montrer, en considérant la représentation de monodromie : Proposition R λ (B n ) UN ε (k), où ε Aut(k) est h h. (I.M., 2005) On remarque que ε(α) = α 1. Si k = F q = F p (α) est fini, il existe ε Aut(k) = Gal(F q F p ) d ordre 2 tel que ε(α) = α 1 si et seulement si F p (α + α 1 ) = F q. Proposition Si F p (α + α 1 ) = F q, alors R λ (B n ) SU N (q). (Brunat-M, 2012)
Image de B n dans H n (α) : n grand Le cas n petit étant réglé, on peut supposer les V λ de dimension assez grande, et raisonner par récurrence.
Image de B n dans H n (α) : n grand Le cas n petit étant réglé, on peut supposer les V λ de dimension assez grande, et raisonner par récurrence. Pour n = 6, V [3,2,1] est déjà de dimension 16.
Image de B n dans H n (α) : n grand Le cas n petit étant réglé, on peut supposer les V λ de dimension assez grande, et raisonner par récurrence. Pour n = 6, V [3,2,1] est déjà de dimension 16. Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors
Image de B n dans H n (α) : n grand Le cas n petit étant réglé, on peut supposer les V λ de dimension assez grande, et raisonner par récurrence. Pour n = 6, V [3,2,1] est déjà de dimension 16. Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle
Image de B n dans H n (α) : n grand Le cas n petit étant réglé, on peut supposer les V λ de dimension assez grande, et raisonner par récurrence. Pour n = 6, V [3,2,1] est déjà de dimension 16. Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle soit G est alterné ou symétrique dans une représentation naturelle
Image de B n dans H n (α) : n grand Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle soit G est alterné ou symétrique dans une représentation naturelle
Image de B n dans H n (α) : n grand Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle soit G est alterné ou symétrique dans une représentation naturelle En utilisant la règle de branchement,
Image de B n dans H n (α) : n grand Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle soit G est alterné ou symétrique dans une représentation naturelle En utilisant la règle de branchement, à partir de l image de B n 1 on montre que l on est dans les hypothèses du théorème,
Image de B n dans H n (α) : n grand Théorème (Guralnick-Saxl) Soit V un F p -espace vectoriel de dimension d > 10, G GL(V ) fini, irréductible, primitif, tenseur-indécomposable. Si il existe g G \ F p et λ Fp tel que dim Im(g λ) 2, alors soit G est un groupe classique dans une représentation naturelle soit G est alterné ou symétrique dans une représentation naturelle En utilisant la règle de branchement, à partir de l image de B n 1 on montre que l on est dans les hypothèses du théorème, et l on exclut le cas des groupes symétriques/alternés.
Image de B n dans H n (α) : conclusion
Image de B n dans H n (α) : conclusion Il faut ensuite montrer que le groupe classique en question est sur le bon corps.
Image de B n dans H n (α) : conclusion Il faut ensuite montrer que le groupe classique en question est sur le bon corps. La quasi-simplicité des groupes classiques permet alors de conclure via lemme de Goursat.
Image de B n dans H n (α) : conclusion Il faut ensuite montrer que le groupe classique en question est sur le bon corps. La quasi-simplicité des groupes classiques permet alors de conclure via lemme de Goursat. Théorème, premier cas. (Brunat-Magaard-M., 2014) Si o(α) > n et o(α) {2, 3, 4, 5, 6, 10}, avec F q = F p (α), alors l image de B n dans H n (α) est SL n 1 (q) dès que F p (α + α 1 ) = F q. λ E/ SL(V λ ) λ F OSP(V λ )
Image de B n dans H n (α) : conclusion Théorème, deuxième cas. (Brunat-Magaard-M., 2014) Si o(α) > n et o(α) {2, 3, 4, 5, 6, 10}, avec F q = F p (α), alors l image de B n dans H n (α) est SU n 1 (q) λ E/ SU(V λ ) λ F OSP( ˇV λ )
Image de B n dans H n (α) : conclusion Théorème, deuxième cas. (Brunat-Magaard-M., 2014) Si o(α) > n et o(α) {2, 3, 4, 5, 6, 10}, avec F q = F p (α), alors l image de B n dans H n (α) est SU n 1 (q) dès que F p (α + α 1 ) = F q, λ E/ SU(V λ ) λ F OSP( ˇV λ )
Image de B n dans H n (α) : conclusion Théorème, deuxième cas. (Brunat-Magaard-M., 2014) Si o(α) > n et o(α) {2, 3, 4, 5, 6, 10}, avec F q = F p (α), alors l image de B n dans H n (α) est SU n 1 (q) λ E/ SU(V λ ) λ F OSP( ˇV λ ) dès que F p (α + α 1 ) = F q, avec V λ = ˇV λ F q F q.
Image de B n dans H n (α) : conclusion Théorème, deuxième cas. (Brunat-Magaard-M., 2014) Si o(α) > n et o(α) {2, 3, 4, 5, 6, 10}, avec F q = F p (α), alors l image de B n dans H n (α) est SU n 1 (q) λ E/ SU(V λ ) λ F OSP( ˇV λ ) dès que F p (α + α 1 ) = F q, avec V λ = ˇV λ F q F q.