一类算子的换位代数的K-群.pdfVIP

第 29卷 第 3期 2005年 5月 河北师范大学学报(自然科学版) Journal of Hebei Normal University(Natural Science Edition) VoI．29 No．3 Mav．2005 一 类算子的换位代数的 K一群 赵 瑞 芳 (河北师范大学 数学与信息科学学院，河北 石家庄 050016) 摘 要：Hilbert空间 上的有界线性算子K称为紧算子，若K(B1)的闭包K(Bl 在 _中是紧集，其中Bl 是 辛的单位球．得到了若 上的有界线性算子s的换位代数 (s)=C／+ ，(其中：C是复数域；J是。 上 的单位算子； 是所有与s可交换的对角线为0的紧上三角有界线性算子的集合)，则 K ( √ (s))同构于整数 群 Z． 关键词：紧算子；K0一群；强不可约；归纳序列；归纳极限 中图分类号：O154．3 文献标识码 ：A 文章编号：1000—5854(2005)03—0228—06 设 是无穷维可分的复Hilbert空间，{e } 1是 的标准正交基， ( 为 肚 全体有界线性算子的 集合．K∈留( 称为紧算子，若 K(B1)的闭包K(B1)在 中是紧集，其中B1是 中的单位球．记留(弼 中紧算子的全体为 ( 对s∈国( ，S的换位代数 (S)= {A∈ ( ；AS=SA}，显然 (S)是含单位元的Banach 代数．记 rad(,od (S))是 (S)的Jacobson根． 令 是含单位元的Banach代数，e和 是 中的幂等元．e和厂称为代数等价(记为 ～(a))，若存在 z，Y∈ 使得xy=P，y．Tc=f．P和 称为相似等价(记为～)，若存在可逆元 z∈ ，使得zez =f． 令 M ( ={(a ) ：a ∈ ，记 M ( 为 ( (n=1，2，?)的代数极限，M ( 一 M川 ( 的嵌入映射为a—diag(a，0)=a①0．记Proj(M ( )为M ( 中幂等元的代数等价类，V( Proj(M ( )．在 V( 上可以定义加法运算：若[e] 门∈V( ，任选e ∈[e]，厂∈[门使得 厂 = 厂e =0，并定义[e]+[f]=[e +厂]，这个运算是良定义的，并且 V( 在该运算下是个半群． 的 K0群K0( 定义为 V( 的Grothendieck群，则“V”是从含单位元的Banach代数范畴到交换半群范 畴的共变函子，“K。”是从含单位元的Banach代数范畴到交换群范畴的共变函子?． 近来，K一理论使算子代数的研究出现了革命性的变化，作为“非交换拓扑”学科的重要分支，K一理 论不但在 C 一代数结构理论的研究中开辟了崭新的、广阔的前景，而且使人们在利用算子代数解决拓 扑和几何问题的过程中产生了许多深刻的、意想不到的结果．本文中，笔者计算了一类算子 s的换位代 数 (S)的 K0一群． 曹阳等在文献[2]中指出若算子 0 601 0 0 60” ● ● ∈ ( ， (其中cU ∈C，∑ I I o，I I≤I 601-1 I，且叫，一0)，则K0( (T))兰Z．(在本文中“兰’表 t,I l 收稿 日期：2004—08—02 基金项 目：国家 自然科学基金资助项 目 作者简介：赵瑞芳(1979一)，女，河北省沙河市人 ，河北师范大学硕士研究 丰? 维普资讯 第 3期 赵瑞芳：一类算子的换位代数的 K一群 229 示群同构，N =(0，1，2，3，?)，Z表示整数群，C表示复数域)． 考察 (T)发现，I【、／ (T)=CI+ ．J是 上的单位算子， 是与 T可交换的对角线为0的紧上三 角算子的集合．于是猜想：对 |s∈ ( )，若 (|s)=CI+四，其中 是与S可交换的对角线为零的紧上 三角有界线性算子的集合，是否有 K ( (|s))兰 z?本文中，笔者对这个猜想给予肯定的回答．为此，先 介绍如下概念和结论． 定义 1 是Banach代数， 中的网{ }称为 的逼近单位元【 】，若 sup o。，且对每一个 a∈ ，e,a a，ae a． 定义2 范畴 中的归纳序列是指 中的对象序列{A }田_1和态射序列 A 一 A，I十l，记作 A1 A 2三 A 3 ? ． 当优7I时，记 。 = 一1。 一2。?。 ：A 一A ；当 zn时， 。 = 0， ． = idA． ( A 表示 A 上的单位算子)． 定义3 范畴 中的归纳序列 A1 A 2三 A 3三 ? 的归纳极限【 是满足如下条件的体系(A，{ } 中的态射)： A A (1) 1)(其中：A是 的对象； ：A 一 A，，z=1，2，?是 1)对于 ，z=1，2，?，图表 -a ．／ +1可交换； ^ 2)若(B，{ }