Académique Documents
Professionnel Documents
Culture Documents
(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
-algbre maximale, 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
-
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
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
-algbre maximale de G, C
= 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) = C
(G)
|.|
C
(G)
de sorte que /
(G). Soit (
, V
de V . Donc, comme (V
V )
G
= Hom
G
(V, V ), la reprsentation tri-
viale 1
G
de G 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). En particulier,
si G est un groupe compact, comme toute reprsentation de G sur un espace
de Hilbert est unitarisable, alors /
(G) = C
(G) sur
H V que nous notons , par abus de notation.
4. Soit
de V . Si
et
,
pour toute reprsentation unitaire (, 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
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). Comme
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) /
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
)
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
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
(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
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
() = 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.
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
r
(G) par la K-thorie de la
C
-algbres, C
r
(G) et 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
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
-
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
(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 = C
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
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
() =
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
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 (
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
) telle que pour tout > 0 et pour toute partie compacte K de G il existe un
morphisme : V V H
-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
)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
-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) 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
r
(G), la C
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
(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 /
, 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
)
lespace
.
Dmonstration. Supposons que G a la proprit (T) tordue par et soit p
G
lidem-
potent dans /
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 /
.
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
(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
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
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 /
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
)
(V [
, V [
dans V [
(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 /
) 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
.
Soit une suite (p
n
G
)
n
dans C
c
(G) qui converge vers p
G
dans /
:= 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
)
G
, ainsi que limage par de V (H
)
G
est contenue dans 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
.
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
(G), /
G
et /
G
dnies comme dans la section prcdente que lon
note /, /
et /
.
Thorme 1.2.1. Le morphisme dalgbres de Banach est un isomorphisme.
Remarque 1.2.2. Si on munit /
, y /
), 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 /
= 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 /
, 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
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
, 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
[]
b
K
H
r
,
o [] est la classe de la reprsentation (, H
) dans
K et r
de H
, la projection P
:
H
= 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
)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
(
)
sup
,H
m
2
_
G
[f(g)[|(g)|
End(V )
(g)
K
()
K
()dg,
o le sup est pris parmi les vecteurs , H
).
Dmonstration. On va dabord montrer que le supremum dans lingalit (1.2.1)
peut tre pris parmi les vecteurs unitaires , H
).
Soit (, H
et pour toute
K, la projection du vecteur (f) sur la composante -typique de H
est gale
((f)) = n
f),
et n
((f)
) = n
(f
,
Chapitre 1. Proprit (T) tordue par une reprsentation non unitaire 39
et n
(f
-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[
)
= sup
z,y
[(f)z, y)[,
o z et y parcourent les vecteurs unitaires de H
. 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
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
(
). 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
)
, 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
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 =
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
V V
)(t,t
C
c
(G)
V V
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
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
-algbre
maximale et la 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, la norme de 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
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
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
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
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
-
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 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
, T T
() := (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
-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
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
(y) KK
G,i
(A, C),
si : B C est un morphisme de G-C
(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, 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
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
)c = x c
c,
pour x E, c C et c
C. Ceci fait de
= (xb)
pour x E et b B. On pose x
: F E ladjoint de f et on note f
lapplication ()f
()
1
: F E. Alors (f
:= (
(E
<
),
(E
>
)) = (
C
B
E
<
, E
>
C).
Alors
) = 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
((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
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
[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
(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
-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
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
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) C = C
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. 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
(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
: 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
= (xb)
pour x E et b B. On dnit
alors un crochet ., .) : E E B que lon note ., .) par abus de notation, par :
x
= ()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
-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
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
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
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,
a, x) = , ax),
pour tout E
G et pour tout x E
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.
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 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
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)
-algbres
C
(G, E))
End(V ), et donc elle agit sur le module hilbertien C
-algbres |.|
C
(G,K(E))End(V )
) et E
G
est un sous-module ferm de C
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
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
-algbres de A
1
dans A. Notons
1
G le morphisme
dalgbres de Banach de A
1
G dans A
1
()) = (
1
G)
(j
()),
ce qui donne la fonctorialit en A.
Soit maintenant : B C un morphisme de G-C
()) = (
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
(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
(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)
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 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)
(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, /(
(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)
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)
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
(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)
|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
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
-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)
.
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
-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
: 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
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
|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
G, B
(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
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
(E
G) E
G,
de norme infrieure ou gale 1.
On va construire une homotopie entre (i
,
(j
()) et j
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
).
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)
|
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
= i
,
B
-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
r
est surjectif pour tout groupe G appartenant la classe (
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
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 (
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 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
(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
(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
est un isomorphisme.
Remarque 3.1.4. On remarque que si B est une G-C
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
: 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
(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
= 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).
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.
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) 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. 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
B
()
AB
B
(d), donc
B
()
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
() = 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 car
AB
(
B
()
(x)) = (j
(
B
()))(
B
(x))
= 0,
et
AB
(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 (
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
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
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
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) /
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 (
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
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
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
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
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
: 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
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
r
(G, A) (resp. C
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
: 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
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
, 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
_
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
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
())
(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
(
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
()
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 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