Langlands local : rapprocher deux dictionnaires

Un dictionnaire entre deux mondes

Une représentation transforme les éléments d’un groupe en opérateurs linéaires, en respectant la multiplication. Elle rend ainsi des symétries accessibles à l’algèbre linéaire. Le programme de Langlands met ces objets en relation avec d’autres données, issues notamment des symétries galoisiennes.

Dans le cadre local, on travaille par exemple au-dessus d’un corps $p$-adique. Deux constructions peuvent proposer une manière d’associer un paramètre à une représentation. Même si elles semblent décrire le même dictionnaire, leur compatibilité doit être démontrée.

Ce que font les deux volets

Le premier article construit des paramètres inertiels semi-simples pour les représentations cuspidales provenant de la construction de Yu, avec des coefficients arbitraires. Il en donne une caractérisation à partir de propriétés de fonctorialité.

Le second article calcule une cohomologie de Tate et exploite cette caractérisation pour comparer les paramétrisations de Fargues–Scholze et de Kaletha.

Pourquoi la restriction à l’inertie compte

Restreindre une application à un sous-ensemble fait perdre de l’information en général. Par exemple, deux fonctions définies sur $\mathbb R$ peuvent coïncider sur les entiers sans coïncider partout. De même, connaître un paramètre après restriction à un sous-groupe n’équivaut pas automatiquement à connaître le paramètre entier.

Le vocabulaire du résultat précise donc la quantité d’information effectivement comparée. « Inertiel » n’est pas un adjectif technique que l’on pourrait supprimer sans changer la portée.

Ce que signifie la fonctorialité

Dans un dictionnaire mathématique, on souhaite traduire les objets, mais aussi les opérations que l’on peut effectuer sur eux. Un exemple élémentaire est le déterminant : il associe un nombre à une matrice et respecte le produit,

$\det(AB)=\det(A)\det(B).$

Cette formule n’est pas un modèle de la preuve de Langlands. Elle illustre l’exigence de compatibilité : effectuer une opération puis traduire doit correspondre à traduire puis effectuer l’opération appropriée. Des propriétés de ce type peuvent caractériser une construction et servir à la comparer à une autre.

La contribution étudiée porte sur une famille précise de représentations. Elle ne résout pas tout le programme de Langlands.

Note préparée avec assistance IA à partir des sources citées. Le périmètre de lecture est indiqué ci-dessus ; cette note ne constitue pas une validation indépendante de la démonstration. Notre méthode.