arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/9802067math.OA
收藏

Hilbert双模生成的C* 代数-代数的理想结构与简单性

Ideal structure and simplicity of the C*-algebras generated by Hilbert bimodules

Tsuyoshi Kajiwara, Claudia Pinzari, Yasuo Watatani

摘要:

Pimsner引入了由C* 代数-代数A上的Hilbert双模X生成的C* 代数-代数O_X.我们寻找X应该满足的附加条件,以便研究简单性,更一般地说,当X是有限射影时,O_X的理想结构。我们引入了两个条件:“(I)-自由”和“(II)-自由”,比前者更强,类似于[J. Cuntz,W。克里格发明Math.56,251-268]和[J. Cuntz,Invent. 63,25-40]。(I)-自由性包括与包含有限指标的简单C* 代数,有限维的实或伪实双模以及“Cuntz-Krieger双模”相关的双模的情况。如果X满足这个条件,则当A是忠实表示时,C* 代数O_X不依赖于生成元的选择。因此,如果X是(I)-free的,A是X-单的,那么O_X是单的。在Cuntz-Krieger代数的情况下,X-简单性对应于定义矩阵的不可约性。如果A是简单的且是p.则O_X是p.i.,如果A是无核的,那么O_X也是无核的。因此,我们提供了(纯)无限非核单C* 代数的例子。当X不含(II)时,我们确定了O_X的理想结构.

英文摘要:

Pimsner introduced the C*-algebra O_X generated by a Hilbert bimodule X over a C*-algebra A. We look for additional conditions that X should satisfy in order to study simplicity and, more generally, the ideal structure of O_X when X is finite projective. We introduce two conditions: `(I)-freeness' and `(II)-freeness', stronger than the former, in analogy with [J. Cuntz, W. Krieger, Invent. Math. 56, 251-268] and [J. Cuntz, Invent. Math. 63, 25-40] respectively. (I)-freeness comprehend the case of the bimodules associated with an inclusion of simple C*-algebras with finite index, real or pseudoreal bimodules with finite dimension and the case of `Cuntz-Krieger bimodules'. If X satisfies this condition the C*-algebra O_X does not depend on the choice of the generators when A is faithfully represented. As a consequence, if X is (I)-free and A is X-simple, then O_X is simple. In the case of Cuntz-Krieger algebras, X-simplicity corresponds to irreducibility of the defining matrix. If A is simple and p.i. then O_X is p.i., if A is nonnuclear then O_X is nonnuclear. We therefore provide examples of (purely) infinite nonnuclear simple C*-algebras. Furthermore if X is (II)-free, we determine the ideal structure of O_X.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑