Vous êtes sur la page 1sur 138

UNIVERSIT PARIS 7 - DENIS DIDEROT

INSTITUT DE MATHMATIQUES DE JUSSIEU


Thse de Doctorat
Spcialit : Mathmatiques
prsente par
Maria-Paula Gomez-Aparicio
pour obtenir le grade de
Docteur de lUniversit Paris 7
Proprit (T) et morphisme de Baum-Connes tordus
par une reprsentation non unitaire
soutenue le 14 dcembre 2007 devant le jury compos de :
M. Jean-Benot Bost Examinateur
M. Alain Connes Examinateur
M. Vincent Laorgue Directeur de thse
M. Herv Oyono-Oyono Rapporteur
M. Georges Skandalis Examinateur
M. Alain Valette Rapporteur
ii
iii
Rsum
Cette thse concerne des variantes de la proprit (T) de Kazhdan et de la conjec-
ture de Baum-Connes tordues par des reprsentations de dimension nie qui ne sont
pas ncessairement unitaires.
Soit G un groupe localement compact et (, V ) une reprsentation de dimension -
nie non ncessairement unitaire de G. Dans le Chapitre 1, si est irrductible, nous
allons dnir une version tordue de la proprit (T) en considrant des produits
tensoriels par de reprsentations unitaires de G. Nous allons alors dnir deux
algbres de Banach tordues, /

(G) et /

r
(G), analogues aux C

-algbres de groupe,
C

(G) et C

r
(G), et nous allons dnir la proprit (T) tordue par en termes de
/

(G). Nous allons ensuite montrer que la plupart des groupes de Lie semi-simples
rels ayant la proprit (T) ont la proprit (T) tordue par nimporte quelle repr-
sentation irrductible de dimension nie.
Les Chapitres 2 et 3 seront consacrs au calcul de la K-thorie des algbres tordues.
Nous allons, en eet dans le Chapitre 2, dnir une application dassemblage tor-
due du membre de gauche du morphisme de Baum-Connes, not K
top
(G), dans la
K-thorie de /

r
(G). Nous allons ensuite montrer, dans le Chapitre 3, que ce mor-
phisme de Baum-Connes tordu est bijectif pour une large classe de groupes vriant
la conjecture de Baum-Connes.
Dans le Chapitre 4, nous allons voir que le produit tensoriel par dnit un mor-
phisme de /

r
(G) dans C

r
(G) End(V ) qui fournit un morphisme de groupes de
K(/

r
(G)) dans K(C

r
(G)). Nous allons calculer ce morphisme sur limage de lap-
plication dassemblage tordue. Pour cela, nous allons dnir une action de lanneau
des reprsentations de dimension nie de G sur K
top
(G) qui sera compatible avec le
produit tensoriel par ainsi quavec le morphisme de Baum-Connes tordu.
iv
v
A mis papas
vi
Remerciements
Je voudrais tout dabord remercier Vincent Laorgue, mon directeur de thse
qui est lorigine de ce travail. Cest un honneur pour moi de travailler avec lui et je
ne peux quadmirer son talent. Je lui suis inniment reconnaissante, non seulement
parce quil a accept de me prendre en thse, mais aussi parce quil a partag ses
ides avec moi. Il a dirig ma thse avec beaucoup de patience et il a ddi beaucoup
de temps mon travail en tant toujours trs disponible et en venant me chercher
trs souvent pour que lon discute, ce qui ma normment encourage. Je le remercie
aussi davoir lu trs srieusement beaucoup de versions prliminaires de ces travaux.
Depuis le dbut de ma thse, Georges Skandalis a t trs prsent. Il ma ac-
cueilli gentillement chaque fois que je venais lembter pour lui poser des questions
et ses rponses mont toujours clairci les ides. Ctait un honneur pour moi de
faire partie de son quipe et jadmirerai toujours son savoir ainsi que sa capacit
lexposer et le partager. Il a aussi ddi beaucoup de son temps discuter avec moi
propos de mon avenir et je lui en suis trs reconnaissante. Je le remercie davoir
lu une version prliminaire de mon introduction. Elle naurait jamais pu tre crite
sans les discussions que jai eu avec lui. Enn, je le remercie normment davoir
accept de faire partie de mon jury.
Je remercie Alain Valette, non seulement parce quil a accept de rapporter cette
thse et de faire partie de mon jury, mais aussi pour ses commentaires en tant qudi-
teur de mon article, ainsi que pour son invitation Neuchtel. Herv Oyono-Oyono
a aussi accept dcrire un rapport sur cette thse et de faire partie du jury, je le
remercie beaucoup pour a.
Alain Connes et Jean-Benot Bost ont accept de faire partie de mon jury. Cest
un grand honneur pour moi de les remercier.
Presque par un coup du hasard, ou par un petit got mathmatique particulier
qui sest rvl tre le bon, jai fait ma thse au sein de lquipe dAlgbres dOp-
rateurs de lIMJ et il nest pas ncessaire den faire partie pour constater quon
ne peut travailler dans une ambiance plus stimulante (je crois mme que beaucoup
dautres thsards en sont jaloux !). Je voudrais remercier Etienne Blanchard qui ma
fait sentir trs laise ds mon arrive, qui sest toujours intress pour mon tra-
vii
viii
vail et qui ma toujours accueilli de faon trs chaleureuse. Stefaan Vaes, Stephan
Vassout et Andrej Zuck ont t toujours trs accueillant. Pendant les runions du
GDR de Gomtrie non-commutative jai eu le plaisir de rencontrer Jean Renault,
Claire Anantharaman-Delaroche, Pierre Julg, Saad Baaj, Claire Debord, Jean Marie
Lescure, Kroum Tzanev et Bertrand Monthuber. Pierre-Yves Le Gall a lu une petite
partie de ma thse et ses commentaires mont beaucoup aid la rdiger. Je remercie
Nicolas Louvet de mavoir invite faire un expos Metz en janvier prochain.
Je dois un peu de ma stabilit psychologique, aprs trois ans de thse, aux autres
thsards de lquipe dAlgbres dOprateurs. Ils ont souvent entendu des rptitions
de mes exposs et jai prot de beaucoup de conversations avec eux. En particulier,
les participants au groupe de travail sur la conjecture de Baum-Connes : Paulo Car-
rillo, avec qui jai fait la thse un peu en parallle et qui a t un soutien constant,
Jean Franois Planchat, Athina Mageira et Jeremie Brieussel ; ils ont toujours suivi
avec patience mes longs exposs. Benoit Jacob, avec qui jai partag le bureau, a
toujours rpondu mes questions et na pas arrt de men poser, mme si je rpon-
dais trs rarement (Merci !). Pierre Clare, Pierre Fima et Cyril Houdayer, comme
dit Benoit, sont des compagnons de route depuis le dbut.
Pendant mon anne de DEA, jai eu le plaisir de suivre le cours de Max Karoubi
de K-thorie, ce qui a beaucoup orient mes recherches. Il a dirig mon mmoire
avec gentillesse et il ma soutenue pour que je continue ; je suis donc trs contente
de pouvoir exprimer ma gratitude envers lui ici. Je remercie Moulay Benameur qui
ma invite Metz lanne de mon DEA.
Je remercie tous les membres de lIMJ, en particulier Gilles Godefroy qui ma
accueilli de faon trs chaleureuse. Et je remercie Madame Wasse dont jadmire
lecacit. Elle a t toujours trs aectueuse et cest grce elle quon se sent vrai-
ment faire partie de luniversit. Je remercie aussi Nadine Fournaiseau et Marcelline
Prosper-Cojande dtre toujours disponibles.
Jai connu Franois Liret lanne de mon arrive en France, il y a six ans, quand
je suivais ses tds dalgbre et quand je ne connaissais encore personne. Depuis, il
sest toujours occup de moi et il ma beaucoup encourage continuer. Je le re-
mercie beaucoup davoir cru en moi. Jai aussi rencontr Catherine Gille quand je
suis arrive Paris 7. Je la remercie elle et sa famille pour leur gentillesse. Jai eu
la chance de suivre les cours de Marc Hindry et de Patrick Popescu pendant lanne
de ma matrise et ils mont beaucoup encourage.
Je remercie aussi Sylvie Paycha pour son soutien depuis la premire cole dt
de Villa de Leyva laquelle jai particip et de mavoir invite parler au groupe de
travail de gomtrie de Clermont-Ferrand. Je remercie la fondation Elsevier, ainsi
que la AFFDU, pour leur soutien nancier.
Durant ces annes, jai partag le bureau avec des personnes exceptionnelles qui
Remerciements ix
mont beaucoup soutenue dans les moments diciles. Je remercie Aicha Hachemi,
Masseye Gaye et Titem Harrache ; je leur souhaite tout le bonheur quils mritent
et jespre ne pas les perdre de vue.
Et puis il y a aussi toutes les participantes au sminaire Bourbakettes (et bon,
je ladmet, maintenant je devrai crire tous les participants car je remercie aussi
la nouvelle quipe masculine ayant lesprit bourbakette, comme Yann Palu et Ni-
colas Billerey) avec qui a a t un plaisir de travailler. Je tiens remercier, plus
particulirement, mes co-fondatrices : Maria Carrizosa, avec qui jai en plus vcu
pendant les deux premires annes de thse, Claire Amiot, grce qui je sais faire
des beaux diagrammes commutatifs en latex, et Anne Moreau, qui ma expliqu
beaucoup de choses sur les algbres de Lie. Je remercie aussi Selene Sanchez qui a
maintenant pris le sminaire en main et grce qui il marche encore, mixte, mais il
marche encore. Et puis je pense des amis proches qui maintenant sont loin comme
Mairi Chlouveraki et deux autres qui nont jamais pu, malgr eux, tre admis dans
les bourbakettes : Ernesto Mistretta et Amadeo Irigoyen. Ils font tous partie du
plateau des thsards de Chevaleret o rgne une trs belle ambiance.
Avec la thse se termine aussi une trs belle tape de ma vie : Paris ; et je vou-
drais remercier les personnes qui ont rendu chaque hiver parisien supportable : David
Orduz, avec qui jai en plus partag la priode de rdaction de la thse, Silvia Rodri-
guez, Maya Goubina, Marie Pla, Aurlien Mas, Fernando Pardo, Catalina Sargn,
Ana Mara Mora, Andrs Varn, Ernesto Camacho, Nicolas Bernal et Annalisa Pa-
nati. Leur amiti a remplac trs souvent la famille lointaine.
A mis papas, que aceptaron tenerme lejos para que yo pudiera perseguir mis
sueos, sin nunca hacerme sentir el peso del vaco que deb dejar cuando me fu.
Esta tesis no hubiera nunca existido sin su conanza.... y sin la fundacin Gmez,
claro ! Y a Sergio y Maria Jose, porque son ejemplos para m Ojala algn da pueda
llegar a ser como ellos !
Et enn Giovanni, parce que non seulement il se lve tous les matins dix
minutes plus tt pour prparer le caf pour je puisse dormir encore un peu plus,
mais aussi parce quil a eu la patience de me supporter. Et puis parce quil ne sest
jamais plaint quand il a t oblig de sintresser aux Algbres dOprateurs, pour
mieux couter chacun de mes longs discours.
x
Table des matires
Remerciements vii
Table des matires 1
Introduction 2
1 Proprit (T) tordue par une reprsentation non unitaire 23
1.1 Proprit (T) tordue . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.1.1 Dnitions et terminologie. . . . . . . . . . . . . . . . . . . . . 25
1.1.2 Relation avec la K-thorie . . . . . . . . . . . . . . . . . . . . 28
1.1.3 Proprit dhrdit . . . . . . . . . . . . . . . . . . . . . . . 28
1.2 Cas des groupes de Lie semi-simples . . . . . . . . . . . . . . . . . . . 33
2 Morphisme de Baum-Connes tordu 47
2.1 Rappels et notations . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.1.1 Actions propres . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.1.2 KK-thorie quivariante de Kasparov . . . . . . . . . . . . . . 49
2.1.3 KK-thorie banachique de Laorgue . . . . . . . . . . . . . . 59
2.2 Morphisme de Baum-Connes tordu . . . . . . . . . . . . . . . . . . . 69
2.2.1 Produits Croiss tordus . . . . . . . . . . . . . . . . . . . . . . 69
2.2.2 Flche de descente tordue . . . . . . . . . . . . . . . . . . . . 71
2.2.3 Fonctorialit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
2.2.4 Descente et action de KK
ban
sur la K-thorie. . . . . . . . . . 86
2.2.5 Construction du morphisme . . . . . . . . . . . . . . . . . . . 88
2.2.6 Compatibilit avec la somme directe de reprsentations . . . . 89
3 tude de la bijectivit du morphisme B-C tordu 95
3.1 Cas des groupes avec un lment de Kasparov . . . . . . . . . . . . 96
3.1.1 Coecients dans une algbre propre . . . . . . . . . . . . . . . 96
3.1.2 lment de Kasparov . . . . . . . . . . . . . . . . . . . . . . 100
1
2
3.2 Cas des compltions inconditionnelles . . . . . . . . . . . . . . . . . . 102
3.2.1 Compltions inconditionnelles . . . . . . . . . . . . . . . . . . 103
4 Action sur K
top
(G) par le produit tensoriel de 109
4.1 Dnitions et nonc du thorme principal . . . . . . . . . . . . . . 109
4.2 Algbres L
1
. Rappels et notations . . . . . . . . . . . . . . . . . . . . 112
4.3 Dmonstration du thorme 4.1.6 . . . . . . . . . . . . . . . . . . . . 114
Bibliographie 123
Introduction
Un groupe localement compact a la proprit (T) si sa reprsentation triviale
est isole dans le dual unitaire du groupe, cest--dire dans lensemble des classes
disomorphisme de reprsentations unitaires munie dune topologie naturelle : la to-
pologie de Fell. Dans [Kaz67], Kazhdan a introduit cette proprit pour tudier la
structure des rseaux dans les groupes de Lie rels. Il dmontre que tout rseau dun
groupe de Lie rel qui a la proprit (T) est de type ni et il montre que SL
n
(1),
pour n 3 a la proprit (T). Les rsultats de Kazhdan ont t tendus depuis et on
sait maintenant que tout groupe de Lie rel simple G, de centre ni et de rang rel
suprieur ou gal 2, a la proprit (T) (cf. [dlHV89]). Ceci implique, en particulier
(voir [Val02]), que si M est une varit riemannienne de la forme M = G/K, o
G est un groupe de Lie simple rel comme ci-dessus, K est un sous-groupe compact
maximal de G et est un rseau sans torsion de G, alors le groupe fondamental
=
1
(M) de M est de type ni. Depuis, la proprit (T) a trouv des applications
dans beaucoup de domaines qui vont de la thorie des graphes la thorie ergodique
(voir [Val02] et [dlHV89]).
De nos jours, il existe beaucoup de formulations quivalentes de la proprit (T)
(cf. [DK68, dlHV89, BdlHV]). En particulier, en 1981, Akemann et Walter en ont
donn une caractrisation C

-algbrique [AW81, Lemma 2] : ils ont montr quun


groupe localement compact G a la proprit (T) si, et seulement si, il existe un
idempotent p
G
dans la C

-algbre maximale, C

(G), de G tel que, pour toute re-


prsentation unitaire de G dans un espace de Hilbert H, (p
G
) soit la projection
orthogonale sur le sous-espace H
G
de H form des vecteurs invariants par laction
de G (voir aussi [Val92, Proposition 2], [Val84b, Lemma 3.1]). Cette caractrisa-
tion permet de dmontrer beaucoup de proprits vries par les groupes ayant la
proprit (T). Par exemple, dans [Val84b, Theorem 3.6], Valette la utilise pour
montrer que si G est un groupe localement compact et H est un sous-groupe ferm
distingu de G tel que H et G/H ont la proprit (T), alors le groupe G a aussi
la proprit (T). Il redmontre en plus, de faon assez directe, un rsultat de Wang
[Wan75, Theorem 3.7] sur lextension de la proprit (T) : si un groupe sparable et
3
4
localement compact G a un sous-groupe ferm H de co-volume ni ayant la proprit
(T), alors G a la proprit (T). On rappelle que Kazhdan avait montr lhrdit de
la proprit (T) : si un groupe localement compact G a la proprit (T) alors tout
sous-groupe ferm unimodulaire et de co-volume ni de G a aussi la proprit (T)
(cf. [Kaz67, Theorem 3]).
Dautre part, si un groupe localement compact, et non-compact, G a la proprit (T),
lexistence dun idempotent p
G
dans C

(G) comme ci-dessus, permet de distinguer la


K-thorie des deux C

-algbres, C

(G) et C

r
(G), o on note C

r
(G) la C

-algbre r-
duite de G (cf. [Val84b, Proposition 3.4]). En eet, si on note
G
: C

(G) C

r
(G) la
reprsentation rgulire gauche de G et
G,
le morphisme de groupes de K(C

(G))
dans K(C

r
(G)) quelle dnit, alors, comme G nest pas compact,
G
na pas de
vecteurs invariants par laction de G non nuls et
G
(p
G
) = 0. Donc p
G
dnit un
lment [p
G
] non nul dans K(C

(G)) qui appartient au noyau de


G,
, et donc
G,
nest pas injectif.
En gnral, beaucoup de travaux ont montr que les idempotents dans la C

-
algbre dun groupe localement compact G jouent un rle essentiel dans certains
aspects de la thorie des reprsentations de G, parmi lesquels on peut citer ltude
des reprsentations intgrables et de carr intgrable (classication des sries dis-
crtes de G par induction de Dirac (cf. [BCH94], [Val84a], [Laf02a])) ou, videmment,
ltude des points isols dans le dual unitaire,

G, ou dans le dual unitaire tempr,

G
r
, de G (cf. [Bar80], [Val84b]). Le problme dtudier les points isols dans le dual
unitaire dun groupe localement compact a t pos par Dixmier dans [Dix61].
laide de techniques qui utilisent lexistence didempotents, on peut montrer que,
pour certains groupes (par exemple les groupes de Lie nilpotents) toute reprsenta-
tion irrductible de carr intgrable est intgrable (cf. [Bar80, Theorem 3]). On peut
aussi montrer, de faon assez lmentaire, un rsultat de Wang qui rpond de faon
armative une des questions poses par Dixmier : les reprsentations unitaires
intgrables dun groupe localement compact G dnissent des points isols de

G
(cf. [Bar80, Corollary 2], [Val84b, Theorem 2.3]). Il est clair que lapparition de la
proprit (T) a mis en vidence le lien troit qui existe entre les points isols dans

G et la thorie des groupes, ce qui justie pleinement leur intrt.


Plus gnralement, dans [Bar80], Barnes a montr quun projecteur minimal de
C

(G) dtermine toujours une reprsentation unitaire irrductible de G, dont la


classe dquivalence est un point isol dans

G. De plus, si le groupe G est -compact,
la rciproque est vraie : tout point isol dans

G correspond une reprsentation uni-
taire dtermine par un projecteur minimal de C

(G). Il a montr aussi quil en est


de mme dans le cas du dual unitaire tempr

G
r
, o C

r
(G) remplace C

(G) (cf.
Introduction 5
[Bar80, Proposition 2])
1
.
De plus, dans le cas o G est unimodulaire, tout point isol dans

G
r
est une re-
prsentation de carr intgrable de G ([Bar80, Proposition 2]). Si G est un groupe
de Lie semi-simple la rciproque est vraie : toute reprsentation de carr intgrable
dnit un point isol dans

G
r
et donc, un projecteur minimal dans C

r
(G), ce qui
constitue un ingrdient important dans la classication des reprsentations de carr
intgrable (ou sries discrtes) par induction de Dirac (cf. [Laf02a], [BCH94]).
Par ailleurs, Wang a montr quun groupe localement compact G a la proprit
(T) si, et seulement si, toute reprsentation unitaire de dimension nie de G dnit
un point isol dans

G (cf. [Wan75, Theorem 2.1]). Ce rsultat implique que si G est
un groupe ayant la proprit (T), alors toute reprsentation unitaire de dimension
nie dnit un idempotent minimal dans C

(G) et donc un lment dans la K-


thorie de C

(G). Il est naturel alors de se demander si des phnomnes analogues


apparaissent lorsquon tudie les reprsentations de dimension nie non unitaires
dun groupe localement compact. Dans la premire partie de ce travail, nous allons
voir que, eectivement dans certains cas (par exemple pour la plupart des groupes
de Lie simples ayant la proprit (T)), toute reprsentation de dimension nie non
unitaire dnit un idempotent dans une certaine algbre de Banach associe G,
qui apparat de faon naturelle.
Dans le Chapitre 1, nous allons proposer une variante de la proprit (T) de
Kazhdan en considrant des reprsentations dun groupe localement compact qui
scrivent comme le produit tensoriel dune reprsentation non unitaire de dimension
nie et dune reprsentation unitaire. Pour ceci, tant donne une reprsentation de
dimension nie dun groupe localement compact G, nous allons dnir un analogue
tordu de la C

-algbre maximale de G, C

(G), et nous allons dnir la proprit


(T) tordue en termes didempotents dans cette algbre.
Les reprsentations de dimension nie que nous allons considrer, partir de main-
tenant, ne sont pas ncessairement unitaires moins quon arme le contraire.
Dnition 1. Soit G un groupe localement compact et une reprsentation de G
dans un espace vectoriel de dimension nie V muni dune norme hermitienne. Soit
C
c
(G) lespace vectoriel des fonctions support compact sur G. Lalgbre de groupe
tordue /

(G) est le complt (spar) de C


c
(G) pour la norme dnie par la formule
1
On rappelle quun idempotent p dans une -algbre A est un projecteur si p

= p et il est
minimal si p.A.p = Cp.
6
suivante, pour f C
c
(G),
|f| = sup
(,H)
|( )(f)|
L(HV )
,
o le supremum est pris parmi les reprsentations unitaires de G.
Remarque 1. 1. Lalgbre /

(G) ainsi dnie est une algbre de Banach. Cest


une C

-algbre si, et seulement si, la reprsentation (, V ) est unitaire. Dans


ce cas, /

(G) = C

(G) en tant qualgbres de Banach. Supposons en eet


que soit une reprsentation unitaire de G. Alors on a trivialement lin-
galit de normes |.|
A

(G)
|.|
C

(G)
de sorte que /

(G) est un quotient


de C

(G). Soit (

, V

) la reprsentation contragrdiente de G sur lespace


dual V

de V . Donc, comme (V

V )
G
= Hom
G
(V, V ), la reprsentation tri-
viale 1
G
de G est fortement contenue dans

. Ceci implique que toute


reprsentation unitaire est fortement contenue dans

, et donc
que toute reprsentation unitaire est fortement contenue dans lensemble
[ une reprsentation unitaire. Do |.|
C

(G)
|.|
A

(G)
et C

(G) =
/

(G), quivalence de norme prs.


2. Si on choisit une autre norme sur V , comme deux normes sur V sont toujours
quivalentes, on obtient alors une norme quivalente sur /

(G). En particulier,
si G est un groupe compact, comme toute reprsentation de G sur un espace
de Hilbert est unitarisable, alors /

(G) = C

(G), quivalence de norme prs.


3. Toute reprsentation de G de la forme , avec une reprsentation unitaire,
peut tre prolonge, de faon vidente, en une reprsentation de /

(G) sur
H V que nous notons , par abus de notation.
4. Soit

la reprsentation contragrdiente de sur lespace dual V

de V . Si
et

sont conjugues par un oprateur de V dans V

unitaire, alors lalgbre


/

(G) est involutive.


Nous allons donner la dnition suivante de proprit (T) tordue
Dnition 2. Soit G un groupe localement compact. On dit que G a la proprit
(T) tordue par sil existe un idempotent p
G
dans /

(G) tel que (p


G
) = Id
V
et,
pour toute reprsentation unitaire qui ne contient pas de vecteurs invariants non
nuls, ( )(p
G
) = 0.
Le rsultat principal du Chapitre 1 est nonc dans le thorme suivant
Introduction 7
Thorme 1. Soit G un groupe de Lie rel algbrique semi-simple de centre ni,
connexe et simplement connexe (au sens algbrique), et tel que chaque facteur simple
de G est ou bien de rang rel suprieur ou gal 2, ou bien localement isomorphe
Sp(n, 1) pour n 2 ou F
4(20)
. Soit une reprsentation irrductible de dimension
nie de G. Alors G a la proprit (T) tordue par .
La proprit fondamentale pour nous implique par les hypothses du Thorme
1 est la dcroissance uniforme des coecients de matrice des reprsentations unitaires
qui nont pas de vecteurs invariants non nuls. Ce rsultat, d Cowling [Cow79]
(voir aussi [Cow04]), pour les groupes de Lie simples ayant la proprit (T), dnit
une proprit plus forte que la proprit (T) et permet de construire, de faon assez
explicite, un idempotent dans /

(G) vriant les conditions de la dnition 2.


Lide du rsultat de Cowling est la suivante : on peut montrer que si G est un
groupe de Lie simple connexe avec la proprit (T), alors il existe q
G
dans ]2, +[
tel que
(.), ) L
q
G
+
(G), pour tout , H

,
pour toute reprsentation unitaire (, H

) de G qui na pas de vecteurs invariants


non nuls, et de plus,
|(.), )|
q
G
+
C
G,
|| ||, pour tout , H

.
On peut montrer que ceci implique lexistence destimes uniformes sur les coe-
cients de matrice correspondants des vecteurs K-nis, pour K un compact maxi-
male de G
2
(cf. [Cow79, Corollaire 2.2.4], voir aussi [How82, Corollary 7.2]). Ceci
implique que les coecients de matrice des reprsentations unitaires qui tendent
vers zro linni dcroissent de manire uniforme. Le rsultat utilise ensuite le r-
sultat de Howe et Moore qui montrent que pour tout groupe algbrique simple (non
compact) sur un corps local, tous les coecients de matrice des reprsentations uni-
taires sans vecteurs invariants non nuls, tendent vers zro linni (cf. [HM79]).
Cest exactement ces estimations uniformes qui sont essentielles pour la preuve du
Thorme 1 (voir Thorme 1.2.6).
Nous mentionnons ici que pour les groupes de Lie simples avec la proprit (T), une
valeur de q
G
a t explicitement calcule (voir [How82], [Li95], [LZ96] et [Oh98]).
Le calcul explicite dun tel q
G
fournit une mthode pour calculer des constantes de
Kazhdan pour ces groupes (voir aussi [Sha00] pour des explications ce sujet et
[Oh02] pour le cas des groupes semi-simples).
2
Un vecteur H

est K-ni si laction de K sur engendre un sous-espace de dimension nie


de H

et lestime est uniforme pour les vecteurs tels que cette dimension est borne.
8
On rappelle que, dans [Kaz67], Kazhdan a introduit la proprit (T) pour mettre
en vidence la relation qui existe entre le dual unitaire dun groupe et la structure
de ses rseaux. Dans ce sens, le rsultat le plus important de son article, et sur
lequel Kazhdan met laccent, est le rsultat dhrdit. Nous allons dmontrer aussi
un rsultat sur lhrdit de la proprit (T) tordue (cf. Proposition 1.1.10) :
Proposition 1. Soit G un groupe localement compact et un rseau cocompact de
G. Soit une reprsentation irrductible de dimension nie de G. Si G a la proprit
(T) tordue par alors a la proprit (T) tordue par [

.
Les reprsentations considres ntant pas unitaires, le cas des rseaux non co-
compacts est plus dicile traiter car, dans ce cas, nous navons aucun contrle
sur la norme de (g) quand g tend vers linni. Nous croyons tout de mme quun
nonc analogue celui de la Proposition 1 pour les rseaux non cocompacts doit
tre vrai.
Dans le cas unitaire, une des raisons pour laquelle la proprit (T) a trouv des
applications dans des domaines tellement varis est le fait quelle admette plusieurs
formulations quivalentes (voir par exemple [Val02] et [dlHV89]).
On remarque que si est gale la reprsentation triviale 1
G
de G, la dnition de
proprit tordue donne ci-dessus correspond la caractrisation algbrique de la
proprit (T). Au vu des travaux raliss dans le cas unitaire, on aimerait donner
une caractrisation de la proprit (T) tordue en termes de points isols sur les-
pace des reprsentations de dimension nie non unitaires de G. Malheureusement,
on ne sait pas quelle topologie imposer sur cet espace pour avoir des bonnes pro-
prits et la topologie de Fell telle quelle est dnie dans le cas des reprsentations
unitaires ne semble plus tre bien dnie dans ce cadre (cf. [Fel65]). En eet, la
correspondance bijective quil y a entre les reprsentations unitaires de G et les -
reprsentations, non-dgnres, de C

(G), implique que la topologie naturelle sur



G
donne en termes de convergence uniforme sur les compacts de fonctions de type po-
sitif sur G, concide avec la topologie dnie par Fell sur le dual de C

(G). Comme
C

(G) est une C

-algbre, cette topologie concide avec la topologie de Jacobson


dnie en termes didaux primitifs sur C

(G) (cf. [Fel60, Theorem 1.3, Theorem


1.2], [FD88, Chapter VII]). Mais cette relation troite entre reprsentations de G et
reprsentations de C

(G) nexiste plus quand on considre des reprsentations non


unitaires.
Il est facile de montrer, tout de mme, que la prsence dun idempotent p
G
dans
/

(G) vriant les proprits de la Dnition 2 implique que le noyau de ne


contient jamais le noyau dune reprsentation de la forme , lorsque est une
reprsentation unitaire de G qui na pas de vecteurs invariants non-nuls. Autrement
Introduction 9
dit, la prsence de p
G
dans /

(G) implique que /

(G) scrit comme la somme di-


recte dune copie de M
n
(C) (pour n gal la dimension de ) et dun idal bilatre
de /

(G). Cette dcomposition de /

(G) en somme directe est plus forte que liso-


lement de , en tant que reprsentation de /

(G), pour nimporte quelle topologie.


Les rsultats du Chapitre 1 sinscrivent dans la ligne de rsultats rcents sur des
renforcements de la proprit (T) pour les groupes de Lie simples de rang suprieur
(voir par exemple les rsultats de Laorgue pour les reprsentations de Sl
3
(
p
) sur
les espaces de Banach uniformment convexes [Laf07]). Nous mentionnons ici que,
dans [FH06], Fisher et Hichtman, en utilisant la caractrisation de la proprit (T)
en termes de 1-cohomologie donne par les travaux de Delorme et Guichardet (cf.
[Del77] [Gui72], voir [BdlHV, Chapter 2]), ont dni un renforcement de la proprit
(T), quils appellent proprit F H, et qui ressemble la proprit (T) tordue.
Nous allons parler un peu du lien qui pourrait exister entre ces deux proprits la
n de cette introduction.
Cependant, pour nous le plus important est la prsence didempotents dans
/

(G) et nous allons nous concentrer sur leur tude.


De la mme faon que nous avons dni un analogue tordu de la C

-algbre
maximale dun groupe localement compact G par rapport une reprsentation de
dimension nie, nous allons dnir un analogue tordu de la C

-algbre rduite de
G. La dnition est la suivante
Dnition 3. Soit Gun groupe localement compact et une reprsentation de Gsur
un espace vectoriel de dimension nie V muni dun structure hermitienne. Lalgbre
/

r
(G) est le complt (spar) de lespace C
c
(G) des fonctions continues support
compact sur G pour la norme dnie par la formule suivante : pour f C
c
(G),
|f| = |(
G
)(f)|
L(L
2
(G)V )
,
o
G
: G L(L
2
(G)) est la reprsentation rgulire gauche de G.
Nous obtenons ainsi une nouvelle famille dalgbres de Banach indexe par len-
semble des reprsentations de dimension nie de G. De mme que dans le cas maxi-
mal, une autre norme sur V induit une norme quivalente sur /

r
(G).
Remarque 2. Si est une reprsentation unitaire alors /

r
(G) = C

r
(G). En eet, ceci
vient du fait que la reprsentation rgulire de G est absorbante : la reprsentation

G
est unitairement quivalente
G
Id
G
, o on note Id
G
la reprsentation
10
triviale G sur V ; loprateur dentrelacement entre ces deux reprsentations est
donn par lapplication
L
2
(G, V ) L
2
(G, V )
f
_
g f(g)(g
1
)
_
,
(en identiant L
2
(G) V avec L
2
(G, V )). Il est facile de vrier que,
T(
G
)(g) = (Id
G

G
)(g)T, pour tout g G.
De la mme manire que dans le cas unitaire, nous allons montrer que, si le
groupe G a la proprit (T) tordue par , alors les algbres /

(G) et /

r
(G) nont
pas la mme K-thorie. Cest exactement lidempotent p
G
de /

(G) donn par la


dnition 2 qui permet de les distinguer.
Proposition 2. Soit
G
: /

(G) /

r
(G) lunique morphisme qui prolonge
lidentit sur C
c
(G) et soit (
G
)

: K(/

(G)) K(/

r
(G)) le morphisme induit
en K-thorie. Si G a la proprit (T) tordue par et G nest pas un groupe compact
alors (
G
)

nest pas injectif.


La deuxime partie de ce travail est consacre au calcul de la K-thorie des
algbres tordues pour une large classe de groupes vriant la conjecture de Baum-
Connes. Cette classe contient en particulier les groupes de Lie semi-simples et les
sous-groupes ferms des groupes de Lie semi-simples. tant donne , une reprsen-
tation de dimension nie dun groupe localement compact G, nous allons construire
un morphisme de groupes qui va du membre de gauche du morphisme de Baum-
Connes vers la K-thorie de lalgbre /

r
(G) et nous allons montrer que, dans tous
les cas o nous savons dmontrer que la conjecture de Baum-Connes est vraie, ce
morphisme est aussi un isomorphisme.
Historique et rappels sur la conjecture de Baum-Connes. On rappelle que
la conjecture de Baum-Connes propose une faon de calculer la K-thorie de la C

-
algbre rduite dun groupe localement compact et plus gnralement, la K-thorie
des produits croiss rduits (cf. [BCH94]). Soit G un groupe localement compact
et soit B une G-C

-algbre. Baum, Connes et Higson ont dni un morphisme


dassemblage

B
r
: K
top
(G, B) K(C

r
(G, B)),
o K
top
(G, B) est la K-homologie G-quivariante, valeurs dans B, du classiant
universel pour les actions propres de G, not EG. On rappelle que K
top
(G, B) est
donn par la formule suivante,
K
top
(G, B) = lim

KK
G
(C
0
(X), B),
Introduction 11
o la limite inductive est prise sur les parties X fermes de EG qui sont G-invariantes
et G-compactes. En particulier, si B = C, on note
r
:=
C
r
.
Pour tout groupe localement compact (et dnombrable linni), ce morphisme,
appel dsormais morphisme de Baum-Connes, peut tre dni laide de la KK-
thorie quivariante de Kasparov (cf. [Kas88]). La conjecture de Baum-Connes af-
rme que
r
est un isomorphisme pour tout groupe localement compact G. Plus
gnralement, la conjecture de Baum-Connes coecients arme que
B
r
est un
isomorphisme pour tout groupe localement compact G et pour toute G-C

-algbre
B.
La mthode la plus puissante pour dmontrer la conjecture de Baum-Connes,
appele de faon gnrale mthode du dual Dirac-Dirac, repose sur la KK-thorie
quivariante de Kasparov. Elle a t introduite par Kasparov dans son preprint
de 1981 (publi aprs dans [Kas95]) pour montrer la conjecture de Novikov sur
linvariance homotopique des signatures dordre suprieur des varits direntielles,
dans le cas des varits dont le groupe fondamental est un sous-groupe discret dun
groupe de Lie connexe. Dans le cas le plus simple, cette mthode peut tre dcrite
de la faon suivante : soient G un groupe de Lie semi-simple et K un compact
maximale de G tels que G/K admette une structure spin
c
. Dans ce cas, Kasparov a
alors construit un lment [d] KK
G
(C
0
(G/K), C), dni laide dun oprateur
de Dirac sur G/K, et un lment KK
G
(C, C
0
(G/K)), appel dual-Dirac, qui
vrient lgalit
[d]
C
= 1,
dans KK
G
(C
0
(G/K), C
0
(G/K)). Ceci implique que, si on pose
:=
C
0
(G/K)
[d],
alors llment est un idempotent de KK
G
(C, C) et limage de par lhomo-
morphisme de descente
3
dnit un projecteur dans End(K

(C

r
(G, B)) pour toute
G-C

-algbre B. Kasparov a dmontr alors, laide de llment , que


B
r
est un
morphisme injectif, ce qui implique que la conjecture de Novikov est vrie dans
ce cadre. Il dmontre en plus que limage de
B
r
est gale limage du projecteur
dni par dans K

(C

r
(G, B)).
Dans [Tu99], Tu a nonc la mthode du dual Dirac-Dirac dans une forme trs
gnrale qui utilise le fait que le morphisme de Baum-Connes coecients dans
une algbre propre est un isomorphisme (cf. [CEM01], voir aussi [HG04, Theorem
3
Pour toute G-C

-algbre B lhomorphisme de descente est dni de KK


G
(B, B) dans
KK(C

r
(G, B), C

r
(G, B)).
12
2.19]). Elle consiste construire un lment de Dirac d dans KK
G
(A, C) et un
lment dual-Dirac dans KK
G
(C, A), pour A une G-C

-algbre propre, tels


que, si on pose :=
A
d KK
G
(C, C) alors llment agit par lidentit
sur K
top
(G), ou, plus prcisment, p

() = 1 dans KK
GEG
(C
0
(EG), C
0
(EG)),
o p : EG pt est la projection de EG sur le point. Tu a montr que si un
lment avec ces proprits existe, alors le morphisme de Baum-Connes
B
r
est
injectif pour toute G-C

-algbre B. Si de plus = 1 dans KK


G
(C, C), alors
B
r
est
un isomorphisme pour toute G-C

-algbre B.
Dans [Kas88], Kasparov a utilis la mthode originale pour montrer linjectivit
de
B
r
(et donc la conjecture de Novikov) pour tout groupe de Lie semi-simple
G et pour toute G-C

-algbre B. Il dmontre aussi linjectivit pour tous les


sous-groupes ferms des groupes de Lie semi-simples, la conjecture de Baum-Connes
coecients passant aux sous-groupes ferms. Depuis, la mthode gnrale a t
utilise, par exemple, par Kasparov et Skandalis et puis par Higson et Kasparov,
pour dmontrer linjectivit du morphisme de Baum-Connes pour une classe trs
vaste de groupes, note ( dans [Laf02b]. Nous rappelons ici que cette classe est
constitue par les groupes suivants :
les groupes localement compacts agissant de faon continue, propre et isom-
trique sur une varit riemannienne complte simplement connexe courbure
sectionnelle ngative ou nulle (cf. [Kas88]), ou sur un immeuble de Bruhat-Tits
ane (cf. [KS91]),
les groupes discrets agissant proprement et par isomtries sur un espace m-
trique faiblement godsique, faiblement bolique et de gomtrie co-uniforme
borne (cf. [KS03] et [Tza00] pour la terminologie co-uniforme),
les groupes localement compacts a-T-menables, cest--dire qui agissent de
faon ane isomtrique et propre sur un espace de Hilbert (cf. [HK01]).
La classe ( contient, en particulier, tous les groupes moyennables, tous les
groupes hyperboliques au sens de Gromov et tous les groupes p-adiques.
Pour les groupes a-T-menables, Higson et Kasparov prouvent aussi que est
gal 1 dans KK
G
(C, C) et donc la surjectivit du morphisme coecients (cf.
[HK01], voir aussi [Jul98]).
En revanche, ds que le groupe G est non-compact et a la proprit (T), la
reprsentation triviale de G est isole parmi les reprsentations unitaires de G.
Donc, dans ce cas, il est impossible de construire une homotopie entre llment
Introduction 13
et 1 dans KK
G
(C, C), ce qui a longtemps constitu une barrire pour la vrication
de la conjecture. En fait, pendant longtemps la plupart des preuves de la conjecture
de Baum-Connes
4
impliquaient que le morphisme analogue au morphisme de
Baum-Connes, dni en remplaant la K-thorie de C

r
(G) par la K-thorie de la
C

-algbre maximale du groupe, C

(G), tait aussi un isomorphisme et donc que


les deux C

-algbres, C

r
(G) et C

(G), avaient la mme K-thorie. Mais on sait


que, ds que le groupe est non compact et a la proprit (T), on peut construire
explicitement un projecteur qui distingue ces deux K-thories (cf. Chapitre 1). Il
tait alors vident que pour les groupes ayant la proprit (T) il fallait inventer une
nouvelle mthode (voir [Jul97]).
Dans [Laf02b], Laorgue dmontre la conjecture de Baum-Connes sans coecients
pour une classe de groupes qui contient un grand nombre de groupes possdant la
proprit (T). Elle contient en particulier :
les groupes de Lie semi-simples rels,
tous les sous-groupes discrets cocompacts de Sp(n, 1), F
4(20)
et de SL
3
(F)
pour un corps local F,
et donc elle contient les premiers exemples de groupes innis discrets ayant la pro-
prit (T) (cf. [dlHV89]) et vriant la conjecture de Baum-Connes. On remarque
ici que Julg, dans [Jul02], a montr la conjecture coecients pour Sp(n, 1) ainsi
que pour tout sous-groupe discret de Sp(n, 1).
Pour les groupes de Lie semi-simples rels, Laorgue construit une variante de
lalgbre de Schwartz gnralise qui est une sous-algbre dense et stable par calcul
fonctionnel holomorphe dans C

r
(G). Pour tous les sous-groupes discrets cocompacts
de Sp(n, 1), F
4(20)
et de SL
3
(F) pour un corps local F, Laorgue utilise le fait
que ces groupes possdent la proprit (RD) (cf. [Laf00], [dlH88]). Dans ce cas,
une variante de lalgbre de Jolissaint associe G (cf. [Jol90]) est aussi une sous-
algbre de Banach dense et stable par calcul fonctionnel holomorphe dans C

r
(G).
Largument utilis par Laorgue reste valable dans le cas des sous-groupes discrets
cocompacts de SL
3
(H) et de E
6(26)
car ils possdent aussi la proprit (RD) (cf.
[Cha03]). Dans les deux cas mentionns ci-dessus, la proprit essentielle dans la
preuve de Laorgue, vrie par les deux sous-algbres de C

r
(G) quil construit,
4
Il faut excepter, en particulier, la preuve de [Was87] concernant les groupes de Lie linaires
connexes rductifs, la preuve de [Val84a] pour le K
1
des revtements nis de SU(n, 1), la preuve de
[BHP97] dans le cas de GL
n
dun corps non-archimdien de caractristique 0 et celle de [BBV99]
pour les groupes 1 relator, qui consistent calculer explicitement et identier les deux membres
du morphisme
r
.
14
est le fait dtre une compltion inconditionnelle de C
c
(G), lespace des fonctions
support compact sur G. On rappelle quune compltion de C
c
(G) est une compltion
inconditionnelle si cest la compltion pour une norme dalgbre telle que |f| ne
dpende que de g [f(g)[ (cf. Dnition 3.2.1). Si B est une G-C

-algbre et B(G)
est une compltion inconditionnelle de C
c
(G), on note B(G, B) la compltion de
C
c
(G, B) pour la norme
|f| = |g |f(g)|
B
|
B(G)
.
Pour toute compltion inconditionnelle B(G) de C
c
(G) et pour toute G-C

-algbre
B, Laorgue construit une variante du morphisme de Baum-Connes coecients

B
B
: K
top
(G, B) K(B(G, B)).
Sa construction repose sur la construction dun bifoncteur G-quivariant,
KK
ban
G
(A, B), pour A et B des G-algbres de Banach, qui lui permet de construire
une thorie quivariante pour les algbres de Banach analogue la KK-thorie
quivariante de Kasparov (mais pour laquelle on na pas un produit analogue au
produit de Kasparov). Il construit en plus une application de KK
G
(A, B) dans
KK
ban
G
(A, B), dans le cas o A et B sont des G-C

-algbres. Il dmontre ensuite


une galit peine plus faible que () = 1 dans KK
ban
G
(C, C) pour une classe
de groupes quil note (

, qui est contenue dans la classe ( (do lexistence dun


lment ) et qui contient, en particulier, tous les groupes de Lie semi-simples rels,
ainsi que tous les sous-groupes ferms dun groupe de Lie semi-simple rel. Nous
rappelons ici que la classe (

est constitue par les groupes a-T-menables et par


tous les groupes localement compacts agissant de faon continue, isomtrique et
propre sur un des espaces suivants :
sur une varit riemannienne complte simplement connexe, dont la courbure
sectionnelle est ngative ou nulle et borne infrieurement, et dont la drive
du tenseur de courbure (suivant la connexion induite de la connexion de Levi-
Civita sur le br tangent) est borne, ou
sur un immeuble ane de Bruhat-Tits uniformment localement ni, ou
sur un espace mtrique uniformment localement ni, faiblement godsique,
faiblement bolique et vriant une condition supplmentaire de bolicit forte.
Lgalit () = 1 dans KK
ban
G
(C, C) implique que
B
B
est un isomorphisme pour
tout groupe G dans la classe (

, pour toute compltion inconditionnelle B(G) et


pour toute G-C

-algbre B. En particulier, comme lalgbre L


1
(G) est une compl-
tion inconditionnelle de C
c
(G), le morphisme de K
top
(G, B) dans la K-thorie des
Introduction 15
algbres de Banach L
1
(G, B) construit par Laorgue, est un isomorphisme pour
toute G-C

-algbre B et pour tout groupe de la classe (

, ce qui rpond de manire


armative une conjecture de Bost (cf. [Laf02b, Introduction]). Le fait davoir
alors une compltion inconditionnelle de C
c
(G) qui soit une sous-algbre dense de
C

r
(G) et stable par calcul fonctionnel holomorphe implique que le morphisme de
Baum-Connes sans coecients,
r
, est un isomorphisme.
On rappelle que si A et B sont deux algbres de Banach telles que A est une
sous-algbre de B, alors on dit que A est stable par calcul fonctionnel holomorphe
dans B si tout lment de A a le mme spectre dans A et dans B. Limportance de
cette notion est que si A est une sous-algbre dense et stable par calcul fonctionnel
holomorphe dans B, alors elles ont la mme K-thorie, cest--dire que si on
note i : A B linclusion alors i

: K(A) K(B) est un isomorphisme (voir


lappendice A de [Bos90]).
Dans [CEN03], Chabert, Echterho et Nest ont tendu les rsultats de Laorgue
aux groupes presque connexes.
Morphisme de Baum-Connes tordu. Revenons maintenant aux algbres de
groupe tordues. De la mme faon que nous avons dni des analogues des C

-
algbres, C

(G) et C

r
(G), tordus par rapport une reprsentation de dimension
nie, dans le Chapitre 2 nous allons dnir, pour toute G-C

-algbre B, des pro-


duits croiss tordus, maximal et rduit, de B et G, qui seront des gnralisations
des produits croiss C

(G, B) et C

r
(G, B) (cf. Dnition 2.1.6, [Ped79, 7.6]). Ces
produits croiss tordus sont dnis de la manire suivante
Dnition 4. Soit (, V ) une reprsentation de dimension nie de G. On considre
lapplication
C
c
(G, B) C
c
(G, B End(V ))
b (g b(g) (g)).
Le produit crois de G et B tordu par (resp. produit crois rduit), que lon note
B

G(resp. B

r
G), est ladhrence de limage de C
c
(G, B) dans C

(G, B)End(V )
(resp. C

r
(G, B)End(V )), o denote le produit tensoriel minimal de C

-algbres.
Remarque 3. 1. Ces dnitions impliquent en particulier que, si B = C, alors
C

G = /

(G) et C

r
G = /

r
(G),
de sorte que les algbres tordues dnies dans le Chapitre 1, sont des cas
particuliers des produits croiss tordus.
16
2. Il est clair que, si on note
G,B
la reprsentation rgulire gauche covariante
de B (cf. Dnition 2.1.6), elle induit un unique morphisme de C

-algbres
de C

(G, B) dans C

r
(G, B), encore not
G,B
, et donc un unique morphisme
dalgbres de Banach

G,B
: B

G B

r
G,
(cf. Chapitre 1 section 1.1.2).
3. Si est une reprsentation unitaire de G, les produits croiss tordus sont
gaux aux produits croiss classiques C

r
(G, B) et C

(G, B), et donc, si G est


compact, B

G = C

(G, B) (qui est gal B

r
G = C

r
(G, B)).
Nous allons ensuite construire deux morphismes de la K-homologie G-
quivariante de EG coecients dans B dans la K-thorie des produits croiss
tordus

: K
top
(G, B) K(B

G) et
B
,r
: K
top
(G, B) K(B

r
G),
que nous allons appeler morphismes de Baum-Connes tordus, maximal et rduit
respectivement.
Ils seront construits de sorte que si est une reprsentation unitaire de G, le
morphisme
B
,r
concide avec le morphisme de Baum-Connes classique.
Le Chapitre 3 est consacr ltude de la bijectivit des morphismes
B

et
B
,r
pour une large classe de groupes vriant la conjecture de Baum-Connes. Nous
allons procder de la faon suivante :
Dans la Section 3.1, nous allons utiliser la mthode du dual Dirac-Dirac. Pour
ceci, nous allons dabord montrer que le morphisme de Baum-Connes tordu coe-
cients dans une C

-algbre propre est un isomorphisme pour tout groupe localement


compact. Nous allons ensuite nous servir de ceci pour tudier linjectivit de
B

dans
le cas des groupes pour lesquels on peut construire un lment de Kasparov. Le
thorme est le suivant
Thorme 2. Soit G un groupe localement compact tel que pour toute partie
G-compacte Y de EG, il existe une G-C

-algbre propre A et des lments


KK
G
(C, A) et d KK
G
(A, C) tels que :=
A
d KK
G
(C, C) vrie p

() =
1 dans KK
GY
(C
0
(Y ), C
0
(Y )), o p est la projection de Y vers le point. Alors,
pour toute reprsentation de dimension nie et pour toute G-C

-algbre B, les
morphismes
B

et
B
,r
sont injectifs.
Introduction 17
Nous dmontrons aussi un thorme pour la surjectivit de
B

dans le cas o
llment est gal 1 :
Thorme 3. Soit G un groupe localement compact. Supposons quil existe une G-
C

-algbre propre A, et des lments KK


G
(C, A) et d KK
G
(A, C) tels que, si
on pose :=
A
d KK
G
(C, C) on a = 1. Soit B une G-C

-algbre. Alors, pour


toute reprsentation de dimension nie de G,
B

et
B
,r
sont des isomorphismes.
On remarque que dans le cas o = 1, on a K(B

G) = K(B

r
G), pour
toute reprsentation de dimension nie .
En particulier, ces deux thormes impliquent que pour tous les groupes de la
classe (,
B

et
B
,r
sont injectifs et ce sont des isomorphismes pour tout groupe
a-T-menable.
Dans la Section 3.2 nous allons montrer que si G est un groupe localement
compact tel que C

r
(G) admette une sous-algbre dense, stable par calcul fonctionnel
holomorphe et qui soit une compltion inconditionnelle de C
c
(G), alors il existe une
sous-algbre dense et stable par calcul fonctionnel holomorphe de /

r
(G) qui est aussi
une compltion inconditionnelle de C
c
(G). Nous allons utiliser ceci pour montrer le
thorme suivant :
Thorme 4. Soit G un groupe localement compact satisfaisant les deux conditions
suivantes :
1. il existe une compltion inconditionnelle de C
c
(G) qui est une sous-algbre
dense de C

r
(G) stable par calcul fonctionnel holomorphe ;
2. pour toute compltion inconditionnelle B(G) de C
c
(G) le morphisme
B
:
K
top
(G) K(B(G)) est un isomorphisme.
Soit une reprsentation de dimension nie de G. Alors le morphisme de Baum-
Connes rduit tordu par

,r
: K
top
(G) K(/

r
(G)),
est un isomorphisme.
En appliquant le Thorme 0.02 de [Laf02b] qui dit que pour tout groupe de la
classe (

, le morphisme
B
est bijectif pour toute compltion inconditionnelle B(G),
on obtient alors que
,r
est un isomorphisme pour tout groupe de Lie rductif rel
et pour tout groupe de la classe (

ayant la proprit (RD). En particulier,


,r
est un isomorphisme pour tout groupe hyperbolique et pour tous les sous-groupes
18
discrets et cocompacts de SL
3
(H), de E
6(26)
et de SL
3
(F), o F est un corps local.
Pour terminer, dans le Chapitre 4, tant donn un groupe localement compact
G, nous allons dnir une action de lanneau des reprsentations non unitaires de
dimension nie de G, que lon note R
F
(G), sur le membre de gauche du morphisme
de Baum-Connes, K
top
(G), qui gnralise laction induite par produit tensoriel par
une reprsentation de dimension nie dans le cas des groupes compacts.
En gnral, pour toute reprsentation de dimension nie (, V ) de G, on aimerait
dnir un endomorphisme de K(C

r
(G)) qui soit analogue au morphisme induit
par produit tensoriel par sur lanneau des reprsentations de G. Ceci dnirait
un espce danalogue en K-thorie des foncteurs de translation de Zuckerman, dans
lesquels le produit tensoriel par une reprsentation de dimension nie intervient
5
(cf.
[Zuc77], [KV95, Chapter VII]). Cependant, comme nest pas suppose unitaire, le
produit tensoriel par induit un morphisme de C
c
(G) dans C

r
(G)End(V ) qui nest
pas dnit sur C

r
(G) et dont le domaine de dnition est lalgbre tordue /

r
(G).
On a donc un morphisme dalgbres de Banach de /

r
(G) dans C

r
(G) End(V ),
qui, par quivalence de Morita, induit un morphisme en K-thorie

: K(/

r
(G)) K(C

r
(G)).
Dautre part, il existe une action de R
F
(G) sur K
top
(G) dnie de faon trs
naturelle. On rappelle que, dans le cas des reprsentations unitaires, cette action a
t dnie par Kasparov. En eet, pour tout groupe localement compact G, lanneau
des reprsentations de Kasparov KK
G
(C, C), dni dans [Kas88] et not R(G), est
le groupe ablien form des classes dhomotopie de reprsentations de Fredholm
unitaires de G, sur lequel le produit de Kasparov dnit une structure danneau
commutatif. Lanneau des reprsentations unitaires de dimension nie de G senvoie
sur R(G) ; si G est un groupe compact, cette application est un isomorphisme
(voir par exemple [Hig98, Paragraph 8]). De plus, pour toutes G-C

-algbres A
et B, le produit de Kasparov dnit une structure de R(G)-module sur le groupe
KK
G
(A, B). En particulier, si X est un G-espace propre (et G-compact), le groupe
KK
G
(C
0
(X), C) est muni dune structure de module sur R(G). En passant la
limite inductive, il est clair que le produit de Kasparov dnit alors une structure de
R(G)-module sur K
top
(G), ce qui dnit une action de lanneau des reprsentations
unitaires de dimension nie de G sur K
top
(G). Nous allons gnraliser cette action
au cas des reprsentations non unitaires de G.
Supposons dabord que G soit un groupe de Lie connexe et K un sous-groupe
maximale de G tels que lespace G/K soit une varit de dimension paire munie
5
Dans le cadre de la K-thorie les foncteurs de Zuckerman ont t considrs par Bost.
Introduction 19
dune structure spin G-quivariante. Dans ce cas, il est clair que K
top
(G) est muni
dune structure de module sur R
F
(G). En eet, K
top
(G) est isomorphe R(K),
lanneau des reprsentations unitaires de K et toute reprsentation de dimension
nie non unitaire dnit un endomorphisme de R(K) : comme K est un groupe
compact, la restriction de sur K est quivalente une reprsentation unitaire de
K et donc [K dnit un lment de R(K). Le produit tensoriel par [K,
R(K) R(K)
[] [[K ],
induit un endomorphisme de K
top
(G) qui dnit laction R
F
(G) sur K
top
(G).
Dans le cas gnral, nous allons dnir aussi un endomorphisme

: K
top
(G) K
top
(G),
pour toute reprsentation de dimension nie dun groupe localement compact G,
qui concide avec le produit tensoriel par lorsque G est compact ou lorsque est
unitaire, et avec le produit tensoriel par [K, dans le cas o G est un groupe de Lie
connexe et K est un compact maximal vriant les conditions ci-dessus.
Le rsultat principal du Chapitre 4 est nonc dans le thorme suivant
Thorme 5. Soit G un groupe localement compact et une reprsentation non
unitaire de dimension nie de G. Alors le diagramme suivant
K
top
(G)

,r

K(/

r
(G))

K
top
(G)

r

K(C

r
(G)),
est commutatif.
Dans [Val88], Valette a dni une action sur K
top
(G) pour des reprsenta-
tions non unitaires de dimension nie de G qui concide avec laction donn par
:

sur K
top
(G). Dans le cas des groupes de Lie connexes, il a dni aussi
une action de R
F
(G) sur limage de llment de Kasparov dans K(C

r
(G)) quil
a interprt ensuite en termes de foncteurs de Zuckerman.
20
Finalement, pour conclure cette Introduction, nous allons donner maintenant
quelques commentaires ainsi que quelques dveloppements futurs possibles.
Tout dabord, nous rappelons que, dans [FH06], Fisher et Hitchman ont dni
une proprit analogue la proprit (T) tordue en utilisant la caractrisation de
celle-ci en termes de 1-cohomologie
6
et en considrant aussi des produits tensoriels
dune reprsentation de dimension nie avec une reprsentation unitaire. Il serait
souhaitable de trouver une relation entre ces deux variantes de la proprit (T).
Une premire ide nave serait dabord de donner une dnition de la proprit (T)
tordue par en termes de morphismes presque quivariants : soient (, H

), (, H

)
des reprsentations de G, un nombre rel positif et K une partie compacte de G.
Un morphisme : H

est (, K)-G-quivariant si
[((g)) (g)()[ < ,
pour tout lment unitaire H

et pour tout g K. On pourrait dire alors que


G a la proprit (T) tordue par , o (, V ) est une reprsentation de dimension
nie, si la condition suivante est satisfaite : pour toute reprsentation unitaire
(, H

) telle que pour tout > 0 et pour toute partie compacte K de G il existe un
morphisme : V V H

qui est (, K)-G-quivariant, il existe un morphisme


: V V H

qui est G-quivariant.


La caractrisation algbrique de la proprit (T) tordue implique celle dnie
travers les morphismes presque G-quivariants
7
.
Dans le cas unitaire, on sait que les deux caractrisations sont quivalentes et si G
est un groupe tel que 1
G
soit isole dans

G, on peut construire explicitement un
idempotent p
G
dans C

(G) qui, pour toute reprsentation unitaire sans vecteurs


invariants non nuls, soit la projection orthogonale sur lespace des vecteurs G-
invariants. Cet idempotent est construit comme la projection spectrale dlments
auto-adjoints dans C

(G) associs un sous-ensemble compact de G (cf. [Val84b,


Theorem 3.2]). Cependant, dans le cas non unitaire, on ne sait pas comment
gnraliser cette construction car elle utilise des arguments de positivit propres
aux C

-algbres qui ne peuvent pas tre gnraliss au cadre des algbres de Banach
(qui ne sont mme pas involutives).
La preuve de lexistence dun idempotent vriant les conditions de la Dnition 2,
pour les groupes de Lie qui vrient les hypothses du Thorme 1, est base sur
la dcroissance uniforme des coecients de matrice des reprsentations unitaires,
et donc sur une proprit plus forte que la proprit (T). Cest cette proprit qui
6
Pour la caractrisation cohomologique de la proprit (T) voir [Val02] et [BdlHV].
7
La rciproque donnerait une caractrisation topologique de la proprit (T) tordue.
Introduction 21
nous permet de construire explicitement lidempotent.
Dautre part, on rappelle que dans le Chapitre 1 nous avons montr que toute
reprsentation de dimension nie irrductible dun groupe de Lie simple G ayant
la proprit (T), dnit un idempotent dans lalgbre tordue par , /

(G), ce qui,
dans un sens, veut dire que la reprsentation est isole dans lensemble des repr-
sentations de la forme , o parcourt lensemble des reprsentations unitaires
de G.
De faon plus gnrale, pour tout groupe localement compact G et pour toute re-
prsentation de dimension nie , on aimerait tudier le comportement de dans
lensemble des reprsentations de G qui ont la mme croissance que , cest--dire
les reprsentations qui vrient lingalit |(g)| |(g)|, pour tout g G.
Plus prcisment, par exemple dans le cas o G = SL
3
(1) et est la reprsentation
standard de G dans C
3
, si on note E

lensemble des reprsentations qui satisfont


que |(g)| |(g)| pour tout g G, on pourrait considrer la compltion de C
c
(G)
pour la norme donne par :
|f| = sup
(,H

)E

|(f)|
L(H

)
, f C
c
(G).
Lide serait de montrer quil existe un idempotent dans cette nouvelle algbre
de Banach qui projette sur la composante -typique de toute reprsentation de
G ayant la mme croissance que , cest--dire, qui satisfait : |(g)| |(g)|
pour tout g G. On remarque quune reprsentation de la forme satisfait
la relation demande, donc cest une gnralisation du cas que nous tudions dans
cette thse.
Revenons maintenant aux rsultats du Chapitre 3. En rsumant, nous avons
obtenu que pour tout groupe G de la classe (, les morphismes
B

et
B
,r
sont
injectifs pour toute reprsentation de dimension nie et pour toute G-C

-algbre
B. De plus, ce sont des isomorphismes si llment est gal 1. Dautre part,
nous avons montr que si G est un groupe appartenant la classe (

et sil existe
une compltion inconditionnelle de C
c
(G) qui est une sous-algbre de C

r
(G) dense
et stable par calcul fonctionnel holomorphe, alors
,r
est un isomorphisme, pour
tout . Au vu de ces rsultats, on peut esprer avoir lnonc suivant :
Pour tout groupe G appartenant la classe ( et pour toute reprsentation de
dimension nie , le morphisme
,r
est un isomorphisme.
En fait, on peut esprer que
,r
soit un isomorphisme dans les mmes cas o le
morphisme de Baum-Connes est un isomorphisme et cet nonc ne semble pas tre
22
plus facile dmontrer que la conjecture de Baum-Connes. En eet, la construction
des algbres tordues A

r
G nest pas plus fonctorielle en G que la construction de
C

r
(G, A), mais reste fonctorielle en A, et ces algbres tordues, dirence des com-
pltions inconditionnelles, ne sont pas plus stables que les C

-algbres de groupes
par le produit de Schur (cf. [Laf02a]). On rappelle que Higson, Laorgue et Skan-
dalis dans [HLS02] ont donn un contre-exemple de la surjectivit du morphisme
de Baum-Connes coecients, ce qui nous laisse penser que le morphisme tordu
ne doit pas tre un isomorphisme pour tous les groupes localement compacts. On
espre au moins que le morphisme tordu soit un isomorphisme dans tous les cas o la
conjecture de Baum-Connes est vraie. Dans ce sens, il serait videment souhaitable
de vrier si les rsultat de [CEN03] sur les groupes presque connexes sappliquent
aussi au cas du morphisme tordu. En particulier, le rsultat concernant les groupes
de Lie rels rductifs (dont la partie semi-simple nest pas ncessairement de centre
ni) qui tend les rsultats de Laorgue, semble bien sappliquer dans notre cadre,
condition de vrier des rsultats analogues aux rsultats obtenus par Chabert, Ech-
terho et Nest par exemple pour les champs continus de C

-algbres (cf. [CEN03,


Proposition 4.6]).
Il serait aussi intressant de montrer que le morphisme tordu est stable par exten-
sions (cf. [OO01], [Cha00]).
Chapitre 1
Proprit (T) tordue par une
reprsentation non unitaire
Ce chapitre est, quelques modications prs, le texte dun article [GA07] paru
dans la revue Journal of Lie Theory dans lequel nous dnissons une version tordue
de la proprit (T) de Kazhdan en considrant des produits tensoriels de reprsenta-
tions unitaires par des reprsentations irrductibles de dimension nie non unitaires
dun groupe topologique. Nous dmontrons, en utilisant la dcroissance uniforme
des coecients de matrices des reprsentations unitaires dun groupe de Lie rel
simple G, ayant la proprit (T) de Kazhdan, que toute reprsentation irrductible
de dimension nie de G est isole, dans un sens que nous prcisons, parmi les
reprsentations de la forme , o parcourt les reprsentations unitaires irr-
ductibles de G.
Le cas o G = SL
m
(1) et m 3 a t prsent par lauteur lors de lcole dt
intitule "Topological and Geometric Methods for Quantum Field Theory" pendant
lt 2005 Villa de Leyva en Colombie et va tre publi dans les comptes-rendus
de celle-ci [GA05].
Introduction
Un groupe topologique G a la proprit (T) de Kazhdan si sa reprsentation
triviale est isole dans son dual unitaire,

G. En 1967, Kazhdan a introduit cette
proprit pour tudier la structure des rseaux dans les groupes de Lie rels. Il d-
montre que tout rseau dun groupe de Lie rel G qui a la proprit (T), est de type
ni [Kaz67]. Plus tard, en 1981, Akemann et Walter on donn une caractrisation
C

-algbrique de la proprit (T) [AW81, Lemma 2]. Ils dmontrent quun groupe
topologique localement compact G a la proprit (T) si et seulement sil existe un
23
24
idempotent p dans la C

-algbre maximale C

(G) de G tel que pour toute reprsen-


tation (, H) unitaire de G, (p) soit la projection orthogonale sur le sous-espace
de H form des vecteurs G-invariants (voir aussi [Val92, Proposition 2]).
Dans cet article, on va dnir un renforcement de la proprit (T) en considrant des
produits tensoriels de reprsentations unitaires par des reprsentations irrductibles
non unitaires de dimension nie. Pour ceci, on va dnir, pour toute reprsentation
irrductible de dimension nie dun groupe topologique, un analogue tordu de la
C

-algbre maximale de G, que lon va noter /

(G), et on va dnir une proprit


(T) tordue en termes de celle-ci.
Dnition 1.0.1. Soient G un groupe localement compact et (, V ) une reprsenta-
tion irrductible de dimension nie de G. Soit C
c
(G) lespace vectoriel des fonctions
continues support compact sur G et soit /

(G) la compltion de C
c
(G) pour la
norme |.|
A

(G)
donne par :
|f|
A

(G)
= sup
(,H

)
|( )(f)|
L(V H

)
,
pour f C
c
(G) et o (, H

) est une reprsentation unitaire de G.


On dira que G a la proprit (T) tordue par sil existe un idempotent p
G
dans
/

(G) tel que : (p


G
) = Id
V
et, pour toute reprsentation unitaire de G qui ne
contient pas la reprsentation triviale, ( )(p
G
) = 0.
Si un groupe G a la proprit (T) tordue par , on dira alors que est isole
parmi les reprsentation de la forme , o est une reprsentation unitaire
irrductible de G, terminologie que lon justiera (voir la proposition 1.1.5).
De plus, pour toute reprsentation irrductible de dimension nie on va dnir,
de la mme faon, un analogue tordu de C

r
(G), la C

-algbre rduite de G, que lon


notera /

r
(G), et on dmontrera que si G a la proprit (T) tordue , alors les
algbres /

(G) et /

r
(G) nont pas la mme K-thorie, lintrt pour nous tant de
calculer la K-thorie de ces algbres.
On dmontre aussi que la proprit (T) tordue par une reprsentation est hrite
par tout rseau cocompact du groupe : Si G a (T) tordue par et est un rseau
cocompact de G, alors a la proprit (T) tordue par [

.
On ne sait pas encore si tout groupe localement compact ayant la proprit (T)
a aussi la proprit (T) tordue par toute reprsentation irrductible de dimension
nie, mais la dernire partie de larticle est consacre la dmonstration du fait que,
au moins, beaucoup de groupes de Lie ayant la proprit (T) ont aussi la proprit
(T) tordue par nimporte quelle reprsentation irrductible de dimension nie. On
sait que tout groupe de Lie G rel simple connexe de centre ni de rang rel 2
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 25
ou localement isomorphe Sp(n, 1) pour n 2 ou F
4(20)
, a la proprit (T)
[dlHV89]. Plus fort encore, il vrie une dcroissance uniforme des coecients de
matrice des reprsentations unitaires de G qui nont pas de vecteurs invariants non
nuls [Cow79]. On utilise cette proprit donne par le thorme 1.2.6, pour montrer
le rsultat suivant :
Thorme 1.0.2. Soit G un groupe de Lie rel algbrique semi-simple de centre ni,
connexe et simplement connexe (au sens algbrique), et tel que chaque facteur simple
de G est ou bien de rang rel suprieur ou gal 2, ou bien localement isomorphe
Sp(n, 1) pour n 2 ou F
4(20)
, et soit une reprsentation irrductible de
dimension nie de G. Alors G a la proprit (T) tordue par .
David Fisher et Theron Hitchman dnisent dans [FH06] une proprit, quils
appellent F H en termes de 1-cohomologie, qui ressemble la proprit (T)
tordue par , mais on ne connat pas dimplication entre les deux proprits.
Remerciements. Je voudrais remercier Vincent Laorgue pour ses nombreuses
suggestions et sa grande disponibilit et Bachir Bekka pour ses claircissements
dans le cas des groupes de rang 1.
1.1 Proprit (T) tordue
1.1.1 Dnitions et terminologie.
On rappelle la dnition de proprit (T) tordue nonce dans lintroduction :
Dnition 1.1.1. Soient G un groupe localement compact et (, V ) une reprsen-
tation irrductible de dimension nie de G, o V est un espace vectoriel complexe
muni dune norme hermitienne. Soit C
c
(G) lespace vectoriel des fonctions conti-
nues support compact sur G et soit /

(G) la compltion de C
c
(G) pour la norme
|.|
A

(G)
donne par :
|f|
A

(G)
= sup
(,H

)
|( )(f)|
L(V H

)
,
pour f C
c
(G), o (, H

) varie parmi les reprsentations unitaires de G.


Le groupe G a la proprit (T) tordue par sil existe un idempotent p
G
dans /

(G)
tel que : (p
G
) = Id
V
et, pour toute reprsentation unitaire de G qui na pas de
vecteurs invariants non nuls, ( )(p
G
) = 0.
26
Remarque 1.1.2. Lalgbre /

(G) est une algbre de Banach et toute reprsentation


du groupe G de la forme avec unitaire peut tre prolonge, de faon vidente,
en une reprsentation de /

(G) que lon note aussi, par abus de notation, .


Remarque 1.1.3. Si G a la proprit (T) tordue par (, V ), alors, pour toute (, H)
reprsentation unitaire de G, ( )(p
G
) est la projection de V H sur V H
G
paralllement V (H
G
)

, o H
G
est le sous-espace de H form des vecteurs
G-invariants. En eet, il sut dcrire de la forme
0

1
, o
1
est la sous-
reprsentation de sur (H
G
)

qui ne contient pas la reprsentation triviale et


0
est la sous-reprsentation de qui a pour espace H
G
et qui est quivalente la
reprsentation triviale de G, que lon note 1
G
.
Dnition 1.1.4. Soit G un groupe localement compact,

G son dual unitaire et
(, V ) une reprsentation irrductible de G. On dnit une nouvelle topologie sur

G, que lon appelle tordue par , de la manire suivante : Si P est un sous-ensemble


de

G et

G alors est dans ladhrence tordue par de P, si est contenu
dans ladhrence de P :=

P dans lensemble des reprsentations de


/

(G) muni de la topologie de Jacobson (cf. [Dix96, Jac45]). On note



G

lespace

G muni de cette topologie.


Proposition 1.1.5. Soit G un groupe topologique localement compact et une re-
prsentation irrductible de dimension nie de G. Si G a la proprit (T) tordue par
alors la reprsentation triviale de G est isole dans

G

.
Dmonstration. Supposons que G a la proprit (T) tordue par et soit p
G
lidem-
potent dans /

(G) qui vrie les proprits donnes par la dnition 1.1.1. On a


alors que p
G


1
G

Ker( ) et (p
G
) ,= 0 donc

1
G

Ker( ) _ Ker().
Ceci implique que Ker(), en tant quidal primitif, est isol pour la topologie de
Jacobson dans lensemble des idaux bilatres de /

(G) de la forme Ker() avec


unitaire. Par consquent, 1
G
est isole dans

G

.
Cette proposition justie la terminologie utilise :
Si un groupe topologique G a la proprit (T) tordue par une reprsentation irr-
ductible de dimension nie , on dira alors que est isole parmi les reprsentations
de la forme , o est une reprsentation unitaire irrductible de G.
Remarque 1.1.6. Si = 1
G
, alors G a la proprit (T) tordue par 1
G
sil existe un
idempotent p
G
dans la C

-algbre maximale de G, tel que pour toute reprsentation


Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 27
unitaire de G, (p
G
) soit la projection sur lespace des vecteurs G-invariants. Dans
ce cas, la proposition 1.1.5 est une quivalence et cest le rsultat connu qui dit quun
groupe localement compact a la proprit (T) usuelle si et seulement si C

(G) scrit
comme une somme directe de C

-algbres de la forme :
C

(G) = Ker(1
G
) I,
o I est un idal bilatre ferm de C

(G) [AW81], [Val84b].


Lobjectif principal de cet article est de prouver que beaucoup de groupes de Lie
qui ont la proprit (T), vrient aussi la proprit (T) tordue par nimporte quelle
reprsentation irrductible de dimension nie.
En sinspirant de la remarque prcdente, pour tout groupe topologique localement
compact G et toute reprsentation irrductible de dimension nie de G, on consi-
dre lespace vectoriel C
c
(G) form des fonctions continues support compact sur
G et on dnit deux nouvelles compltions de celui-ci de la manire suivante :
Soit /

G
la compltion de C
c
(G) par rapport la norme |.|
A

G
donne par :
|f|
A

G
= sup
(,H

)
|( )(f)|
L(V H

)
,
pour f C
c
(G), o (, H

) varie parmi les reprsentations unitaires de G qui ne


contiennent pas la reprsentation triviale.
Et soit /

G
la compltion de C
c
(G) pour la norme |.|
A

G
donne par :
|f|
A

G
= |(f)|
End(V )
,
pour tout f C
c
(G).
On remarque alors quon a deux morphismes dalgbres de Banach :

1
: /

(G) /

G
and
2
: /

(G) /

G
.
Soit : /

(G) /

G
/

G
le prolongement /

(G) du morphisme donn sur


C
c
(G) par : (f) = (
1
(f),
2
(f)). Cest un morphisme dalgbres de Banach.
On a alors lquivalence vidente suivante :
Proposition 1.1.7. Le groupe G a la proprit (T) tordue par si et seulement si
le morphisme dalgbres de Banach est un isomorphisme.
28
1.1.2 Relation avec la K-thorie
Soient G un groupe topologique et (, V ) une reprsentation irrductible de di-
mension nie de G. De la mme faon que lon a dni lalgbre /

(G), qui est


lanalogue tordu par de la C

-algbre maximale de G, on peut dnir une algbre


de Banach rduite tordue par de G comme tant la compltion de C
c
(G) pour la
norme :
|f|
A

r
(G)
= | L
G
(f)|
L(V L
2
(G))
,
pour f C
c
(G) et o L
G
est la reprsentation rgulire gauche de G dans L
2
(G).
On note /

r
(G) cette compltion.
On a alors un unique morphisme dalgbres de Banach
L
G
: /

(G) /

r
(G),
qui prolonge lidentit sur C
c
(G). Soit
( L
G
)

: K(/

(G)) K(/

r
(G)),
le morphisme en K-thorie induit par L
G
.
Proposition 1.1.8. Si G a la proprit (T) tordue par et G nest pas un groupe
compact alors les algbres /

(G) et /

r
(G) nont pas la mme K-thorie, cest--dire
que ( L
G
)

nest pas injectif.


Dmonstration. Supposons que G soit un groupe localement compact non-compact
ayant la proprit (T) tordue par une reprsentation . Il existe alors un idempotent
non-nul p
G
/

(G) tel que (p


G
) = Id
V
et, pour toute reprsentation unitaire de
G qui ne contient pas la reprsentation triviale, ( )(p
G
) = 0. Comme G nest
pas compact on peut prendre = L
G
et, par consquent, ( L
G
)(p
G
) = 0, ce qui
montre que ( L
G
)

nest pas un morphisme injectif.


1.1.3 Proprit dhrdit
On va dmontrer que la proprit (T) tordue par une reprsentation irrductible
de dimension nie est hrite par les rseaux cocompacts du groupe. Pour quun
nonc de ce style ait un sens, on a dabord besoin du lemme suivant :
Lemme 1.1.9. Si est un rseau cocompact dun groupe topologique localement
compact G ayant la proprit (T) tordue par une reprsentation irrductible de di-
mension nie (, V ), alors [

est une reprsentation irrductible de .


Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 29
Dmonstration. Soit Hom

(V [

, V [

) lensemble des morphismes -invariants de


V [

dans V [

. On a un morphisme injectif de Hom

(V [

, V [

) dans Hom
G
(V, V
L
2
(G/)), o L
2
(G/) est lespace de la reprsentation rgulire quasi-invariante de
G. En eet, soit T Hom

(V [

, V [

) et F
T
la fonction continue sur G valeurs
dans End(V ) telle que F
T
(g) = (g)T(g)
1
, pour tout g G. Comme T est -
quivariant, F
T
est une fonction continue (qui est en plus G-quivariante) sur G/
valeurs dans End(V ). Comme G/ est compact, F
T
appartient L
2
(G/, End(V )).
Soit
F(T) : V L
2
(G/, V ),
tel que F(T)(v)(x) = F
T
(x)v, pour tout v V et tout x G/. Cest une applica-
tion linaire continue G-quivariante, donc
F(T) Hom
G
(V, L
2
(G/, V )) = Hom
G
(V, L
2
(G/) V ).
De plus, si on note 1 lidentit de G, alors F
T
(1) = T et donc, la correspondance T
F(T) dnit un morphisme injectif de Hom

(V [

, V [

) dans Hom
G
(V, V L
2
(G/)).
Ceci implique que,
dim
C
(Hom

(V [

, V [

)) dim
C
(Hom
G
(V, V L
2
(G/))).
Mais le fait que le groupe G ait la proprit (T) tordue par implique que
Hom
G
(V, V L
2
(G/)) = Hom
G
(V, V ),
car, en eet, on peut crire
L
2
(G/) = L
2
(G/)
0
L
2
(G/)
1
,
o L
2
(G/)
0
est la sous-reprsentation triviale de L
2
(G/) engendre par la fonction
constante gale 1 et L
2
(G/)
1
est son orthogonal, qui ne contient pas 1
G
. Si en
plus G a (T) tordue par ,
Hom
G
(V, V L
2
(G/)
1
) = 0,
do,
Hom
G
(V, V L
2
(G/)) = Hom
G
(V, V )
= C.Id
V
,
car V est une reprsentation irrductible de G, do le lemme.
30
Proposition 1.1.10. Soit G un groupe localement compact et un rseau cocompact
de G. Soit une reprsentation irrductible de dimension nie de G. Si G a la
proprit (T) tordue par alors a la proprit (T) tordue par [

.
Dmonstration. Supposons que G a la proprit (T) tordue par et soit un rseau
cocompact de G. Lexistence de implique que G est unimodulaire. Soit dg une
mesure de Haar sur G telle que G/ soit de mesure 1. Par abus de notation, on
notera de la mme faon la reprsentation de G et sa restriction . On rappelle
que lon note /

(G) (resp. /

()) la compltion de C
c
(G) (resp. C
c
()) pour la
norme donne, pour f C
c
(G) (resp. f C
c
()), par :
|f| = sup
(,H

)
|( )(f)|
L(V H

)
,
o le supremum est pris parmi les reprsentations unitaires de G (resp. de ).
Si (, H) est une reprsentation de G (resp. de ) on note H
G
(resp. H

) le sous-
espace de H form des vecteurs invariants.
Soit p
G
lidempotent de /

(G) tel que pour toute (, H

) reprsentation unitaire de
G, ( )(p
G
) est la projection de V H

sur V H
G

.
Supposons quil existe une fonction f C
c
(G) telle que

f(g)() = (g
1
), (1.1.1)
pour tout g G (ce qui implique que
_
G
f(g)(g)dg = Id
V
).
On veut construire un idempotent p

(), tel que pour toute reprsentation


(, H) unitaire de , ( )(p

) soit la projection de V H sur V H

.
Soit une suite (p
n
G
)
n
dans C
c
(G) qui converge vers p
G
dans /

(G), soit (, H) une


reprsentation unitaire de et soit (Ind(), Ind(H)) la reprsentation unitaire de
G obtenue par induction unitaire de . On note

:= Ind() et H

:= Ind(H) pour
simplier les notations.
Soit v
i

i=1,...,n
une base de V et soit v

i=1,...,n
la base de V

duale. Soient
et les applications linaires continues suivantes
: V H V H

v
n

i=1
v
i

_
g

i
((g)v)f(g)()
_
,
: V H

V H
v s
_
G
(g
1
)v f(g
1
)s(g)dg.
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 31
Il est facile de voir que lgalit

f(g)() = (g
1
) implique que limage
par de V H

est contenue dans V (H

)
G
, ainsi que limage par de V (H

)
G
est contenue dans V H

. Elle implique aussi que agit par lidentit sur


V (H

)
G
et que agit par lidentit sur V H

.
Dautre part, pour v V et H,
(

)(p
n
G
) (v ) =
_
G
p
n
G
(g)
n

i=1
(g)v
i

_
x

i
_
(g
1
x)v
_
f(g
1
x)()
_
dg,
et donc,
(

)(p
n
G
) (v ) =

_
GG
p
n
G
(g)
n

i=1
(x
1
g)v
i
v

i
_
(g
1
x)()v
_
f(x
1
)f(g
1
x)() dgdx.
Or,
n

i=1
(x
1
g)v
i
v

i
_
(g
1
x)()v
_
() =
n

i=1
v
i
v

i
_
()v
_
()
= ()v ().
Ceci implique,
(

)(p
n
G
) (v ) =

_
GG
p
n
G
(g)f(x
1
g
1
)f(x)( )()(v )dxdg.
Posons, pour et n N,
p
n

() =
_
GG
p
n
G
(g)f(x
1
g
1
)f(x)dxdg.
La suite (p
n

)
n
appartient C
c
() et elle converge dans /

() car :
|p
n

|
A

()
= sup
(,H)
| (

)(p
n
G
) |
L(V H)
,
32
o le supremum est pris parmi les reprsentations unitaires de et

est la
reprsentation de G induite de .
Donc,
|p
n

|
A

()
sup
(,H)
max(| (p
n
G
) |
End(V )
, | (

1
)(p
n
G
) |
L(V H

1
)
),
o on a crit

1
avec

0
quivalente 1
G
et

1
ne contenant pas 1
G
. Mais
lim
n
(p
n
G
) = Id
V
et lim
n
(

1
)(p
n
G
) = 0, donc la suite (p
n

)
n
est une suite de Cauchy pour la norme ||
A

()
.
Soit p

la limite de (p
n

)
n
dans /

().
On a alors lgalit :
( )(p

) = (

)(p
G
) .
Comme on a que (V H

) V (H

)
G
, (V (H

)
G
) V H

et que de
plus = Id
V (H

)
G et = Id
V H
, alors ( )(p

) est bien la projection


orthogonale de V H sur le sous-espace V H

.
Montrons maintenant quil existe une fonction f support compact sur G et
vriant lquation (1.1.1).
Soit p : G G/ la projection canonique. On doit montrer quil existe une fonction
f continue support compact telle que, pour tout x G/,

gp
1
(x)
f(g)(g) = Id
V
.
Soit (U
i
)
i=1,...,q
un recouvrement ouvert de G/ (que lon peut prendre ni car G/
est compact) tel que p
1
(U
i
) soit homomorphe U
i
et soient, pour tout i =
1, ..., q, s
i
: p
1
(U
i
) U
i
les homomorphismes correspondants. Comme est une
reprsentation irrductible de , lensemble des () avec parcourant , engendre
End(V ) (thorme de Burnside [Lan02, Chapter XVII, Corollary 3.3]) ; si m est la
dimension de V , on peut trouver un sous-ensemble de de cardinal m
2
tel que
lensemble ()[ forme une base de End(V ). Il est clair alors que pour tout
i = 1, ..., q, il existe une fonction continue support compact f
i
: U
i
C telle
que

f
i
(u, )() = (u
1
),
pour tout u U
i
.
Pour tout i = 1, ..., q, soit

f
i
= f
i
s
i
et soit (
i
)
i=1,...,q
une partition de lunit
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 33
associe (U
i
)
i=1,...,q
.
On pose pour tout g G,
f(g) =
q

i=1
(
i
p)(g)

f
i
(g).
Comme

f
i
appartient C
c
(p
1
(U
i
)) pour tout i, alors (
i
p)

f
i
est aussi support
compact sur p
1
(U
i
) et la fonction f ainsi dnie est support compact sur G et
vrie lquation (1.1.1).
1.2 Cas des groupes de Lie semi-simples
Tout au long de cette section G sera la composante connexe des points rels dun
groupe algbrique simplement connexe (cest--dire que tout revtement algbrique
de Gest isomorphe G) de faon ce que Gsoit produit direct de ses facteurs simples
[Mar91, Proposition I.1.4.10]. On suppose en plus que tout facteur direct simple de
G est soit de rang au moins 2, soit localement isomorphe Sp(n, 1) pour n 2 ou
F
4(20)
. Le groupe G a alors la proprit (T) de Kazhdan usuelle (cest--dire que 1
G
est isole dans le dual unitaire de G) [dlHV89] et vrie, en fait, une proprit plus
forte de dcroissance uniforme de coecients de matrice de reprsentations unitaires
[Cow79].
Soit : G Aut(V) une reprsentation irrductible de dimension nie de G dans un
espace vectoriel complexe V de dimension m. On considre le complexi G(C) de G
et le complexi de lalgbre de Lie de G, g, que lon note g
C
. On notera de la mme
faon la reprsentation de g dnie par sur V et elle mme. Soit u une forme
relle compacte de g
C
compatible avec g et soit U le sous-groupe de Lie connexe de
G(C) qui a pour algbre de Lie u. Le groupe U est un sous-groupe compact maximal
de G(C) qui est invariant par la conjugaison complexe sur G(C) [Kna02]. Soit K
le sous-groupe compact maximal de G donn par U G. On considre sur V un
produit hermitien invariant par laction de U (unique constante prs car V est
irrductible), cest--dire tel que
C
(U) soit contenu dans les matrices unitaires de
GL(V ), o
C
est le complexi de . Pour un lment M End(V ), notons M

son adjoint par rapport ce produit hermitien.


On considre toujours la norme doprateur sur End(V ) que lon notera |.|
End(V )
et une mesure de Haar sur G, dg pour g G.
Soit : G Aut(V

) une reprsentation dle de G qui contient et telle que V

soit muni dun produit hermitien de sorte que


C
(U) soit contenu dans le groupe
unitaire de GL(V

). On dnit une longueur l sur G (cest--dire une fonction sur G


34
valeurs dans 1
+
telle que l(1) = 0, l(gh) l(g) +l(h) et l(g) = l(g
1
), g, h G)
de la faon suivante :
l(g) = log(max(|(g)|
End(V )
, |(g
1
)|
End(V )
)), g G.
Cette longueur dnit une semi-mtrique d sur G donne par d(g, x) = l(g
1
x),
pour g, x G. Soit B
q
= g G[l(g) q} pour tout q N.
Le but de cette section est de dmontrer que le groupe G a la proprit (T)
tordue par .
Soient /

(G), /

G
et /

G
dnies comme dans la section prcdente que lon
note /, /

et /

respectivement pour simplier les notations. Soit le morphisme


dalgbres de Banach
: / /

.
Thorme 1.2.1. Le morphisme dalgbres de Banach est un isomorphisme.
Remarque 1.2.2. Si on munit /

de la norme donne par : |(x, y)| =


max(|x|
A
, |y|
A
) pour x /

, y /

, alors est un morphisme dalgbres


de Banach isomtrique et donc pour prouver le thorme il sut de dmontrer que
limage est dense. En eet, toute reprsentation unitaire de G, (, H

), peut scrire
comme somme directe de deux sous-reprsentations : la partie de qui ne contient
pas de vecteurs invariants non nuls (et donc qui ne contient pas 1
G
) que lon va noter

1
, et la partie de qui est multiple de 1
G
, note
0
. Alors, pour tout f C
c
(G),
|f|
A
= sup

(max(|(
1
)(f)|
L(V H

1
)
, |
0
(f)|
L(V H

0
)
))
= max( sup
1
G
|( )(f)|
L(V H)
, |(f)|
End(V )
)
= |(f)|
A

A
.
Remarque 1.2.3. On remarque aussi que dnit une reprsentation irrductible et
dle, car isomtrique, de /

dans End(V ). On a alors que /

= End(V ) (Thorme
de Burnside cf. [Lan02, Chapter XVII, Corollary 3.3]).
On a le lemme suivant :
Lemme 1.2.4. Il existe une matrice E non nulle dans End(V ) et il existe une suite
de fonctions continues support compact sur G, (f
n
)
nN
telles que, lim
n
(f
n
) = E et
lim
n
sup

|()(f
n
)|
L(V H

)
= 0, o le supremum est pris parmi les reprsentations
unitaires de G qui ne contiennent pas la reprsentation triviale.
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 35
Montrons dabord que le lemme 1.2.4 implique le Thorme 1.2.1.
Soit (f
n
)
nN
la suite donne par le lemme 1.2.4 et E End(V ) non nulle telle que
lim
n
(f
n
) = E. La suite (f
n
)
nN
converge dans / car
|f
n
|
A
= max(|(f
n
)|
End(V )
, sup
1
G
|( )(f
n
)|
L(V H

)
),
et comme lim
n
sup
1
G
|( )(f
n
)|
L(V H

)
= 0, (f
n
)
nN
est une suite de Cauchy pour
|.|
A
et donc elle converge dans /. Soit p la limite de f
n
quand n tend vers linni.
On a que (p) = E et pour toute reprsentation unitaire de G, qui na pas de
vecteurs invariants non nuls, ( )(p) = 0, donc (p) = (0, E). Soit o lidal
bilatre engendr par p dans / et Q lidal bilatre engendr par E dans End(V ).
Comme dnit un morphisme surjectif de / vers End(V ) (cf. Remarque 1.2.3),
on a que (o) contient 0 Q. Or, tout idal bilatre non nul de End(V ) est gal
End(V ) tout entier. On a donc que 0 End(V ) = 0 /

est contenu dans (o) et


donc dans (/). Ceci montre alors que (/) = /

, car / /

est dimage
dense, et donc que est un isomorphisme en tenant compte de la remarque 1.2.2.
Dmonstration. On va maintenant montrer le lemme 1.2.4. On remarque dabord le
lemme suivant :
Lemme 1.2.5. Soit f une fonction support compact sur G et (, H

) une repr-
sentation unitaire de G. On a lingalit suivante :
|( )(f)|
L(V H

)
sup m
2
_
G
[f(g)[|(g)|
End(V )
[(g), )[dg, (1.2.1)
o le supremum est pris parmi les vecteurs unitaires , de H

.
Dmonstration. Soit v
i

i=1,..,m
une base orthonormale de V . On a alors les ingalits
36
suivantes :
|( )(f)|
L(V H

)
sup
x,yV H

x=y=1
[
_
G
f(g)( )(g)dgx, y)[
sup

j
,
k
H

[
_
_
_
G
f(g)(g) (g)dg
_
(
m

j=1
v
j

j
), (
m

k=1
v
k

k
)
_
[
sup

j
,
k
H

_
G
[f(g)[
m

j,k=1
[(g)v
j
, v
k
)[[(g)
j
,
k
)[dg
sup

j
,
k
H

_
G
[f(g)[|(g)|
End(V )
m

j,k=1
[(g)
j
,
k
)[dg,
o les supremums sont pris parmi des vecteurs
j
,
k
H

, pour j, k 1, ..., m,
tels que

m
j=1
|
j
|
2
= 1 et

m
k=1
|
k
|
2
= 1.
Or, pour tous
j
,
k
H

avec j, k 1, .., m tels que



m
j=1
|
j
|
2
= 1 et

m
k=1
|
k
|
2
= 1, si on pose

j
:=

j

et

k
:=

k

,
_
G
[f(g)[|(g)|
End(V )
m

j,k=1
[(g)
j
,
k
)[dg
=
_
G
[f(g)[|(g)|
End(V )
m

j,k=1
|
j
||
k
|[(g)

j
,

k
)[dg

j,k=1
|
j
||
k
| sup
,H

==1
_
G
[f(g)[|(g)|
End(V )
[(g), )[dg
m
2
sup
,H

==1
_
G
[f(g)[|(g)|
End(V )
[(g), )[dg,
do,
|( )(f)|
L(V H

)
m
2
sup
,H

==1
_
G
[f(g)[|(g)|
End(V )
[(g), )[dg.
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 37
On veut utiliser la dcroissance uniforme des coecients de matrice des reprsen-
tations unitaires, ne contenant pas la triviale, donne par le thorme suivant (voir
[Cow79, Corollaire 2.4.3 et Thorme 2.5.3], [How82, corollaire 2.7 et proposition
6.3], [Oh02, proposition 2.7 et thorme 4.11]) :
Thorme 1.2.6 (M. Cowling). Soit G un groupe de Lie rel semi-simple connexe
centre ni tel que, tout sous-groupe distingu G
i
,= 1 soit tel que rang
R
(G
i
) 2,
ou G
i
= Sp(n, 1) pour n 2, ou G
i
= F
4(20)
et soit K un sous-groupe compact
maximal de G. Alors il existe une fonction continue K-bi-invariante sur G
valeurs dans 1
+
qui tend vers zro linni et telle que, pour toute reprsentation
unitaire de G dans un espace de Hilbert H

, qui ne contient pas de vecteurs


invariants non nuls, et pour tous vecteurs unitaires , dans H

, on a lestimation
suivante :
g G, [(g), )[ (g)
K
()
K
()
o
K
(v) = (dimKv))
1/2
N et Kv) est le sous-espace de V engendr par
laction de K sur v, pour v H

.
On note

K lensemble des classes dquivalence de reprsentations irrductibles
de K.
On rappelle que toute reprsentation (, H

) de K scrit comme somme directe de


reprsentations irrductibles. Lespace H

scrit alors comme une somme directe de


la forme :
H

[]
b
K
H
r

,
o [] est la classe de la reprsentation (, H

) dans

K et r

est sa multiplicit dans


la dcomposition de .
Le sous-espace H
r

de H

est alors appel la composante -typique de .


Si (, H

) est une reprsentation irrductible de dimension n

, la projection P

:
H

sur la partie -typique de est donne par :


P

= n

) (1.2.2)
o

est le caractre de et

(t) =

(t) =

(t
1
) est le caractre de sa
reprsentation contragrdiente dans lespace dual de H

(cf. [Ser78, Chapitre 2,


Partie I]).
Soit 1

K lensemble des K-types de V , cest--dire lensemble des reprsen-
tations irrductibles de K qui apparaissent dans la dcomposition de ([
K
, V ) en
somme directe de reprsentations irrductibles.
38
Pour toute reprsentation de G, on note
G
() lensemble des K-types de
vue comme reprsentation de G. Avec cette notation 1 =
G
().
En particulier, si est une reprsentation de GG, on notera
GG
()

K

K
lensemble des (K K)-types de vue comme reprsentation de GG.
On considre la reprsentation rgulire LR de GG sur C
c
(G), qui est donne
par la formule :
L R : GG L(C
c
(G)), (L R)(t, t

)f(g) = f(t
1
gt

).
Dnition 1.2.7. Soit f une fonction continue support compact sur G. Lensemble
des K-types gauche et droite de f est lensemble des classes de reprsentations
irrductibles de KK qui apparaissent dans la dcomposition de f C
c
(G) quand
on dcompose la reprsentation rgulire L R, restreinte K K, en somme
directe de reprsentations irrductibles.
Lemme 1.2.8. Il existe une fonction continue sur G, bi-invariante par K,
valeurs dans 1
+
, qui tend vers zro linni et telle que pour toute fonction f
continue support compact sur G ayant des K-types gauche et droite contenus
dans
GG
(

) et pour toute reprsentation unitaire de G, , sans vecteurs


invariants non nuls, on a :
|( )(f)|
L(V H

)
sup
,H

m
2
_
G
[f(g)[|(g)|
End(V )
(g)
K
()
K
()dg,
o le sup est pris parmi les vecteurs , H

unitaires ayant des K-types


appartenant
G
(

).
Dmonstration. On va dabord montrer que le supremum dans lingalit (1.2.1)
peut tre pris parmi les vecteurs unitaires , H

ayant des K-types appartenant



G
(

).
Soit (, H

) une reprsentation unitaire de G et f une fonction continue support


compact sur G. On remarque tout dabord que pour tout , H

et pour toute


K, la projection du vecteur (f) sur la composante -typique de H

est gale

((f)) = n

f),
et n

f) est exactement la projection de f sur la composante -typique de la


reprsentation rgulire gauche L de G sur C
c
(G). Donc

f est non nul si et


seulement si est un K-type gauche de f. De mme,
P

((f)

) = n

(f

,
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 39
et n

(f

) tant la projection de f sur la composante

-typique de la reprsen-
tation rgulire droite R de G sur C
c
(G), il est non nul si et seulement si

est un
K-type droite de f.
Soient /
f,L
et /
f,R
les deux sous-ensembles de

K dnis par :
/
f,L
=

K[ est K-type gauche de f
/
f,R
=

K[

est K-type droite de f.


Comme les projections P

sur les espaces -typiques sont des projections ortho-


gonales (Lemme de Schur [Ser78]), alors :
|(f)|
L(H

)
= sup
z,y
[(f)z, y)[,
o z et y parcourent les vecteurs unitaires de H

tels que lensemble des K-types


de z est contenu dans /
f,R
et lensemble des K-types de y est contenu dans /
f,L
.
Soit (, H) une reprsentation unitaire de G. On considre le produit tensoriel
( , V H).
Supposons maintenant que les K-types gauche de f soient contenus dans lensemble
des K-types de V et les K-types droite de f soient contenus dans lensemble des
K-types de V

. Alors, /
f,L
1 et comme
/
f,R


K[

est K-type de V

,
on a aussi que /
f,R
1. Do lingalit,
|( )(f)|
L(V H)
sup
z,y
[
_
G
f(g)( )(g)z, y)dg[,
o le supremum est pris parmi les vecteurs unitaires z, y V H ayant des
K-types appartenant lensemble des K-types de V .
De plus, si H

est le sous-espace vectoriel de H form des vecteurs dont les K-


types sont parmi les K-types de V V

, tout vecteur de HV dont les K-types sont


parmi ceux de V appartient H

V (car Hom
K
(V V

, H) = Hom
K
(V, V H),
o Hom
K
dsigne lespace des morphismes de reprsentations K-invariants). Donc
lingalit (1.2.1) devient :
|( )(f)|
L(V H)
sup
,
m
2
_
G
[f(g)[|(g)|
End(V )
[(g), )[dg,
40
o et sont des vecteurs unitaires de H qui ont des K-types appartenant
lensemble des K-types de V V

,
G
(

).
Considrons une fonction continue, K-bi-invariante sur G et valeurs dans
1
+
, qui tend vers zro linni, donne par le thorme 1.2.6. Alors on a pour toute
reprsentation unitaire qui ne contient pas la triviale :
|( )(f)|
L(V H)
m
2
sup
,
_
G
[f(g)[|(g)|
End(V )
(g)
K
()
K
()dg,
o et parcourent les vecteurs unitaires de H qui sont K-nis et qui ont des
K-types contenus dans
G
(

).
On cherche maintenant une suite de fonctions f
n
C
c
(G) ayant des K-types
gauche et droite contenus dans
GG
(

). Pour simplier la notation, on note


:=
GG
(

). On a le lemme suivant :
Lemme 1.2.9. Il existe une matrice non nulle E End(V ) et il existe une suite
de fonctions f
n
C
c
(G) ayant des K-types gauche et droite contenus dans et
une constante positive D telles que, pour tout entier n, le support de f
n
soit contenu
dans GB
n
, lim
n
(f
n
) = E et
_
G
[f
n
(g)[[[(g)[[
End(V )
dg D.
Dmonstration. On considre la dcomposition de Cartan de g donne par la forme
relle compacte u. g scrit alors
g = k p,
o k = g u et p = g iu, et p est non nul car G nest pas compact. Alors pour
tout x u, (x) est une matrice anti-hermitienne et pour tout x iu, (x) est
hermitienne.
Soit X p non nul et a := exp(X). Par consquent (a) = exp((X)) est une
matrice hermitienne (donc diagonalisable dans une base orthonormale de V )
valeurs propres strictement positives que lon notera, sans tenir compte des
multiplicits,
1
, ....,
m
, o
i
1

+
pour tout 1 i m.
De plus, comme est une reprsentation dle de G qui envoie U dans les matrices
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 41
unitaires de End(V

), (X) est une matrice hermitienne non nulle. On a que


l(exp(tX)) = t|(X)|
End(V

)
, car |(exp(tX))|
End(V

)
= exp(t|(X)|
End(V

)
), pour
tout rel t. Quitte remplacer a par a
k
pour k un entier assez grand, on peut mme
supposer l(a) 2.
Posons a
n
= a
n
, pour tout entier positif n. On a alors que l(a
n
) = n|(X)|
End(V

)
=
nl(a), donc l(a
n
) 2n et a
n
appartient GB
n
.
De plus on a, pour tout n, (a
n
) = (a)
n
est diagonalisable sur 1 dans la mme base
que (a) et ses valeurs propres sont
1
n
, ....,
m
n
. Comme |(a
n
)|
End(V )
= max
1im
(
n
i
)
et que
i
> 0, pour tout i = 1...m, on a que
(a
n
)
(a
n
)
End(V )
tend vers une matrice de
End(V ) non nulle, que lon note E

.
Soit maintenant f une fonction continue positive support compact sur G telle
que le support de f soit contenu dans B
1
g G[ |(g) Id|
End(V )

1
2
et telle
que
_
G
f(g)dg = 1.
Soit f
n
dans C
c
(G) dnie de la faon suivante : pour tout g dans G
f
n
(g) =
f(a
1
n
g)
|(a
n
)|
End(V )
.
On a donc que suppf
n
a
n
(suppf) et f
n
est dans C
c
(G), pour tout n. De plus, on
a que pour tout g appartenant au support de f
n
,
l(g) l(a
n
) 1,
donc le support de f
n
est contenu dans GB
n
.
Dautre part, on voit facilement que
(f
n
) =
(a
n
)
|(a
n
)|
End(V )
_
G
f(g)(g)dg.
Posons J :=
_
G
f(g)(g)dg. J est une matrice inversible de End(V ). En eet, on a
que
|
_
G
f(g)(g)dg Id
End(V )
|
End(V )

_
G
f(g)|(g) Id
End(V )
|
End(V )
dg
sup
gsupp(f)
|(g) Id
End(V )
|
End(V )

1
2
.
42
Par consquent, (f
n
) tend vers E

J qui est encore une matrice non nulle de End(V ).


Par ailleurs, on a que,
_
G
f
n
(g)|(g)|
End(V )
dg

1
|(a
n
)|
End(V )
_
G
f(g)|(a
n
)|
End(V )
|(g)|
End(V )
dg

_
G
f(g)|(g)|
End(V )
dg

3
2
.
On a donc trouv une suite de fonctions f
n
dans C
c
(G), une matrice E = E

J
dans End(V ) non nulle et une constante D tels que lim
n
(f
n
) = E,
_
G
[f
n
(g)[|(g)|
End(V )
dg D et tels que le support de f
n
, pour tout n, soit
contenu dans GB
n
. On va montrer quon peut prendre les fonctions f
n
ayant des
K-types, droite et gauche, contenus dans .
Soit une fonction f C
c
(G). Daprs la formule (1.2.2), qui donne la projection
sur les composantes -typiques dune reprsentation de G, pour

K, la fonction

f dnie par la formule suivante :

f =

1
,
2
I
n

2
(L R)(

2
)(f)
=

1
,
2
I
n

1
f n

2
.
est la projection de f sur les K K-types de V V

.
On utilise ceci pour obtenir, pour tout n, une fonction

f
n
qui est donne par la
projection de f
n
sur les K K-types de V V

. On a alors une suite de fonctions


(

f
n
)
nN
ayant des K-types gauche et droite appartenant .
On va maintenant vrier que la nouvelle suite satisfait les conditions du lemme
1.2.9.
Lapplication : C
c
(G) End(V ) V V

est un morphisme de reprsentations


de GG et, pour tous t, t

dans G le diagramme suivant commute :


C
c
(G)
(LR)(t,t

V V

)(t,t

C
c
(G)

V V

Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 43


Par consquent, comme lim
n
(f
n
) = E, lim
n
(

f
n
) est gal la projection de E
sur les (K K)-types de V V

, et cette projection nest rien dautre que E elle


mme, cest dire que lim
n
(

f
n
) = E.
De plus, on a que,
_
G
[

f
n
(g)[|(g)|
End(V )
dg

_
G

1
,
2
I
n

1
.n

2
_
KK
[

1
(t)

2
(t

)[[f
n
(t
1
gt

)[|(g)|dtdt

dg

1
,
2
I
n

1
.n

2
_
KK
[

1
(t)

2
(t

)[
_
G
[f
n
(t
1
gt

)[|(g)|dgdtdt

1
,
2
I
n

1
.n

2
_
KK
[

1
(t)

2
(t

)[dtdt

,
o D

est une constante qui ne dpend pas de n. Comme le support de



f
n
est contenu
dans K(suppf
n
)K pour tout n, et les B
n
sont invariants par laction gauche et
droite de K, le support de

f
n
est contenu dans GB
n
.
Soient maintenant E End(V ) non nulle et f
n
C
c
(G) tels que lim
n
(f
n
) = E,
avec le support de f
n
contenu dans GB
n
, f
n
ayant des K-types gauche et droite
contenus , et tels que
_
G
[f
n
(g)[|(g)|
End(V )
dg D, pour une constante uniforme
D.
Daprs le lemme 1.2.8, si est une reprsentation unitaire de G qui ne contient pas
la triviale, on a que, pour tout entier naturel n,
|( )(f
n
)|
L(V H)
m
2
sup
,
_
G
[f
n
(g)[|(g)|
End(V )
(g)
K
()
K
()dg,
o et parcourent les vecteurs unitaires de H qui ont des K-types contenus dans
lensemble des K-types de V V

et est une fonction continue et positive sur G


qui sannule linni et qui ne dpend ni de f
n
ni de .
De plus, on a une constante positive D telle que
_
G
[f
n
(g)[|(g)|
End(V )
D et,
comme le support de f
n
est contenu dans GB
n
, lingalit au-dessus scrit :
|( )(f
n
)|
L(V H)
m
2
Dsup
,
sup
gG\B
n
(g)
K
()
K
(), (1.2.3)
o et parcourent les vecteurs unitaires de H qui ont des K-types appartenant
lensemble des K-types de V V

, ensemble qui ne dpend pas de n.


44
On veut montrer que le membre de droite de cette ingalit tend vers zro quand
n tend vers linni. Pour ceci, on a besoin du lemme suivant qui assure que, pour
tout v H ayant des K-types contenus dans un ensemble x S, la dimension du
sous-espace de H engendr par laction de K sur v, que lon note
K
(v), est borne
en fonction de S.
Lemme 1.2.10. Soit v W, o (, W) est une reprsentation de K. Alors,

K
(v) = dimKv)

[]
(dim)
2
,
o la somme est prise parmi les []

K qui sont des K-types de v.
Dmonstration. Soit C

r
(K) la C*-algbre rduite de K. Toute reprsentation irr-
ductible de K, apparat dim() fois dans la dcomposition de la reprsentation
rgulire de K en somme directe de reprsentations irrductibles (cf. [Ser78]). En
fait, lapplication
C

r
(K)

[]
b
K
End(H

)
f ((f))

,
est un isomorphisme de C*-algbres. Soit lapplication continue de C

r
(K) vers W
qui envoie f dans (f)v Kv). On a donc que,
Kv) = (C

r
(K))
= (

[]
b
K,
End(H

)),
o la somme directe est prise parmi les [] qui sont des K-types de v.
On a alors que
dimKv)

[]
(dim)
2
,
o la somme est prise parmi les []

K qui sont des K-types de v.
Maintenant on est prt pour conclure. Le membre de droite de (1.2.3) tend vers
zro quand n tend vers linni, car la fonction tend vers zro linni, et donc la
norme de ( )(f
n
) tend vers zro quand n tend vers linni.
On a donc trouv une matrice E non nulle dans End(V ) et une suite de fonctions f
n
dans C
c
(G) tels que lim
n
(f
n
) = E et le supremum sur toutes les reprsentations
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 45
unitaires de G, qui ne contiennent pas la triviale, de |()(f
n
)|
L(V H

)
tend vers
zro quand n tend vers linni. Ceci termine la dmonstration du lemme 1.2.4, donc
celle du thorme 1.2.1. Par la proposition 1.1.7, G a alors la proprit (T) tordue par
, ce qui termine la dmonstration du thorme 1.0.2 nonc dans lintroduction.
46
Chapitre 2
Morphisme de Baum-Connes tordu
Dans le chapitre 1, tant donns un groupe localement compact G et une repr-
sentation de dimension nie de G, (, V ), nous avons dni des analogues tordus
par la reprsentation de deux C

-algbres de groupe associes G : la C

-algbre
maximale et la C

-algbre rduite. Ces nouvelles algbres tordues, qui ne sont plus


des C

-algbres si le groupe G nest pas compact mais qui sont toujours des algbres
de Banach, apparaissaient de faon trs naturelle dans ltude de lisolement de
dans un ensemble de reprsentations de la forme , o parcourt un ensemble
de reprsentations unitaires de G. Nous avons alors montr, dans certains cas, que,
comme dans le cas des C

-algbres de groupe, le fait davoir la proprit (T) im-


plique lexistence dun idempotent dans lalgbre tordue maximale qui distingue la
K-thorie des deux algbres tordues par rapport la mme reprsentation . Il est
naturel alors de vouloir calculer la K-thorie de ces algbres tordues. Dans ce cha-
pitre, nous allons construire les outils qui, dans le chapitre 3, vont nous permettre de
calculer la K-thorie des algbres tordues pour une large classe de groupes vriant
la conjecture de Baum-Connes.
2.1 Rappels et notations
Dans cette section, pour xer les notations, nous allons rappeler quelques
dnitions, que nous allons utiliser plus tard. On commence par donner la dnition
dune action propre dun groupe localement compact ainsi que quelques exemples.
Ensuite, nous allons donner les dnitions ainsi que les proprits principales de
la KK-thorie quivariante de Kasparov et nous allons terminer par rappeler la
dnition et les proprits principales de la KK-thorie banachique de Laorgue.
Toutes les C

-algbres que lon considre sont des C

-algbres sparables et les


groupes localement compacts sont dnombrables linni.
47
48
2.1.1 Actions propres
Soit G un groupe localement compact. Un espace topologique spar muni dune
action par homomorphismes de G est appel un G-espace.
Dnition 2.1.1. Laction de G sur un G-espace X est propre, si lapplication
GX X X
(g, x) (g.x, x)
est une application propre, cest--dire que la pre-image dun compact est compacte.
Dans ce cas, on dit que X est un espace G-propre.
De faon quivalente, si X est un G-espace localement compact alors, laction de
G sur X est propre, si et seulement si, pour tous sous-ensembles compacts K et L
de X, lensemble
g G[g.K L ,=
est relativement compact dans G.
Exemples 2.1.2. 1. Si p : X Y est un recouvrement localement trivial de
groupe G, alors laction de G sur X est propre (et libre).
2. Si G est compact, alors toute action de G est propre.
3. Si G est groupe de Lie connexe et K est un sous-groupe compact maximal de
G, alors laction de G sur le quotient G/K est propre.
Espace classiant pour les actions propres. Soit G un groupe localement com-
pact.
Dnition 2.1.3. Un espace G-propre X est universel si pour tout espace G-propre
Y il existe une application continue G-quivariante de Y dans X unique homotopie
G-quivariante prs.
Pour tout groupe localement compact G, un tel espace G-propre universel existe
et est unique homotopie G-quivariante prs (cf. [BCH94], [KS03]). On le note
EG.
Exemples 2.1.4. 1. Si G un groupe compact, alors on peut prendre EG = pt.
2. Si G est un groupe de Lie connexe, alors EG = G/K, o K est un sous-groupe
compact maximal.
Chapitre 2. Morphisme de Baum-Connes tordu 49
3. Si G est un groupe discret et sans torsion (ou G est continu sans sous-groupes
compacts), alors toute action de G propre est libre et elle dnit alors un
recouvrement de groupe G. Dans ce cas, EG = EG, o EG est le recouvrement
universel de lespace classiant des brs G-principaux, usuellement not BG
(cf. [Hus94]).
2.1.2 KK-thorie quivariante de Kasparov
Dans une srie darticles (cf. [Kas80], [Kas88], [Kas95]), G. Kasparov a dni un
bifoncteur de la catgorie des C

-algbres, munies dune action continue dun groupe


localement compact, dans la catgorie des groupes abliens, qui regroupe la fois
la K-thorie et la K-homologie des C

-algbres. Il utilise ce K-bifoncteur pour


calculer la K-thorie des C

-algbres de groupe pour des groupes de Lie connexes


moyennables ainsi que pour les sous-groupes discrets. Il lutilise aussi pour montrer
la conjecture de Novikov sur linvariance homotopique des signatures dordre
suprieur pour des varits lisses dont le groupe fondamental est un sous-groupe
discret dun groupe de Lie connexe. Nous allons rappeler ici les dnitions ainsi que
les proprits principales de cette KK-thorie quivariante, que nous allons utiliser
dans la construction de notre morphisme tordu. On renvoie le lecteur vers [Ska91],
vers [Val02] ou vers [Hig90], pour des expositions de cette thorie.
Si A et B sont des C

-algbres, la norme de C

-algbre sur le produit tensoriel


algbrique A
alg
C
B que lon va toujours considrer est la minimale (cf. [Hig90,
1.1]). On note alors AB la C

-algbre produit tensoriel par rapport cette norme.


Produit croiss. On rappelle que si G est un groupe localement compact, une G-
C

-algbre A est une C

-algbre munie dune action continue de G, cest--dire quil


existe un homomorphisme continu de G dans le groupe des -automorphismes de
A, que lon note Aut(A), muni de la topologie de la convergence en norme point par
point. Pour simplier les notations, si A est une G-C

-algbre, on note, pour tout


g G et pour tout a A,
g(a) := (g)(a),
ou, plus simplement encore, ga := (g)(a).
Soit G un groupe localement compact et soit A une G-C

-algbre. Lespace
vectoriel des fonctions support compact sur G valeurs dans A, not C
c
(G, A),
est munie dune structure dalgbre involutive : on dnit la multiplication par la
50
formule, pour f
1
, f
2
C
c
(G, A) et g G,
f
1
f
2
(g) =
_
G
f
1
(t)t(f
2
(t
1
g))dt,
o dg est la mesure de Haar invariante gauche sur G, et linvolution est dnie par
la formule, pour f C
c
(G, A) et g G,
f

(g) = g(f(g
1
))

(g
1
),
o est la fonction modulaire de G (cest--dire que dg
1
= (g)
1
dg).
Intuitivement, il est parfois utile de noter tout lment g f(g) de C
c
(G, A)
par lintgrale formelle
_
G
f(g)e
g
dg, o e
g
est une lettre formelle satisfaisant :
e
g
e
g
= e
gg
,
e

g
= e
1
g
= e
g
1,
et e
g
ae

g
= g.a pour a A.
Nous allons utiliser trs souvent cette notation.
De mme, pour une G-C

-algbre A, on dnit
L
2
(G, A) := f C
c
(G, A)[
_
G
f(g)

f(g)dg converge en A.
Lespace L
2
(G, A) muni de la norme |f| = |
_
G
f(g)

f(g)dg|
1
2
A
est un espace de
Banach.
Dnition 2.1.5. Une reprsentation covariante dune G-C

-algbre A est un
couple (, ) de reprsentations de A et de G, respectivement, dans le mme es-
pace de Hilbert, que lon note H
(,)
, tel que :
(g)(a)(g)

= (g.a),
o a A et g G.
Il est clair que toute reprsentation covariante (, ) dune G-C

-algbre induit,
par intgration, une reprsentation de lalgbre C
c
(G, A), que lon note encore (, )
par abus de notation. Elle induit donc une pre-C

-norme sur cette algbre involutive.


Dnition 2.1.6. (cf. [Bla98, 10.1], [Ped79, 7.7]) Le produit crois maximal de A
et G, not C

(G, A), est le complt spar de C


c
(G, A) pour la norme donne par
la formule suivante :
|f| = sup
(,)
|(, )(f)|
L(H
(,)
)
,
Chapitre 2. Morphisme de Baum-Connes tordu 51
o f C
c
(G, A) et |.|
L(H
(,)
)
est la norme doprateur.
Le produit crois rduit de A et G, not C

r
(G, A), est ladhrence de limage de
la reprsentation rgulire

G,A
: C
c
(G, A) L(L
2
(G, A))
donne par la formule :
G,A
(f)(h)(t) =
_
G
t
1
(f(s))h(s
1
t)ds, pour f C
c
(G, A)
et h L
2
(G, A). Intuitivement, nous notons tout lment g h(g) de L
2
(G, A) par
lintgrale formelle
_
G
e
g
h(g)dg, car on veut que A agisse droite sur L
2
(G, A). Avec
cette notation la formule qui dtermine la reprsentation rgulire
G,A
ci-dessus
devient claire.
Remarque 2.1.7. Si A = C, alors le produit crois de C et G est gal C

(G),
la C

-algbre maximale de G et le produit crois rduit est gal C

r
(G), la
C

-algbre rduite de G.
La reprsentation
G,A
induit un morphisme dalgbres de Banach

G,A
: C

(G, A) C

r
(G, A),
que lon note
G,A
par abus de notation et qui prolonge lidentit sur C
c
(G, A).
Modules hilbertiens On rappelle maintenant la dnition dun module hilbertien.
Dnition 2.1.8. Soit B une C

-algbre. Un B-module hilbertien est un B-module


droite E muni dun produit scalaire
., .)
B
: E E B
qui vrie les proprits suivantes :
1. x, y)
B
= x, y)
B
, pour tout x, y E, C,
2. x, yb)
B
= x, y)
B
b, pour tout x, y E, b B,
3. y, x)
B
= x, y)

B
, pour tout x, y E,
4. x, x)
B
0 pour tout x E et si x, x) = 0, alors x = 0,
5. E est complet pour la norme |x| = |x, x)
B
|
1
2
(on ne considre que des
modules spars en tant quespaces de Banach).
On remarque que les trois premires proprits impliquent :
x, y)
B
= x, y)
B
et xb, y)
B
= b

x, y)
B
,
52
pour tout x, y E, b B.
De plus, si E est un B-module hilbertien, on a que
|xb| |x|b| et |x, y)
B
| |x||y|,
pour tout x, y E.
Exemples 2.1.9. 1. La C

-algbre B est un B-module hilbertien. Le produit


scalaire est donn par : x, y) = x

y pour tout x, y B.
2. Si n est un entier, B
n
est un B-module hilbertien. Le produit scalaire est donn
par : (x)
i
, (y
i
)) =
n

i=1
x

i
y
i
, pour (x
i
)
i
, (y
i
)
i
B
n
.
3. Si X est un compact, les C(X)-modules hilbertiens sidentient avec les
champs continus despaces de Hilbert au-dessus de X : tout champ continu on
associe le module des sections continues qui sannulent linni (cf. [DD63]).
4. Si B est une G-C

-algbre, lespace L
2
(G, B) dni ci-dessus, est un B-module
hilbertien. Laction droite de B est donn par multiplication droite sur B
et le produit scalaire valeurs dans B est donn par la formule
., .)
B
: L
2
(G, B) L
2
(G, B) B
(f
1
, f
2
)
_
G
f
1
(g)

f
2
(g)dg.
On donne maintenant la dnition doprateur born sur un module hilbertien.
Dnition 2.1.10. Soit B une C

-algbre et soient E
1
et E
2
deux B-modules hilber-
tiens. On note L
B
(E
1
, E
2
) lensemble des applications T : E
1
E
2
qui admettent un
adjoint, cest--dire, les applications telles quil existe une application T

: E
2
E
1
telle que
Tx
1
, x
2
)
B
= x
1
, T

x
2
)
B
,
pour tout x
1
E
1
, x
2
E
2
.
Si E est un B-module hilbertien, on pose L
B
(E) := L
B
(E, E).
On remarque que si T L
B
(E
1
, E
2
) alors T et T

sont automatiquement linaires


et B-linaires (cf. [Bla98, 13.2]) et L
B
(E) muni de la norme doprateur est une C

-
algbre.
Dnition 2.1.11. Soit E un B-module hilbertien. Si x, y E, on note
x,y
lop-
rateur dni par

x,y
(z) = xy, z), pour z E.
Chapitre 2. Morphisme de Baum-Connes tordu 53
Les lments de la forme
x,y
appartiennent L
B
(E) (

x,y
=
y,x
) et ils sont appels
oprateurs de rang 1.
Si T L
B
(E), alors,
T
x,y
=
Tx,y
et
x,y
T =
x,T

y
,
de sorte que lespace vectoriel engendr par les oprateurs de rang 1 est un idal de
L
B
(E) dont les lments sont appels oprateurs de rang ni sur E.
Lensemble des oprateurs compacts de E, not /
B
(E), est alors ladhrence pour
la norme doprateur de lespace des oprateurs de rang ni.
Produits tensoriels. On peut dnir deux types de produits tensoriels de modules
hilbertiens (cf. [Ska91]). Soient A et B deux C

-algbres.
Dnition 2.1.12. Soient E
1
et E
2
deux modules hilbertiens sur A et sur B res-
pectivement. On note A
alg
C
B le produit tensoriel algbrique. Le A B-module
hilbertien E
1
E
2
est le complt spar du produit tensoriel algbrique E
1

alg
C
E
2
pour la norme |x| = |x, x)|
1
2
, o , ) denote le produit scalaire donn par la formule
x
1
x
2
, y
1
y
2
) = x
1
, y
1
) x
2
, y
2
),
pour x
1
, y
1
E
1
, x
2
, y
2
E
2
. On appelle cette construction produit tensoriel
externe de modules hilbertiens.
Dnition 2.1.13. Soient E
1
un A-module hilbertien, E
2
un B-module hilbertien
et : A L
B
(E
2
) un -homomorphisme. Le B-module hilbertien E
1

A
E
2
est le
complt spar du produit tensoriel algbrique E
1

alg
C
E
2
pour la norme |x| =
|x, x)|
1
2
, o , ) denote le produit scalaire donn par
x
1
x
2
, y
1
y
2
) = x
2
, (x
1
, y
1
))y
2
)
pour x
1
, y
1
E
1
, x
2
, y
2
E
2
. Laction de B est donne par la formule :
(x
1
x
2
)b = x
1
x
2
b,
pour tout x
1
E
1
, x
2
E
2
et b B. Cette construction est appele produit
tensoriel interne de modules hilbertiens. On remarque que dans ce cas, si a A,
x
1
E
1
et x
2
E
2
alors
x
1
(a)x
2
= x
1
a x
2
.
Nous allons utiliser souvent cette construction.
KK-thorie quivariante de Kasparov. On suppose maintenant que G est un
groupe localement compact et A et B sont des G-C

-algbres.
54
Dnition 2.1.14. Un G-(A, B)-bimodule quivariant est la donne dun couple
(E, ) o :
E est un B-module hilbertien Z/2Z-gradu (ie. E = E
(0)
E
(1)
) muni dune
action continue de G compatible avec la graduation et telle que
gx, gy)
B
= g.x, y), g G, x, y E,
g.(xb) = (g.x)(g.b), b B.
Un B-module hilbertien muni dune action continue de G vriant les propri-
ts ci-dessus est appel un G-module hilbertien sur B.
: A L
B
(E) est un -homomorphisme tel que
(A) L
B
(E)
(0)
,
g.((a)x) = (g.a)g.x, g G, a A, x E,
Si B est une G-C

-algbre et E est un G-module hilbertien sur B, alors G agit


sur L
B
(E) (resp. sur /
B
(E)) par la formule suivante
(gT)x = gTg
1
x,
pour T L
B
(E) (resp. T /
B
(E)), g G et x E. On remarque que, en gnral,
laction de G sur L
B
(E) est continue pour la topologie forte mais elle nest pas
continue pour la norme ; par contre, laction de G sur /
B
(E) est toujours continue.
Dnition 2.1.15. Un lment T L
B
(E) est dit G-continu si, pour tout x E,
lapplication g g.T est continue pour la norme. En particulier, si T /
B
(E), ou
T (A), alors T est G-continu.
Exemple 2.1.16. Soit B est une G-C

-algbre et E est un G-module hilbertien sur


B. On considre lespace C
c
(G, E) des fonctions support compact sur G valeurs
dans E muni des oprations suivantes : pour f, f
1
, f
2
C
c
(G, E), b B et g, t G,
(fb)(g) = f(g).b,
g(f)(t) = g(f(g
1
t)),
f
1
, f
2
)
B
=
_
G
f
1
(g), f
2
(g))
B
dg.
La compltion de C
c
(G, E) pour la norme |f| = |f, f)
B
|
1
2
B
est un G-module hil-
bertien sur B not L
2
(G, E). En particulier, L
2
(G, B) est un G-module hilbertien
sur B.
Chapitre 2. Morphisme de Baum-Connes tordu 55
Nous pouvons maintenant rappeler la dnition de cycle :
Dnition 2.1.17 (G. Kasparov). Un cycle G-quivariant sur (A, B) est la donne
dun triplet (E, , T), o :
(E, ) est un G-(A, B)-bimodule quivariant,
T L
B
(E) est impair (ie. T L
B
(E)
(1)
) et satisfait les proprits suivantes :
a A, (a)(T
2
1), [(a), T] /
B
(E),
T est G-continu et g G, gT T /
B
(E).
Un cycle est dgnr si pour tout a A, (a)(T
2
1) = 0 et [(a), T] = 0.
Pour simplier les notations, on note (E, T) le cycle (E, , T) quand on na pas
besoin de spcier la reprsentation .
On note E
G
(A, B) lensemble des cycles quivariants sur (A, B).
Dnition 2.1.18. Supposons maintenant quon a une troisime G-C

-algbre C et
: B C un -homomorphisme G-quivariant. Soit = (E, T) un cycle quivariant
sur (A, B). On pose

(E) := E
B
C
le C-module hilbertien obtenu par produit tensoriel interne et

() := (

(E),

(T)),
o

(T) = T 1, avec 1 L
C
(C) loprateur identit. Cette construction dnit
une application

: E
G
(A, B) E
G
(A, C).
Pour toute algbre de Banach B, on note B[0, 1] lalgbre des fonctions continues
sur [0, 1] valeurs dans B munie de la norme du supremum. Pour tout t [0, 1], on
note
t
: B[0, 1] B lvaluation en t.
Dnition 2.1.19. Deux cycles et dans E
G
(A, B) sont homotopes sil existe
un cycle dans E
G
(A, B[0, 1]) tel que
0,
() = et
1,
() = . Une homotopie est
alors un lment de E
G
(A, B[0, 1]).
Dnition 2.1.20. On note KK
G
(A, B) lensemble des classes dhomotopie dl-
ments de E
G
(A, B). Cest un groupe ablien pour la somme directe de cycles (ie.
si (E, , T) et (E

, T

) sont des cycles quivariants sur A et B, alors leur somme


directe (E E

, T T

) est un cycle quivariant sur A et B).


Dans le cas o le groupe G est trivial, on le note KK(A, B).
56
Fonctorialit. Avec les dnitions prcdentes, KK
G
(A, B) dnit un bifoncteur
de la catgorie des G-C

-algbres dans la catgorie des groupes abliens. Ce foncteur


est contravariant en A et covariant en B. En eet, si = (E, , T) est un cycle dans
KK
G
(A, B), un -homomorphisme G-quivariant : C A dnit un cycle

() := (E, , T) KK
G
(C, B).
Si : B C est un -homomorphisme G-quivariant, alors

() := (

(E), 1, T 1) KK
G
(A, C).
Exemples 2.1.21. 1. Si : A B est un -homomorphisme G-quivariant,
alors on note [] la classe du cycle (B, , 0) dans KK
G
(A, B) quil dnit.
Tout -homomorphisme G-quivariant dnit alors un cycle quivariant et on
peut alors penser les lments de KK
G
(A, B) comme tant des morphisme
G-quivariants gnraliss.
2. La K-thorie est un cas particulier de la KK-thorie : pour toute C

-algbre
B,
KK(C, B) = K
0
(B).
Remarque 2.1.22. De la mme faon que pour toute C

-algbre B on peut dnir


des groupes de K-thorie dordre suprieur K
n
(B) pour tout n 1, pour toutes
G-C

-algbres A et B, on peut dnir des groupes KK


G,n
(A, B) pour tout n Z.
Soient A et B des G-C

-algbres. On pose :
KK
G,n
(A, B) := KK
G
(A, B(1
n
)),
o B(1
n
) dsigne lespace des fonctions continues sur 1
n
valeurs dans B qui
tendent vers 0 linni. Donc,
KK
G,0
(A, B) = KK
G
(A, B).
Dans le cas particulier o n = 1, on peut dnir les groupes KK
G,1
(A, B) de la faon
suivante : E
G,1
(A, B) est lensemble des cycles quivariants gradus de faon triviale
et KK
G,1
(A, B) est lensemble des classes dhomotopie dlments dans E
G,1
(A, B).
Kasparov a montr le thorme de priodicit suivant :
Thorme 2.1.23 (Priodicit de Bott). Soient A et B deux G-C

-algbres et
n, m 0, alors :
si n + m est pair, KK
G
(A(1
m
), B(1
n
)) KK
G
(A, B),
Chapitre 2. Morphisme de Baum-Connes tordu 57
si n + m est impair, KK
G
(A(1
m
), B(1
n
)) KK
G
(A, B(1))
KK
G
(A(1), B) KK
G,1
(A, B).
Dnition 2.1.24. Soit X une espace G-propre (cf. 2.1.1) et G-compact (cest--
dire que X/G est un espace compact). La K-homologie G-quivariante (dordre 0)
de X est, par dnition,
K
G,0
(X) := KK
G
(C
0
(X), C).
Si lespace X nest pas G-compact, on pose
K
G,0
(X) := lim

KK
G
(C
0
(Y ), C),
o la limite inductive est prise sur les parties Y qui sont G-invariantes, G-compacts
et fermes de X.
Le thorme suivant dcrit les proprits les plus importantes de la KK-thorie
quivariante, dont le produit de Kasparov.
Thorme 2.1.25 (G. Kasparov, [Kas88]). Soit G un groupe localement compact et
soient A, B, C des G-C

-algbres. Il existe une application bilinaire appele produit


de Kasparov : pour i, j Z/2Z,
KK
G,i
(A, B) KK
G,j
(B, C) KK
G,i+j
(A, C)
(x, y) x
B
y
qui est associative et fonctorielle.
De plus, pour toute G-C

-algbre D, il existe un homomorphisme dextension de


scalaires :

D
: KK
G,i
(A, B) KK
G,i
(A D, B D)
(E, , T) (E D, 1, T 1)
et deux homomorphismes de descente :
j
G
: KK
G,i
(A, B) KK
i
(C

(G, A), C

(G, B))
j
G
r
: KK
G,i
(A, B) KK
i
(C

r
(G, A), C

r
(G, B)).
Ces morphismes sont tous fonctoriels.
Nous numrons dans la remarque suivante, les proprits les plus importantes
de cette thorie et que nous allons utiliser plus tard.
58
Remarque 2.1.26. 1. Le produit de Kasparov induit, en particulier, une action de
la KK-thorie sur la K-thorie, cest--dire un homomorphisme
KK(A, B) Hom(K
i
(A), K
i
(B))
x
_
p p
A
x
_
,
pour i = 0, 1.
2. De plus, on a que :
si : A B est un morphisme de G-C

-algbres et y est un lment de


KK
G,i
(B, C), alors
[]
B
y =

(y) KK
G,i
(A, C),
si : B C est un morphisme de G-C

-algbres et x est un lment de


KK
G,i
(A, B), alors
x
B
[] =

(x) KK
G,i
(A, C).
3. Si x KK
G,i
(A, B) et y KK
G
(C, C), alors

A
(y)
A
x = x
B

B
(y),
o,

A
: KK
G
(C, C) KK
G
(A, A) et
B
: KK
G
(C, C) KK
G
(B, B),
sont les morphismes dextension de scalaires. En particulier, si on prend
A = B = C, on remarque que KK
G
(C, C) est un anneau commutatif uni-
taire (1 = [Id
C
]). Les groupes KK
G,i
(A, B), KK
i
(C

(G, A), C

(G, B)) et
KK
i
(C

r
(G, A), C

r
(G, B)) sont des modules sur cet anneau.
4. Si x = (E, , T) E
G
(A, B) et y = (E

, T

) E
G
(B, C), alors
x
B
y = (E
B
E

, 1, H)
Pour la dnition de H, on renvoie le lecteur [Kas88] (voir aussi [Con94,
Chapter IV Appendix A]). Dans le cas simple o loprateur F (ou F

) est
trivial, loprateur H scrit facilement H = 1 F

(resp. H = F 1).
5. On peut donner facilement la dnition de la descente, par exemple dans le
cas des produits croiss maximaux, dune faon explicite : soit
= (E, , T) KK
G
(A, B).
Chapitre 2. Morphisme de Baum-Connes tordu 59
On considre lespace C
c
(G, E) des fonctions support compact sur G valeurs
dans E, qui admet une structure de C
c
(G, B)-module droite. On dnit un
produit scalaire sur C
c
(G, E) valeurs dans C
c
(G, B) par la formule suivante :
x, y)(g) =
_
G
s(x(s), y(s
1
g))
B
)ds,
o x, y C
c
(G, E). Le complt spar de C
c
(G, E) pour la norme
|x| = |x, x)|
1
2
C

(G,B)
,
est un C

(G, B)-module hilbertien not C

(G, E). Pour a C


c
(G, A), x
C
c
(G, E) et g G, on pose
(a.x)(g) := ( (a)x)(g) :=
_
G
(a(s))s
_
x(s
1
g)
_
ds
et (

Tx)(g) = T(x(g)). Alors, dans ce cas,


j
G
() := (C

(G, E), ,

T).
Le cas des produits croiss rduits scrit aussi de faon explicite et est com-
pltement analogue.
2.1.3 KK-thorie banachique de Laorgue
Dans [Laf02b], Laorgue a dni une thorie similaire la KK-thorie quiva-
riante de Kasparov mais pour les algbres de Banach qui a permis de pour prouver
la conjecture de Baum-Connes pour des groupes innis discrets ayant la proprit
(T). On rappelle quune preuve de la conjecture, pour un groupe localement
compact G, qui utilise la mthode du dual Dirac-Dirac (cf. introduction), et donc
la KK-thorie de Kasparov, implique forcment lexistence dun isomorphisme
entre la K-thorie de la C

-algbre maximale de G et la K-thorie de sa C

-algbre
rduite. De plus, elle utilise le fait que lon puisse construire une homotopie entre
un lment, appel lment de Kasparov, et lidentit dans KK
G
(C, C), ce
quil nest pas possible ds que le groupe a la proprit (T). Lide principale
de la KK-thorie de Laorgue, dite dsormais banachique, est de remplacer
les reprsentations unitaires de G dans des espaces de Hilbert dans la dnition
de KK
G
(C, C) par des reprsentations isomtriques de G dans des espaces de
Banach. Dans ce cadre, il nexiste pas de dicult analogue la proprit (T) (cf.
[Laf02b, Introduction]). Laorgue construit la KK-thorie banachique, partir de
60
la KK-thorie quivariante de Kasparov, en remplaant les modules hilbertiens par
des paires de modules de Banach en dualit.
Dans la suite une algbre de Banach B est un espace de Banach muni dune
structure de C-algbre telle que |ab|
B
|a|
B
|b|
B
pour a, b B. Elle est
non-dgnre si le sous-espace vectoriel BB est dense dans B. On va considrer
des algbres de Banach qui ne sont pas ncessairement unifres (cest--dire quelles
ne possdent pas ncessairement un lment unit). Si B est une algbre de Banach,
on note

B lalgbre unitarise de B, cest--dire

B = B C munie du produit
(a, ).(b, ) = (ab+b+a, ) et de la norme |(b, )|

B
= |b|
B
+[[, pour a, b B
et C. Llment unit de

B est 1

B
= (0, 1). On identie alors B avec son image
dans

B par lhomomorphisme b (b, 0).
Modules de Banach. Un B-module de Banach droite (resp. gauche) sur une
algbre de Banach B est un espace de Banach E, avec une norme que lon note |.|
E
,
muni dune structure de B-module droite (reps. gauche) telle que, pour x E,
b B,
|xb|
E
|x|
E
|b|
B
(reps. |bx|
E
|b|
B
|x|
E
).
Un B-module de Banach est non-dgnr si le sous-espace vectoriel EB (resp.
BE) de E est dense dans E.
Si B et C sont deux algbres de Banach, un morphisme dalgbres : B C
est un morphisme dalgbres de Banach si |(b)|
C
|b|
B
, cest--dire que lon ne
considre que les morphismes dalgbres de Banach qui sont de norme infrieure o
gale 1.
Soit B une algbre de Banach et soient E et F des B-modules de Banach,
gauche ou droite. Un morphisme de B-modules de Banach de E dans F est une
application linaire continue f : E F qui est un morphisme de B-modules au
sens algbrique. On pose :
|f| = sup
xE,x
E
=1
|f(x)|
F
.
Produit tensoriel projectif. Si B est une algbre de Banach, E est un B-module
de Banach droite et F est un B-module de Banach gauche, on note E

B
F
le complt spar du produit tensoriel algbrique E
alg
C
F pour la plus grande
semi-norme |.| telle que |x by xb y| = 0 et |x y| |x|
E
|y|
F
pour x E,
Chapitre 2. Morphisme de Baum-Connes tordu 61
y F et b B.
Fonctorialit. Soient B et C deux algbres de Banach et soit : B C un
morphisme dalgbres de Banach. tant donn E un B-module de Banach droite
non-dgnr, on dnit un C-module de Banach droite de la faon suivante : on
pose

(E) := E

C.
La structure de C-module sur

(E) est donne par la formule


(x c

)c = x c

c,
pour x E, c C et c



C. Ceci fait de

(E) un C-module de Banach droite


non-dgnr (cf. [Laf02b, 1.1]).
B-paires. Pour dnir la KK-thorie banachique, Laorgue introduit la notion de
paire de modules de Banach en dualit sur une algbre de Banach B, car, contrai-
rement aux espaces de Hilbert, les espaces de Banach ne sont pas autoduaux. Cette
notion est la base de son travail.
Dnition 2.1.27. Soit B une algbre de Banach. Une B-paire est la donne dun
couple despaces de Banach E = (E
<
, E
>
) o :
E
>
est un B-module de Banach droite non-dgnr,
E
<
est un B-module de Banach gauche non-dgnr,
et dun crochet
., .) : E
<
E
>
B
qui est une application C-bilinaire telle que :
1. b, x) = b, x),
2. , xb) = , x)b,
3. |, x)|
B
||
E
<|x|
E
>,
pour tout E
<
, x E
>
et b B.
Si E et F sont deux B-paires leur somme directe
E F := (E
<
F
<
, E
>
F
>
),
est une B-paire : la norme de (x, y) E
>
F
>
est |x| +|y|, la norme de (, )
E
<
F
<
est || +|| et le crochet est (, ), (x, y)) = , x) +, y).
Dnition 2.1.28. Soient E, F et G des B-paires. Un morphisme de B-paires
f : E F est un couple (f
<
, f
>
), o :
62
f
>
: E
>
F
>
est un morphisme de B-modules droite,
f
<
: F
<
E
<
est un morphisme de B-modules gauche,
tel que
, f
>
(x)) = f
<
(), x),
pour tout x E
>
et pour tout F
<
.
On note L(E, F) lespace des morphismes de B-paires de E dans F, ou L
B
(E, F)
quand on veut spcier lalgbre B sur laquelle les modules sont dnis. Cest un
espace de Banach muni de la norme
|f| = max(|f
<
|, |f
>
|).
Si f = (f
<
, f
>
) est un morphisme de B-paires de E dans F et g = (g
<
, g
>
) est un
morphisme de B-paires de F dans G, la compose de f et g est
g f := (f
<
g
<
, g
>
f
>
).
Elle appartient L(E, G).
Pour E
<
et y F
>
, on note [y)[ L(E, F) le morphisme de B-paires
dni par les formules
[y)[
>
: E
>
F
>
x y, x)
[y)[
<
: F
<
E
<
, y).
On dit quun lment de L
B
(E, F) est un oprateur de rang ni sil scrit comme
combinaison linaire de morphismes de la forme [y)[. On note /
B
(E, F) ladh-
rence dans L
B
(E, F) de lespace des oprateurs de rang ni. Un morphisme de
B-paires est dit compact sil appartient /
B
(E, F). On pose L
B
(E) = L
B
(E, E) et
/
B
(E) = /
B
(E, E).
Exemple 2.1.29. Si B est une C

-algbre et E est un B-module hilbertien avec


produit scalaire ., .) : E E B, alors la norme sur E dnie par
|x|
E
= |x, x)|
1
2
B
,
fait de E un espace de Banach. De plus, on a que |xb|
E
|x|
E
|b|
B
pour tout
b B et x E, donc E est un B-module de Banach droite qui est en plus non-
dgnr.
Chapitre 2. Morphisme de Baum-Connes tordu 63
On note E le B-module de Banach gauche tel quil existe une isomtrie C-
antilinaire : E E vriant
b

= (xb)

pour x E et b B. On pose x

, y) = x, y) pour x, y E. Laorgue a montr


que, sous ces hypothses, (E, E) est une B-paire.
Si de plus F est un deuxime B-module hilbertien et f : E F est un morphisme
de B-modules hilbertiens, on considre f

: F E ladjoint de f et on note f

lapplication ()f

()
1
: F E. Alors (f

, f) est un morphisme de B-paires de


(E, E) vers (F, F) et (f

, f) est compact si f est compact ([Laf02b, Proposition


1.1.4]).
Nous allons nous servir beaucoup de cette construction dans ce travail.
Dnition 2.1.30. Soient A et B deux algbres de Banach. Un (A, B)-bimodule
de Banach est la donne dun couple (E, ) o E est une B-paire et est un
morphisme dalgbres de Banach de A dans L
B
(E). Autrement dit, E = (E
<
, E
>
)
est un (A, B)-bimodule de Banach si :
E
>
est muni dune structure de A-module de Banach gauche,
E
<
est muni dune structure de A-module de Banach droite,
ces structures commutent avec les structures de B-module de Banach,
a, x) = , ax), pour a A, E
<
et x E
>
.
KK-thorie banachique. Considrons maintenant un groupe localement compact
G. Dornavant, une longueur sur G sera une fonction continue : G [0, +[
telle que (g
1
g
2
) (g
1
) + (g
2
) pour tous g
1
, g
2
G.
Une algbre de Banach B est une G-algbre de Banach si elle est munie dune
action par automorphismes isomtriques de G.
Soient A et B deux G-algbres de Banach et une longueur sur G.
Dnition 2.1.31. Un (G, )-(A, B)-bimodule de Banach est la donne dun couple
(E, ) o :
E = (E
<
, E
>
) est une B-paire muni dune action continue de G telle que :
|gx|
E
> e
(g)
|x|
E
>,
|g|
E
< e
(g
1
)
||
E
<,
64
pour tout g G, E
<
et x E
>
,
g(xb) = (gx)(gb),
g(b) = (gb)(g),
g(, x)) = g, gx)
pour tout g G, x E
>
, E
<
et b B.
Une B-paire avec ces proprits est appele une (G, )-B-paire.
: A L
B
(E) est un morphisme dalgbres de Banach G-quivariant.
Si E et F sont des (G, )-B-paires, T L(E, F) et g G, on note
g(T) := (gT
<
g
1
, gT
>
g
1
) L(E, F).
De mme que pour les bimodules hilbertiens, si la B-paire E est Z/2Z-gradue
(ie. E
<
et E
>
sont des espaces de Banach Z/2Z-gradus), on demande en plus que
laction continue de G sur E prserve la graduation.
Nous pouvons maintenant donner la dnition de cycle banachique quivariant.
Dnition 2.1.32 (V. Laorgue). Un cycle banachique (G, )-quivariant sur
(A, B) est la donne dun triplet (E, , T) o :
(E, ) est un (G, )-(A, B)-bimodule de Banach Z/2Z-gradu,
T L
B
(E) est impair et satisfait les proprits suivantes :
a A, (a)(Id
E
T
2
), [(a), T] /
B
(E),
lapplication g (a)(T g(T)) est continue de G dans /
B
(E).
De mme que dans le cas des cycles hilbertiens 2.1.17, on note (E, T) le cycle
banachique (E, , T) moins que lon ait besoin de spcier la reprsentation .
On note E
ban
G,
(A, B) lensemble des classes disomorphisme de cycles banachiques
G-quivariants, et par rapport la longueur , sur (A, B).
Dnition 2.1.33. Supposons maintenant quon a une troisime G-algbre de Ba-
nach C et un morphisme dalgbres de Banach : B C qui est G-quivariant.
Soit E = (E
<
, E
>
) une B-paire. On pose
(E)

:= (

(E
<
),

(E
>
)) = (

C

B
E
<
, E
>

C).
Alors

(E) est une C-paire appele image directe de E par le morphisme :


Chapitre 2. Morphisme de Baum-Connes tordu 65
le crochet est dni par la formule
c , x c

) = c(, x))c

C,
pour c, c



C, x E
>
et E
<
.
Si F = (F
<
, F
>
) est une autre B-paire et f = (f
<
, f
>
) est un morphisme de B-
paires de E dans F, alors

(f) := (1 f
<
, f
>
1)
est un morphisme de C-paires de

(E) dans

(F) et si f est un morphisme compact,


alors

(f) est compact.


Dans ce cas, si (E, , T) est un cycle banachique quivariant sur (A, B) alors, pour
tout a A, comme (a) appartient L
B
(E),

((a)) appartient L
C
(E) et donc
(

(E),

(T)) est un cycle banachique quivariant sur (A, C). Ceci dnit une
application

: E
ban
G,
(A, B) E
ban
G,
(A, C).
Dnition 2.1.34. Deux cycles , E
ban
G,
(A, B) sont homotopes sil existe un
cycle E
ban
G,
(A, B[0, 1]) tel que
0,
() = et
1,
() = , o, comme dans la cas
hilbertien, on note
t
: B[0, 1] B lvaluation en t [0, 1].
Dans [Laf02b], Laorgue donne la dnition de la KK-thorie banachique sui-
vante :
Dnition 2.1.35. On note KK
ban
G,
(A, B) lensemble des classes dhomotopie dl-
ments de E
ban
G,
(A, B). Cest un groupe ablien pour la somme directe de cycles dnie
de faon vidente. Si (E, T) est un cycle dans E
ban
G,
(A, B), on note [(E, T)] sa classe
dans KK
ban
G,
(A, B). Dans le cas o = 0, on omet dans la notation, dans le cas o
G est trivial, on le note KK
ban
(A, B).
Fonctorialit. Avec les dnitions prcdentes, il est clair que KK
ban
G,
(A, B) dnit
un bifoncteur de la catgorie des G-algbres de Banach dans la catgorie des groupes
abliens qui est contrevariant en A et covariant en B. En eet, si = [(E, , T)]
est un cycle dans KK
ban
G,
(A, B), un morphisme de G-algbres de Banach : C A
dnit un lment

() := [(E, , T)] KK
ban
G,
(C, B).
Si : B C est un morphisme de G-algbres de Banach, alors

() := [(

(E),

(T))] KK
ban
G,
(A, C).
66
Exemples 2.1.36. 1. Si : A B est un morphisme G-quivariant de G-
algbres de Banach, on note [] llment de KK
ban
G
(A, B) dni par (B, , 0),
o B muni du crochet b, b

) = bb

est une B-paire qui dnit un G-(A, B)-


bimodule de faon vidente et que lon considre gradue de faon triviale.
2. Pour toute algbre de Banach non-dgnre, Laorgue a dmontr lexistence
dun isomorphisme
: K
0
(B) KK
ban
(C, B),
fonctoriel en B tel que, dans le cas o B est unifre et p est un idempotent de
M
n
(B), alors (p) = ((B
n
p, pB
n
), 0).
Lexistence dune structure multiplicative dans KK
ban
, qui ressemble, par
exemple, celle donne par le produit de Kasparov dans le cas hilbertien, reste un
problme ouvert. Cependant, Laorgue a montr que KK
ban
agit sur la K-thorie :
Thorme 2.1.37 (V. Laorgue, [Laf02b]). Il existe un unique homomorphisme
: KK
ban
(A, B) Hom(K
i
(A), K
i
(B)),
pour i = 0, 1, qui est fonctoriel en A et en B et qui est linverse du morphisme
(cf. exemple 2.1.36) dans le cas o A = C.
De plus, pour toute G-algbre de Banach D, il existe un morphisme dextension de
scalaires :

ban
D
: KK
ban
G,
(A, B) KK
ban
G,
(A

D, B

D)
(E, T) (E

D, T

1).
Compatibilit avec la KK-thorie de Kasparov. Si A et B sont des G-C

-
algbres et E est un G-(A, B)-bimodule de Kasparov, soit E le B-module de Banach
gauche non-dgnr dtermin par E (cf. example 2.1.29). Alors G agit de faon
continue sur E et |gx|
E
|x|
E
pour tout g G et pour tout x E. Daprs
[Laf02b, proposition 1.14], le couple (E, E) est alors une G-B-paire et laction G-
quivariante de A sur E fait de (E, E) un G-(A, B)-bimodule de Banach. Pour toute
longueur sur G, on note lapplication
: KK
G
(A, B) KK
ban
G,
(A, B),
dtermine par lapplication
E
G
(A, B) E
ban
G,
(A, B)
(E, T)
_
(E, E), (T

, T)
_
.
Chapitre 2. Morphisme de Baum-Connes tordu 67
On a alors que la KK-thorie banachique est compatible la KK-thorie de Kas-
parov. En eet, Laorgue dmontre, par exemple, que KK
ban
et la KK-thorie de
Kasparov agissent de la mme faon sur la K-thorie, cest--dire que, pour tout
KK(A, B) et pour tout p K
i
(A),
p
A
et (())(p)
sont gaux dans K
i
(B).
Morphisme de descente. Laorgue construit aussi une variante banachique du
morphisme de descente. On rappelle que le morphisme de descente permet de pas-
ser de la KK-thorie quivariante la KK-thorie, non-quivariante, des produits
croiss. On doit alors, tout dabord, dnir une variante des produits croiss dans
le cadre des algbres de Banach qui, pour un groupe localement compact G et une
G-algbre de Banach A, gnralise lalgbre L
1
(G, A) des fonctions intgrables sur G
valeurs dans A. Laorgue introduit alors la notion de compltion inconditionnelle :
Dnition 2.1.38. Une compltion de C
c
(G) est une compltion inconditionnelle
si cest la compltion pour une norme |.| telle que, pour tout f
1
, f
2
C
c
(G),
[f
1
(g)[ [f
2
(g)[, g G implique que |f
1
| |f
2
|.
Une norme vriant cette proprit est appele norme inconditionnelle.
Exemples 2.1.39. 1. Lalgbre L
1
(G) est une compltion inconditionnelle de
C
c
(G).
2. On rappelle quun groupe discret a la proprit (RD), introduite par P.
Jolissaint dans [Jol90], par rapport la longueur , sil existe des constantes
C, s 1
+
telles que, pour tout f C
c
(), on a
|

(f)|

2
()
C|f|
,s
,
o

est la reprsentation rgulire de dans l


2
() et, pour f C
c
(),
|f|
,s
:= (

[f()[
2
(1 + ())
2s
)
1
2
,
dnit une norme l
2
pondre sur .
Si a la proprit (RD) alors, pour un s assez grand,
H
s

() := f : C [ |f|
,s
<
est une algbre de Banach pour la convolution de fonctions et cest une
compltion inconditionnelle de C
c
().
68
3. Soit G un groupe de Lie semi-simple rel. On note o
s
(G) le complt-spar
de C
c
(G) pour la norme
|f|
S
s
(G)
= sup
gG
[f(g)[(g)
1
(1 + log |g|)
s
,
o est une fonction dHarish-Chandra sur G, |.| est une norme matricielle
sur G, s 1
+
et f C
c
(G). Alors, pour un s assez grand, o
s
(G) est
une algbre de Banach pour la convolution et cest aussi une compltion
inconditionnelle de C
c
(G) (cf. [Laf02b, Chapitre 4]).
4. La C

-algbre rduite dun groupe localement compact G nest pas en gnral


un compltion inconditionnelle de C
c
(G).
La dnition suivante permet de construire des variantes banachiques des pro-
duits croiss, dnis dans la dnition 2.1.6 dans le cas hilbertien, relatifs toute
norme inconditionnelle.
Dnition 2.1.40. Soit B(G) une compltion inconditionnelle de C
c
(G) et soit A
une G-algbre de Banach. Pour toute longueur sur G, on note B

(G, A) le complt-
spar de C
c
(G, A) par rapport la norme :
|f|
B

(G,A)
= |g e
(g)
|f(g)|
A
|
B(G)
.
Si = 0, on note B(G, A).
Laorgue dmontre alors le thorme suivant :
Thorme 2.1.41 (V. Laorgue, [Laf02b]). Pour toute compltion inconditionnelle
B(G) et pour toutes G-algbres de Banach A et B, il existe un homomorphisme de
descente
j
B
: KK
ban
G,
(A, B) KK
ban
(B

(G, A), B(G, B))


fonctoriel en A et en B, compatible aux images directes et lhomotopie.
Remarque 2.1.42. Laorgue dmontre aussi que le morphisme de descente bana-
chique est compatible avec le produit de Kasparov et avec laction de KK
ban
sur la
K-thorie. Lnonc est le suivant :
Soit B(G) une compltion inconditionnelle. Si A, B et C sont des G-C

-algbres et
KK
G
(A, B) et KK
G
(B, C), alors,
(j
B
(
B
)) = (j
B
()) (j
B
()),
dans Hom
_
K(B(G, A)), K(B(G, C)
_
.
Chapitre 2. Morphisme de Baum-Connes tordu 69
2.2 Morphisme de Baum-Connes tordu
Nous sommes maintenant prts pour dnir le morphisme de Baum-Connes tordu
par une reprsentation non-unitaire.
2.2.1 Produits Croiss tordus
Soit G un groupe localement compact et soit dg une mesure de Haar gauche sur
G. tant donne une G-C

-algbre A, on rappelle que lon note C


c
(G, A) lespace
vectoriel des fonctions continues support compact sur G valeurs dans A, muni
de la structure dalgbre donne par la convolution de fonctions :
(f
1
f
2
)(g) =
_
G
f
1
(g
1
)g
1
(f
2
(g
1
1
g))dg
1
,
pour f
1
, f
2
C
c
(G, A). On reprsente tout lment g a(g) de C
c
(G, A) par lin-
tgrale formelle
_
G
a(g)e
g
dg, o e
g
est une lettre formelle qui satisfait les proprits
donnes dans la section 2.1.2. tant donne une reprsentation de dimension nie
(, V ) de G, on considre lapplication suivante :
C
c
(G, A) C
c
(G, A) End(V )
_
G
a(g)e
g
dg
_
G
a(g)e
g
(g)dg.
Dnition 2.2.1. Le produit crois (resp. produit crois rduit) de A et G tordu
par la reprsentation , not A

G (resp. A

r
G), est le complt (spar) de
C
c
(G, A) pour la norme :
|
_
G
a(g)e
g
dg|
A

G
= |
_
G
a(g)e
g
(g)dg|
C

(G,A)End(V )
,
(resp. |.|
C

r
(G,A)End(V )
) o C

(G, A) End(V ) (resp.C

r
(G, A) End(V )) est le
produit tensoriel minimal de C

-algbres.
Remarque 2.2.2. 1. Si est une reprsentation unitaire, alors
A

G = C

(G, A) et A

r
G = C

r
(G, A).
2. Si A = C, alors
/

(G) := C

G et /

r
(G) := C

r
G,
(cf. Chapitre 1).
70
3. Soit C

(G, A) V le module hilbertien construit par produit tensoriel hilber-


tien externe sur C

(G, A) C = C

(G, A). Lapplication


e
g

_
h v e
g
h (g)v
_
,
pour g G, h C
c
(G, A) et v V , induit un morphisme dalgbres de Banach
A

G L
C

(G,A)
(C

(G, A) V ).
La mme application induit aussi un morphisme dalgbres de Banach
A

r
G L
C

r
(G,A)
(C

r
(G, A) V ),
o C

r
(G, A) V est le C

r
(G, A)-module hilbertien construit par produit ten-
soriel externe.
Dnition 2.2.3. Soient B et C deux G-C

-algbres une reprsentation de di-


mension nie de G et : B C un morphisme G-quivariant de C

-algbres. On
note

lapplication linaire continue de C
c
(G, B) dans C
c
(G, C) telle que pour tout
f C
c
(G, B),

(f)(g) = (f(g)).
Le lemme suivant dit que cette construction est fonctorielle.
Lemme 2.2.4. Lapplication

se prolonge en un morphisme dalgbres de Banach

G : B

G C

G (resp.

r
G : B

r
G C

r
G).
Dmonstration. En eet,
|(

G)(f)|
C

G
= |
_
G
(f(g))e
g
(g)dg|
C

(G,C)End(V )
|(C

(G, ) Id
V
)
_
G
f(g)e
g
(g)dg|
C

(G,C)End(V )
|C

(G, ) Id
V
|
Hom(C

(G,B)End(V ),C

(G,C)End(V ))
|f|
B

G
,
o C

(G, ) : C

(G, B) C

(G, C) est le morphisme induit par . Autrement dit,


on a un diagramme commutatif
C
c
(G, B)

G

C

(G, B) End(V )
C

(G,)Id
V

C
c
(G, C)

C

G

C

(G, C) End(V ).
Il en est de mme dans le cas du produit crois tordu rduit.
Chapitre 2. Morphisme de Baum-Connes tordu 71
Soit EG lespace classiant de G pour les actions propres (cf. 2.1.3). Pour toute
G-C

-algbre A, on note K
top
(G, A) la K-homologie G-quivariante de EG valeurs
dans A introduite dans [BCH94], cest--dire :
K
top
(G, A) = lim

KK
G
(C
0
(X), A),
o la limite inductive est prise parmi les G-sous-espace propres X, ferms de EG et
tels que X/G soit compact.
Le but de cette section est de construire, pour tout groupe localement compact G,
pour toute reprsentation de dimension nie de G et pour toute G-C

-algbre A,
deux morphismes de groupes :

: K
top
(G, A) K(A

G) et
A
,r
: K
top
(G, A) K(A

r
G).
2.2.2 Flche de descente tordue
Soit G un groupe localement compact et soit (, V ) une reprsentation de di-
mension nie de G. Pour toutes G-C

-algbres A et B, on veut dnir des variantes


des morphismes de descente dnis et nots j
G
et j
G
r
par Kasparov dans [Kas88,
Theorem 3.11] (cf. 2.1.25) :
j

: KK
G
(A, B) KK
ban
(A

G, B

G)
j
,r
: KK
G
(A, B) KK
ban
(A

r
G, B

r
G).
On remarque que, comme A

G et B

G sont des algbres de Banach, ces


morphismes ont ncessairement une image dans KK
ban
et non pas dans la KK-
thorie de Kasparov. La construction est analogue la construction de la descente
banachique dans le cas des compltions inconditionnelles introduites dans [Laf02b,
Section 1.5].
Soient A et B deux G-C

algbres et soit E un G-(A, B)-bimodule de Kasparov.


On rappelle que lon note E le G-B-module de Banach gauche non-dgnr dter-
min par E (cf. exemple 2.1.29 et [Laf02b, Section 1.1]) tel quil existe une isomtrie
C-antilinaire : E E vriant b

= (xb)

pour x E et b B. On dnit
alors un crochet ., .) : E E B que lon note ., .) par abus de notation, par :
x

, y) = x, y), pour x, y E, de sorte que (E, E) soit un G(A, B)-bimodule de


Banach. Si T L
B
(E) lapplication T

= ()T

()
1
dnit un lment de L
B
(E).
On rappelle que pour toute longueur sur le groupe G, on note lapplication :
: KK
G
(A, B) KK
ban
G,
(A, B),
72
dtermine par lapplication :
E
G
(A, B) E
ban
G,
(A, B)
(E, T)
_
(E, E), (T

, T)
_
.
Si B est une algbre de Banach, E est un B-module de Banach droite et F est
une B-module de Banach gauche, on rappelle que lon note E

B
F le produit
tensoriel projectif (cf. 2.1).
On considre lespace vectoriel C
c
(G, E) (resp. C
c
(G, E)) des fonctions continues
support compact sur G valeurs dans E (resp. valeurs dans E) et on note
x C
c
(G, E) sous la forme x =
_
G
x(g)e
g
dg (resp. C
c
(G, E) sous la forme
=
_
G
e
g
(g)dg).
Soient C

(G, E) et C

r
(G, E) les complts de C
c
(G, E) dnis comme dans
[Kas88, Denition 3.8] (cf. remarque 2.1.26 point 5). On considre alors le mo-
dule hilbertien C

(G, E) End(V ) dni sur le produit tensoriel de C

-algbres
C

(G, B) End(V ) et construit par produit tensoriel externe (cf. dnition 2.1.12).
De mme, soit C

r
(G, E) End(V ) le (C

r
(G, B) End(V ))-module hilbertien.
Dnition 2.2.5. On note E

G (resp. E

r
G) ladhrence de limage de C
c
(G, E)
dans C

(G, E) End(V ) (resp. C

r
(G, E) End(V )) par lapplication suivante :
C
c
(G, E) C
c
(G, E) End(V )
_
G
x(g)e
g
dg
_
G
x(g)e
g
(g)dg.
De mme, on note E

G (resp. E

r
G) ladhrence de limage de C
c
(G, E) dans
C

(G, E) End(V ) (resp. C

r
(G, E) End(V )) par lapplication :
C
c
(G, E) C
c
(G, E) End(V )
_
G
e
g
(g)dg
_
G
e
g
(g) (g)dg.
On veut dnir une structure de B

G-paire (resp. B

r
G-paire) sur le couple
(E

G, E

G) (resp. (E

r
G, E

r
G)) que lon note E

G (resp. E

r
G)
par abus de notation. On donne alors la dnition suivante, qui est compltement
analogue la dnition [Laf02b, Dnition 1.5.3] :
Dnition 2.2.6. Soient x =
_
G
x(g)e
g
dg dans C
c
(G, E), =
_
G
e
g
(g)dg dans
C
c
(G, E) et b =
_
G
b(g)e
g
dg dans C
c
(G, B).
Chapitre 2. Morphisme de Baum-Connes tordu 73
On pose
x.b =
_
G
_
G
x(t)t(b(t
1
g))dte
g
dg
b. =
_
G
e
g
_
G
g
1
(b(t))(t
1
g)dtdg
, x) =
_
G
_
G
t((t), x(t
1
g)))dte
g
dg.
Ceci dnit une structure de B

G-paire (resp. B

r
G-paire) sur (E

G, E

G)
(resp. (E

r
G, E

r
G)).
Maintenant, comme on a suppos de plus que E est muni dune structure de
A-B-bimodule hilbertien, pour A une G-C

-algbre, on va montrer la proposition


suivante :
Proposition 2.2.7. La paire E

G (resp. E

r
G) est un (A

G, B

G)-bimodule
(resp. (A

r
G, B

r
G)-bimodule) de Banach.
Dmonstration. Soit a =
_
G
a(g)e
g
dg C
c
(G, A). Lalgbre C
c
(G, A) agit sur
C
c
(G, E) de la faon suivante :
a.x =
_
G
_
G
a(t)t(x(t
1
g))dte
g
dg,
.a =
_
G
e
g
_
G
(t
1
g)
1
((t)a(t
1
g))dtdg.
On doit montrer que, avec ces formules, E

G est un A

G-module de Banach
gauche, E

G un A

G-module de Banach droite, que ces structures commutent


avec les structures de B

G-modules qui dcoulent de la dnition prcdente et


que, pour tout lment a de A

G,
a, x) = , ax),
pour tout E

G et pour tout x E

G. Mais ceci dcoule immdiatement


du fait que
_
A

G E

G
E

G B

G
_
est un sous-espace de
_
C

(G, A) C

(G, E)
C

(G, E) C

(G, B)
_
End(V )
et que linclusion est une isomtrie.
Le mme raisonnement montre lnonc pour les produits croiss rduits.
74
Considrons maintenant un lment de E
G
(A, B) que lon note (E, T).
Soit T

G : E

G E

G (resp. T

r
G : E

r
G E

r
G) le morphisme
de B

G-paires (resp. B

r
G-paires) dni sur x C
c
(G, E) et sur C
c
(G, E)
de la faon suivante :
(T

G)
>
x(g) = T
>
(x(g)),
(T

G)
<
(g) = T
<
((g)),
(resp. T

r
G). Alors,
|T

G|
L(E

G)
|T|
L(E)
,
(de mme pour le produit crois rduit). Ces oprateurs sont analogues aux opra-
teurs /(G, T) et

T dnis dans [Laf02b, Dnition 1.5.3] et [Kas88, Theorem 3.11]
respectivement.
Lemme 2.2.8. Llment (E

G, T

G) (resp. (E

r
G, T

r
G)) ainsi dni
appartient E
ban
(A

G, B

G) (resp. E
ban
(A

r
G, B

r
G)).
Dmonstration. On va montrer le lemme dans le cas du produit crois maximal, le
cas rduit tant compltement analogue.
On doit montrer que, pour tout lment a C
c
(G, A) et pour tout g G, les
oprateurs [a, T

G], a(1(T

G)
2
) et a(g(T

G)T

G) sont des oprateurs


compacts de E

G.
On remarque dabord que loprateur [y)[ /
B

G
(E

G), pour C
c
(G, E)
et y C
c
(G, E), agit sur x C
c
(G, E) et C
c
(G, E) par les formules suivantes :
[y)[
>
(x)(g) =
_
G
K
>
s
(s(x(s
1
g)))ds,
[y)[
<
()(g) =
_
G
(s
1
g)
1
(K
<
s
1
g
((s)))ds,
o K
g
=
_
G
[y(s))g((s
1
g))[ds, pour tout g G, appartient /
B
(E).
Dnition 2.2.9. tant donn un lment S = (S
g
)
gG
C
c
(G, /
B
(E)), o E est
vu comme la B-paire (E, E), on dnit un oprateur

S dans L
B

G
(E

G) de la
manire suivante :

S
>
(x)(g) =
_
G
S
>
s
(s(x(s
1
g)))ds,

S
<
()(g) =
_
G
(s
1
g)
1
(S
<
s
1
g
((s)))ds,
pour x C
c
(G, E) et C
c
(G, E).
Chapitre 2. Morphisme de Baum-Connes tordu 75
Proposition 2.2.10. Lapplication qui un lment S dans C
c
(G, /
B
(E)) associe
llment

S dans L
B

G
(E

G) dni ci-dessus, induit un morphisme dalgbres


de Banach de /(E)

G dans /(E

G).
Nous allons dmontrer cette proposition plus tard. Remarquons dabord quon a
le lemme suivant
Lemme 2.2.11. Pour tout a C
c
(G, A) et pour tout g G, posons :
S
1
=
_
t a(t)(t(T) T) + [a(t), T]
_
,
S
2
=
_
t a(t)t(1 T
2
)
_
,
et S
3
=
_
t a(t)t((gT) T)
_
,
de sorte que S
i
C
c
(G, /(E)) pour i = 1, .., 3. Alors,
[a, T

G] =

S
1
,
a(1 (T

G)
2
) =

S
2
,
a(g(T

G) T

G) =

S
3
,
o, pour i = 1, .., 3,

S
i
est llment de L
B

G
(E

G) donn partir de S
i
par la
dnition 2.2.9.
Dmonstration. Soit a C
c
(G, A). Pour x =
_
G
x(g)e
g
dg C
c
(G, E), calculons
[a, T

G]
>
(x) :
[a, T

G]
>
(x) =
_
G
_
_
G
a(t)t(T
>
(x(t
1
g)))dt
_
e
g
dg
(T

G)
>
_
g
_
G
a(t)t(x(t
1
g))dt
_
,
donc, pour tout g G,
[a, T

G]
>
(x)(g) =
_
G
a(t)t(T
>
(x(t
1
g))) T
>
(a(t)t(x(t
1
g)))dt,
=
_
G
_
a(t)(t(T) T)
>
+ [a(t), T]
>
_
(t(x(t
1
g)))dt.
De mme, pour =
_
G
e
g
(g)dg C
c
(G, E), on a :
[a, T

G]
<
() = ((T

G)
<
())a ((T

G)
<
(a)),
=
_
G
e
g
_
G
(t
1
g)
1
(T
<
((t))a(t
1
g))dtdg
(T

G)
<
(
_
G
e
g
_
G
(t
1
g)
1
((t)a(t
1
g))dtdg),
76
donc, pour tout g G,
[a, T

G]
<
()(g) =
_
G
(t
1
g)
1
_
T
<
((t))a(t
1
g)
_
dt

_
G
T
<
_
(t
1
g)
1
((t)a(t
1
g))
_
dt
=
_
G
(t
1
g)
1
_
T
<
((t))a(t
1
g) T
<
((t)a(t
1
g)),
(t
1
g)T
<
((t)a(t
1
g)) + T
<
((t)a(t
1
g))
_
dt
=
_
G
(t
1
g)
1
_
[a(t
1
g), T]
<
(t),
+
_
a(t
1
g)((t
1
g)T T)
_
<
(t)
_
dt.
Donc, si pour tout t G on pose
S
1
(t) := a(t)(t(T) T) + [a(t), T],
de sorte que S
1
dnisse un lment de C
c
(G, /(E)), alors [a, T

G] =

S
1
.
Calculons maintenant a(1 T

G
2
)
>
. Soit x C
c
(G, E), on a :
_
a(1 T

G
2
)
_
>
(x) = ax a(T

G
2,>
)x,
donc, pour tout g G,
_
a(1 T

G
2
)
_
>
(x)(g),
=
_
G
a(t)t(x(t
1
g))dt
_
G
a(t)t
_
T
2,>
x(t
1
g)
_
dt,
=
_
G
a(t)t
_
(1 T
2,>
)x(t
1
g)
_
dt,
=
_
G
a(t)t(1 T
2,>
)tx(t
1
g)dt.
De mme, pour C
c
(G, E),
(a(1 T

G
2
))
<
() = a (T

G
2,<
)(a),
Chapitre 2. Morphisme de Baum-Connes tordu 77
do, pour tout g G, on a :
(a(1 T

G
2
))
<
()(g) = a(g) T
2,<
(a(g)),
=
_
G
(t
1
g)
1
((t)a(t
1
g)) T
2,<
((t
1
g)
1
(t)a(t
1
g))dt,
=
_
G
(t
1
g)
1
_
(t)a(t
1
g) (t
1
g)T
2,<
((t)a(t
1
g))
_
dt,
=
_
G
(t
1
g)
1
_
(t
1
g)(1 T
2,<
)((t)a(t
1
g))
_
dt,
=
_
G
(t
1
g)
1
_
a(t
1
g)(t
1
g)(1 T
2
)
<
((t))
_
dt.
Si, pour tout t G, on pose
S
2
(t) := a(t)t(1 T
2
),
alors S
2
C
c
(G, /(E)) et a(1 T

G
2
) =

S
2
.
Prenons maintenant g G. De la mme faon, on calcule a(g(T

G) T

G).
Par exemple, pour x C
c
(G, E),
a(g(T

G)T

G)
>
x(s),
=
_
G
a(t)t(g(T
>
)(x(t
1
s))) a(t)tT
>
(t(x(t
1
s)))dt,
=
_
G
a(t)t((gT
>
) T
>
)(t(x(t
1
s)))dt,
et si on pose :
S
3
(t) := a(t)t((gT) T),
alors S
3
C
c
(G, /(E)) et a(g(T

G) T

G) =

S
3
.
Nous allons maintenant montrer la proposition 2.2.10 qui, grce au lemme 2.2.11,
implique le lemme 2.2.8. La dmonstration repose sur le lemme suivant analogue au
lemme 1.5.6 de [Laf02b] :
Lemme 2.2.12. Soit S = (S
g
)
gG
C
c
(G, /(E)), o E est vu comme B-paire. Soit

S L
B

G
(E

G) loprateur dni comme dans la dnition 2.2.9. Alors,


|

S|
L
B

G
(E

G)

_
G
|S
g
|
K(E)
|(g)|
End(V )
dg, (2.2.1)
78
et

S est un oprateur compact. Plus prcisment, pour tout > 0, il existe un n N,
et pour i = 1, ..., n il existe des lments y
i
C
c
(G, E),
i
C
c
(G, E) tels que, si on
pose pour tout g G,
K
g
=
_
G
n

i=1
[y
i
(t))g(
i
(t
1
g))[dt,
alors :
K = (K
g
)
gG
C
c
(G, /(E)),
si on considre y
i
et
i
comme des lments de E

G et E

G respectivement,
on a

K =
n

i=1
[y
i
)
i
[,
et
_
G
|S
g
K
g
|
K(E)
|(g)|
End(V )
dg . (2.2.2)
Dmonstration. Montrons dabord que lingalit (2.2.1) est vraie. Pour ceci, on
considre lalgbre suivante :
_
/(E) E
E B
_
. Le produit crois tordu par de G
avec cette algbre vrie lgalit :
_
/(E) E
E B
_

G =
_
/(E)

G E

G
E

G B

G
_
.
Ceci implique que /(E)

G est une sous-algbre de L(E

G). Plus prcis-


ment, daprs [Kas88, Theorem 3.7] on a que le produit tensoriel de C

-algbres
C

(G, /(E)) End(V ) est une sous-algbre du produit tensoriel /(C

(G, E))
End(V ), et donc elle agit sur le module hilbertien C

(G, E) End(V ). Dautre part,


par dnition /(E)

G est une sous-algbre ferme de C

(G, /(E)) End(V )


(pour la norme de produit tensoriel de C

-algbres |.|
C

(G,K(E))End(V )
) et E

G
est un sous-module ferm de C

(G, E)End(V ) par construction. Ceci implique que


/(E)

G agit aussi sur E

G et cest donc une sous-algbre ferme de L(E

G),
do lgalit :
|

S|
L(E

G)
= |S|
K(E)

G
.
De plus,
|S|
K(E)

G
= |
_
G
S
g
e
g
(g)dg|
C

(G,K(E))End(V )
,
|
_
G
S
g
e
g
(g)dg|
L
1
(G,K(E)End(V ))
,

_
G
|S
g
(g)|
K(E)End(V )
dg.
Chapitre 2. Morphisme de Baum-Connes tordu 79
Donc,
|S|
K(E)

G

_
G
|S
g
|
K(E)
|(g)|
End(V )
dg,
do lingalit (2.2.1).
Montrons maintenant que

S est compact. En utilisant des partitions de lunit,
on voit facilement quil sut de montrer le rsultat pour les lments S dans
C
c
(G, /(E)) de la forme S
g
= f(g)[y)[, pour g G, avec f C
c
(G), y E
et E.
Soit f une fonction support compact sur G. Soit > 0. Il existe une fonction
positive C
c
(G) support compact contenu dans un voisinage de lidentit 1 de
G, telle que
_
G
= 1, et telle que les conditions suivantes soient vries
1
_
G
[f(g) f(g)[ |(g)|
End(V )
dg|y|
E
||
E
<

2
et
_
G
_
_
G
[(t)f(t
1
g)[ | t|
E
dt
_
|(g)|
End(V )
dg|y|
E
<

2
.
Prenons n = 1 et pour tout g G, posons
y
1
(g) = (g)y et
1
(g) = f(g)g
1
(),
de sorte que K
g
=
_
G
[(t)y)f(t
1
g)t()[dt dnisse un oprateur

K de /(E

G).
On a alors,
|S
g
K
g
|
K(E)
=
_
_
_f(g)

y
_

_
G
(t)f(t
1
g)

y
_
t

dt
_
_
_
K(E)
,

_
_
_f(g)

y
_

_
G
(t)f(t
1
g)

y
_

dt
_
_
_
K(E)
+
_
_
_
_
G
(t)f(t
1
g)

y
_

dt
_
G
(t)f(t
1
g)

y
_
t

dt
_
_
_
K(E)
,

_
_
_
_
f(g) f(g)
_

y
_

_
_
_
K(E)
+
_
G
_
_
_

(t)f(t
1
g)y
_
t

_
_
_
K(E)
dt,

f(g) f(g)

_
_
y
_
_
E
_
_

_
_
E
+
_
G

(t)f(t
1
g)

_
_
y
_
_
E
_
_
t
_
_
E
dt.
1
Pour que ces conditions soient vries il sut que le support de soit assez proche de 1.
80
On a alors les ingalits suivantes
|

S

K|
L(E

G)

_
G
|S
g
K
g
|
K(E)
|(g)|
End(V )
dg,

_
G
_

f(g) f(g)

_
_
y
_
_
E
_
_

_
_
E
+
_
G

(t)f(t
1
g)

|y|
E
_
_
t
_
_
E
dt
_
|(g)|
End(V )
dg
< .
Do lingalit 2.2.2.
En appliquant le lemme 2.2.12 S
1
, S
2
et S
3
on termine la dmonstration du
fait que (E

G, T

G) est un lment de E
ban
(A

G, B

G).
Dnition 2.2.13. Pour toutes G-C

-algbres A et B et pour toute reprsentation


de dimension nie de G, on dnit un morphisme de groupes de KK
G
(A, B) dans
KK
ban
(A

G, B

G) (resp. KK
ban
(A

r
G, B

r
G)) que lon note j

(resp. j
,r
)
par la formule suivante : pour [E, T] KK
G
(A, B), on pose
j

([E, T]) := [E

G, T

G] et j
,r
([E, T]) := [E

r
G, T

r
G].
On appelle ce morphisme morphisme de descente tordu (resp. morphisme de descente
tordu rduit).
2.2.3 Fonctorialit
La proposition suivante montre la fonctorialit des morphismes de descente tor-
dus.
Proposition 2.2.14. Les applications
j

: KK
G
(A, B) KK
ban
(A

G, B

G),
j
,r
: KK
G
(A, B) KK
ban
(A

r
G, B

r
G),
dnies dans la dnition 2.2.13 sont des morphismes fonctoriels en A et en B. De
plus, ils sont tels que si A = B alors j

(1
A
) = 1
A

G
et j
,r
(1
A
) = 1
A

r
G
.
Dmonstration. On voit facilement que j

(1
A
) = 1
A

G
. Montrons maintenant que
j

est fonctoriel. La dmonstration pour j


r,
est compltement analogue.
Chapitre 2. Morphisme de Baum-Connes tordu 81
Soit
1
un morphisme de G-C

-algbres de A
1
dans A. Notons
1

G le morphisme
dalgbres de Banach de A
1

G dans A

G quil dnit. Il est facile de voir que


pour tout KK
G
(A, B) on a,
j

1
()) = (
1

G)

(j

()),
ce qui donne la fonctorialit en A.
Soit maintenant : B C un morphisme de G-C

-algbres. On va montrer que


pour tout KK
G
(A, B),
j

()) = (

G)

(j

()),
dans KK
ban
(A

G, C

G).
Soit (E, T) un reprsentant de dans E
G
(A, B). Par dnition,
(

G)

(j

(E))
>
= E

G,
(

G)

(j

(E))
<
=

C

G
E

G,
o

est le produit tensoriel projectif, et,


j

(E))
>
= (E
B
C)

G
j

(E))
<
= (E
B
C)

G,
o est le produit tensoriel hilbertien interne.
On note
(

G)

(j

(E)) := (

G)

(j

(E))
>
et j

(E)) := j

(E))
>
,
(

G)

(j

(E)) := (

G)

(j

(E))
<
et j

(E)) := j

(E))
<
,
pour simplier les notations.
Daprs [Kas88, Lemma 3.10], lapplication
: C
c
(G, E) C
c
(G, C) C
c
(G, E C)
x c
_
g
_
G
x(s) sc(s
1
g)ds
_
,
dnit un isomorphisme de C

(C, G)-modules hilbertiens


C

(G, E)
C

(G,B)
C

(G, C) C

(G, E
B
C).
82
On a alors,
|(x c)|
(E
B
C)

G
= |(x c)|
C

(G,E
B
C)End(V )
|x|
C

(G,E)End(V )
|c|
C

(G,C)End(V )
ce qui implique que |(x c)|
(E
B
C)

G
|x c|
(E

G)
.
Lapplication dnit alors un morphisme de C

G-modules de Banach droite


de norme infrieure ou gale 1 :
: (E

G)

G
(

C

G) (E
B
C)

G,
que lon note encore par abus de notation. On note lanalogue de pour E.
On va alors construire lhomotopie cherche laide de cnes de la manire suivante
(cf. [Par06, Section 1.9].
Soit
E

G = (h, x) j

(E))[0, 1] (

G)

(j

(E))[h(0) = (x)
muni de la norme |(h, x)| = max
_
sup
t[0,1]
|h(t)|, |x|
_
, le cne associ .
De mme, on dnit
E

G = (h, x) j

(E))[0, 1] (

G)

(j

(E))[h(0) = (x),
qui est le cne associ .
Alors le couple
(E

G, E

G)
dnit un (A

G, (C

G)[0, 1])-bimodule de Banach que lon note E

G par
abus de notation.
Dautre part, on dnit un oprateur T

G L(E

G) de la faon suivante :
(T

G)
>
(h, e c) =
_
t (

(T)

G)
>
h(t), (

G)

(T

G)
>
(x)
_
=
_
(g, t)

(T)
>
(h(t)(g)), (g T
>
(e(g))) c
_
,
pour (h, e c) E

G, et on dnit (T

G)
<
de faon analogue.
Remarque 2.2.15. Loprateur (T

G) ainsi dni est le cne du couple dopra-


teurs
_
(

G)

(T

G),

(T)

G
_
, not
Z
_
(

G)

(T

G),

(T)

G
_
et dni dans [Par06, Denition 1.9.14].
Chapitre 2. Morphisme de Baum-Connes tordu 83
Lemme 2.2.16. Llment (E

G, T

G) appartient E
ban
(A

G, (C

G)[0, 1])
et il ralise une homotopie entre j

()) et (

G)

(j

()).
Dmonstration. On doit dabord montrer que pour tout a A

G et pour tout
g G, les oprateurs suivants :
[a, (T

G)], a(1 (T

G)
2
), a(g(T

G) T

G)
sont des oprateurs compacts de E

G.
Soit a A

G et g G. Pour S = (S
t
)
tG
C
c
(G, /(E)), on note

(S) := (

(S)
t
)
tG
llment de C
c
(G, /(

(E)) tel que

(S)
t
=

(S
t
).
On rappelle que, tant donn S = (S
t
)
t
C
c
(G, /(E)), on note

S llment de
L
B

G
(E

G) associ S et donn par la dnition 2.2.9.


On considre lapplication suivante :
: C
c
(G, /(E)) L(E

G)
S
_
(h, x)
_
t

(S)(h(t)), (

G)

S)x
_
_
.
Soient S
1
, S
2
et S
3
les lments de C
c
(G, /(E)) donns par le lemme 2.2.11 tels
que :

S
1
= [a, T

G] ,

S
2
= a(1 (T

G)
2
) et

S
3
= a(g(T

G) T

G).
Par des calculs, il est facile de vrier les galits suivantes :
(S
1
) = [a, (T

G)],
(S
2
) = a(1 (T

G)
2
)
et (S
3
) = a(g(T

G) T

G).
En eet, on a par exemple, pour x C
c
(G, E) et C
c
(G, E),
[a,

(T)

G]
>
x(t) =
_
G
(

(S
1,s
)
>
)(s(x(s
1
)))ds,
[a,

(T)

G]
<
(t) =
_
G
(s
1
t)
1
(

(S
1,s
1
t
)
<
)((s))ds,
pour tout t G, donc,
[a,

(T)

G] =

(S
1
).
84
De mme,
[a, (

G)

(T

G)] = (

G)

S
1
).
Et donc, les oprateurs [a, (T

G)], a(1 (T

G)
2
) et a(g(T

G) T

G)
appartiennent limage de .
Dautre part, pour tout S = (S
t
)
t
C
c
(G, /(E)),
|(S)|
L(E

G)
max
_
|

(S)|
L(

(E)

G)
, |(

G)

S)|
L((

G)

(E

G))
_
,
donc, lapplication induit un morphisme dalgbre de Banach de /(E)

G dans
L(E

G). En eet, on a les estimations suivantes :


|(

G)

S)|
L((

G)

(E

G))
= |

S 1|
L(E

G)
,
|S|
K(E)

G
,
et
|

(S)|
L(

(E)

G)
= |

(S)|
K(

(E))

G
,
|S|
K(E)

G
,
qui impliquent que
|(S)|
L(E

G)
|S|
K(E)

G
.
On note le morphisme
/(E)

G L(E

G),
par abus de notation. On va montrer que limage de est contenue dans /(E

G).
Soient S C
c
(G, /(E)) et > 0. Il existe n N et pour i = 1, ..., n, il existe
y
i
C
c
(G, E),
i
C
c
(G, E) tels que llment K = (K
g
)
gG
C
c
(G, /(E)) dni
par la formule suivante :
K
g
=
_
G
n

i=1
[y
i
(t))g(
i
(t
1
g))[dt,
vrie lingalit :
_
G
|S
g
K
g
|
K(E)
|(g)|
End(V )
dg < ,
Chapitre 2. Morphisme de Baum-Connes tordu 85
(voir lemme 2.2.12).
Limage par de K est un oprateur compact de E

G. En eet, pour tout s G,

(K
s
) =
_
G
n

i=1
[y
i
(t) 1)s(1
i
(t
1
s)[dt, do, pour tout x C
c
(G,

(E)
>
),

(K)
>
(x)(g) =
_
G

(K
s
)
>
s(x(s
1
g))ds,
=
_
G
_
G
n

i=1
[y
i
(t) 1)s(1
i
(t
1
s))[
>
s(x(s
1
g))dtds,
=
n

i=1
_
[g y
i
(g) 1)g 1
i
(g)[
>
(x)
_
(g),
et de faon analogue, pour C
c
(G,

(E)
<
), on trouve,

(K)
<
()(g) =
_
G
(s
1
g)
1

(K
s
1
g
)
<
((s))ds,
=
n

i=1
_
[g y
i
(g) 1)g 1
i
(g)[
<
()
_
(g),
do,

(K) =
n

i=1
[g y
i
(g) 1)g 1
i
(g)[.
De plus,
(

G)

K) = (1

K
<
,

K
>
1),
=
n

i=1
[y
i
1)1
i
[,
et donc pour (h, x) E

G,
(K)
>
(h, x) =
_
t
n

i=1
[g y
i
(g) 1)g 1
i
(g)[
>
(h(t)),
n

i=1
[y
i
1)1
i
[
>
x
_
,
=
n

i=1

_
t (g y
i
(g) 1), y
i
1
_
__
_
t (g 1
i
(g)), 1
i
_

.
On en dduit que (K) /(E

G).
86
Le fait que soit un morphisme dalgbres de Banach, implique alors que (S)
est un oprateur compact de E

G. En eet, on a les ingalits suivantes :


|(S) (K)|
L(E

G)
|S K|
K(E)

G
,

_
G
|S
g
K
g
|
K(E)
|(g)|
End(V )
< .
Comme les oprateurs
[a, (T

G)], a(1 (T

G)
2
) et a(g(T

G) T

G)
appartiennent limage de , on a alors montr que ce sont des oprateurs compacts
de E

G et donc que (E

G, T

G) appartient E
ban
(A

G, (C

G)[0, 1]).
Il est clair quil ralise une homotopie entre j

()) et (

G)

(j

()).
Ceci termine la dmonstration de la proposition 2.2.14 et donc de la fonctorialit
du morphisme de descente tordu.
2.2.4 Descente et action de KK
ban
sur la K-thorie.
Soient A et B deux algbres de Banach. On rappelle que lon note lhomo-
morphisme de KK
ban
(A, B) dans Hom(K(A), K(B)) dni dans [Laf02b] et qui
donne laction de la KK-thorie banachique sur la K-thorie. La proposition sui-
vante montre que les morphismes de descente tordus construits dans la section 2.2.2
sont compatibles avec .
Proposition 2.2.17. Soient G un groupe localement compact, A, B, C des G-C

-
algbres, KK
G
(A, B), KK
G
(B, C), et
B
leur produit de Kasparov qui
est un lment de KK
G
(A, B). On a alors,
(j

(
B
)) = (j

()) (j

())
dans Hom(K(A

G), K(B

G)). De mme dans le cas du produit crois rduit.


Dmonstration. La dmonstration dcoule de la fonctorialit de j

et de j
,r
et du
lemme suivant dmontr dans [Laf02b, Proposition 1.6.10] qui dit que tout lment
de KK-thorie est le produit de Kasparov dun lment qui provient dun vrai
morphisme et dun lment de KK-thorie qui est linverse dun morphisme.
Lemme 2.2.18. Soient G un groupe localement compact, A et B deux G-C

-
algbres et KK
G
(A, B). Il existe une G-C

-algbre A
1
, des morphisme
G-quivariants : A
1
A, : A
1
B, et un lment
1
KK
G
(A, A
1
) tels que :
Chapitre 2. Morphisme de Baum-Connes tordu 87
1. []
A

1
= Id
A
1
et
1

A
[] = Id
A
, o [] KK
G
(A
1
, A) est induit par le
morphisme (cest--dire que
1
est linverse en KK-thorie G-quivariante
dun morphisme),
et
2.

() = [], o [] KK
G
(A
1
, A) est llment induit par le morphisme .
La fonctorialit du morphisme de descente j

et de laction de KK
ban
sur la
K-thorie donne par impliquent la proposition (2.2.17). La dmonstration est
la mme que celle de [Laf02b, Proposition 1.6.9] : on applique le lemme (2.2.18)
G, A, B et . Comme j

et sont fonctoriels on a
(j

(
1
)) j

()

= (j

()

(j

(
1
))),
= (j

(
1
))),
= Id
K(A
1

G)
, car

(
1
) = Id
A
1
.
De mme,
j

()

(j

(
1
)) = (j

()

(j

(
1
)),
= (j

(
1
))),
= Id
K(A

G)
car

(
1
) = Id
A
.
Donc,
j

()

: K(A
1

G) K(A

G)
est inversible. De plus,

(
B
) =

() dans KK
G
(A
1
, C) et donc,
(j

( )) j

()

= (j

()) j

()

,
et ceci implique que
(j

( )) = (j

()) j

()

()
1

.
De la mme faon, on montre, en prenant C = B et = Id, que
(j

()) = j

()

()
1

Ceci implique la proposition.


La mme dmonstration vaut pour la descente dans le cas du produit crois rduit.
88
2.2.5 Construction du morphisme
Soit G un groupe localement compact et B une G-C

-algbre. On rappelle
que lon note EG le classiant de G pour les actions propres et K
top
(G, B) la
K-homologie G-quivariante de EG valeurs dans B (cf. section 2.1). On rappelle
que K
top
(G, B) = lim

KK
G
(C
0
(X), B), o X dcrit les parties G-compactes de EG,
cest--dire les parties fermes de EG, G-invariantes et telles que X/G soit compact.
Dnition 2.2.19. Soient G un groupe localement compact et X une partie G-
compacte de EG. Soit c une fonction continue support compact sur X et valeurs
dans 1
+
telle que
_
G
c(g
1
x)dg = 1, pour tout x X (une fonction avec ces pro-
prits existe daprs [Tu99] et elle est appele fonction de cut-o sur X). Soit p
la fonction sur GX dnie par la formule
p(g, x) =
_
c(x)c(g
1
x).
La fonction p dnit alors un projecteur de C
c
(G, C
0
(X)), que lon note p par abus de
notation. Llment de K(C
0
(X)

G) quil dnit est appel lment de Mischenko


associ X. On le note

.
Soit
: KK
ban
(C
0
(X)

G, B

G) Hom(K(C
0
(X)

G), K(B

G))
le morphisme provenant de laction de KK
ban
sur la K-thorie dni dans [Laf02b]
(cf. thorme 2.1.37). On a alors une suite de morphismes
KK
G
(C
0
(X), B)
j

KK
ban
(C
0
(X)

G, B

G)
(.)(

)
K(B

G).
De mme que dans [Laf02b] section 1.7, en passant la limite inductive on dnit
un morphisme

: K
top
(G, B) K(B

G),
et on lappelle morphisme de Baum-Connes tordu par la reprsentation .
Remarque 2.2.20. La fonctorialit des morphismes et j

implique que le morphisme


de Baum-Connes tordu par , dni ci-dessus, est fonctoriel en B. En eet, soit
: B C un morphisme de G-C

-algbres. Soit KK
G
(C
0
(X), B). On a les
galits suivantes,
(

G)

(
B

()) = (

G)

((j

())(

)),
=
_
(

G)

(j

())
_
(

),
=
_
j

())
_
(

),
=
C

()).
Chapitre 2. Morphisme de Baum-Connes tordu 89
Dnition 2.2.21. Pour toute G-C

-algbre B, soit
G,B
le morphisme dal-
gbres de Banach de B

G dans B

r
G (cf. dnition 4). Soit
(
G,B
)

: K(B

G) K(B

r
G)
le morphisme induit par
G,B
en K-thorie. On dnit un morphisme de Baum-
Connes tordu rduit,

B
,r
: K
top
(G, B) K(B

r
G),
en posant
B
,r
:= (
G,B
)

.
Remarque 2.2.22. Il est facile de voir que, si X est une partie G-compacte de EG
et si on note
,r
llment de K(C
0
(X)

r
G) dni par la fonction p, alors le
morphisme de Baum-Connes tordu rduit vrie lgalit

B
,r
(x) =
_
j
,r
(x)
_
(
,r
),
pour tout x KK
G
(C
0
(X), B).
2.2.6 Compatibilit avec la somme directe de reprsentations
On va maintenant montrer un lemme qui montre que le morphisme de Baum-
Connes tordu est compatible avec la somme directe de reprsentations, ce qui termi-
nera le chapitre 2. On utilisera ce rsultat dans ltude de la bijectivit du morphisme
(cf. chapitre 3).
Lemme 2.2.23. Soient et

deux reprsentations de dimension nie de G et B


une G-C

-algbre. Alors il existe des morphismes


i

: B

G B

G et i

: B

G B

G,
qui prolongent lidentit sur C
c
(G, B) et tels que les diagrammes suivants,
K
top
(G, B)

K(B

G)
i

K(B

G),
et K
top
(G, B)

K(B

G)
i
,

K(B

G),
soient commutatifs.
90
Dmonstration. Il est clair que pour toute G-C

-algbre A et pour toute fonction


f C
c
(G, A),
|f|
A

G
|f|
A

G
,
donc Id
C
c
(G,A)
stend en un morphisme dalgbres de Banach
i

: A

G A

G.
En fait, on a que A

G = A

G A

G, quivalence de norme prs.


De mme, si E est un A-module de Banach et f C
c
(G, E),
|f|
E

G
|f|
E

G
,
et Id
C
c
(G,E)
stend en un morphisme de A-modules de Banach, que lon note aussi
i

, de E

G dans E

G.
On doit montrer que

= i
,

B

.
Pour ceci, on va dabord montrer que, pour tout KK
G
(A, B), les lments j

()
et j

() ont la mme image dans KK


ban
(A

G, B

G). Cest le lemme


suivant :
Lemme 2.2.24. Pour tout KK
G
(A, B), on a lgalit,
i

(j

()) = i
,
(j

()),
dans KK
ban
(A

G, B

G).
Il est clair alors que le lemme 2.2.24 implique le lemme 2.2.23. En eet, pour X
une partie G-compacte de EG et pour un lment dans KK
G
(C
0
(X), B),

() = (j

())(

),
donc, on a les galits suivantes,
i
,
(
B

()) = i
,
(j

())(

),
= (i
,
(j

()))(

),
= (i

(j

()))(

),
= (j

())(i
,
(

)),
= (j

())(

) =
B

().
Chapitre 2. Morphisme de Baum-Connes tordu 91
Dmonstration du lemme 2.2.24. Soit (E, T) un reprsentant de . Alors
i

(j

(E)) = E

G,
o E

G est un (A

G, B

G)-bimodule de Banach, laction de A

G
tant donne par i

, et
i
,
(j

(E))
>
= (E

G)
>

(B

G),
i
,
(j

(E))
<
=

(B

G)

G
(E

G)
<
.
On considre lapplication suivante,
: C
c
(G, E)
C
c
(G,B)
C
c
(G, B) C
c
(G, E)
x b xb.
On a alors,
|(x b)|
E

G
|x|
E

G
|b|
B

G
,
|x|
E

G
|b|
B

G
,
et donc dnit une application,
(E

G)

G E

G,
que lon note encore par abus de notation.
Comme
|(x b)|
E

G
|x b|
(E

G)

G
(

G)
,
lapplication dnit un morphisme de B

G-modules de Banach droite de


norme infrieure ou gale 1.
De mme, il existe un morphisme de B

G-modules de Banach ( gauche)


:

B

G
(E

G) E

G,
de norme infrieure ou gale 1.
On va construire une homotopie entre (i
,
(j

()) et j

() en utilisant les cnes


associs ces morphismes.
Soit,
(()
>
= (h, x) (E

G)[0, 1] i
,
(j

(E))
>
[h(0) = (x),
92
le cne associ , et
(()
<
= (h, x) (E

G)[0, 1] i
,
(j

(E))
<
[h(0) = (x),
le cne associ .
On pose
(() := ((()
<
, (()
>
),
qui est un
_
A

G, (B

G)[0, 1]
_
-bimodule de Banach.
Soit ((, T) L((()), loprateur sur (() dni par la formule suivante :
((, T)
>
(h, e b) =
_
t (T

G)(h(t)),
_
(T

G)
>
e b
_
_
,
pour (h, e b) (() et de faon analogue on dnit ((, T)
<
. On a alors le lemme
suivant :
Lemme 2.2.25. Llment (((), ((, T)) dni ci-dessus est un lment de
E
ban
(A

G, (B

G)[0, 1]).
Dmonstration. On doit montrer que pour tout a C
c
(G, A) et pour tout g G,
les oprateurs,
[a, ((, T)], a(1 (((, T))
2
) et a(g(((, T)) ((, T))
sont des oprateurs compacts de (().
Pour tout S = (S
g
)
gG
C
c
(G, /(E)) on considre loprateur

S

(resp.

S

) ap-
partenant L
B

G
(E

G) (resp. L
B

G
(E

G)) associ S par la dnition


2.2.9 applique la reprsentation (resp.

).
On a alors une application de C
c
(G, /(E)) dans L((()) dnie sur (()
>
par la
formule suivante : pour tout S C
c
(G, /(E)) et tout (h, e b) (()
>
,
(S)
>
(h, e b) =
_
t

S
>

(h(t)),

S
>

(e) b
_
,
et (S)
<
dni de faon analogue.
Or, pour tout (h, e b) C
c
(G, E) (C
c
(G, E) C
c
(G, B)),
|(S)
>
(h, eb)|
C()
>
= max
_
sup
t[0,1]
|

S
>

(h(t))|
E

G
, |

S
>

(e) b|
i
,
(j

(E))
>
_
,
Chapitre 2. Morphisme de Baum-Connes tordu 93
et donc,
|(S)|
L(C())
max
_
|

|
L(E

G)
, |

|
L(E

G)
_
,

_
G
|S
g
||(

)(g)|
End(VV

)
dg.
Lapplication dnit alors un morphisme dalgbres de Banach de lalgbre
/(E)

G dans L((()), car |

|
L(E

G)
= |S|
K(E)

G
(voir la dmons-
tration du lemme 2.2.12).
De plus, si on pose, pour tout a C
c
(G, A), pour tout g G et pour tout g
1
G,
S
1
(g
1
) := a(g
1
)(g
1
(T) T) + [a(g
1
), T]),
S
2
(g
1
) := a(g
1
)g
1
(1 T
2
)),
et S
3
(g
1
) := a(g
1
)g
1
((gT) T)),
de sorte que,

S
1
= [a, T

G],

S
2
= a(1 (T

G)
2
),
et

S
3
= a(g(T

G) T

G),
(voir lemme 2.2.11), alors, par des calculs simples, on obtient,
(S
1
) = [a, ((, T)],
(S
2
) = a(1 (((, T))
2
),
et (S
3
) = a(g(((, T)) ((, T)).
On va maintenant montrer que limage de est contenue dans les oprateurs
compacts de ((). Soit S = (S
g
)
gG
C
c
(G, /(E)) et soit > 0. Daprs le lemme
2.2.12 il existe n N et pour i = 1, .., n, il existe des lments y
i
C
c
(G, E) et

i
C
c
(G, E) tels que, llment K = (K
g
)
gG
de C
c
(G, /(E)) dnit par la formule,
K
g
=
_
G
n

i=1
[y
i
(g
1
))g(
i
(g
1
1
g))[dt,
vrie lingalit,
_
G
|S
g
K
g
|
K(E)
|(

)(g)|
End(V V

)
dg < .
94
Do,
|(S) (K)|
L(C())

_
G
|S
g
K
g
||(

)(g)|
End(V V

)
dg,
.
Mais, (K) appartient /((()), car
(K) =
_
n

i=1
[t y
i
)t
i
[,
n

i=1
[g y
i
(g) 1)g 1
i
(g)[
_
,
=
n

i=1

_
t y
i
, g y
i
(g) 1
_
__
_
t
i
, g 1
i
(g)
_

.
On conclut alors que pour tout a C
c
(G, A) et pour tout g G, les oprateurs
[a, ((, T)], a(1 (((, T))
2
) et a(g(((, T)) ((, T)) sont compacts car ils ap-
partiennent limage de C
c
(G, /(E)) par qui est contenue dans lalgbre des
oprateurs compacts de (().
Le cycle (((), ((, T)) appartient donc E
ban
(A

G, (B

G)[0, 1]) et
ralise une homotopie entre i

(j

()) et i
,
(j

()), ceci termine la dmonstration


du lemme 2.2.24.
Ceci implique alors que
B

= i
,

B

, pour toute G-C

-algbre B et donc
termine la dmonstration du lemme 2.2.23.
Chapitre 3
tude de la bijectivit du morphisme
de Baum-Connes tordu
Dans ce chapitre, nous allons montrer que le morphisme de Baum-Connes tordu
par une reprsentation non unitaire de dimension nie que nous avons construit
dans le chapitre prcdent, est bijectif pour une large classe de groupes vriant la
conjecture de Baum-Connes. Dans un premier temps, nous allons montrer que, pour
toute reprsentation de dimension nie , le morphisme de Baum-Connes tordu

(et

r
) est injectif pour tous les groupes de la classe ( (cf. introduction). En eet,
nous allons montrer que si G est un groupe localement compact pour lequel il existe
un lment de Kasparov, alors

est injectif. De plus, nous allons montrer que

r
est surjectif pour tout groupe G appartenant la classe (

(cf. introduction) et pour


lequel il existe une compltion inconditionnelle de C
c
(G) qui soit une sous-algbre
de C

r
(G) dense et stable par calcul fonctionnel holomorphe.
Pour tout groupe localement compact G, dsignera toujours une reprsentation
de dimension nie pas ncessairement unitaire et pas ncessairement irrductible.
Ce chapitre est organis de la faon suivante : Dabord, nous allons montrer que
le morphisme de Baum-Connes tordu

coecients dans une algbre propre est


toujours un isomorphisme (cf. thorme 3.1.3). Nous allons ensuite utiliser ce rsul-
tat pour utiliser la mthode du dual Dirac-Dirac dans la forme nonce par Tu
dans [Tu99] pour montrer linjectivit de

dans le cas o lon peut construire un


lment de Kasparov et la surjectivit dans le cas o cet lment est gal 1
dans KK
G
(C, C).
Ensuite, dans la section 3.2, nous allons montrer que si G est un groupe tel quil
existe une compltion inconditionnelle de C
c
(G) qui soit une sous-algbre de C

r
(G)
dense et stable par calcul fonctionnel holomorphe alors il existe une compltion
inconditionnelle de C
c
(G) qui est une sous-algbre dense et stable par calcul fonc-
95
96
tionnel holomorphe dans /

r
(G). En utilisant les rsultats de Laorgue, nous allons
alors montrer que si G est un groupe appartenant la classe (

et tel quil existe


une compltion inconditionnelle de C
c
(G) qui soit une sous-algbre dense et stable
par calcul fonctionnel holomorphe, alors

r
est un isomorphisme.
3.1 Cas des groupes avec un lment de Kasparov
3.1.1 Coecients dans une algbre propre
Dans cette section, on va montrer que le morphisme de Baum-Connes tordu
coecients dans une G-C

-algbre propre est un isomorphisme pour tout groupe


localement compact G. Pour ceci, on rappelle dabord les dnitions suivantes :
Dnition 3.1.1. Soit Z un G-espace propre. Une G-C

-algbre B est une C


0
(Z)-
G-C

-algbre au sens de Kasparov [Kas88, 1.5], sil existe un morphisme de C


0
(Z)
dans le centre des multiplicateurs de B, G-quivariant et tel que (C
0
(Z))B = B.
Dnition 3.1.2. Une algbre B est une G-C

-algbre propre si cest une C


0
(Z)-
G-C

-algbre avec Z un G-espace propre (cf. 2.1.1).


Par abus de notation, si B est une G-C

-algbre propre on identiera C


0
(Z)
son image dans le centre de M(B).
De faon quivalente, Le Gall a montr que B est une G-C

-algbre propre si
et seulement si, il existe Z un G-espace propre tel que B soit munie dune action
du groupode Z G. On renvoie le lecteur [LG97] pour la dnition de laction
dun groupode sur une C

-algbre. On rappelle tout de mme, que si Z est un G-


espace, on note Z G le groupode dont lensemble des units est Z, lensemble des
ches est le produit cartsien Z G et les applications source et but sont donnes,
respectivement, par les applications suivantes :
s : (z, g) g.z et r : (z, g) z.
On note (Z G)
(2)
:= (Z G)
(1)

(ZG)
(0) (Z G)
(1)
lensemble des lments
composables de Z G.
Si B est une C
0
(Z)-G-C

-algbre, on note r

(B) la C
0
(ZG)-G-C

-algbre obtenue
comme image rciproque de B par lapplication r.
On rappelle aussi que si B est une G-C

-algbre propre, alors


C

(G, B) = C

r
(G, B)
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 97
(cf. [KS03, page 184], [HG04, page 192]).
Le but de cette section est de montrer le thorme suivant :
Thorme 3.1.3. Si B est une G-C

-algbre propre, alors


B

est un isomorphisme.
Remarque 3.1.4. On remarque que si B est une G-C

-algbre propre, alors


B

G = B

r
G,
car C

(G, B) = C

r
(G, B), donc le thorme 3.1.3 implique que le morphisme de
Baum-Connes tordu rduit coecients dans une algbre propre est aussi un iso-
morphisme.
Pour montrer le thorme 3.1.3, on va dabord utiliser la compatibilit de la
construction du morphisme de Baum-Connes tordu (cf. lemme 2.2.23) avec

:= 1
G
,
o on note 1
G
la reprsentation triviale de G, pour montrer le lemme suivant :
Lemme 3.1.5. Si B est une G-C

-algbre propre, les morphismes


i

: B
1
G
G B

G et i
1
G
: B
1
G
G C

(G, B),
induisent des isomorphismes en K-thorie.
Pour montrer le lemme 3.1.5, on va utiliser un rsultat de Laorgue (cf. [Laf02b,
Lemme 1.7.8]. On rappelle dabord la dnition suivante utilise par Laorgue :
Dnition 3.1.6. Une sous-algbre D dune algbre A est hrditaire si DAD D.
De plus, on rappelle que Laorgue a dmontr lnonc suivant (voir [Laf02b,
Lemme 1.7.10]) :
Lemme 3.1.7. Si C est une algbre de Banach, B est une sous-algbre de Banach
dense de C et sil existe une sous-algbre dense de B qui est hrditaire dans C,
alors B et C ont la mme K-thorie.
On va maintenant noncer le lemme 1.7.8 de [Laf02b] et on va re-crire la d-
monstration de Laorgue avec plus de dtails par souci de commodit pour le lecteur.
Lemme 3.1.8. Soit Z un G-espace propre tel que Z G agisse sur B et soient
s, r : Z G Z les applications source et but, respectivement, de Z G. Soit B
c
la sous-algbre de B forme des lments b de B tels que fb = b pour un certain
f C
c
(Z). Alors D = C
c
(G, B
c
), lalgbre des sections continues support compact
dans Z G de r

(B), est une sous-algbre hrditaire de C

(G, B).
98
Dmonstration. On rappelle que lon note tout lment f de C
c
(G, B) par lintgrale
formelle
_
G
f(g)e
g
dg et que dg
1
= (g
1
)dg. Soient f
1
, f
3
des lments de C
c
(G, B).
Lapplication
C
c
(G, B) C
c
(G, B)
f
2
f
1
f
2
f
3
se prolonge par continuit en une application de C

r
(G, B) dans lespace des fonctions
f continues sur G valeurs dans B qui vrient la condition suivante : il existe une
constante C telle que pour tout g G,
|f(g)|
B
(g)
1
2
< C.
En eet, soit L
2
(G, B) muni de la structure de B-module hilbertien donne par la
formule :
f, f

)
B
=
_
G
f(t)

(t)dt,
pour tout f, f

L
2
(G, B). On rappelle que lon note tout lment de L
2
(G, B) par
lintgrale formelle
_
G
e
g
f(g)dg de sorte que B agisse droite sur L
2
(G, B). Avec
ces conventions, lapplication de C
c
(G, B) dans L
2
(G, B) envoie
_
G
f(g)e
g
dg dans
_
G
e
g
f(g)dg donc il faut faire attention avec les formules.
Si f =
_
G
e
g
f(g)dg, on a f

=
_
G
f(g)

e
g
1dg et donc
(f

) = (
_
G
f(g)

e
g
1dg)(
_
G
e
g
f

(g)dg)
=
_
GG
f(g)

tf

(gt)dge
t
dt.
Si on note 1 lidentit de G, ceci implique que f

(1) = f, f

)
B
. Donc, pour tout
f, f

C
c
(G, B) et pour tout g G,
|f f

(g)|
B
= |f (f

e
g
1)(1)|
B
= |f

, (f

e
g
1))
L
2
(G,B)
|
B
|f

|
L
2
(G,B)
|f

e
g
1|
L
2
(G,B)
.
Or,
|f

e
g
1|
L
2
(G,B)
=
_
_
_
_
G
f

(tg)

(tg)dt
_
_
_
1
2
B
=
_
_
_
_
G
f

(t)

f(t)(g
1
)dt
_
_
_
1
2
B
|f

|
L
2
(G,B)
(g)

1
2
.
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 99
Ceci implique que, pour f
1
, f
3
, f
2
C
c
(G, B) et g G, on a les ingalits suivantes
|f
1
f
2
f
3
(g)|
B
(g)

1
2
|f

1
|
L
2
(G,B)
|f
2
f
3
|
L
2
(G,B)
,
(g)

1
2
|f

1
|
L
2
(G,B)
|
(G,B)
(f
2
)f
3
|
L
2
(G,B)
,
(g)

1
2
|f

1
|
L
2
(G,B)
|f
2
|
C

r
(G,B)
|f
3
|
L
2
(G,B)
,
o on note
G,B
la reprsentation rgulire de C

r
(G, B) dans L(L
2
(G, B)) de sorte
que |
(G,B)
(f
2
)|
L(L
2
(G,B))
= |f
2
|
C

r
(G,B)
. On a donc
|f
1
f
2
f
3
(g)|
B
(g)
1
2
|f

1
|
L
2
(G,B)
|f
2
|
C

r
(G,B)
|f
3
|
L
2
(G,B)
,
ce quon voulait dmontrer.
Maintenant, si f
1
, f
3
appartiennent C
c
(G, B
c
), ce sont des sections continues
support compact sur ZG de r

(B), vu comme champ continu dalgbres au-dessus


de ZG; donc r(supp
ZG
(f
1
)) et s(supp
ZG
(f
3
)) sont des sous-ensembles compacts
de Z G. De plus, comme Z est un espace G-propre, lapplication
(r, s) : Z G Z Z,
est propre et donc le sous-ensemble de Z G
K := (z, h)[r(z, h) r(supp
ZG
(f
1
)), s(z, h) s(supp
ZG
(f
3
))
est compact.
Soit lapplication qui deux lments composables de ZG associe leur compose :
: (Z G)
(2)
(Z G)
(1)
((z

, h), (z, g))[z

= gz (z, hg).
Si on dnit un produit entre les parties de Z G de la manire suivante : pour
X, Y Z G,
X Y := (X
(ZG)
(0) Y ),
alors le support du produit dlments de C
c
(G, B) est contenue dans le produit des
supports. On a alors que, pour f
2
C
c
(G, B),
supp
ZG
(f
1
f
2
f
3
) supp
ZG
(f
1
) supp
ZG
(f
2
) supp
ZG
(f
3
).
Or, supp
ZG
(f
1
) supp
ZG
(f
2
) supp
ZG
(f
3
) K, car :
supp
ZG
(f
1
) supp
ZG
(f
2
) supp
ZG
(f
3
)
= (z, g) Z G[g = g
1
g
2
g
3
avec g
1
, g
2
, g
3
G,
(z, g
3
) supp
ZG
(f
3
), (g
3
z, g
2
) supp
ZG
(f
2
),
(g
2
g
3
z, g
1
) supp
ZG
(f
1
).
100
donc le support de f
1
f
2
f
3
est inclus dans un sous-ensemble compact de ZG qui
ne dpend que de f
1
et f
3
. On en dduit que pour f
1
, f
3
C
c
(G, B
c
) lapplication
f
2
f
1
f
2
f
3
a pour image C
c
(G, B
c
), car sur le support de f
1
f
2
f
3
la
fonction g (g) est alors borne. Ceci implique que C
c
(G, B
c
) est une sous-algbre
hrditaire de C

r
(G, B). Comme, de plus, C

r
(G, B) est gal C

(G, B) car B est


propre, on en dduit que C
c
(G, B
c
) est une algbre hrditaire de C

(G, B).
Dmonstration du lemme 3.1.5. Maintenant, on va montrer le lemme 3.1.5. En
gardant les notations du lemme prcdent, lalgbre D est une sous-algbre dense
de B
1
G
G car B
c
est dense dans B = C
0
(Z)B. De plus, comme D est une
sous-algbre hrditaire de C

(G, B), alors D End(V ) est hrditaire dans


C

(G, B) End(V ) et comme D End(V ) B

G = D alors D est une


sous-algbre hrditaire de B

G.
En appliquant les lemmes [Laf02b, Lemme 1.7.9 et Lemme 1.7.10], on obtient
alors que
i
,
: K(B
1
G
G) K(B

G),
et i
1
G
,
: K(B
1
G
G) K(C

(G, B))
sont des isomorphismes.
Remarque 3.1.9. Daprs le lemme prcdent, si B est une G-C

-algbre propre,
lapplication i
,
i
1
1
G
,
de K(C

(G, B)) dans K(B

G) est un isomorphisme.
Dmonstration du thorme 3.1.3. On peut maintenant dmontrer le thorme
3.1.3. Daprs le lemme 2.2.23, i
1
G
,

B
1
G
=
B
, o
B
est un isomorphisme car cest
le morphisme de Baum-Connes usuel valeurs dans une algbre propre [CEM01]. On
en dduit que
B
1
G
est un isomorphisme. Comme dautre part, i
,

B
1
G
=
B

et
que i
,
est aussi un isomorphisme, on en dduit que le morphisme de Baum-Connes
tordu par coecients dans une algbre propre,
B

, est un isomorphisme.
3.1.2 lment de Kasparov
On va maintenant utiliser le rsultat obtenu pour les algbres propres pour mon-
trer que le morphisme de Baum-Connes tordu par nimporte quelle reprsentation
de dimension nie de G et coecient dans une G-C

-algbre quelconque est un


isomorphisme pour tout groupe localement compact G qui admet un lment de
Kasparov gal 1 dans KK
G
(C, C). Le rsultat est donn par le thorme suivant :
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 101
Thorme 3.1.10. Soit G un groupe localement compact tel que il existe une G-
C

-algbre propre A, et des lments KK


G
(C, A) et d KK
G
(A, C) tels que,
si on pose :=
A
d KK
G
(C, C) on a = 1. Soit B une G-C

-algbre. Alors,
pour toute reprsentation de dimension nie de G,
B

est un isomorphisme.
Dmonstration. On rappelle que si A, B, D sont des G-C

-algbres, on note
D
le
morphisme de KK
G
(A, B) dans KK
G
(A D, B D) dni dans [Kas88].
Soient A, et d vriant les hypothses du thorme. Linjectivit et la surjectivit
dcoulent de la commutativit du diagramme suivant :
K
top
(G, B)

B
()


K
top
(G, A B)

B
(d)

BA

K
top
(G, B)

K(B

G)
(j

(
B
()))

K(A B

G)
(j

(
B
(d)))

K(B

G)
(3.1.1)
On va dmontrer dabord la surjectivit. Supposons quil existe KK
G
(C, C)
vriant les hypothses et tel que = 1.
Le fait que soit gal 1 implique que (j

(
B
())) = Id
K(B

G)
. Or =
A
d,
donc
B
() =
B
()
A

B
(d) et donc
(j

(
B
())) = (j

(
B
()
AB

B
(d)))
= (j

(
B
(d))) (j

(
B
())),
ce qui implique que (j

(
B
(d))) est surjectif.
Dautre part,
(j

(
B
(d)))
AB

=
B


B
(d)

,
et comme AB est une algbre propre car A est propre,
AB

est un isomorphisme
et ceci implique que
B

est surjectif.
Montrons maintenant linjectivit. Soit x K
top
(G, B) tel que
B

(x) = 0. On a
alors

AB

(
B
()

(x)) = (j

(
B
()))(
B

(x))
= 0,
ce qui implique que
B
()

(x) = 0 car
AB

est un isomorphisme. Mais


B
() =

B
()
AB

B
(d), donc
B
()

(x) = 0. De plus, le fait que = 1 implique que

B
() = 1 et donc que
B
()

= Id
K
top
(G,B)
. Ceci implique que x = 0.
102
Plus gnralement, le diagramme (3.1.1) permet aussi de montrer que lexistence
dun lment de Kasparov implique linjectivit du morphisme de Baum-Connes
tordu donne par le thorme suivant :
Thorme 3.1.11. Supposons que pour toute partie G-compacte Y de EG, il existe
une G-C

-algbre propre A et des lments KK


G
(C, A) et d KK
G
(A, C) tels
que =
A
d KK
G
(C, C) vrie p

() = 1 dans KK
GY
(C
0
(Y ), C
0
(Y )), o p
est la projection de Y vers le point. Alors, pour toute reprsentation et pour toute
G-C

-algbre B, le morphisme
B

est injectif.
Dmonstration. Soit x un lment de K
top
(G) tel que
B

(x) = 0. Soit Y une partie


G-compacte de EG telle que x KK
G
(C
0
(Y ), B) et soient A, , d et vriant les
hypothses du thorme. On va montrer que x = 0. La commutativit du diagramme
(3.1.1) implique que
B
()

(x) = 0 car

AB

(
B
()

(x)) = (j

(
B
()))(
B

(x))
= 0,
et
AB

est un isomorphisme (car AB est une algbre propre). Mais


B
()

(x) = 0
implique que
B
()

(x) = 0, car
B
() =
B
()
AB

B
(d).
Dautre part, lgalit p

() = 1 dans KK
GY
(C
0
(Y ), C
0
(Y )) implique que

C
0
(Y )
()

x = x. Or, comme KK
G
(C, C), on a

C
0
(Y )
()
C
0
(Y )
x = x
B

B
().
Ceci implique que
B
()

x = x et donc que x = 0.
3.2 Cas des compltions inconditionnelles
Dans cette section, nous allons montrer que pour tout groupe appartenant la
classe (

de [Laf02b] (cf. introduction) et pour lequel il existe une sous-algbre de


C

r
(G) dense et stable par calcul fonctionnel holomorphe, le morphisme de Baum-
Connes rduit tordu par rapport nimporte quelle reprsentation de dimension
nie, est bijectif. Pour ceci, nous allons dabord montrer que si G est un groupe
localement compact tel quil existe une compltion inconditionnelle de C
c
(G) qui
soit une sous-algbre de C

r
(G) dense et stable par calcul fonctionnel holomorphe
alors, si est une reprsentation de G dans un espace de dimension nie V , il existe
une compltion inconditionnelle de C
c
(G) qui est une sous-algbre dense et stable
par calcul fonctionnel holomorphe de /

r
(G).
Nous obtenons comme corollaire la bijectivit du morphisme de Baum-Connes tordu
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 103
rduit pour certains groupes discrets ayant la proprit (RD) (par exemple, pour tous
les sous-groupes discrets cocompacts de Sp(n, 1), F
4(20)
, SL
3
(F) pour F un corps
local, SL
3
(H) et E
6(26)
) et pour les groupes de Lie rels rductifs, o rductif a le
mme sens que dans [Laf02b] : un groupe de Lie rductif est un groupe de Lie G
ayant un nombre ni de composantes connexes, dont lalgbre de Lie g est somme
directe dune algbre de Lie ablienne g
ab
et dune algbre de Lie semi-simple g
ss
, de
sorte que G admette un sous-groupe ferm G
ss
dalgbre de Lie g
ss
et de centre ni.
On remarque que cette classe est un peu plus large que celle des groupes rductifs
au sens algbrique.
Tout au long de cette section V sera un espace de dimension nie gale m. Ici, le
fait que V soit de dimension nie est indispensable.
3.2.1 Compltions inconditionnelles
On rappelle la dnition de compltion inconditionnelle introduite dans [Laf02b].
Dnition 3.2.1. Soit G un groupe localement compact. Une algbre de Banach
B(G) est une compltion inconditionnelle de C
c
(G), si elle contient C
c
(G) comme
sous-algbre dense et si, quels que soient f
1
, f
2
C
c
(G) tels que [f
1
(g)[ [f
2
(g)[
pour tout g G, on a |f
1
|
B(G)
|f
2
|
B(G)
, autrement dit, si pour tout f C
c
(G),
|f|
B(G)
ne dpend que de (g [f(g)[).
Dnition 3.2.2. Soit B une algbre de Banach et C une sous-algbre dense. Soit
A une sous-algbre de B qui est une compltion de C pour une norme telle que
|x|
B
|x|
A
pour tout x C. Lalgbre A est une sous-algbre faiblement pleine
de B relativement C, si pour tout n N

et pour tout x M
n
(C),

M
n
(A)
(x) =
M
n
(B)
(x),
o denote le rayon spectral.
Remarque 3.2.3. Une sous-algbre faiblement pleine dune algbre de Banach est
dense.
Lintrt de cette notion est donn par la proposition suivante dmontre dans
[Laf02b, Lemme 1.7.2] :
Proposition 3.2.4. Soient A, B, C comme dans la dnition 3.2.2. Notons : C
B et
1
: C A les inclusions videntes. Soit lunique morphisme dalgbres de
Banach de A dans B tel que
1
= . Si A est une sous-algbre faiblement pleine
de B alors le morphisme induit par en K-thorie

: K(A) K(B),
est surjectif.
104
Remarque 3.2.5. La notion de faiblement pleine est un peu plus faible que le fait
dtre stable par calcul fonctionnel holomorphe, mais, grce la proposition 3.2.4,
elle est susante pour nos propos. Comparer avec la notion de sous-algbre dense
et pleine dnie dans [Laf02b, Dnition 4.4.5]. Voir aussi le thorme A.2.1 et la
proposition A.2.2 de [Bos90].
On veut montrer le thorme suivant :
Thorme 3.2.6. Soit G un groupe localement compact et (, V ) une reprsenta-
tion de dimension nie de G. Soit C
c
(G) lespace des fonctions continues support
compact sur G. Sil existe une sous-algbre faiblement pleine de C

r
(G) qui est une
compltion inconditionnelle de C
c
(G), alors il existe une sous-algbre faiblement
pleine de /

r
(G) qui est aussi une compltion inconditionnelle de C
c
(G).
Soient G un groupe localement compact et (, V ) une reprsentation de dimen-
sion nie de G. Supposons quil existe B(G) une compltion inconditionnelle de
C
c
(G) qui est une sous-algbre faiblement pleine de C

r
(G) et notons i linclusion.
On note B(G, End(V )) la compltion de C
c
(G, End(V )) pour la norme
|f|
B(G,End(V ))
= |g |f(g)|
End(V )
|
B(G)
,
pour f C
c
(G, End(V )).
Daprs [Laf02b, Proposition 1.6.4], il existe un morphisme dalgbres de Banach
de B(G, End(V )) dans C

r
(G, End(V )) prolongeant Id
C
c
(G,End(V ))
. On note ce mor-
phisme.
Lemme 3.2.7. Lalgbre de Banach B(G, End(V )) est une sous-algbre faiblement
pleine de C

r
(G, End(V )).
Dmonstration. Soit m = dim
C
(V ). Comme B(G) est faiblement pleine dans C

r
(G),
on a

M
n
(B(G))
(x) =
M
n
(C

r
(G))
(x),
pour tout n N

et pour tout x M
n
(C
c
(G)). Donc, pour tout k N

, et pour
tout x M
km
(C
c
(G)),

M
k
(M
m
(B(G)))
(x) =
M
k
(M
m
(C

r
(G)))
(x).
Or, on a des isomorphismes dalgbres de Banach quivalence de norme prs (resp.
de C

-algbres)
B(G, End(V )) M
m
(B(G)) et C

r
(G, End(V )) M
m
(C

r
(G)),
et donc ceci implique que B(G, End(V )) est faiblement pleine dans C

r
(G, End(V )).
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 105
Considrons maintenant la compltion de C
c
(G) pour la norme donne par :
|f|
B

(G)
= |g [f(g)[|(g)|
End(V )
|
B(G)
,
pour f C
c
(G). On note cette algbre B

(G) et on remarque que cest une compl-


tion inconditionnelle.
Thorme 3.2.8. Lalgbre B

(G) est une sous-algbre faiblement pleine de /

r
(G).
Dmonstration. On considre lapplication suivante :
C
c
(G) C
c
(G, End(V ))
f (g f(g)(g)),
et on note
1
le morphisme dalgbres de Banach de B

(G) dans B(G, End(V )) quelle


induit.
Soit
2
: /

r
(G) C

r
(G)End(V ) le morphisme isomtrique induit par lapplication
f
_
G
f(g)e
g
(g)dg. On a le diagramme commutatif suivant :
B(G, End(V ))

r
(G, End(V ))


C

r
(G) End(V )
B

(G)

r
(G),

o : B

(G) /

r
(G) est lunique morphisme continu dalgbres de Banach
prolongeant Id
C
c
(G)
. On veut montrer que est un morphisme faiblement plein.
Le morphisme
1
: B

(G) B(G, End(V )) est isomtrique, donc pour tout pour


tout n N

et x M
n
(C
c
(G)),

M
n
(B

(G))
(x) =
M
n
(B(G,End(V )))
(M
n
(
1
)(x)).
De plus, comme B(G) est pleine dans C

r
(G), le lemme 3.2.7 implique,

M
n
(B(G,End(V )))
(M
n
(
1
)(x)) =
M
n
(C

r
(G,End(V ))
(M
n
(
1
)(x))
et par commutativit du diagramme on a

M
n
(C

r
(G,End(V )))
(M
n
(
1
)(x)) =
M
n
(C

r
(G)End(V ))
(M
n
(
2
)(x)).
Or, comme
2
est isomtrique le membre de droite de la dernire galit est gal

M
n
(A

r
(G))
(M
n
()(x)), do lgalit

M
n
(B

(G))
(x) =
M
n
(A

r
(G))
(M
n
()(x)),
=
M
n
(A

r
(G))
(x)
106
la dernire galit provenant du fait que x M
n
(C
c
(G)) et que M
n
() prolonge
Id
M
n
(C
c
(G))
.
On donne maintenant une proposition qui nous permettra dappliquer les r-
sultats prcdents ltude de la bijectivit du morphisme de Baum-Connes tordu
rduit.
Proposition 3.2.9. On a le diagramme commutatif suivant :
K
top
(G)

B

,r

K(B

(G))

K(/

r
(G))
o
B
est la variante du morphisme de Baum-Connes dnit dans [Laf02b, Section
1.7.1] pour les compltions inconditionnelles, et : B

(G) /

r
(G) est lunique
morphisme dalgbres de Banach prolongeant lidentit.
Dmonstration. La dmonstration est analogue celle de la proposition 1.7.6 de
[Laf02b]. Soit A une G-C

-algbre et soit

A
: B

(G, A) A

r
G,
lanalogue de coecients dans A qui prolonge lidentit sur C
c
(G, A). On rappelle
que lon note lapplication
: KK
G
(A, C) KK
ban
G
(A, C),
dnie par Laorgue (cf. 2.1.3).
On a alors que, pour tout lment KK
G
(A, C),

(j
B
(())) =

A
(j

r
()),
dans KK
ban
(B

(G, A), /

r
(G)).
En eet, on construit facilement une homotopie entre les lments

(j

(())) et

A
(j

r
()) de E
ban
(B

(G, A), /

r
(G)), laide de cnes et en remarquant les deux
faits suivants :
1. Si E est un G-(A, C)-bimodule de Banach et S = (S
g
)
gG
appartient
C
c
(G, /(E)), alors
|

S|
L(E

r
G)
|g |S
g
|
K(E)
|(g)|
End(V )
|
L
1
(G)
= |g |S
g
|
K(E)
|
L
1,
(G)
,
Chapitre 3. tude de la bijectivit du morphisme B-C tordu 107
o on note L
1,
(G) la compltion de C
c
(G) pour la norme L
1
pondre :
|f|
L
1,
(G)
=
_
G
[f(g)[|(g)|
End(V )
dg,
qui est une compltion inconditionnelle de C
c
(G).
2. Dans le lemme 1.5.6 de [Laf02b], on peut choisir les y
i
et les
i
tels que
|g |S
g
S
0,g
|
K(E)
|
B

(G)
+|g |S
g
S
0,g
|
K(E)
|
L
1,
(G)
.
En particulier, pour tout sous-espace X de EG ferm et G-compact, on a lgalit

(j
B
(())) =

C
0
(X)
(j

r
()),
dans KK
ban
(B

(G, C
0
(X)), /

r
(G)) pour tout KK
G
(C
0
(X), C). Ceci implique
alors que
,r
=


B
.
Nous pouvons maintenant montrer le rsultat principal de cette section qui est
donn par le thorme suivant.
Thorme 3.2.10. Soit G un groupe localement compact satisfaisant les deux condi-
tions suivantes :
1. il existe une compltion inconditionnelle de C
c
(G) qui est une sous-algbre
faiblement pleine de C

r
(G) ;
2. pour toute compltion inconditionnelle B(G) de C
c
(G) le morphisme dni par
Laorgue
B
: K
top
(G) K(B(G)) est un isomorphisme.
Soit une reprsentation de dimension nie de G. Alors le morphisme de Baum-
Connes rduit tordu par rapport

,r
: K
top
(G) K(/

r
(G)),
est un isomorphisme.
Dmonstration. Soit B(G) une compltion inconditionnelle de C
c
(G) stable par cal-
cul fonctionnel holomorphe dans C

r
(G). Soit B

(G) la compltion inconditionnelle


de C
c
(G) dnie comme ci-dessus. Alors, daprs le thorme 3.2.8, le morphisme
dalgbres de Banach : B

(G) /

r
(G) induit un isomorphisme en K-thorie.
De plus, daprs la proposition 3.2.9,
,r
=


B
, donc
,r
est bien un isomor-
phisme.
108
Dans [Laf02b], Laorgue a dmontr que les groupes appartenant la classe (

(cf. introduction) vrient la condition 2 du thorme 3.2.10 (cf. [Laf02b, Thorme


0.0.2]). De plus, il a montr que si G est un groupe de Lie rductif rel, une variante
de lalgbre de Schwartz gnralise (cf. [Laf02b, Chapitre 4] et section 2.1 exemple
2.1.39 numro 3.), qui est une compltion inconditionnelle de C
c
(G), est aussi une
sous-algbre de Banach faiblement pleine de C

r
(G). De plus, si un groupe discret
a la proprit (RD), une variante de lalgbre de Jolissaint, H
s
() (cf. section 2.1
exemple 2.1.39 numro 2.), qui est aussi une compltion inconditionnelle, est une
sous-algbre de Banach faiblement pleine de C

r
(). On a alors le corollaire suivant :
Corollaire 3.2.11. Pour toute reprsentation de dimension nie , le morphisme
de Baum-Connes rduit tordu
,r
est un isomorphisme pour les groupes suivants :
les groupes rductifs rels,
tous les groupes discrets appartenant la classe (

et possdant la proprit
(RD), donc, en particulier les sous-groupes discrets cocompacts de Sp(n, 1),
F
4(20)
, Sl
3
(F) o F est un corps local, Sl
3
(H) et E
6(26)
, et tous les groupes
hyperboliques.
Chapitre 4
Action sur K
top
(G) par le produit
tensoriel de
Soit G un groupe localement compact et soit R
F
(G) lanneau des classes diso-
morphisme de reprsentations virtuelles de dimension nie de G. Pour toute repr-
sentation de dimension nie de G et pour toute G-C

-algbre A, le produit tensoriel


par induit un morphisme dalgbres de Banach de A

r
G dans C

r
(G, A)End(V )
qui, par quivalence de Morita, induit un morphisme
,r
de la K-thorie de A

r
G
dans la K-thorie de C

r
(G, A). Dans ce chapitre, pour toute reprsentation de di-
mension nie nous allons construire un endomorphisme de K
top
(G, A), pour toute
G-C

-algbre A, qui dnit une action de R


F
(G) sur K
top
(G, A). Nous allons ensuite
montrer que ces deux actions de R
F
(G) sont compatibles avec les deux morphismes
de Baum-Connes, tordu et classique, cest--dire la commutativit du diagramme
suivant
K
top
(G, A)

A
,r

K(A

r
G)

,r

K
top
(G, A)

A
r

K(C

r
(G, A)).
Par simplicit, nous allons montrer un nonc analogue pour les algbres L
1
(G, A)
et L
1,
(G, A) qui impliquera la commutativit du diagramme ci-dessus.
4.1 Dnitions et nonc du thorme principal
tant donn un groupe localement compact G et une reprsentation de dimension
nie (, V ) de G, nous allons considrer la longueur sur G dnie de la faon
109
110
suivante : pour tout g G on pose
(g) := max
_
log(|(g
1
)|
End(V )
), log(|(g)|
End(V )
)
_
.
On a alors
|(g)v|
V
e
(g)
|v|
V
,
pour tout v V et pour tout g G. Le couple (V, 0) dnit alors un lment de
E
ban
G,
(C, C) (cf. dnition 2.1.31). On note [V ] sa classe dans KK
ban
G,
(C, C).
Dnition 4.1.1. Soit A une G-C

-algbre. La reprsentation (, V ) de G dnit un


morphisme de groupes de K(A

r
G) dans K(C

r
(G, A)). En eet, soit C

r
(G, A) V
le C

r
(G, A) C-module hilbertien construit par produit tensoriel externe. Daprs
la dnition de A

r
G (cf. 2.2.1), il est clair que lapplication
e
g

_
h v e
g
h (g)v
_
,
pour tout g G, h C
c
(G, A) et v V , induit un morphisme dalgbres de Banach
A

r
G L
C

r
(G,A)
(C

r
(G, A) V ).
Le produit tensoriel hilbertien C

r
(G, A) V est alors un (A

r
G, C

r
(G, A))-
bimodule de Banach (cf. dnition 2.1.31), et le couple (C

r
(G, A) V, 0) dnit
alors un lment de E
ban
(A

r
G, C

r
(G, A)). On note [C

r
(G, A) V ] sa classe dans
KK
ban
(A

r
G, C

r
(G, A)). Grce laction de la KK-thorie banachique sur la
K-thorie (cf. thorme 2.1.37) on a le morphisme suivant
([C

r
(G, A) V ]) : K(A

r
G) K(C

r
(G, A)).
On note
,r
ce morphisme.
Remarque 4.1.2. La reprsentation (, V ) tant de dimension nie, on aurait pu d-
nir le morphisme prcdent de la manire suivante : soit le morphisme dalgbres
de Banach de A

r
G dans C

r
(G, A) End(V ) induit par lapplication
e
g
e
g
(g),
pour f C
c
(G, A). On note

le morphisme de groupes induit par de K(A

r
G)
dans K
_
C

r
(G, A) End(V )
_
. Comme C

r
(G, A) End(V ) M
n
(C

r
(G, A)), o n
est la dimension de lespace vectoriel V , alors, par quivalence de Morita, induit
un morphisme,

: K(A

r
G) K(C

r
(G, A)).
Il est facile de voir que

est gal au morphisme


,r
dni par la proposition 4.1.1.
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 111
Remarque 4.1.3. De faon analogue, (, V ) dnit un morphisme de groupes

: K(A

G) K(C

(G, A)).
Considrons maintenant un G-espace X qui soit G-propre et G-compact et consi-
drons le br triviale G-quivariant au dessus de X de bre V , que lon note 1. On
a alors le lemme suivant :
Lemme 4.1.4. Le br 1 peut tre muni dune structure hermitienne G-
quivariante.
Dmonstration. Soit b C
c
(X, 1
+
) une fonction support compact sur X telle que
_
G
b(g
1
x)dg = 1 pour tout x X (une fonction b avec ces proprits existe car X/G
est compact). Soit K le support de b qui est une partie compacte de X. On munit V
dune structure hermitienne quelconque au dessus de K que lon note ., .)
1,x
pour
tout x K. Soient x X et v
1
, v
2
appartenant la bre de 1 au dessus de x note
1
x
. On pose :
v
1
, v
2
)
2,x
:=
_
G
b(g
1
x)

(g
1
)v
1
, (g
1
)v
2
_
1,g
1
x
dg.
Ceci dnit une structure hermitienne G-quivariante au dessus de 1. En eet, pour
g
1
G, x X et v
1
, v
2
1
x
g
1

v
1
, v
2
_
2,x
=

(g
1
1
)v
1
, (g
1
1
)v
2
_
2,g
1
1
x
=
_
G
b(g
1
g
1
1
x)

(g
1
g
1
1
)v
1
, (g
1
g
1
1
)v
2
_
1,g
1
g
1
1
x
dg
=
_
G
b(h
1
x)

(h
1
)v
1
, (h
1
)v
2
_
1,h
1
x
dg
=

v
1
, v
2
_
2,x
.
On considre maintenant lespace C
0
(X, 1) des sections de 1 qui sannulent
linni, o 1 est muni de la structure hermitienne G-quivariante, ., .)
2
, dnie
ci-dessus.
Lemme 4.1.5. Le couple (C
0
(X, 1), 0) dnit un lment de E
G
(C
0
(X), C
0
(X)).
On note [C
0
(X, 1)] sa classe dans KK
G
(C
0
(X), C
0
(X)).
112
Dmonstration. En eet, C
0
(X) agit sur C
0
(X, 1) ( gauche et droite) par multi-
plication point par point. On dnit un produit scalaire sur C
0
(X, 1) valeurs dans
C
0
(X) de la faon suivante : tant donnes s
1
et s
2
deux sections de 1 qui sannulent
linni,
s
1
, s
2
) = (x s
1
(x), s
2
(x))
2,x
).
Ce produit scalaire fait de C
0
(X, 1) un C
0
(X)-module hilbertien G-quivariant.
Laction de C
0
(X) gauche commute avec laction droite trivialement.
Maintenant, si A est une G-C

-algbre, comme [C
0
(X, 1)] est un lment de
KK
G
(C
0
(X), C
0
(X)), le produit de Kasparov par [C
0
(X, 1)] induit un morphisme
de groupes :
KK
G
(C
0
(X), A)
[C
0
(X,V)]
C
0
(X)

KK
G
(C
0
(X), A) .
En passant la limite inductive on obtient un morphisme

: K
top
(G, A)K
top
(G, A).
Le but de ce chapitre est de dmontrer le thorme suivant,
Thorme 4.1.6. Le morphisme de groupes de K
top
(G, A) dans lui-mme induit
par le produit de Kasparov par [C
0
(X, 1)] rend commutatifs les deux diagrammes
suivants :
K
top
(G, A)

A
,r

K(A

r
G)

,r

K
top
(G, A)

A
r

K(C

r
(G, A))
et K
top
(G, A)

K(A

G)

K
top
(G, A)

A

K(C

(G, A)).
4.2 Algbres L
1
. Rappels et notations
On rappelle dabord que, pour tout groupe localement compact G, tant donnes
des G-C

-algbres A, B et D, pour toute longueur sur G, on note le morphisme


de KK
G
(A, B) dans KK
ban
G,
(A, B) dni par Laorgue dans [Laf02b, Proposition
1.6.1] et
D
le morphisme de KK
ban
G,
(A, B) dans KK
ban
G,
(A

D, B

D) dni
dans [Laf02b, Dnition 1.2.2]).
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 113
Maintenant, tant donns un groupe localement compact G et une G-C

-algbre
A, on rappelle que lapplication identit sur lespace des fonctions continues sup-
port compact sur G valeurs dans A, C
c
(G, A), se prolonge en un morphisme dal-
gbres de Banach de L
1
(G, A) dans C

r
(G, A) (resp. C

(G, A)), et donc L


1
(G, A) est
une sous-algbre dense de C

r
(G, A) (resp. C

(G, A)). De mme, si on note L


1,
(G, A)
la compltion de C
c
(G, A) pour la norme
|f|
L
1,
(G,A)
=
_
G
|f(g)|
A
|(g)|
End(V )
dg,
pour f C
c
(G, A), alors lapplication identit de C
c
(G, A) se prolonge en un mor-
phisme dalgbres de Banach de L
1,
(G, A) dans le produit crois tordu A

r
G (resp.
A

G), et donc L
1,
(G, A) est une sous-algbre dense de A

r
G (resp. A

G).
Nous allons montrer un nonc pour les algbres L
1
(G, A) et L
1,
(G, A) analogue
celui du thorme 4.1.6 qui va impliquer le thorme 4.1.6.
Remarque 4.2.1. Si est une reprsentation unitaire, alors, pour toute G-C

-algbre
A, L
1,
(G, A) = L
1
(G, A).
On rappelle que les algbres L
1
(G) et L
1,
(G) sont des compltions incondition-
nelles de C
c
(G) et donc que Laorgue a dni dans [Laf02b, Proposition-Dnition
1.5.5], des morphismes de descente pour ces algbres :
j
L
1 : KK
ban
G,
(A, B) KK
ban
(L
1,
(G, A), L
1
(G, B))
j
L
1, : KK
ban
G
(A, B) KK
ban
(L
1,
(G, A), L
1,
(G, B)),
pour A et B des G-C

-algbres et pour la longueur sur G dnit par la norme de


.
Par abus de notation, pour toutes G-C

-algbre A et B, nous allons dnir un


troisime morphisme de descente
j

: KK
G
(A, B) KK
ban
(L
1,
(G, A), L
1,
(G, B)),
comme la compose de et j
L
1,, cest--dire j

:= j
L
1, . Ce morphisme est
lanalogue sur L
1,
du morphisme de descente tordu dni dans le chapitre 2 (cf.
section 2.2.2).
Soit X une partie G-compacte de EG. Soit p C
c
(G, C
0
(X)) dni comme dans
la dnition 2.2.19. On rappelle que p est alors un projecteur de C
c
(G, C
0
(X)) dni
laide dune fonction c C
c
(X, 1
+
) telle que
_
G
c(g
1
x)dg = 1 pour tout x X.
On note

llment de K(L
1,
(G, C
0
(X))) quil dnit.
On rappelle alors que, pour toute G-C

-algbre A, la variante du morphisme de


114
Baum-Connes valeurs dans K(L
1,
(G, A)) dnie par Laorgue dans [Laf02b, 1.7],
est donne, passage la limite inductive prs, par le morphisme

A
L
1, : KK
G
(C
0
(X), A) K(L
1,
(G, A)),
dni par la formule

L
1,() = (j

())(

),
pour tout lment dans KK
G
(C
0
(X), A).
On rappelle de plus que lon note le morphisme de KK
ban
(A, B) dans
Hom(K(A), K(B)) dnissant laction de la KK-thorie banachique sur la
K-thorie (cf. thorme 2.1.37, [Laf02b, Proposition 1.2.9]) pour A et B des
G-C

-algbres.
Pour montrer quun nonc analogue lnonc du thorme 4.1.6 pour les al-
gbres L
1
implique le thorme 4.1.6, on aura besoin alors du lemme de compatibilit
suivant
Lemme 4.2.2. Les diagrammes
K
top
(G, A)

A
,r

A
L
1,

K(L
1,
(G, A))
i

K(A

r
G)
et K
top
(G, A)

A
L
1,

K(L
1,
(G, A))
i

K(A

G)
o i : L
1,
(G, A) A

r
G (resp. i

: L
1,
(G, A) A

G) est le prolongement de
lapplication identit sur C
c
(G, A), sont commutatifs.
Dmonstration. La dmonstration est analogue la dmonstration de la proposition
3.2.9 du chapitre 3.
Remarque 4.2.3. Le lemme 4.2.2 et la remarque 4.2.1 impliquent en particulier que si
est une reprsentation unitaire alors
A
,r
=
A
r
(resp.
A

=
A
) pour toute G-C

-
algbre A et donc le morphisme de Baum-Connes tordu concide avec le morphisme
de Baum-Connes classique.
4.3 Dmonstration du thorme 4.1.6
Soit X une partie G-compacte de EG. On va montrer le thorme suivant :
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 115
Thorme 4.3.1. Pour toute G-C

-algbre A, le morphisme, not

, qui un
lment KK
G
(C
0
(X), A) associe le produit de Kasparov [C
0
(X, 1)]
C
0
(X)

dans KK
G
(C
0
(X), A) rend commutatif le diagramme suivant :
KK
G
(C
0
(X), A)

A
,r

K(A

r
G)

,r

KK
G
(C
0
(X), A)

A
r

K(C

r
(G, A)).
La preuve repose sur un rsultat analogue pour les algbres L
1
que nous allons
noncer plus bas et qui implique aussi la commutativit du diagramme du thorme
4.1.6 pour les produits croiss maximaux de faon analogue. Pour noncer le rsultat
pour les algbres L
1
, nous avons besoin de la dnition suivante.
Dnition 4.3.2. Pour toute G-C

-algbre A, la reprsentation (, V ) de G dnit


le morphisme de groupes suivant,

_
j
L
1(
A
([V ]))
_
: K(L
1,
(G, A)) K(L
1
(G, A)),
o, on rappelle que, dans ce cas,
: KK
ban
_
L
1,
(G, A), L
1
(G, A)
_
Hom
_
K(L
1,
(G, A)), K(L
1
(G, A))
_
.
En eet, [V ] est un lment de KK
ban
G,
(C, C) et donc j
L
1(
A
([V ])) appartient
KK
ban
(L
1,
(G, A), L
1
(G, A)).
Nous allons alors montrer le thorme suivant qui est lanalogue pour les algbres
L
1
du thorme 4.3.1 annonc dans la section 4.2.
Thorme 4.3.3. Pour toute G-C

-algbre A et pour toute partie G-compacte X


de EG, le diagramme
KK
G
(C
0
(X), A)

A
L
1,

K(L
1,
(G, A))
(j
L
1
(
A
([V ])))

KK
G
(C
0
(X), A)

A
L
1

K(L
1
(G, A)),
est commutatif.
Montrons dabord que le thorme 4.3.3 implique le thorme 4.3.1.
Soient
i
1
: L
1
(G, A) C

r
(G, A) et i
2
: L
1,
(G, A) A

r
G,
116
les inclusions naturelles qui prolongent lapplication identit sur C
c
(G, A). La fonc-
torialit de implique que le morphisme
,r
de K(A

r
G) dans K(C

r
(G, A)) rend
commutatif le diagramme suivant :
K(L
1,
(G, A))
i
2,

(j
L
1
(
A
([V ])))

K(A

r
G)

,r

K(L
1
(G, A))
i
1,

K(C

r
(G, A)).
En eet, il est facile de voir que
i

2
([C

r
(G, A) V ]) = i
1,
_
j
L
1(
A
([V ]))
_
,
dans KK
ban
(L
1,
(G, A), C

r
(G, A)). Do,
([C

r
(G, A) V ])i
2,
= i

2
_
([C

r
(G, A) V )]
_
,
= (i

2
([C

r
(G, A) V ])),
= (i
1,
_
j
L
1(
A
([V ]))
_
,
= i
1,
_
(j
L
1(
A
([V ])))
_
,
et comme
,r
= ([C

r
(G) V ]) par dnition, alors le diagramme est commutatif
ce qui prouve que le thorme 4.3.3 implique le thorme 4.3.1. Il en est de mme
dans le cas des produits croiss maximaux.
La dmonstration du thorme 4.3.3 repose sur le lemme et la proposition sui-
vants.
Lemme 4.3.4. Les lments ([C
0
(X, 1)]) et
C
0
(X)
([V ]) sont gaux dans
KK
ban
G,
(C
0
(X), C
0
(X)).
Ce lemme implique en particulier que j
L
1(([C
0
(X, 1)])) et j
L
1(
C
0
(X)
([V ])) sont
gaux dans KK
ban
(L
1,
(G, C
0
(X)), L
1
(G, C
0
(X))) et donc quils agissent de la mme
manire sur

K(L
1,
(G, C
0
(X))), cest--dire
(j
L
1(([C
0
(X, 1)])))(

) = (j
L
1(
C
0
(X)
([V ])))(

).
Dmonstration. Nous allons montrer que ([C
0
(X, 1)]) et
C
0
(X)
([V ]) sont homo-
topes dans E
ban
G,
(C
0
(X), C
0
(X)).
Soit s une fonction sur X valeurs dans V qui sannule linni. On pose :
|s|
0
:= |s|
C
0
(X,V )
= sup
xX
|s(x)|
V
|s|
1
:= |s|
C
0
(X,V)
= sup
xX
|s(x)|
V
.
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 117
Soit H
t
, pour t [0, 1], lespace de Hilbert des fonctions sur X valeurs dans V qui
sannulent linni pour la norme :
|s|
t
= t|s|
1
+ (1 t)|s|
0
.
Alors, H = (H
t
)
t[0,1]
E
ban
G,
_
C
0
(X), C
0
(X)[0, 1]
_
. Il est clair que H ralise lhomo-
topie cherche.
Proposition 4.3.5. Soient A et B des C

-algbres et soit un lment de


KK
G
(A, B). Alors le diagramme
K(L
1,
(G, A))
(j

())

(j
L
1
(
A
([V ])))

K(L
1,
(G, B))
(j
L
1
(
B
([V ])))

K(L
1
(G, A))
(j
L
1
())

K(L
1
(G, B))
est commutatif.
Dmonstration. Soit KK
G
(A, B). Daprs le lemme 1.6.11 de [Laf02b] (voir
aussi lemme 2.2.18), il existe une G-C

-algbre que lon note A


1
, deux morphismes
G-quivariants : A
1
A et : A
1
B et un lment
1
KK
G
(A, A
1
), tels que

(
1
) = Id
A
1
dans KK
G
(A
1
, A
1
),

(
1
) = Id
A
dans KK
G
(A, A), et

() = []
dans KK
G
(A, B). On peut crire alors le diagramme suivant en KK-thorie :
A
1

A
1
([V ])

A
([V ])

.

_
B

B
([V ])

A
1

.

_
B
o les ches en pointills dsignent des lments en KK-thorie qui ne sont pas
ncessairement donns par des morphismes dalgbres.
118
Lemme 4.3.6. Comme [V ] KK
ban
G,l
(C, C), on a alors les deux galits suivantes :

(
A
([V ])) =

(
A
1
([V ])) et

(
B
([V ])) =

(
A
1
([V ])),
dans KK
ban
G,
(A
1
, A) et KK
ban
G,
(A
1
, B).
Dmonstration. Le lemme dcoule de la fonctorialit de KK
ban
.
On rappelle que nous avons not j

= j
L
1, pour simplier les notations.
Le fait que , j
L
1 et j
L
1, soient fonctoriels nous permet, dune part, dcrire le
diagramme suivant :
K(L
1,
(G, A
1
))
j

()

.
.
.
.
.
.
.
.
.
.
.
.
.

()

(j
L
1
(
A
1
[V ]))

K(L
1,
(G, A))
(j

())

(j
L
1
(
A
([V ])))

K(L
1,
(G, B))
(j
L
1
(
B
([V ])))

K(L
1
(G, A
1
))
.
.
.
.
.
.
.
j
L
1
(())

.
.
.
.
.
.
.
j
L
1
(())

K(L
1
(G, A))
(j
L
1
(()))

K(L
1
(G, B))
et dautre part de montrer que j
L
1(())

et j

()

sont inversibles (voir dmonstra-


tion du Lemme 1.6.11 de [Laf02b]). On va montrer que ce diagramme est commutatif
en le dcoupant en morceaux.
Lemme 4.3.7. On a les galits suivantes :
j
L
1(())

j
L
1(())
1

=
_
j
L
1(())
_
,
et
j

()

()
1

=
_
j

()
_
.
Dmonstration. Par fonctorialit et par dnition de et de :
(j
L
1(())) j
L
1(())

=
_
j
L
1(())

(j
L
1(()))
_
=
_
j
L
1((

()))
_
,
=
_
j
L
1(())
_
,
= j
L
1(())

.
La deuxime galit se dmontre de faon compltement analogue.
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 119
Lemme 4.3.8. On a les galits suivantes :

_
j
L
1(
A
([V ]))
_
j
L
1,(())

= j
L
1(())


_
j
L
1(
A
1
([V ]))
_
,
et

_
j
L
1(
B
([V ]))
_
j
L
1,(())

= j
L
1(())


_
j
L
1(
A
1
([V ]))
_
.
Dmonstration. La fonctorialit et le lemme 4.3.6 permettent davoir les galits
suivantes :

_
j
L
1(
A
([V ]))
_
j
L
1,(())

=
_
j
L
1(

(
A
([V ])))
_
,
=
_
j
L
1(

(
A
1
([V ])))
_
,
= j
L
1(())


_
j
L
1(
A
1
([V ]))
_
,
et dautre part :
j
L
1(())


_
j
L
1(
A
1
([V ]))
_
, =
_
j
L
1(

(
A
1
([V ])))
_
,
=
_
j
L
1(

(
B
([V ])))
_
,
=
_
j
L
1(
B
([V ]))
_
j
L
1(())

.
Maintenant on est prt pour conclure. Daprs les deux lemmes prcdents, on
a :
(j
L
1(()))
_
j
L
1(
A
([V ]))
_
j
L
1,(())

,
= (j
L
1(())) j
L
1(())


_
j
L
1(
A
1
([V ]))
_
,
et ceci implique donc que :

_
j
L
1(())
_

_
j
L
1(
A
([V ]))
_
,
= j
L
1(())


_
j
L
1(
A
1
([V ]))
_
j
L
1,(())
1

,
=
_
j
L
1(
B
([V ]))
_
j
L
1(())

j
L
1,(())
1

,
=
_
j
L
1
B
([V ]))
_

_
j
L
1,(())
_
.
Et ceci termine la dmonstration de la proposition 4.3.5.
120
Dmonstration du thorme 4.3.3. On va maintenant montrer le thorme 4.3.3.
Nous allons noter [1] := [C
0
(X, 1)] pour simplier les notations. Soit un l-
ment de KK
G
(C
0
(X), A). La compatibilit de avec le produit de Kasparov (voir
[Laf02b, Proposition 1.6.10]) implique les galits suivantes

L
1([1] ) =
_
j
L
1(([1] ))
_
(),
=
_
j
L
1(())
_

_
j
L
1(([1]))
_
().
Mais daprs le lemme 4.3.4 on a

_
j
L
1(())
_

_
j
L
1(([1]))
_
() =
_
j
L
1(())
_

_
j
L
1(
C
0
(X)
[V ])
_
(),
et la proposition 4.3.5 applique C
0
(X) et A implique que le dernier membre de
cette galit est gal

_
j
L
1(
A
([V ]))
_

_
j

()
_
().
On a alors,

L
1([1] ) =
_
j
L
1(())
_

_
j
L
1(
C
0
(X)
[V ])
_
(),
=
_
j
L
1(
A
([V ]))
_

_
j

()
_
(),
=
_
j
L
1(
A
([V ]))
_

L
1,(),
et cest exactement ce quon voulait dmontrer.
Dans la page suivante, nous crivons un diagramme rcapitulatif.
Chapitre 4. Action sur K
top
(G) par le produit tensoriel de 121
K
K
G
(
C
0
(
X
)
,
A
)

j
L
1

H
o
m
_
K
_
L
1
,

(
G
,
C
0
(
X
)
)
_
,
K
_
L
1
,

(
G
,
A
)
_
_
(
.
)
(

(
j
L
1
(

A
[
V
]
)
)

K
(
L
1
,

(
G
,
A
)
)

(
j
L
1
(

A
[
V
]
)
)

H
o
m
_
K
_
L
1
(
G
,
C
0
(
X
)
)
_
,
K
_
L
1
(
G
,
A
)
_
_

(
j
L
1
(

[
V
]
)
)

(
j
L
1
(

C
0
(
X
)
[
V
]
)
)

H
o
m
_
K
_
L
1
,

(
G
,
C
0
(
X
)
)
_
,
K
_
L
1
(
G
,
A
)
_
_
(
.
)
(

K
K
G
(
C
0
(
X
)
,
A
)

j
L
1

H
o
m
_
K
_
L
1
(
G
,
C
0
(
X
)
)
_
,
K
_
L
1
(
G
,
A
)
_
_
(
.
)
(

K
(
L
1
(
G
,
A
)
)
122
Bibliographie
[AW81] C. A. Akemann and M. E. Walter, Unbounded negative denite functions,
Canad. J. Math. 33 (1981), no. 4, 862871.
[Bar80] B. A. Barnes, The role of minimal idempotents in the representation theory
of locally compact groups, Proc. Edinburgh Math. Soc. (2) 23 (1980), no. 2,
229238.
[BBV99] Cdric Bguin, Hela Bettaieb, and Alain Valette, K-theory for C

-algebras
of one-relator groups, K-Theory 16 (1999), no. 3, 277298.
[BCH94] P. Baum, A. Connes, and N. Higson, Classifying space for proper actions
and K-theory of group C

-algebras, C

-algebras : 19431993 (San Antonio,


TX, 1993), Contemp. Math., vol. 167, Amer. Math. Soc., Providence, RI,
1994, pp. 240291.
[BdlHV] B. Bekka, P. de la Harpe, and A. Valette, Kazhdans property (T), Cam-
bridge Univ. Press, to appear.
[BHP97] P. Baum, N. Higson, and R. Plymen, A proof of the Baum-Connes conjec-
ture for p-adic GL(n), C. R. Acad. Sci. Paris Sr. I Math. 325 (1997),
no. 2, 171176.
[Bla98] B. Blackadar, K-theory for operator algebras, second ed., Mathematical
Sciences Research Institute Publications, vol. 5, Cambridge University
Press, Cambridge, 1998.
[Bos90] J. B. Bost, Principe doka, K-thorie et systmes dynamiques non com-
mutatifs, Invent. Math. 101 (1990), 261333.
[CEM01] J. Chabert, S. Echterho, and R. Meyer, Deux remarques sur lapplication
de Baum-Connes, C. R. Acad. Sci. Paris Sr. I Math. 332 (2001), no. 7,
607610.
[CEN03] J. Chabert, S. Echterho, and R. Nest, The Connes-Kasparov conjecture
for almost connected groups and for linear p-adic groups, Publ. Math. Inst.
Hautes tudes Sci. (2003), no. 97, 239278.
123
124
[Cha00] J. Chabert, Baum-Connes conjecture for some semi-direct products, J.
Reine Angew. Math. 521 (2000), 161184.
[Cha03] I. Chatterji, Property (RD) for cocompact lattices in a nite product of
rank one Lie groups with some rank two Lie groups, Geom. Dedicata 96
(2003), 161177.
[Con94] A. Connes, Noncommutative geometry, Academic Press Inc., San Diego,
CA, 1994.
[Cow79] M. Cowling, Sur les coecients des reprsentations unitaires des groupes
de Lie simples, Analyse harmonique sur les groupes de Lie (Sm., Nancy-
Strasbourg 19761978), II, Lecture Notes in Math., vol. 739, Springer,
Berlin, 1979, pp. 132178.
[Cow04] , Applications of representation theory to harmonic analysis of lie
groups (and vice versa), Representation Theory and Complex Analysis,
Lectures given at C.I.M.E session held in Venice, June 10-17 2004 (E. Ca-
sadio Tarabusi, A. DAgnolo, and M. Picardello, eds.), Lecture Notes in
Math., Springer, Berlin, 2004.
[DD63] J. Dixmier and A. Douady, Champs continus despaces hilbertiens et de
C

-algbres, Bull. Soc. Math. France 91 (1963), 227284.


[Del77] P. Delorme, 1-cohomologie des reprsentations unitaires des groupes de Lie
semi-simples et rsolubles. Produits tensoriels continus de reprsentations,
Bull. Soc. Math. France 105 (1977), no. 3, 281336.
[Dix61] J. Dixmier, Points isols dans le dual dun groupe localement compact,
Bull. Sc. Math. 85 (1961), 9196.
[Dix96] , Les C

-algbres et leurs reprsentations, Les Grands Classiques


Gauthier-Villars. [Gauthier-Villars Great Classics], ditions Jacques Ga-
bay, Paris, 1996, Reprint of the second (1969) edition.
[DK68] C. Delaroche and A. Kirillov, Sur les relations entre lespace dual dun
groupe et la structure de ses sous-groupes ferms (daprs D. A. Kazhdan),
Sminaire Bourbaki, Vol. 10, Soc. Math. France, Paris, 1968, pp. Exp. No.
343, 507528.
[DK00] J. J. Duistermaat and J. A. C. Kolk, Lie groups, Universitext, Springer-
Verlag, Berlin, 2000.
[dlH88] P. de la Harpe, Groupes hyperboliques, algbres doprateurs et un tho-
rme de Jolissaint, C. R. Acad. Sci. Paris Sr. I Math. 307 (1988), no. 14,
771774.
Bibliographie 125
[dlHV89] P. de la Harpe and A. Valette, La proprit (T) de Kazhdan pour les
groupes localement compacts (avec un appendice de Marc Burger), Ast-
risque (1989), no. 175, 158, With an appendix by M. Burger.
[FD88] J. M. G. Fell and R. S. Doran, Representations of

-algebras, locally com-
pact groups, and Banach

-algebraic bundles. Vol. 1, Pure and Applied
Mathematics, vol. 125, Academic Press Inc., Boston, MA, 1988, Basic
representation theory of groups and algebras.
[Fel60] J. M. G. Fell, The dual spaces of C

-algebras, Trans. Amer. Math. Soc.


94 (1960), 365403.
[Fel65] , Non-unitary dual spaces of groups, Acta Math. 114 (1965), 267
310.
[FH06] D. Fisher and T. Hitchman, Strengthening Kazhdans Property (T) by
bochner methods, preprint, 2006.
[GA05] M. P. Gomez-Aparicio, Property (T) and tensor products by irreducible
nite dimensional representations for SL
n
(1) n 3, Geometric and to-
pological methods for quantum eld theory (Sylvie Paycha and Bernardo
Uribe, eds.), AMS Contemporary Mathematics, 2005.
[GA07] , Sur la proprit (T) tordue par un produit tensoriel, Jouranl of
Lie Theory 17 (2007), 505524.
[Gui72] A. Guichardet, Sur la cohomologie des groupes topologiques. II, Bull. Sci.
Math. (2) 96 (1972), 305332.
[HG04] N. Higson and E. Guentner, Group C

-algebras and K-theory, Noncom-


mutative geometry, Lecture Notes in Math., vol. 1831, Springer, Berlin,
2004, pp. 137251.
[Hig90] N. Higson, A primer on KK-theory, Operator theory : operator algebras
and applications, Part 1 (Durham, NH, 1988), Proc. Sympos. Pure Math.,
vol. 51, Amer. Math. Soc., Providence, RI, 1990, pp. 239283.
[Hig98] , The Baum-Connes conjecture, Proceedings of the International
Congress of Mathematicians, Vol. II (Berlin, 1998), no. Extra Vol. II,
1998, pp. 637646 (electronic).
[HK01] N. Higson and G. G. Kasparov, E-theory and KK-theory for groups which
act properly and isometrically on Hilbert space, Invent. Math. 144 (2001),
no. 1, 2374.
[HLS02] N. Higson, V. Laorgue, and G. Skandalis, Counterexamples to the Baum-
Connes conjecture, Geom. Funct. Anal. 12 (2002), no. 2, 330354.
126
[HM79] R. E. Howe and C. C. Moore, Asymptotic properties of unitary represen-
tations, J. Funct. Anal. 32 (1979), no. 1, 7296.
[How82] R. Howe, On a notion of rank for unitary representations of the classical
groups, Harmonic analysis and group representations (C.I.M.E. II ciclo
1980), Liguori, Naples, 1982, pp. 223331.
[Hus94] D. Husemoller, Fibre bundles, third ed., Graduate Texts in Mathematics,
vol. 20, Springer-Verlag, New York, 1994.
[Jac45] N. Jacobson, A topology for the set of primitive ideals in an arbitrary ring,
Proc. Nat. Acad. Sci. U. S. A. 31 (1945), 333338.
[Jol90] P. Jolissaint, Rapidly decreasing functions in reduced C

-algebras of
groups, Trans. Amer. Math. Soc. 317 (1990), no. 1, 167196.
[Jul97] P. Julg, Remarks on the Baum-Connes conjecture and Kazhdans property
T, Operator algebras and their applications (Waterloo, ON, 1994/1995),
Fields Inst. Commun., vol. 13, Amer. Math. Soc., Providence, RI, 1997,
pp. 145153.
[Jul98] , Travaux de N. Higson et G. Kasparov sur la conjecture de Baum-
Connes, Astrisque (1998), no. 252, Exp. No. 841, 4, 151183, Sminaire
Bourbaki. Vol. 1997/98.
[Jul02] Pierre Julg, La conjecture de Baum-Connes coecients pour le groupe
Sp(n, 1), C. R. Math. Acad. Sci. Paris 334 (2002), no. 7, 533538.
[Kas80] G. G. Kasparov, The operator K-functor and extensions of C

-algebras,
Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 3, 571636, 719.
[Kas88] , Equivariant KK-theory and the Novikov conjecture, Invent.
Math. 91 (1988), no. 1, 147201.
[Kas95] , K-theory, group C

-algebras, and higher signatures (conspectus),


Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach,
1993), London Math. Soc. Lecture Note Ser., vol. 226, Cambridge Univ.
Press, Cambridge, 1995, pp. 101146.
[Kaz67] D. A. Kazhdan, On the connection of the dual space of a group with the
structure of its closed subgroups, Funkcional. Anal. i Priloen. 1 (1967),
7174.
[Kna02] A. W. Knapp, Lie groups beyond an introduction, second ed., Progress in
Mathematics, vol. 140, Birkhuser Boston Inc., Boston, MA, 2002.
[KS91] G. G. Kasparov and G. Skandalis, Groups acting on buildings, operator
K-theory, and Novikovs conjecture, K-Theory 4 (1991), no. 4, 303337.
Bibliographie 127
[KS03] , Groups acting properly on bolic spaces and the Novikov conjec-
ture, Ann. of Math. (2) 158 (2003), no. 1, 165206.
[KV95] A. W. Knapp and D. A. Vogan, Jr., Cohomological induction and uni-
tary representations, Princeton Mathematical Series, vol. 45, Princeton
University Press, Princeton, NJ, 1995.
[Laf00] V. Laorgue, A proof of property (RD) for cocompact lattices of SL(3, R)
and SL(3, C), J. Lie Theory 10 (2000), no. 2, 255267.
[Laf02a] , Banach KK-theory and the Baum-Connes conjecture, Procee-
dings of the International Congress of Mathematicians, Vol. II (Beijing,
2002) (Beijing), Higher Ed. Press, 2002, pp. 795812.
[Laf02b] , K-thorie bivariante pour les algbres de Banach et conjecture de
Baum-Connes, Invent. Math. 149 (2002), no. 1, 195.
[Laf07] , Un renforcement de la propit (T), preprint, juillet 2007.
[Lan02] S. Lang, Algebra, third ed., Graduate Texts in Mathematics, vol. 211,
Springer-Verlag, New York, 2002.
[LG97] P. Y. Le Gall, Thorie de Kasparov quivariante et groupodes, C. R. Acad.
Sci. Paris Sr. I Math. 324 (1997), no. 6, 695698.
[Li95] J. S. Li, The minimal decay of matrix coecients for classical groups,
Harmonic analysis in China, Math. Appl., vol. 327, Kluwer Acad. Publ.,
Dordrecht, 1995, pp. 146169.
[LZ96] J. S. Li and C. B. Zhu, On the decay of matrix coecients for exceptional
groups, Math. Ann. 305 (1996), no. 2, 249270.
[Mar91] G. A. Margulis, Discrete subgroups of semisimple Lie groups, Ergebnisse
der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and
Related Areas (3)], vol. 17, Springer-Verlag, Berlin, 1991.
[Oh98] H. Oh, Tempered subgroups and representations with minimal decay of
matrix coecients, Bull. Soc. Math. France 126 (1998), no. 3, 355380.
[Oh02] , Uniform pointwise bounds for matrix coecients of unitary re-
presentations and applications to Kazhdan constants, Duke Math. J. 113
(2002), no. 1, 133192.
[OO01] H. Oyono-Oyono, Baum-Connes conjecture and extensions, J. Reine An-
gew. Math. 532 (2001), 133149.
[Par06] W. Paravicini, KK-theory for banach algebras and proper groupoids, Ph.D.
thesis, november 2006.
128
[Ped79] G. K. Pedersen, C

-algebras and their automorphism groups, London Ma-


thematical Society Monographs, vol. 14, Academic Press Inc. [Harcourt
Brace Jovanovich Publishers], London, 1979.
[Ser78] J. P. Serre, Reprsentations linaires des groupes nis, revised ed., Her-
mann, Paris, 1978.
[Sha00] Y. Shalom, Explicit Kazhdan constants for representations of semisimple
and arithmetic groups, Ann. Inst. Fourier (Grenoble) 50 (2000), no. 3,
833863.
[Ska91] G. Skandalis, Kasparovs bivariant K-theory and applications, Exposition.
Math. 9 (1991), no. 3, 193250.
[Tu99] J. L. Tu, La conjecture de Novikov pour les feuilletages hyperboliques, K-
Theory 16 (1999), no. 2, 129184.
[Tza00] K. Tzanev, C

-algbres de Hecke et K-thorie, Ph.D. thesis, Universit de


Paris VII, 2000.
[Val84a] A. Valette, K-theory for the reduced C

-algebra of a semisimple Lie group


with real rank 1 and nite centre, Quart. J. Math. Oxford Ser. (2) 35
(1984), no. 139, 341359.
[Val84b] , Minimal projections, integrable representations and property (T),
Arch. Math. (Basel) 43 (1984), no. 5, 397406.
[Val88] Alain Valette, Le rle des brs de rang ni en thorie de Kasparov qui-
variante, Acad. Roy. Belg. Cl. Sci. Mm. Collect. 8
o
(2) 45 (1988), no. 6.
[Val92] A. Valette, Projections in full C

-algebras of semisimple Lie groups, Math.


Ann. 294 (1992), no. 2, 277287.
[Val02] , Nouvelles approches de la proprit (T) de Kazhdan, Sminaire
Bourbaki, Vol. 913, Soc. Math. France, Paris, 2002.
[Wan75] P. S. Wang, On isolated points in the dual spaces of locally compact groups,
Math. Ann. 218 (1975), no. 1, 1934.
[Was87] A. Wassermann, Une dmonstration de la conjecture de Connes-Kasparov
pour les groupes de Lie linaires connexes rductifs, C. R. Acad. Sci. Paris
Sr. I Math. 304 (1987), no. 18, 559562.
[Zuc77] G. Zuckerman, Tensor products of nite and innite dimensional repre-
sentations of semisimple Lie groups, Ann. Math. (2) 106 (1977), no. 2,
295308.