约化Banach代数的谱不变性和双曲群.pdf

数 学 年 刊 2013，34A(3)：373—384 约化 Banach代数 的谱 不变性 和双 曲群冰 王 志杰 吴 艳2 提要 主要研究了可数离散群的性质 SRD，并证明了具有性质 SRD的群上的速降函数全体组成的空 间是约化Banach代数谱不变的稠密子代数．最后作为例子给出了双曲群具有性质 SRD． 关键词 性质 SRD，约化Banach代数，谱不变性，双曲群 MR (2000)主题分类 46L80，47B48 中图法分类 O177．5 文献标志码 A 文章编号 1000—8314(2013)03—0373—12 1 引 言 设 r是一个离散群， 是 r上的长度函数．我们称r相对于 具有性质RD，若 r 上速降函数全体 日 (I1)包含在 r的约化C*-代数 (r)中．文 [1]中首次介绍和研究了 性质 RD，并在该文中证明了具有多项式增长的群和经典双 曲群具有性质RD．研究性质 RD的背景主要是下面这个定理． 定理 1．1[】如果F有性质RD，即存在F上的长度函数L，使得 (r)包含在 (r) 里，则对 i=1，0，HF(F)到 (r)的包含映射诱导的 一理论 (日 (r))到 ( (r)) 的映射是同构． 性质 RD在 Connes和 Moscovici证明Gromov双 曲群的Novikov猜想的工作中起 到非常大的作用 [3]1Lafforgue的工作说明了性质RD与Baum—Connes猜想是紧密相关 的 4[】_近些年，性质RD一直是人们感兴趣的问题．Haagerup在文 f51中揭示了自由群 具有性质RD．delaHarpe证明了Gromov双 曲群具有性质RD[引．Lafforgue[】对SL3() 和 SL3(C)中余紧格进行了研究，证明了它们具有性质 RD等． Banach代数上谱的不变性一直是人们关心的问题，它在 一理论和非交换几何研究 中有重大的应用．为了研究 Banach代数上谱的不变性，我ifJ~I进了性质SRD，它蕴含性 质 RD． 令 为Banach空间，记 12(r，X)={：r— l。∑lI~(g)ll。co}． 本文 2011年 9月2日收到，2012年 11月2日收到修改稿． 复旦大学数学科学学院 上海 200433；嘉兴学院数理与信息工程学院，浙江 嘉兴 314001 E—mail：wangzhijie112@gmail．com 。嘉兴学院数理与信息工程学院，浙江 嘉兴 314001．E—mail：yanwudok@gmail．COin 本文受到浙江省青年基金 (No．LQ12A01015)和数学天元基金 (No的资助． 374 数 学 年 刊 34卷 A辑 群代数 CF作为线性算子通过群r左平移作用在 12(F，X)上，很容易验证它是 2。(r，X) 上的有界线性算子．设 Banach代数 Bx(F)是群代数 CF在B(1(r，))(指 12(r，X)上 有界线性算子全体)中的完备化．我们称r相对于 具有性质SRD，若 r上速降函数全 体 (r)包含在r上约化 Banach代数Bx(r)中．本文我们主要证明如下定理． 定理 1．2 假设r有性质SRD，即存在F上的长度函数 ，使得HF(r)包含在Bx(r) 中，则对 i=1，0，日 (r)到Bx(P)的包含映射诱导的 一理论 (日 (r))到 ( (r)) 的映射是同构． 注 1．1 当X=C时，约化Banach代数 Bx(r)就是约化 C*-代数 (r)．在这种情 况下，上述定理就是定理 1．1的情形．当 为有限维 Banach空间时，上述定理可直接 由定理 1．1推出．我们尚不知道是否存在一个群，使得该群具有性质SRD但不具有性质 RD． 作为例子，我们证明了 Oromov双 曲群具有性质 SRD． 定理 1．3 如果 r是 Gromov双曲群，则 F具有性质 SRD．具体地说，对任意函数 ∈ (r)(F上具有有限支撑函数全体)，存在常数 c0，使得 ll≤c ll2．L． 本文安排如下：第 2节我们给出性质 SRD