La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

Diss ETH No

61 pages
Niveau: Supérieur

  • dissertation

Diss. ETH No. 14259 On Property (RD) for Certain Discrete Groups A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Mathematics presented by Indira Lara Chatterji Diplomee de l'Universite de Lausanne born January 25th, 1973 citizen of Lausanne (VD) Thesis committee: Prof. Marc Burger, examiner Prof. Alain Valette, co-examiner Prof. Frederic Paulin, co-examiner 2001

  • group

  • duits quelconques d'espaces hyperboliques

  • property

  • baum-connes

  • baum-connes conjec- ture

Voir plus Voir moins
Diss. ETH No. 14259
On Property (RD) for Certain Discrete Groups
A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Mathematics presented by
Indira Lara Chatterji Diplom´eedelUniversite´deLausanne born January 25th, 1973 citizen of Lausanne (VD)
Thesis committee: Prof.Marc Burger, examiner Prof.Alain Valette, co-examiner Prof.Pcire´deniluar´F, co-examiner
2 R´esume´.pri´aproditeet´ettCesdelpectnsasrtaierecpxolseeete`h deDe´croissanceRapide,proprite´te´(DR),quiestunph´enom`enerele-vantdelage´ome´trienon-commutativedesgroupesdiscrets.Cettepro-pri´ete´are´cemmentconnuunintenseregaindinte´rˆetduˆauxtravauxde V.Laorguequienfontusagepourd´emontrerlaconjecturedeBaum-Connes dans certains cas. Outre qu’ils constitu t ´vidente motiva-en une e tion,lestravauxdeV.Laorgueontaussi´et´eunesourcedinspiration pourunepartiedupre´senttravail. e na ure geom Notreapprocheestdt´e´trique:nousconsid´eronsdes groupesdiscretsdisom´etriesdecertainsespacessym´etriques,notam-mentlespaceassoci´eaugroupeexceptionnelE6(26), ainsi que de pro-duitsquelconquesdespaceshyperboliquesa`laGromov,ouencoredes produits mixtes impliquant les deux types d’espaces. Abstract.explore in this dissertation certain aspects of theWe Rapid Decay property, property (RD), which is a phenomenon in the non-commutative geometry of discrete groups. Due to V. Lafforgue’s work on the Baum-Connes conjecture, there has recently been a con-siderable interest in this property. On top of this obvious motivation, V. Lafforgue’s techniques were also a source of inspiration for part of the present work. Our approach is geometrical in nature: we consider discrete groups of isometries of certain symmetric spaces, notably the space associ-ated to the exceptional groupE6(26), as well as arbitrary products of Gromov hyperbolic spaces, or mixed products of both types of spaces.
Introduction 5 Motivations and statement of results 5 Organization of the text 6 Acknowledgments 6 Chapter 1. Around property (RD) 9 Basic definitions 9 What is property (RD) good for? 21 Chapter 2. Uniform lattices in products of rank one Lie groups 25 Two properties for a metric space 25 Uniform nets in products of hyperbolic spaces 29 Coxeter groups 33 Chapter 3. Triples of points inSL3(H) andE6(26)35 The case ofSL3(H) 35 The case ofE6(26)40 Relation with triples inSL3(C) 47 Chapter 4. Uniform lattices in products ofSL3’s and rank one’s 49 Two properties of triples of points 49 How we establish property (RD) 52 Flat of typeA2endowed with a Finsler distance 55 Loose ends 57 Bibliography 59
Introduction Motivations and statement of results A discrete group Γ is said to haveproperty (RD) with respect to a length function`if there exists a polynomialPsuch that for any rR+andfCΓ supported on elements of length shorter thanr the following inequality holds: kfkP(r)kfk2 wherekfkdenotes the operator norm offacting by left convolution on`2(Γ), andkfk2the usual`2norm. Property (RD) has been first established for free groups by Haagerup in [7], but introduced and stud-ied by P. Jolissaint in [12], who established it for polynomial growth groups and for classical hyperbolic groups. The extension to Gromov hyperbolic groups is due to P. de la Harpe in [8 the first]. Providing examples of higher rank groups, J. Ramagge, G. Robertson and T. Ste-ger in [24] proved that property (RD) holds for discrete groups acting ˜ ˜ ˜ freely on the vertices of anA1×A1orA2building and recently V. Lafforgue did it for cocompact lattices inSL3(R) andSL3(C) in [14]. Cocompactness is crucial since the only (up to now) known obstruc-tion to property (RD) has been given by P. Jolissaint in [12] and is the presence of an amenable subgroup with exponential growth. This has been turned into a conjecture: Conjecture1 (A. Valette, see [30] or [2]).Property (RD) with respect to the word length holds for any discrete group acting isomet-rically, properly and cocompactly either on a Riemannian symmetric space or on an affine building. Property (RD) is important in the context of Baum-Connes conjec-ture, precisely, V. Lafforgue in [15] proved that for “good” groups hav-ing property (RD), the Baum-Connes conjecture without coefficients holds. The main result of this thesis is the following Theorem0.1.Any discrete cocompact subgroupΓof a finite prod-uct of type Iso(X1)× ∙ ∙ ∙ ×Iso(Xn) has property (RD) with respect to the word length, where theXi’s are ˜ either complete locally compact Gromov hyperbolic spaces,A2-buildings, or symmetric spaces associated toSL3(R),SL3(C),SL3(H)andE6(26). 5
6 INTRODUCTION This provides many interesting examples of discrete groups having property (RD), such as cocompact lattices inSL2(R)×SL2(R). Notice that combining our result with V. Lafforgue’s crucial theorem in [15] yields the following Corollary0.2.The Baum-Connes conjecture without coefficients (see[30]) holds for any cocompact lattice in G=G1× ∙ ∙ ∙ ×Gn where theGi’s are either rank one Lie groups,SL3(R),SL3(C),SL3(H) orE6(26). Simultaneously and independently, M. Talbi in his Ph.D. thesis (see [28]) proved that property (RD) holds for groups acting on buildings ˜ ˜ of typeAi1× ∙ ∙ ∙ ×Aik, whereij∈ {12}. Organization of the text Chapter 1 of this work is a general exposition of property (RD), essentially based on P. Jolissaint’s results in [12 slightly improve]. We his result on split extensions by considering general length functions instead of the word length, but otherwise the proof is the same. In Chapter 2 we look at the particular case where theXi’s are locally compact Gromov hyperbolic spaces. In case where all theXi’s are trees, we can even drop the local finiteness condition, which allows to establish property (RD) for Coxeter groups. This remark is due to N. Higson. In Chapter 3, the study ofSL3(H) andE6(26)will allow us to answer (positively) a question posed by V. Lafforgue in [14], which was to know whether his Lemmas 3.5 and 3.7 are still true for the groups SL3(H) andE6(26), whose associated symmetric spaces have also flats of typeA2. Observing that these lemmas are in fact “three points con-ditions” it will be enough to prove that ifXdenotesSL3(H)/SU3(H) orE6(26)/F4(52)then for any three points inXthere exists a totally geodesic embedding ofSL3(C)/SU3(C) containing those three points. In Chapter 4 we will explain how to use the techniques used in [24] and [14 The] for the above described products. “loose ends” chapter is about questions to which I haven’t been able to answer. Acknowledgments My warmest thanks go to both my adviser Prof. A. Valette and my co-adviser Prof. M. Burger for the nice time I had writing my dissertation. I am extremely grateful to Alain Valette for introduc-ing me with a very communicative enthusiasm to this Baum-Connes conjecture related topic which is property (RD), for suggesting me a very nice thesis subject, and later for carefully reading my scratches, patiently answering my uncountable e-mails and offering me very im-portantandmotivatingmathematicaldiscussionsinNeuchˆatel.Ithank
Marc Burger for reading my dissertation, for all his very helpful com-ments and for his guidance ever since I completed my undergraduate studies in Lausanne. He provided me with ideal working conditions in Zu¨rich,andsuggestedmetomakethescriptfortheNachdiplomvor-lesung Alain Valette gave at ETHZ in 1999, which forced me to learn a lot on the Baum-Connes conjecture. IwarmlythankFre´de´ricPaulinforacceptingtobeco-examiner on this dissertation. His friendly criticism and careful reading of a preliminary version have been a valuable help to me. I am indebted to V. Lafforgue who spent a great deal of time ex-plaining me the techniques used in [14] and [24], giving me a very clear ˜ and intuitive picture ofA2andA2 also thank D. Allcockstructures. I and G. Prasad for very helpful conversations onE6(26).
Around property (RD)
Basic definitions In this section we will give some conditions which are equivalent to property (RD) and study the stability of property (RD) under group extensions. Most of the results given in this section are either simple remarks or slights improvements of results contained in P. Jolissaint’s paper [12]. Definition1.1.Let Γ be a discrete group, alength functionon Γ is a function`: ΓR+satisfying: `(e) = 0, whereedenotes the neutral element in Γ, `(γ) =`(γ1) for anyγΓ, `(γµ)`(γ) +`(µ) for anyγ µΓ. The functiond(γ µ) =`(γ1µ) is a left Γ-invariant pseudo-distance on Γ. We will writeB`(γ r) for the ball of centerγΓ and radiusrwith respect to the pseudo-distance`, and simplyB(γ r) when there is no risk of confusion. Example1.2.If Γ is generated by some finite subsetS, then the algebraic word lengthLS: ΓNis a length function on Γ, where, forγΓ,LS(γ) is the minimal length ofγas a word on the alphabet SS1, that is, LS(γ) = min{nN|γ=s1. . . sn siSS1}. Let Γ act by isometries on a metric space (X d). Pick a point x0Xand define`(γ) =d(γx0 x0), this is a length function on Γ. This last example is general in the sense that any length function` comes from a metric on a spaceXwith respect to which Γ acts by isometries. Indeed, if`is a length function on Γ, define the subgroup Nof Γ as, N={γΓ|`(γ) = 0} and thenX= Γ/N map. Thed:X×XR+,d(γN µN) =`(µ1γ) is a well-defined Γ-invariant metric onXand`(γ) =d(γN N) for any γΓ. LetH <Γ be a subgroup of Γ and`a length on Γ. The restriction of`toHinduces a length onHthat we callinduced length. 9
10 1. AROUND PROPERTY (RD) Definition1.3.Denote byCΓ the set of functionsf: ΓCwith finite support, which is a ring for pointwise addition and convolution: fg(γ) =Xf(µ)g(µ1γ).(f gCΓ γΓ) µΓ We denote byR+Γ the subset ofCΓ consisting of functions with target inR+ for. ConsiderfinCΓ (or inR+Γ) the following norms: (a) the usual`2norm, given by kfk2=sγXΓ|f(γ)|2 which actually comes from a scalar product on`2Γ, the space of square summable functions on Γ. (b) theoperator norm, given by kfk= sup{kfgk2| kgk2= 1} which is the norm offinCrΓ, the reduced C*-algebra of Γ, obtained by completingCΓ with respect to the operator norm. (c) aweighted`2norm, depending on a parameters >0 and given by kfk`,s=Xs|f(γ)|2(1 +`(γ))2s. γΓ We denote byHs(Γ) the completion ofCΓ with respect to this ` norm. Obviously, forfCΓ we have thatkfk2≤ kfk, and the following definition is an attempt to give an upper bound to the operator norm. Definition1.4 (P. Jolissaint, [12]).Let`be a length function on Γ. We say that Γ hasproperty (RD)(standing forRapid Decay) with respect to`(or that it satisfies theHaagerup inequality), if there exists C s >0 such that, for eachfCΓ one has kfkCkfk`,s. Proposition1.5.LetΓbe a discrete group, endowed with a length function`. Then the following are equivalent: 1)The groupΓhas property (RD) with respect to`. 2)There exists a polynomialPsuch that, for anyr >0and any fR+Γso thatfvanishes on elements of length greater than r, we have kfkP(r)kfk2. 3)There exists a polynomialPsuch that, for anyr >0and any two functionsf gR+Γso thatfvanishes on elements of length greater thanr, we have kfgk2P(r)kfk2kgk2.
BASIC DEFINITIONS 11 4)There exists a polynomialPsuch that, for anyr >0and any f g hR+Γso thatfvanishes on elements of length greater thanr, we have fgh(e)P(r)kfk2kgk2khk2 5)Any subgroupHinΓhas property (RD) with respect to the induced length. Proof.We start with  Takethe equivalence between 1) and 2). fCΓ with support contained in a ball of radiusr, we have: kCkfk`sγBX(e,r) kf,s=C|f(γ)|2(`(γ) + 1)2s CsγBX(e,r)|f(γ)|2(r+ 1)2s=C(r+ 1)skfk2 and thus 2) is satisfied, for the polynomialP(r) =C(r+1)s. Conversely we denote, fornN Sn={γΓ|n`(γ)< n+ 1} and compute, forfR+Γ: ∞ ∞ ∞ kfk=kXf|SnkXkf|SnkXP(n+ 1)kf|Snk2 n=0n=0n=0 ∞ ∞ XC(n+ 1)kkf|Snk2=CX(n+ 1)1(n+ 1)k+1kf|Snk2 n=0n=0 vvCuX(n+ 1) tn=02tun=X0(n+ 1)2k+2kf|Snk22 vCπ6tuX X|f(γ)|2(`(γ) + 1)2k+2 n=0γSn =Cπ6sγXΓ|f(γ)|2(`(γ) + 1)2k+2=Cπ6kfk`,k+1 We finish by noticing that forfCΓ if one denotes by|f|the function given byγ7→ |f(γ)|(which is inR+Γ), thenkfk2=k |f| k2and thus kfk≤ k |f| kP(r)k |f| k2=P(r)kfk2. The equivalence between 2) and 3) is rather obvious since forfas before andgR+Γ, non zero: kfgk2≤ kfkP(r)kfk2 kgk2