Euler-Poincaré pairing, Dirac index and elliptic pairing for Harish-Chandra modules

[Accouplement d’Euler-Poincaré, indice de Dirac et accouplement elliptique des modules de Harish-Chandra]

Renard, David¹

¹ CMLS, École polytechnique, CNRS, Université Paris-Saclay 91128 Palaiseau Cedex, France

Journal de l’École polytechnique — Mathématiques, Tome 3 (2016), pp. 209-229

Abstract (VO)

Let $G$ be a connected real reductive group with maximal compact subgroup $K$ of equal rank, and let $ℳ$ be the category of Harish-Chandra modules for $G$. We relate three differently defined pairings between two finite length modules $X$ and $Y$ in $ℳ$: the Euler-Poincaré pairing, the natural pairing between the Dirac indices of $X$ and $Y$, and the elliptic pairing of [2]. (The Dirac index ${\mathsf{I}}_{\mathrm{Dir}}\left(X\right)$ is a virtual finite-dimensional representation of $\tilde{K}$, the spin double cover of $K$.) We construct index functions $f_X$ for any finite length Harish-Chandra module $X$. Each of these functions is very cuspidal in the sense of Labesse, and its orbital integral on elliptic elements coincides with the character of $X$. From this we deduce that the Dirac index pairing coincide with the elliptic pairing. Analogy with the case of Hecke algebras studied in [8] and [7] and a formal (but not rigorous) computation led us to conjecture that the first two pairings coincide. We show that they are both computed as the indices of Fredholm pairs (defined here in an algebraic sense) of operators acting on the same spaces. Recently, Huang and Sun have established the equality between the Euler-Poincaré and the elliptic pairing, thereby proving directly the analogue of a result of Schneider and Stuhler for $p$-adic groups [25].

Résumé

Soit $G$ un groupe réductif réel connexe et soit $K$ un sous-groupe compact maximal que l’on suppose de même rang. Nous relions trois accouplements entre modules de Harish-Chandra de longueur finie $X$ et $Y$ : l’accouplement d’Euler-Poincaré, l’accouplement naturel entre les indices de Dirac de $X$ et $Y$ et l’accouplement elliptique d’Arthur [2] (l’indice de Dirac ${\mathsf{I}}_{\mathrm{Dir}}\left(X\right)$ est une représentation virtuelle de dimension finie de $\tilde{K}$, le revêtement Spin à deux feuillets de $K$). Nous construisons des fonctions indices $f_X$ pour tout module de Harish-Chandra de longueur finie $X$. Chacune de ces fonctions est très cuspidale au sens de Labesse, et son intégrale orbitale coïncide sur les éléments elliptiques avec le caractère de $X$. De ceci nous déduisons que l’accouplement naturel des indices de Dirac coïncide avec l’accouplement elliptique. Une analogie avec le cas des algèbres de Hecke considéré dans [8] et [7] et un calcul formel (mais non rigoureux) nous ont amenés à conjecturer que les deux premiers accouplements coïncident eux aussi. Nous montrons qu’ils peuvent tout deux être exprimés comme indices de paires de Fredholm (définis ici dans un sens algébrique) d’opérateurs agissant sur les même espaces. Récemment Huang et Sun ont établi l’égalité entre accouplement d’Euler-Poincaré et accouplement elliptique, démontrant ainsi directement l’analogue d’un résultat de Schneider et Stuhler pour les groupes $p$-adiques [25].

Détail

Reçu le : 2015-09-10
Accepté le : 2016-03-29
Publié le : 2016-07-04
DOI : 10.5802/jep.32

Classification : 22E46, 22E47
Keywords: Harish-Chandra module, elliptic representation, Euler-Poincaré pairing, elliptic pairing, Dirac cohomology
Mots-clés : Module de Harish-Chandra, représentation elliptique, accouplement d’Euler-Poincaré, accouplement elliptique, cohomologie de Dirac

Licence : CC-BY-ND 4.0

Droits d'auteur : Les auteurs conservent leurs droits