Loading AI tools
De Wikipédia, l'encyclopédie libre
En mathématiques, la filtration de Moy-Prasad est un ensemble de filtrations d'un groupe réductif p -adique donné et de son algèbre de Lie, définie par Allen Moy et Gopal Prasad. La famille est paramétrée par l'immeuble de Bruhat-Tits ; chaque point de l'immeuble donne une filtration différente. Autrement dit, puisque le terme initial de chaque filtration en un point du bâtiment est le sous-groupe parahorique en ce point, la filtration de Moy-Prasad peut être considérée comme une filtration d'un sous-groupe parahorique d'un groupe réductif.
La principale application de la filtration de Moy-Prasad est la théorie de la représentation des groupes p-adiques. On définit grâce à la filtration la profondeur, un nombre rationnel, d'une représentation. Les représentations de la profondeur r peuvent être comprises en étudiant les r-ième sous-groupes de Moy-Prasad. Ces informations conduisent ensuite à une meilleure compréhension de la structure globale des représentations, et par conséquent de la théorie des nombres via le programme de Langlands.
Pour une exposition détaillée des filtrations de Moy-Prasad et des points semi-stables associés, voir le chapitre 13 du livre Bruhat-Tits theory: a new approach de Tasho Kaletha et Gopal Prasad.
Dans leurs travaux fondateurs sur la théorie des immeubles, François Bruhat et Jacques Tits ont défini des sous-groupes associés aux fonctions concaves du système de racines[1]. Ces sous-groupes sont un cas particulier des sous-groupes de Moy-Prasad, définis lorsque le groupe est scindé. Moy et Prasad[2] ont alors généralisé la construction de Bruhat-Tits aux groupes quasi-scindés, en particulier aux tores, et d'utiliser ces sous-groupes pour étudier la théorie de la représentation du groupe ambiant.
L'algèbre de Lie de est , et ses sous-algèbres de Moy-Prasad sont les idéaux non nuls de :
Un autre exemple de groupe réductif p-adique est le groupe général linéaire ; cet exemple généralise le précédent car . Comme est non-abélien (pour ), il comporte une infinité de sous-groupes parahoriques. Un sous-groupe parahorique particulier est . Les sous-groupes de Moy-Prasad de sont les sous-groupes d'éléments congrus à l'identité modulo certaines puissances de . Plus précisément, lorsque est un entier positif que nous définissonsLes exemples suivants utilisent les nombres p-adiques et les entiers p-adiques . Un lecteur peu familier avec ces anneaux pourra plutôt remplacer par les nombres rationnels et par les entiers sans perdre l'idée principale.Plus généralement, si est un nombre réel positif, on se ramène au cas entier :Cet exemple illustre le phénomène général selon lequel, bien que la filtration de Moy-Prasad soit indexée par les réels positifs, la filtration s'altère uniquement sur un sous-ensemble discret et périodique (ci dessus, les entiers naturels).
où est l'algèbre des matrices <i id="mwXQ">n × n</i> à coefficients dans . L'algèbre de Lie de est , et ses sous-algèbres de Moy-Prasad sont les espaces de matrices égales à la matrice nulle modulo certaines puissances de ; quand est un entier positif que nous définissonsDans cet exemple, la filtration de Moy-Prasad sont communément notés au lieu de , où est un point de la construction de dont le sous-groupe parahorique correspondant est Enfin, comme précédemment, si est un nombre réel positif, on pose :Soit un -groupe réductif, , et un point de l'immeuble de Bruhat-Tits de . Le -ième sous-groupe de Moy-Prasad de en est noté . De même, la -ème sous-algèbre de Moy-Prasad Lie de en est noté ; c'est un -module libre, et même un réseau. (En fait, l'algèbre de Lie peut également être définie lorsque , bien que le groupe ne puisse pas l'être.)
Bien que la filtration de Moy-Prasad soit couramment utilisée pour étudier la théorie de la représentation des groupes p-adiques, on peut construire des sous-groupes de Moy-Prasad sur n'importe quel corps henselien de valuation discrète , et pas seulement sur un corps local non archimédien. Dans cette section et les suivantes, nous supposerons donc que le corps de base est henselien de valuation discrète, et son anneau d'entiers. Néanmoins, le lecteur est invité à supposer, par souci de simplicité, que , de sorte que .
Une propriété fondamentale de la filtration de Moy-Prasad est qu'elle est décroissante : si alors et . On définit :
Sous certaines hypothèses techniques sur , une propriété importante supplémentaire est satisfaite. Par la propriété du sous-groupe du commutateur, le quotient est abélien si . Dans ce cas il existe un isomorphisme canonique , appelé isomorphisme Moy – Prasad . L'hypothèse technique nécessaire pour que l'isomorphisme Moy – Prasad existe est que être apprivoisé, c'est-à-dire que se divise sur une extension docilement ramifiée du champ de base . Si cette hypothèse est violée alors et ne sont pas nécessairement isomorphes. [3]Cette convention n'est qu'un raccourci de notation car pour tout , il existe tel que et .
La filtration de Moy-Prasad satisfait aux propriétés supplémentaires suivantes[4].
Sous certaines hypothèses techniques sur , une propriété importante supplémentaire est satisfaite. Le quotient est abélien si . Dans ce cas il existe un isomorphisme canonique , dit isomorphisme Moy-Prasad. L'hypothèse technique nécessaire pour que l'isomorphisme de Moy-Prasad existe est que soit modéré, c'est-à-dire que se scinde sur une extension modérément ramifiée du corps de base . Sans cette hypothèse, et ne sont pas nécessairement isomorphes[3].
La filtration de Moy-Prasad peut être utilisée pour définir un invariant numérique important d'une représentation lisse de , la profondeur de la représentation : c'est le plus petit nombre tel qu'il existe dans l'immeuble de , et un vecteur non nul de qui est fixé par .
À la suite de l'article définissant leur filtration, Moy et Prasad ont prouvé un théorème de structure pour les représentations supercuspidales de profondeur nulle[5]. Soit un point dans une face minimale de la construction de ; c'est-à-dire que le sous-groupe parahorique est parahorique maximal. Le quotient est un groupe fini de type de Lie. Soit être l'induction à d'une représentation cuspidale au sens de Harish-Chandra (voir aussi Théorie de Deligne-Lusztig) de ce quotient. Le groupe parahorique est un sous-groupe normal d'indice fini du stabilisateur de dans . Soit être une représentation irréductible de dont la restriction à contient comme sous-représentation. Alors l’induction compacte de à est une représentation supercuspidale de profondeur nulle. De plus, chaque représentation supercuspidale de profondeur nulle est isomorphe à l’une de cette forme.
Dans le cas modéré, la correspondance de Langlands locale devrait préserver la profondeur, où la profondeur d'un paramètre L est définie en utilisant la filtration (en indice supérieur) sur le groupe de Weil[6].
Même si nous avons défini se comme étant dans l'immeuble étendu de , il s'avère que le sous-groupe de Moy-Prasad ne dépend que de l'image de dans l'immeuble réduit.
La description suivante de la construction fait suite à l'article de Yu sur les modèles lisses[7].
Puisque les tores algébriques constituent une classe particulière de groupes réductifs, la théorie de la filtration de Moy-Prasad s'applique. Il s’avère que la construction des sous-groupes de Moy-Prasad pour un groupe réductif général repose sur la construction de tori. Nous commençons donc par discuter du cas où est un tore. Puisque l'immeuble réduit d’un tore est un point, il n’y a qu’un seul choix pour , et donc nous écrirons .
D'abord, considérons le cas particulier où est la restriction à la Weil de le long d'une extension finie séparable de , de sorte que . Dans ce cas, nous définissons comme l'ensemble des tels que, où est l’unique extension de la valorisation de à .
Un tore est dit induit s’il est le produit direct d’un nombre fini de tores de la forme considérée au paragraphe précédent. Le -ième sous-groupe de Moy-Prasad d’un tore induit est défini comme le produit du -ième sous-groupe de Moy-Prasad de ces facteurs.
Deuxièmement, considérons le cas où mais est un tore arbitraire. Ici le sous-groupe de Moy-Prasad est défini comme les points entiers du modèle de Néron de [8]. Cette définition coïncide avec celle donnée précédemment lorsque est un tore induit.
Il s’avère que tout tore peut être inclus dans un tore induit. Pour définir les sous-groupes de Moy-Prasad d'un tore général , nous choisissons un plongement de dans un tore induit et poser . Cette construction est indépendante du choix du tore induit et du plongement.
Par souci de simplicité, nous décrirons d’abord la construction du sous-groupe de Moy-Prasad dans le cas où est scindé. Ensuite, nous commenterons la définition générale.
Soit un tore scindé maximal de dont l'appartement contient , et le système racine de par rapport à .
Pour chaque , soit le sous-groupe de racines de par rapport à . En tant que groupe abstrait est isomorphe à , de façon non-canonique. Le point détermine, pour chaque racine , une valuation additive . Nous définissons .
Enfin, le sous-groupe de Moy-Prasad est défini comme le sous-groupe de générés par les sous-groupes pour et le sous-groupe .
Si n'est pas scindé, alors le sous-groupe de Moy-Prasad est défini par une descendance non ramifiée du cas quasi-scindé, une astuce standard dans la théorie de Bruhat-Tits. Plus précisément, on généralise d’abord la définition des sous-groupes Moy-Prasad donnée ci-dessus au cas où n'est que quasi-divisé, à l'aide du système de racines relatif. À partir de là, le sous-groupe de Moy-Prasad peut être défini en passant à l'extension non ramifiée maximale de , un corps sur lequel tout groupe réductif, et en particulier , est quasi-scindé. On descent à en prenant les points fixes de ce groupe de Moy-Prasad sous le groupe de Galois de sur .
Soit l'algèbre de Lie de . Dans une procédure similaire à celle des groupes réductifs, à savoir en définissant les filtrations de Moy-Prasad sur l'algèbre de Lie d'un tore et l'algèbre de Lie d'un groupe de racine, on peut définir les algèbres de Lie de Moy-Prasad de ; ce sont des -réseaux du -espace vectoriel . Quand , il se trouve que est juste l'algèbre de Lie du -schéma en groupe .
Nous avons défini la filtration de Moy-Prasad au point indicé par l'ensemble de nombres réels. Il est courantt d'étendre légèrement l'ensemble d'indexation, à l'ensemble composé de et symboles formels avec . L'élément est considéré comme étant infinitésimalement plus grand que , et la filtration est étendue à ce cas en définissant .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.