Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

Cet article établit une dualité $S$ pour l'action de $\text{SO}(2n+1)\times \text{Sp}(2n)$ sur le produit tensoriel de leurs représentations tautologiques, démontrant que son dual est l'espace mirabolique symplectique $\text{Sp}(2n)\times\text{Sp}(2n)$ agissant sur $T^* \text{Sp}(2n)$, et formule la conjecture globale correspondante décrivant la correspondance de theta catégorique du côté dual de Langlands.

L'essentiel

Imaginez que vous êtes un architecte travaillant sur des plans de maisons très complexes. Dans le monde des mathématiques avancées, il existe une théorie appelée Dualité de Langlands. Pour faire simple, c'est comme si chaque type de maison (un groupe mathématique) avait un "jumeau miroir" dans un autre univers. Si vous comprenez la structure d'une maison, vous devriez pouvoir déduire la structure de son jumeau, même s'ils semblent très différents à première vue.

Ce papier, écrit par quatre mathématiciens (Braverman, Finkelberg, Kazhdan et Travkin), explore une version très spécifique et un peu "tordue" de cette dualité. Voici une explication simplifiée de ce qu'ils ont fait, en utilisant des analogies du quotidien.

1. Le Problème : Deux Mondes Qui Ne Semblent Pas S'Accorder

Imaginons deux mondes parallèles :

• Le Monde A (Géométrie) : C'est un espace rempli de formes symétriques et de mouvements fluides. Les auteurs étudient un objet mathématique spécifique ici : un mélange d'espaces liés aux groupes $SO(2n+1)$ et $Sp(2n)$. C'est un peu comme un immense labyrinthe de miroirs et de glissades.
• Le Monde B (Algèbre) : C'est un monde de règles, d'équations et de structures rigides. Ici, ils regardent un autre objet, lié à l'espace symplectique $Sp(2n) \times Sp(2n)$.

Dans un article précédent ([BFT]), les auteurs avaient prouvé qu'en partant du Monde B, on pouvait trouver son jumeau dans le Monde A. C'était comme dire : "Si vous prenez cette machine complexe, son reflet est cette autre machine."

Le défi de ce papier : Ils veulent prouver l'inverse. Si vous partez du Monde A (le labyrinthe de miroirs), pouvez-vous retrouver exactement le Monde B (la machine complexe) ? C'est ce qu'ils appellent la "réciproque".

2. L'Anomalie : Le "Défaut de Fabrication"

Il y a un détail crucial qui rend ce problème difficile. Dans le monde des mathématiques pures, tout devrait être parfaitement symétrique. Mais ici, il y a une "anomalie".

Imaginez que vous essayez de copier un dessin parfait, mais que le papier est légèrement déformé ou que l'encre est un peu différente d'un côté. En mathématiques, cela signifie que le "jumeau" n'est pas exactement le même que l'original ; il est un peu "tordu" ou "metaplectique" (un terme technique pour dire qu'il y a un facteur de confusion, comme une clé qui tourne deux fois pour ouvrir une porte).

Les auteurs doivent donc faire très attention à cette "torsion" pour s'assurer que leurs deux mondes correspondent bien, malgré ce défaut de fabrication.

3. La Solution : Trouver la Clé Universelle

Pour prouver que les deux mondes sont bien des jumeaux, les auteurs utilisent une méthode ingénieuse qui ressemble à un jeu de construction :

• Les Briques de Base (Les Hecke Actions) : Ils utilisent des outils mathématiques appelés "actions de Hecke". Imaginez que ce sont des outils de construction (comme des marteaux ou des clés) qui permettent de transformer une pièce en une autre. Ils montrent que ces outils fonctionnent exactement de la même manière dans les deux mondes.
• Le Miroir Parfait (L'Équivalence) : Ils construisent un pont mathématique (une équivalence de catégories). C'est comme si ils disaient : "Regardez, chaque pièce de ce puzzle du Monde A a une pièce correspondante exacte dans le Monde B, et la façon dont elles s'assemblent est identique."
• La Preuve par l'Absurde (L'Algorithme) : Ils utilisent une technique appelée "slice pseudo" (une tranche de l'espace). Imaginez que vous essayez de comprendre la forme d'un objet 3D complexe en le découpant en tranches fines. Ils montrent que si vous regardez ces tranches, la structure est si simple et régulière qu'elle ne peut provenir que de l'autre objet spécifique qu'ils ont en tête.

4. La Grande Vision : Le "Théorème du Monde Global"

Au-delà de la preuve technique, ils proposent une conjecture globale.

Imaginez que votre ville entière (une courbe mathématique) est remplie de ces maisons et de leurs jumeaux. Les auteurs suggèrent qu'il existe une relation profonde entre les "vibrations" de ces maisons (les fonctions L, qui sont comme des signatures musicales des objets mathématiques) et des objets géométriques appelés "faisceaux theta".

En gros, ils disent : "Si vous connaissez la musique jouée par une maison dans un coin de la ville, vous pouvez prédire exactement quelle forme géométrique apparaîtra dans le coin opposé de la ville, grâce à notre nouvelle carte de la dualité."

En Résumé

Ce papier est une victoire de la logique mathématique. Les auteurs ont réussi à :

1. Inverser une relation complexe découverte précédemment.
2. Gérer une anomalie bizarre (la torsion) qui aurait pu tout casser.
3. Prouver que deux structures mathématiques apparemment différentes sont en fait deux faces d'une même pièce.
4. Proposer une nouvelle règle pour comprendre comment ces structures interagissent sur de plus grandes échelles (le "monde global").

C'est comme si ils avaient prouvé que, peu importe la façon dont vous tournez votre puzzle (ou même si vous le regardez dans un miroir déformant), les pièces s'assemblent toujours pour former la même image parfaite. C'est une avancée majeure pour comprendre la structure fondamentale de l'univers mathématique.

Résumé technique

Voici un résumé technique détaillé de l'article "Relative Langlands Duality for $osp(2n + 1|2n)$" d'Alexander Braverman, Michael Finkelberg, David Kazhdan et Roman Travkin.

1. Problématique et Contexte

Cet article s'inscrit dans le cadre de la dualité de Langlands relative, une généralisation de la dualité de Langlands classique aux variétés sphériques et aux espaces symplectiques. Plus précisément, les auteurs poursuivent les travaux de [BFT] (Braverman-Finkelberg-Tsygan) et [BZSV] (Bullimore-Zhu-Schiffmann-Vafa), en se concentrant sur le cas "tordu" (twisted) où une anomalie apparaît.

Le problème central est d'établir la dualité S (S-duality) pour un espace symplectique spécifique :

• Côté A (Géométrique/Local) : L'espace $M = \mathbb{C}^{2n+1}_+ \otimes \mathbb{C}^{2n}_-$, muni d'une action de $SO(2n+1) \times Sp(2n)$. Ici, $\mathbb{C}^{2n+1}_+$ est une représentation orthogonale et $\mathbb{C}^{2n}_-$ une représentation symplectique. En raison de la torsion par la racine carrée du fibré déterminant, le facteur $Sp(2n)$ correspond à son dual de Langlands métaplectique (qui est isomorphe à $Sp(2n)$ mais agit via une torsion).
• Côté B (Dual) : L'espace symplectique "mirabolique" $T^*Sp(2n) \times \mathbb{C}^{2n}_-$, muni d'une action de $Sp(2n) \times Sp(2n)$.

L'objectif est de prouver que la catégorie dérivée des modules sur l'algèbre de Weyl associée à $M$ (invariants sous $SO(2n+1) \times Sp(2n)$) est équivalente à la catégorie des modules parfaits sur une certaine algèbre dg super-commutative définie sur le côté dual.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des catégories dérivées, la géométrie algébrique, la théorie des représentations et la cohomologie équivariante.

• Cadre Catégorique :

  • Ils définissent la catégorie $W\text{-mod}_{SO(V')^O \times Sp(V)^O, lc}$ de modules localement compacts sur l'algèbre de Weyl $W$ complétée de l'espace $M_K = M \otimes \mathbb{C}((t))$, invariants sous les groupes de lacets $SO(V')^O$ et $Sp(V)^O$.
  • Ils construisent un objet $E_0$ (la fonction delta de l'origine) qui sert d'unité pour l'action des catégories de Hecke.

• Action de Hecke et Équivalence de Satake :

  • L'approche repose sur l'identification de deux actions de Hecke géométriques : celle provenant de la catégorie de Satake de $SO(2n+1)$ et celle de $Sp(2n)$ (tordue).
  • Le Lemme 3.1.1 est crucial : il montre que les actions de convolution des catégories de Satake sur l'objet unité $E_0$ coïncident. Cela permet d'identifier les structures de modules.

• Algèbres d'Ext et Déséquivariantisation :

  • Les auteurs étudient l'algèbre d'Ext déséquivariantisée $E^\bullet = \text{Ext}^\bullet(E_0, E_0)$ dans la catégorie déséquivariantisée.
  • Ils démontrent que cette algèbre est formelle (quasi-isomorphe à son algèbre de cohomologie avec différentielle nulle) et commutative (Lemmes 3.3.1 et 3.3.4).
  • L'objectif est de montrer que $E^\bullet$ est isomorphe à l'algèbre $G^\bullet = \text{Sym}^\bullet(\mathfrak{sp}(V)[-2]) \otimes \text{Sym}^\bullet(\Pi(V)[-1])$, qui définit le côté dual.

• Géométrie des Slices et Cohomologie Équivariante :

  • Pour prouver l'isomorphisme entre les algèbres, ils utilisent une slice de Kostant $\Sigma$ dans $\mathfrak{sp}(V) \oplus V$.
  • Ils analysent la saturation de cette slice sous l'action de $Sp(V)$ et montrent qu'elle contient un ouvert dense (Corollaire 3.4.3).
  • L'argument final repose sur la cohomologie équivariante et le théorème de localisation. Ils construisent un morphisme entre les spectres des algèbres et prouvent qu'il est un isomorphisme en utilisant des propriétés de régularité et de ramification (Lemme 3.5.3).

3. Contributions Clés et Résultats Principaux

1. Théorème Principal (Théorème 2.2.1) :
   Il existe une équivalence de catégories triangulées :
   $$D^{perf}_{Sp(V) \times Sp(V)}(A^\bullet) \xrightarrow{\sim} W\text{-mod}_{SO(V')^O \times Sp(V)^O, lc}$$
   où $A^\bullet$ est l'algèbre dg super-commutative $C[Sp(V)] \otimes \text{Sym}^\bullet(\mathfrak{sp}(V)[-2]) \otimes \text{Sym}^\bullet(\Pi(V)[-1])$.
   Cette équivalence commute avec l'action de convolution des catégories de Hecke sphériques.

2. Converse de [BFT] :
   Alors que [BFT] établissait la dualité de $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ vers $M$, cet article prouve la réciproque : le dual S de l'espace $M$ (avec action $SO \times Sp$) est bien l'espace mirabolique $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ (avec action $Sp \times Sp$). Cela confirme la nature involutive de la dualité de Langlands relative dans ce contexte anormal.

3. Conjecture Globale (Conjecture 1.5.1) :
   Les auteurs formulent une conjecture globale reliant cette dualité locale aux fonctions L automorphes.

   • Ils définissent un faisceau theta tordu $\Theta$ sur le stack des fibrés $Bun_{Sp(2n)}^\omega \times Bun_{SO(2n+1)}$.
   • Ils conjecturent que l'image de ce faisceau par la dualité de Langlands géométrique globale est un faisceau $\Theta^\vee$ sur l'espace des systèmes locaux $LocSys_{Sp(2n)}$, dont la fibre en un système local $E$ est la représentation de spinor $S_E$ de l'algèbre de Clifford associée à la cohomologie de de Rham de $E$.
   • Cela fournit une version catégorifiée de la correspondance entre les faisceaux de périodes et les faisceaux L, où l'algèbre de Clifford joue le rôle de la valeur de la fonction L en $s=1/2$.

4. Signification et Impact

• Validation de la Dualité Relative : Ce travail consolide le cadre théorique de la dualité de Langlands relative (proposé par [BZSV]) en traitant un cas non trivial impliquant une anomalie (torsion par la racine carrée du déterminant) et des groupes de type mixte (orthogonal et symplectique).
• Cas des Variétés Non-Cotangentielles : Il illustre comment la théorie s'étend aux variétés symplectiques qui ne sont pas de type cotangent ($T^*X$), un domaine où la dualité est plus subtile et nécessite des ajustements (comme le changement de groupe dual pour tenir compte de l'anomalie).
• Lien avec les Fonctions L : La conjecture globale proposée offre une perspective géométrique profonde sur les valeurs centrales des fonctions L, suggérant que les structures algébriques (comme les algèbres de Clifford) apparaissent naturellement dans la géométrie des espaces de modules de fibrés.
• Outils Techniques : La démonstration introduit des techniques sophistiquées combinant la théorie des algèbres de Weyl, la géométrie des slices de Kostant et la cohomologie équivariante, qui pourraient être appliquées à d'autres problèmes de dualité dans le programme de Langlands géométrique.

En résumé, cet article établit rigoureusement la correspondance S-duale pour le système $osp(2n+1|2n)$, comblant un vide important dans la compréhension de la dualité relative pour les groupes classiques et ouvrant la voie à des généralisations globales.