An analogue of irreducible cuspidal representations for the group $PGL(2)$ over a two-dimensional local field

Cet article étudie une analogue des représentations cuspidales irréductibles pour le groupe $PGL(2)$ sur un corps local bidimensionnel $K=F((t))$, en les construisant à partir d'une extension quadratique et d'un caractère non invariant par Galois, tout en démontrant que leurs restrictions au sous-groupe de Borel sont irréductibles mais non isomorphes aux représentations cuspidales « standard » de ce sous-groupe.

L'essentiel

Imaginez que vous êtes un architecte qui construit des structures mathématiques complexes. Habituellement, vous travaillez avec des matériaux standards (les nombres et les équations classiques). Mais dans cet article, les auteurs, Alexander Braverman et David Kazhdan, décident de construire une nouvelle ville avec des matériaux un peu plus étranges et exotiques.

Voici une explication simple de leur voyage, sans jargon technique.

1. Le décor : Une ville à deux dimensions

Imaginez d'abord un pays appelé F. C'est un monde mathématique bien connu, un peu comme une ville classique avec des rues bien tracées. Les mathématiciens y étudient depuis longtemps des "musiciens" (les représentations) qui jouent des symphonies (des groupes comme PGL(2)).

Maintenant, imaginez que nous prenons ce pays F et que nous y ajoutons une nouvelle dimension, comme si nous ajoutions une dimension temporelle ou une couche de réalité supplémentaire. Nous obtenons un nouveau monde appelé K.

• L'analogie : Si F est une feuille de papier, K est une feuille de papier que l'on a enroulée sur elle-même infiniment, ou une feuille posée sur une autre feuille. C'est un "champ local bidimensionnel". C'est beaucoup plus complexe et "collant" que le premier.

2. Le problème : Trouver les "solistes" (Représentations cuspidales)

Dans le monde classique (F), les mathématiciens cherchent des musiciens spéciaux appelés "représentations cuspidales".

• L'analogie : Imaginez un orchestre. La plupart des musiciens jouent en suivant des règles simples ou en imitant les autres. Mais le "soliste cuspidal" est unique : il ne peut pas être construit à partir de morceaux plus petits. C'est une note pure, indivisible, qui résonne seule.
• Dans le monde classique, on sait exactement comment trouver ces solistes : on prend une extension du pays (un petit village voisin) et on y attache une "voix" (un caractère mathématique). Ça marche parfaitement.

3. La découverte : Le monde exotique (K) est différent

Les auteurs se demandent : "Si on essaie de trouver ces mêmes solistes dans notre nouveau monde exotique (K), qu'est-ce qui se passe ?"

Ils découvrent que l'histoire est similaire mais avec une surprise.

• La ressemblance : On peut toujours construire ces solistes en utilisant un "village voisin" (une extension quadratique de K) et une "voix" spécifique. La recette de base fonctionne.
• La différence (Le Twist) : Dans le monde classique, si vous prenez un soliste et que vous le faites descendre vers un sous-groupe (une petite section de l'orchestre), il reste un soliste unique et reconnaissable. Tout le monde sait exactement à quoi il ressemble.
  • Dans le monde K : Quand on fait descendre ce soliste, il reste un soliste (il est toujours "irréductible", on ne peut pas le casser), MAIS il ne ressemble plus au "soliste standard" qu'on attendait. C'est comme si vous preniez un violoniste virtuose, et qu'en descendant d'une scène, il jouait toujours parfaitement, mais avec un timbre de voix totalement inattendu et différent de celui qu'on pensait connaître.

4. La construction : Comment ils ont fait ?

Les auteurs ont construit ces nouvelles représentations comme des châteaux de cartes infinis.

• Ils ont pris des blocs de base (des groupes de matrices) et les ont empilés les uns sur les autres.
• Ils ont utilisé une "voix" (un caractère) qui ne se répète pas elle-même (non-invariante de Galois). C'est comme une mélodie qui ne revient jamais exactement au même point, ce qui force la structure à rester unique et indivisible.
• Ils ont prouvé que même si ces structures sont énormes et complexes, si on les regarde de près (en les restreignant à un sous-groupe), elles tiennent toujours debout sans s'effondrer.

5. Pourquoi c'est important ? (La leçon)

Ce papier est important car il nous dit que l'intuition classique ne suffit pas toujours.

• Dans le monde simple (F), il n'y a qu'un seul type de "soliste pur".
• Dans le monde complexe (K), il y a une infinité de variations subtiles. Les auteurs montrent comment les construire et prouvent qu'elles existent, même si elles sont plus bizarres que prévu.

Ils ajoutent aussi une petite note en annexe : ils proposent une nouvelle définition de ce qu'est un "soliste" (cuspidal) pour n'importe quel groupe mathématique, pas seulement celui-ci. C'est comme si ils écrivaient un nouveau manuel de grammaire pour tous les musiciens du futur.

En résumé

C'est une histoire de géométrie et de musique.

1. On a un monde simple où la musique est prévisible.
2. On ajoute une dimension, et la musique devient plus riche, plus étrange.
3. Les auteurs disent : "Ne paniquez pas, on peut toujours trouver les solistes, mais ils auront un son un peu différent de ce qu'on pensait."
4. Ils donnent la recette pour les fabriquer et prouvent qu'ils sont solides.

C'est un travail de précision qui étend notre compréhension de l'univers mathématique, montrant que même dans des terrains inconnus, les règles fondamentales de l'harmonie (l'irréductibilité) persistent, mais avec une touche de magie supplémentaire.

Résumé technique

1. Contexte et Problématique

L'article s'inscrit dans le cadre de la théorie des représentations des groupes algébriques sur les champs locaux de dimension 2. Plus précisément, les auteurs étudient le groupe $G = \mathrm{PGL}(2)$ défini sur le corps $K = F((t))$, où $F$ est un corps local non archimédien de caractéristique résiduelle impaire.

Le problème central est de construire et classifier les représentations "cuspidales" (ou spéciales) de $G(K)$, qui sont l'analogue des représentations cuspidales irréductibles classiques de $G(F)$.

Dans le cas classique ($G(F)$), une représentation irréductible est cuspidale si et seulement si sa restriction au sous-groupe de Borel $P(F)$ est irréductible. De plus, toutes les représentations cuspidales irréductibles de $P(F)$ sont isomorphes à une unique représentation (à isomorphisme près).

La difficulté majeure dans le cas de dimension 2 ($G(K)$) réside dans le fait que la théorie des représentations lisses de $G(K)$ est beaucoup plus subtile :

1. Les représentations agissent sur des espaces vectoriels pro-objets (pro-vector spaces) plutôt que sur des espaces vectoriels ordinaires.
2. La restriction d'une représentation cuspidale de $G(K)$ à $P(K)$ n'est pas nécessairement isomorphe à une représentation "standard" unique. En fait, les auteurs montrent qu'il n'existe aucune représentation de $G(K)$ dont la restriction à $P(K)$ soit isomorphe à l'analogue direct de la représentation cuspidale unique de $P(F)$.

2. Méthodologie

Les auteurs adoptent une approche structurée en plusieurs étapes :

• Définition des objets "Spéciaux" : Ils définissent une représentation $\Pi$ de $G(K)$ (ou de ses sous-groupes compacts $G(\mathcal{O})$ et $G'(\mathcal{O})$) comme spéciale si sa restriction au sous-groupe de Borel $P$ (respectivement $P(\mathcal{O})$ ou $P(K)$) est irréductible.
• Classification sur les sous-groupes compacts : Ils classifient d'abord les représentations spéciales des groupes pro-algébriques $G(\mathcal{O})$ et $G'(\mathcal{O})$. Ils établissent une équivalence fondamentale entre les représentations spéciales et les représentations elliptiques.
  • Une représentation est dite elliptique si le support de sa restriction à un sous-groupe de congruence profond est une classe de conjugaison elliptique dans l'algèbre de Lie.
• Paramétrisation via les extensions quadratiques : Ils montrent que les classes d'isomorphie de ces représentations sont en bijection avec des caractères $\theta$ de $L^*/K^*$ (où $L$ est une extension quadratique de $K$) tels que $\theta \neq \bar{\theta}$ (non invariant par le groupe de Galois).
• Induction Compacte : Ils utilisent la notion d'induction compacte (définie dans leur travail antérieur [7]) pour construire des représentations de $G(K)$ à partir de celles de $G(\mathcal{O})$ ou $G'(\mathcal{O})$. Soit $\pi$ une représentation spéciale de $G(\mathcal{O})$, ils construisent $\Pi(\pi) = \mathrm{ind}_{G(\mathcal{O})}^{G(K)}(\pi)$.
• Analyse de la restriction à $P(K)$ : Ils étudient la restriction de $\Pi(\pi)$ à $P(K)$. Ils introduisent une filtration $\mathbb{Z}$-graduée sur ces représentations et montrent que le gradué associé est isomorphe à une représentation cuspidale irréductible spécifique $\Upsilon$ de $P(K)$.

3. Résultats Clés et Théorèmes

A. Classification des représentations spéciales de $G(\mathcal{O})$ et $G'(\mathcal{O})$ (Théorèmes 1.4, 5.12, 5.22, 6.6)

• Équivalence Spéciale $\iff$ Elliptique : Une représentation irréductible de $G(\mathcal{O})$ ou $G'(\mathcal{O})$ est spéciale si et seulement si elle est elliptique.
• Paramétrisation :
  • Pour $G'(\mathcal{O})$, les classes d'isomorphie sont en bijection naturelle avec les caractères $\theta : L^*/K^* \to \mathbb{C}^*$ (où $L/K$ est une extension quadratique ramifiée) tels que $\theta \neq \bar{\theta}$.
  • Pour $G(\mathcal{O})$, les classes forment un $Z/2Z$-torseur sur l'ensemble des paires $(L, \theta)$ où $L/K$ est une extension non ramifiée et $\theta \neq \bar{\theta}$.
• Profondeur (Depth) : Les auteurs définissent une notion de profondeur pour ces représentations, liée à la filtration de congruence.

B. Construction des représentations de $G(K)$ (Théorème 1.5, Théorème 12.4)

• Irréductibilité et Cuspidalité : Si $\pi$ est une représentation spéciale de $G(\mathcal{O})$ ou $G'(\mathcal{O})$, alors la représentation induite $\Pi(\pi)$ de $G(K)$ est irréductible et cuspidale.
• Restriction à $P(K)$ : La restriction $\Pi(\pi)|_{P(K)}$ est irréductible. Cependant, elle n'est pas isomorphe à la représentation "standard" $\Upsilon$ de $P(K)$.
• Structure Filtrée : Bien que $\Pi(\pi)|_{P(K)} \not\simeq \Upsilon$, il existe une filtration $\mathbb{Z}$-graduée sur $\Pi(\pi)|_{P(K)}$ telle que le gradué associé $\overline{\Pi(\pi)|_{P(K)}}$ soit isomorphe à $\Upsilon$. C'est la différence fondamentale avec le cas classique.

C. Non-existence d'une extension directe (Corollaire 11.2)

• Il n'existe aucune représentation de $G(K)$ dont la restriction à $P(K)$ soit isomorphe à la représentation cuspidale irréductible $\Upsilon$ de $P(K)$. Cela contredit l'intuition venue du cas $G(F)$ où une telle extension existe et est unique.

4. Contributions Techniques Majeures

1. Géométrie des Grassmanniens Affines : L'article utilise profondément la géométrie de la Grassmannienne affine $\mathrm{Gr}_G = G(K)/G(\mathcal{O})$ et de sa version tordue $\mathrm{Gr}'_G = G(K)/G'(\mathcal{O})$. Ils analysent les orbites semi-infinies et la topologie de ces espaces pour comprendre le comportement des foncteurs d'induction.
2. Théorie des Représentations sur les Pro-Espaces : Ils manipulent rigoureusement les catégories de représentations lisses sur des espaces vectoriels pro-objets, définissant des foncteurs d'induction et de coinvariants adaptés à ce cadre (via les travaux antérieurs [7]).
3. Distinction Ramifié/Non-Ramifié : Une analyse fine des extensions quadratiques de $K$ (ramifiées vs non ramifiées) et de leurs effets sur la structure des groupes de torseurs et des représentations associées.
4. Notion de Cuspidalité Généralisée : Dans l'appendice, ils proposent une définition de la cuspidalité pour tout groupe réductif déployé $H(K)$, basée sur la densité de certaines filtrations associées aux sous-groupes paraboliques.

5. Signification et Implications

Ce travail est significatif pour plusieurs raisons :

• Extension de la Théorie de Langlands : Il ouvre la voie à une théorie des représentations pour les champs locaux de dimension 2, un domaine crucial pour la géométrie arithmétique et la théorie de Langlands géométrique.
• Nouveaux Phénomènes : Il révèle que la théorie des représentations en dimension 2 possède des phénomènes qui n'existent pas en dimension 1. En particulier, la perte de l'unicité de la restriction au Borel et l'existence de structures filtrées non triviales montrent que la "cuspidalité" est un concept plus riche et plus complexe.
• Outils pour $PGL(n)$ : Les méthodes développées (classification elliptique, induction, analyse de la restriction) sont conçues pour être généralisables au groupe $PGL(n)$, comme suggéré dans les questions ouvertes de la conclusion.
• Lien avec les Algèbres de Hecke : Les auteurs mentionnent un lien potentiel avec les algèbres de Hecke doubles affines, suggérant que ces représentations pourraient jouer un rôle dans la réalisation de modules pour ces algèbres.

En résumé, Braverman et Kazhdan réussissent à construire une classe de représentations cuspidales pour $PGL(2)$ sur un champ local de dimension 2, en établissant une correspondance précise avec les caractères des extensions quadratiques, tout en mettant en lumière les subtilités structurelles (filtrations, non-isomorphisme de restrictions) qui distinguent ce cadre de la théorie classique des groupes p-adiques.