迹稳定秩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~*-代数

本文引入了一类迹稳定秩一的C*-代数,证明了迹稳定秩一的C*-代数与AF-代数的张量积是迹稳定秩一的,得到了一个可分的单的有单位元的迹稳定秩一的,并且具有SP性质的C*-代数是稳定秩一的.同时,还讨论了迹稳定秩一的C*-代数的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=(t_4)limn→∞(A_n,p_n),其中tsr(A_n)=1．     

迹分解秩(英文)

首先引入迹分解秩的概念,具有这个结构的稳定有限的顺从C~*-代数非常多.这个概念和Elliott的用K-理论来分类顺从C~*-代数的分类计划有重要的联系.然后研究C~*-代数扩张.设0→I→A-→A/I→0是C~*-代数的一个短正合序列,其中A有单位元.假设I有分解秩k,A/I有迹分解秩k,那么如果扩张是拟对角的,本文将证明A的迹分解秩不超过k.     

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*-代数等价,同时讨论这类代数的拟对角扩张性质.设0→I→ A→A/I→0是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B(j)→E(π)→A→0是有单位元C*-代数E的一个扩张,其中A是有单位元纯无限单的C*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了Ko(E)={[p]| p是E\B中的投影};当B是稳定C*-代数时,证明了对任意紧的Hausdorff空间X,有(u)(C(X,E))/(u)o(C(X,E))≌K1(C(X,E)).     

纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B■E■A→0是有单位元C~*-代数E的一个扩张,其中A是有单位元纯无限单的C~*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了K_0(E)={[p]| p是E\B中的投影};当B是稳定C~*-代数时,证明了对任意紧的Hausdorff空间X,有■(C(X,E))/■_0(C(X,E))≌K_1(C(X,E)).     

C~*-代数的迹迹秩

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

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

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

Some remarks on the real rank of non-unital C*-algebras

For a non-unital C-algebra , let be the C-algebra obtained from by adjoining an identity. In this paper we show that

where is a locally compact Hausdorff space with .

     

On the stable rank and reducibility in algebras of real symmetric functions

Let A_?(??) denote the set of functions belonging to the disc algebra having real Fourier coefficients. We show that A_?(??) has Bass and topological stable ranks equal to 2, which settles the conjecture made by Brett Wick in [18]. We also give a necessary and sufficient condition for reducibility in some real algebras of functions on symmetric domains with holes, which is a generalization of the main theorem in [18]. A sufficient topological condition on the symmetric open set ?? is given for the corresponding real algebra A_?(??) to have Bass stable rank equal to 1 (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The equality S1 = D = R

The new result of this paper is that for θ( x ; a )‐stable (a weakening of “T is stable”) we have S1[θ( x ; a )] = D[θ( x ; a ), L, ∞]. S1 is Hrushovski's rank. This is an improvement of a result of Kim and Pillay, who for simple theories under the (strong) assumption that either of the ranks be finite obtained the same identity. Only the first equality is new, the second equality is a result of Shelah from the seventies. We derive it by studying localizations of several rank functions, we get the following Main Theorem. Suppose that μ is regular satisfying μ ≥ |T|⁺, p is a finite type, and Δ is a set of formulas closed under Boolean operations. If either (a) R[p, Δ, μ⁺] < ∞ or (b) p is Δ‐stable and μ satisfies “for every sequence {μ_i : i < |Δ| + ?₀} of cardinals μ_i < μ we have that holds”, then S[p, Δ, μ⁺] = D[p, Δ, μ⁺] = R[p, Δ, μ⁺]. The S rank above is a localized version of Hrushovski's S1 rank. This rank, as well as our systematic use of local stability, allows us to get a more conceptual proof of the equality of D and R, which is an old result of Shelah. A particular (asymptotic) case of the theorem offers a new sufficient condition for the equality of S1 and D[·, L, ∞]. We also manage, due to a more general approach, to avoid some combinatorial difficulties present in Shelah's original exposition.     

Unitary stable ranks and norm-one ranks

In the context of commutative C*-algebras, we solve a problem related to a question of M. Rieffel by showing that the all-units rank and the norm-one rank coincide with the topological stable rank. We also introduce the notion of unitary M-stable rank for an arbitrary commutative unital ring and compare it with the Bass stable rank. In case of uniform algebras, a su?cient condition for norm-one reducibility is given.     

The stable rank of full corners in C*-algebras

We give a treatment of Rieffel's theory of stable rank for C*-algebras in terms of left invertibility of generalized nonsquare matrices, and prove that if is a full projection in a unital C*-algebra , then the stable rank of the corner is at least as large as the stable rank of .

     

AT代数的拟对角扩张

Let A and B be C*-algebras. An extension of B by A is a short exact sequence 0 →A -→E→B→0. (*) Suppose that A is an AT-algebra with real rank zero and B is any .AT-algebra. We prove that E is an AT-algebra if and only if the extension (*) is quasidiagonal.     

Stable rank of Leavitt path algebras

We characterize the values of the stable rank for Leavitt path algebras by giving concrete criteria in terms of properties of the underlying graph.

     

A Class of <Emphasis Type="Italic">C</Emphasis>*-algebras with non-stable <Emphasis Type="Italic">K</Emphasis><Subscript>1</Subscript>-group property

In this paper, we give a class of C*-algebras with non-stable K ₁-group property which include the example non-simple tracial topological rank zero and stable rank two C*-algebra given by Lin and Osaka.     

The algebra of almost periodic functions has infinite topological stable rank

We show that if is the uniform algebra of almost periodic functions, then the set cannot be dense in for any positive integer .