Smale空间上的广群C*-代数的迹

本文证明由拓扑混合的Smale空间上的渐进等价关系定义的广群C*-代数及其相应的Ruelle代数有唯一的迹态;在拓扑可迁的情形下,证明此C*-代数的迹态构成了一个单形,此单形顶点的个数等于"Smale谱分解"中基本空间的个数,单形的重心是该C*-代数的唯一的αa-不变迹态;此回答了Ⅰ.Putnam的一个猜测.     

单的迹稳定秩一C*-代数的消去性质

本文证明了一个单的有单位元的迹稳定秩一的C*-代数具有消去律,利用此结果证明了单的有单位元的迹稳定秩一的C*-代数是稳定秩一的.最后讨论了迹稳定秩一的C*-代数的K0群的性质.     

一类Smale空间上的C~*-代数自同构的熵

Ian Putnam利用Smale空间上的渐近等价关系定义了广群C~*-代数及其典则自同构.本文在零维Smale空间的情形下,计算此类C~*-自同构的逼近熵,证明了相应C~*-动力系统关于CNT熵和逼近熵的"变分原理"成立.由此推演出此类Smale空间上的Bowen测度诱导的C~*-代数上的态是此典则自同构的唯一平衡态.     

I(k)中迹极限C*-代数的注记

给出了I(k)中迹极限C*-代数的某些性质.特别地给出了I(k)中迹极限c*-代数的的几个等价定义.利用此结果,证明了如果A是单的有单位元的C*-代数,并且A具有唯一的标准迹,A=(t4)Lim n→∞ (An,pn),其中An∈I(k),则A=(t4) lim n→∞(An,pn),其中An∈I(O).最后给出了I(k)中迹极限C*-代数的Ko-群的消去律性质.     

迹稳定秩一的C~*-代数

本文引入了一类迹稳定秩一的C*-代数,证明了迹稳定秩一的C*-代数与AF-代数的张量积是迹稳定秩一的,得到了一个可分的单的有单位元的迹稳定秩一的,并且具有SP性质的C*-代数是稳定秩一的.同时,还讨论了迹稳定秩一的C*-代数的K-群的某些性质.     

C*-代数的迹迹秩

引入C*-代数迹迹秩的概念,讨论它的基本性质.另外,迹迹秩为零和迹拓扑秩为零的C*-代数等价,同时讨论这类代数的拟对角扩张性质.设0→I→ A→A/I→0是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

迹稳定秩1的C*-代数的稳定有限性与弱迹稳定秩1

主要给出了迹稳定秩1的C*-代数的稳定有限性,证明了如果A是有单位元迹稳定秩1的C*-代数,则A是稳定有限的,引入了弱迹稳定秩1的定义,并且证明了如果有单位元的C*-代数A是迹稳定秩1的,则A是弱迹稳定秩1的.对于单的具有SP性质的有单位元的C*-代数A,如果A是弱迹稳定秩1的,则A是迹稳定秩1的.同时给出了迹稳定秩1的C*-代数的一个等价条件,证明了一个有单位元的可分的C*-代数A是迹稳定秩1的,等价于A=(t4)limn→∞(An,Pn),其中tsr(AN)=1.     

某些C*-代数上的2-局部映射

讨论了单C*代数上的2-局部等距的线性;在证明某些C*代数上的2-局部自同构是线性的同时,根据C*代数的K-理论,给出了满足此结果的C*代数例子.     

*-代数自由积上的线性泛函的延拓

本文研究了C*-代数及其*-稠子代数的*-代数自由积.利用自由积的性质,得到了这两类自由积上的线性泛函到C*-代数(泛)自由积上的态延拓的充要条件,从而证明了这类延拓对于一般的C*-代数也是成立的.     

C~*-代数的迹迹秩

引入C~*-代数迹迹秩的概念,讨论它的基本性质.另外,迹迹秩为零和迹拓扑秩为零的C~*-代数等价,同时讨论这类代数的拟对角扩张性质.设O→I→A→A/I→O是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

Reduced C*-algebras of Fell bundles over inverse semigroups

We construct a weak conditional expectation from the section C*-algebra of a Fell bundle over a unital inverse semigroup to its unit fibre. We use this to define the reduced C*-algebra of the Fell bundle. We study when the reduced C*-algebra for an inverse semigroup action on a groupoid by partial equivalences coincides with the reduced groupoid C*-algebra of the transformation groupoid, giving both positive results and counterexamples.     

C*-simplicity and the unique trace property for discrete groups

A discrete group is said to be C*-simple if its reduced C*-algebra is simple, and is said to have the unique trace property if its reduced C*-algebra has a unique tracial state. A dynamical characterization of C*-simplicity was recently obtained by the second and third named authors. In this paper, we introduce new methods for working with group and crossed product C*-algebras that allow us to take the study of C*-simplicity a step further, and in addition to settle the longstanding open problem of characterizing groups with the unique trace property. We give a new and self-contained proof of the aforementioned characterization of C*-simplicity. This yields a new characterization of C*-simplicity in terms of the weak containment of quasi-regular representations. We introduce a convenient algebraic condition that implies C*-simplicity, and show that this condition is satisfied by a vast class of groups, encompassing virtually all previously known examples as well as many new ones. We also settle a question of Skandalis and de la Harpe on the simplicity of reduced crossed products. Finally, we introduce a new property for discrete groups that is closely related to C*-simplicity, and use it to prove a broad generalization of a theorem of Zimmer, originally conjectured by Connes and Sullivan, about amenable actions.     

Stable Rank One and Real Rank Zero for Crossed Products by Finite Group Actions with the Tracial Rokhlin Property

The authors prove that the crossed product of an infinite dimensional simple separable unital C＊-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one. It is also proved that the crossed product of an infinite dimensional simple separable unital C＊-algebra with real rank zero by an action of a finite group with the tracial Rokhlin property has again real rank zero.     

Purely infinite corona algebras of simple C*-algebras

In this paper, we study the problem of when the corona algebra of a non-unital C*-algebra is purely infinite. A complete answer is obtained for stabilisations of simple and unital algebras that have enough comparison of positive elements. Our result relates the pure infiniteness condition (from its strongest to weakest forms) to the geometry of the tracial simplex of the algebra, and to the behaviour of corona projections, despite the fact that there is no real rank zero condition.     

The(**)-Haagerup Property for C*-Algebras

Extending the notion of Haagerup property for finite von Neumann algebras to the general von Neumann algebras, the authors define and study the(**)-Haagerup property for C*-algebras in this paper. They first give an answer to Suzuki's question(2013), and then obtain several results of(**)-Haagerup property parallel to those of Haagerup property for C*-algebras. It is proved that a nuclear unital C*-algebra with a faithful tracial state always has the(**)-Haagerup property. Some heredity results concerning the(**)-Haagerup property are also proved.     

Tracial Limit of C^＊-algebras

A new limit of C^*-algebras, the tracial limit, is introduced in this paper. We show that a separable simple C^*-algebra A is a tracial limit of C^*-algebras in Z-(k) if and only if A has tracial topological rank no more than k. We present several known results using the notion of tracial limits.     

Simple generalized inductive limits of C*-algebras

We give a necessary and sufficient condition where a generalized inductive limit becomes a simple C~*-algebra. We also show that if a unital C~*-algebra can be approximately embedded into some tensorially self absorbing C~*-algebra C(e.g., uniformly hyperfinite(UHF)-algebras of infinite type, the Cuntz algebra O_2),then we can construct a simple separable unital generalized inductive limit. When C is simple and infinite(resp.properly infinite), the construction is also infinite(resp. properly infinite). When C is simple and approximately divisible, the construction is also approximately divisible. When C is a UHF-algebra and the connecting maps satisfy a trace condition, the construction has tracial rank zero.     

Uniqueness of the trace and simplicity

It is proved that for certain large classes of unital C*-algebras, the existence of a unique, faithful tracial state implies simplicity. An example is given to show that this implication does not hold for all unital C*-algebras.