Strongart数学笔记浅谈C星代数的乘子代数.pdfVIP

浅谈C*-代数的乘子代数 ( 对于一个不带单位元的C*-代数A，我们可以把它进行单位化，这 大致有两种方法，一是纯代数意义上的单位化，二是算子意义的单位 化，后者就将导出本文的主角乘子代数（multiplier algebra）。 先看纯代数的单位化，那么就是考虑A⊙C，定义乘积为 (a,λ)(b,μ)=(ab+μa+λb,λμ)，它有单位元 （1,0），这样作为抽 象环的单位化就完成了。接下来，我们还要定义范数为 |(a,λ)|= ‖a ‖+|λ|，但遗憾的是，这样的范数只能作为Banach代 数的单位化，而不是C*-代数的单位化，因为它可能不满足C*-方程。 比如当A=C 时，取x=(1,-2)(?)，则‖xx* ‖≠‖x ‖^2(!)，要想让 它满足C*-方程，就必须重新定义范数：‖(a,λ) ‖=sup{ ‖xy+λy ‖； y∈A，‖y ‖≤1}. 这样的乘子范数启发，我们可以把A 内的元素都看成一个乘子， 具体哟左乘子L_a(b)=ab与右乘子R_a(b)=ba.根据它们的性质，我 们可以得到抽象意义上的左右乘子（L,R），满足基本性质： L(ab)=L(a)b,R(ab)=aR(b),aL(b)=R(a)b 这就是所谓的双中心化子。此后，我们可以分别定义(L,R)的范数、 乘积与*算子为： ‖(L,R)‖= ‖L ‖= ‖R ‖（可由aL(b)=R(a)b导出） ‖(L,R)(L,R)‖= ‖(LL,RR)‖ （L,R）*=(R*,l*) 这样就可以把（L,R）构造为C*-代数，称为A 的乘子代数，记作M （A）. 从A到M （A）可以通过典型嵌入a→(L_a,R_a)，此时可以把A 视为M （A)的子代数，可以证明A实际上就是M （A)的本性理想，由 此可以定义克洛代数（corona algebra）Q （A）=M （A）/A. 同时，M （A）一定包含恒等映射，因此它作为C*-代数一定是有单位元的， 只不过这个恒同映射在A 内的逆像1可能不存在！ 乘子代数的一个典型例子给定可分Hilbert空间H，那么H上的 有界线性算子代数B （H）=M （K （H）），其K （H)为H上的紧算子代数. 更一般的对于Hilbert B-模E，有B （E）=M （K （E））. 同时，假若 把C*-代数A本身视为自己的HilbertA-模，那么可以得到乘子代数 的一个Hilbert模的解释：M （A）=B （A）. 对于交换C*-代数而言，它的单位化是有拓扑学意义的，特别是 与拓扑空间的紧化密切相关。通过Gelfand变换，交换C*-代数都可 以被视为C_0(X)，其中X是局部紧Hausdorff空间. 这里有个非常 有意思的对应关系，它的代数单位化就是C(X+），其中X+是X 的单点 紧化；而它的算子单位化则是C(βX），其中βX是X是Stone-Cech 紧化。这两种拓扑空间的紧化恰好就是最小与最大的紧化，分别对应 着C*-代数的最小与最大的单位化。 此时，对应的克洛代数Q （A）=M （A）/A=C(βX\X),其中βX\X 就称为拓扑空间X 的克洛空间（corona space）.当X=R时，其单点 紧化就是加一个无穷远点构成S^1，而Stone-Cech紧化则是正负无 穷处分别加一个正负无穷大点，因此它的克洛空间由正无穷与负无穷 两个点组成。 既然乘子代数的关键是把元素看成乘子，那么我们可以定义一种 特殊的严格拓扑（strict topology）。设A是在B （H）上有非退化 表示的C*-代数，那么其严格拓扑就是使得x→xa，x→ax，a∈A， x∈B(H）关于范数连续的最弱拓扑。同时我们有：某网A 内的网逼近 单位元 iff 它严格收敛于1∈M （A）. 显然，严格拓扑要弱于一般的 范数拓扑。同时，当A带单位元时，有A=M （A)，它们两者是一致的。 假若A不含单位元，可考虑Q （A）=M （A）/A，它包含单位元1，这 样就有A 的逼近单位元严格收敛于1∈Q （A），但却不是按范数收敛于 1，因此无单位时严格拓扑并等于范数拓扑。 严格拓扑比范数拓扑的优越之处在于可以完全刻画乘子代数，乘 子代数M （A）在严格拓扑下是完备的，实际上它就是A在严格拓扑 下的完备化。 乘子代数M(A)在C*-代数的扩张理论中有重要的意义，主要是可 以定义所谓的Busby不变量。给定C*-代数