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

David Renard

doi:10.5802/jep.32

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]

David Renard ¹

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

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

Résumé
Abstract

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 $I_{Dir} (X)$ 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].

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 $I_{Dir} (X)$ 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].

Reçu le : 2015-09-09
Accepté le : 2016-03-28
Publié le : 2016-07-03

MR Zbl

DOI : 10.5802/jep.32

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

Affiliations des auteurs :

David Renard ¹

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

Licence :

CC-BY-ND 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{JEP_2016__3__209_0,
     author = {David Renard},
     title = {Euler-Poincar\'e pairing, {Dirac} index and elliptic pairing for {Harish-Chandra} modules},
     journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
     pages = {209--229},
     publisher = {ole polytechnique},
     volume = {3},
     year = {2016},
     doi = {10.5802/jep.32},
     zbl = {1356.22014},
     mrnumber = {3491807},
     language = {en},
     url = {https://jep.centre-mersenne.org/articles/10.5802/jep.32/}
}

TY  - JOUR
AU  - David Renard
TI  - Euler-Poincaré pairing, Dirac index and elliptic pairing for Harish-Chandra modules
JO  - Journal de l’École polytechnique — Mathématiques
PY  - 2016
SP  - 209
EP  - 229
VL  - 3
PB  - ole polytechnique
UR  - https://jep.centre-mersenne.org/articles/10.5802/jep.32/
DO  - 10.5802/jep.32
LA  - en
ID  - JEP_2016__3__209_0
ER  -

%0 Journal Article
%A David Renard
%T Euler-Poincaré pairing, Dirac index and elliptic pairing for Harish-Chandra modules
%J Journal de l’École polytechnique — Mathématiques
%D 2016
%P 209-229
%V 3
%I ole polytechnique
%U https://jep.centre-mersenne.org/articles/10.5802/jep.32/
%R 10.5802/jep.32
%G en
%F JEP_2016__3__209_0

David Renard. Euler-Poincaré pairing, Dirac index and elliptic pairing for Harish-Chandra modules. Journal de l’École polytechnique — Mathématiques, Tome 3 (2016), pp. 209-229. doi : 10.5802/jep.32. https://jep.centre-mersenne.org/articles/10.5802/jep.32/

Bibliographie
Cité par

[1] C.-G. Ambrozie - “On Fredholm index in Banach spaces”, Integral Equations Operator Theory 25 (1996) no. 1, p. 1-34 | DOI | MR

[2] J. Arthur - “On elliptic tempered characters”, Acta Math. 171 (1993) no. 1, p. 73-138 | DOI | MR | Zbl

[3] M. Atiyah & W. Schmid - “A geometric construction of the discrete series for semisimple Lie groups”, Invent. Math. 42 (1977), p. 1-62 | DOI | MR | Zbl

[4] P. Blanc & J.-L. Brylinski - “Cyclic homology and the Selberg principle”, J. Funct. Anal. 109 (1992) no. 2, p. 289-330 | DOI | MR | Zbl

[5] A. Bouaziz - “Intégrales orbitales sur les groupes de Lie réductifs”, Ann. Sci. École Norm. Sup. (4) 27 (1994) no. 5, p. 573-609 | DOI | Numdam | Zbl

[6] A. Bouaziz - “Formule d’inversion des intégrales orbitales sur les groupes de Lie réductifs”, J. Funct. Anal. 134 (1995) no. 1, p. 100-182 | DOI | MR | Zbl

[7] D. M. Ciubotaru, E. Opdam & P. E. Trapa - “Algebraic and analytic Dirac induction for graded affine Hecke algebras” (2012), arXiv:1201.2130 | Zbl

[8] D. M. Ciubotaru & P. E. Trapa - “Characters of Springer representations on elliptic conjugacy classes”, Duke Math. J. 162 (2013) no. 2, p. 201-223 | DOI | MR | Zbl

[9] J.-F. Dat - “On the $K_{0}$ of a $p$ -adic group”, Invent. Math. 140 (2000) no. 1, p. 171-226 | DOI | MR | Zbl

[10] J.-F. Dat - “Une preuve courte du principe de Selberg pour un groupe $p$ -adique”, Proc. Amer. Math. Soc. 129 (2001) no. 4, p. 1213-1217 | DOI | MR | Zbl

[11] Harish-Chandra - “Supertempered distributions on real reductive groups”, in Studies in applied mathematics, Adv. Math. Suppl. Stud., vol. 8, Academic Press, New York, 1983, p. 139-153 | MR | Zbl

[12] J.-S. Huang - “Dirac cohomology, elliptic representations and endoscopy”, in Representations of Reductive Groups: In Honor of the 60th Birthday of David A. Vogan, Jr., Progress in Math., vol. 312, Springer International Publishing, 2015, p. 241-276 | DOI | MR | Zbl

[13] J.-S. Huang, Y.-F. Kang & P. Pandžić - “Dirac cohomology of some Harish-Chandra modules”, Transform. Groups 14 (2009) no. 1, p. 163-173 | DOI | MR | Zbl

[14] J.-S. Huang & P. Pandžić - “Dirac cohomology, unitary representations and a proof of a conjecture of Vogan”, J. Amer. Math. Soc. 15 (2002) no. 1, p. 185-202 | DOI | MR | Zbl

[15] J.-S. Huang & P. Pandžić - Dirac operators in representation theory, Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA, 2006 | Zbl

[16] J.-S. Huang & B. Sun - “The Euler-Poincaré pairing of Harish-Chandra modules”, arXiv:1509.01755v1

[17] D. Kazhdan - “Cuspidal geometry of $p$ -adic groups”, J. Analyse Math. 47 (1986), p. 1-36 | DOI | MR | Zbl

[18] A. W. Knapp & D. A. Vogan - Cohomological induction and unitary representations, Princeton Mathematical Series, vol. 45, Princeton University Press, Princeton, NJ, 1995 | MR | Zbl

[19] B. Kostant - “Clifford algebra analogue of the Hopf-Koszul-Samelson theorem, the $ρ$ -decomposition $C (𝔤) = End V_{ρ} \otimes C (P)$ , and the $𝔤$ -module structure of $⋀ 𝔤$ ”, Adv. Math. 125 (1997) no. 2, p. 275-350 | DOI

[20] R. E. Kottwitz - “Tamagawa numbers”, Ann. of Math. (2) 127 (1988) no. 3, p. 629-646 | DOI | MR | Zbl

[21] J.-P. Labesse - “Pseudo-coefficients très cuspidaux et $K$ -théorie”, Math. Ann. 291 (1991) no. 4, p. 607-616 | DOI | MR | Zbl

[22] E. Meinrenken - Clifford algebras and Lie theory, Ergeb. Math. Grenzgeb. (3), vol. 58, Springer, Heidelberg, 2013 | DOI | MR | Zbl

[23] R. Parthasarathy - “Dirac operator and the discrete series”, Ann. of Math. (2) 96 (1972), p. 1-30 | DOI | MR | Zbl

[24] D. Renard - “Euler-Poincaré pairing, Dirac index and elliptic pairing for Harish-Chandra modules”, arXiv:1409.4166 | DOI | Zbl

[25] P. Schneider & U. Stuhler - “Representation theory and sheaves on the Bruhat-Tits building”, Publ. Math. Inst. Hautes Études Sci. 85 (1997), p. 97-191 | DOI | Numdam | Zbl

[26] M.-F. Vignéras - “Caractérisation des intégrales orbitales sur un groupe réductif $p$ -adique”, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981) no. 3, p. 945-961 | Zbl

[27] M.-F. Vignéras - “On formal dimensions for reductive $p$ -adic groups”, in Festschrift in honor of I.I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part I (Ramat Aviv, 1989), Israel Math. Conf. Proc., vol. 2, Weizmann, Jerusalem, 1990, p. 225-266 | MR | Zbl

[28] N. R. Wallach - Real reductive groups. I, Pure and Applied Mathematics, vol. 132, Academic Press, Inc., Boston, MA, 1988 | MR | Zbl

Cité par Sources :