On the Borel envelopingC *-algebra of aC *-algebra

L’auteur introduit et étudie laC ^*-algèbre enveloppante borelienne d’uneC ^*-algebre quelconque. On montre que le foncteur defini est exact et que la représentation atomique est fidèle. Si laC ^*-algèbre initiale est commutative, la constructian fournit laC ^*-algèbre des fonctions complexes bornées boreliennes sur le spectre de l’algèbre donnée.     

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

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

The C*-algebra of the N-dimensional harmonic oscillator

In this paper we study the Fredholm thoery of a C*-algebraOl of o-order pseudo-differential operators on L²(ⁿ). IfK denotes the ideal of all compact operators of L², the algebraOl will be generated by (i) the idealK, (ii) a function algebra CS(ⁿ) and (iii) by the bounded operators x_j, D_j, j=1,...,n, = H^–1/2, H=1+¦x¦²–. We show thatOl/K is a commutative C*-algebra with identity and obtain its Gelfany space M. This provides Fredholm criterion and index formula for a graded algebra of partial differential operators including all oeprators with polynomial coefficients. We also give Fredholm criterion and index formula for systems of such operators.     

Roots of C*-algebra elements under numerical range condition

Let be a C*-algebra with unit 1. For each a ∈ , the C*-algebra numerical range is defined by V(a) = {φ(a): φ ∈ , φ ≥ 0,φ(1) = 1}. In a 2003 paper Li, Rodman and Spitkovsky have found the ω-th roots of elements in C*-algebra under a numerical range condition, when ω ∈ [1,∞). In this paper, we will give a short proof of the above result in the case of ω is a positive integer number. We also give a simple proof for ω-th root of an element a ∈ , when ω ∈ [1,∞) and V(a)∩ {z ∈ ℂ: z ≤ 0} = . The first author was supported by the Shiraz university Research Council Grant No. 86-GRSC-32.     

The multiplier algebra of a nuclear quasidiagonal C*-algebra

If is a unital separable simple nuclear quasidiagonal C*-algebra,then ( ) has the AF-property in the strict topology; that is,there is a unital AF-subalgebra ( ) such that is strictlydense in ( ). We also give a multiplier algebra characterizationof nuclearity and quasidiagonality for a unital separable simpleC*-algebra.     

The model theory of modules of a C*-algebra

We study the theory of a Hilbert space H as a module for a unital C*-algebra ${\mathcal{A}}$ from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are elementary equivalent to it. Also, we show that this theory has quantifier elimination and we characterize the model companion of the incomplete theory of all non-degenerate representations of ${\mathcal{A}}$ . Finally, we show that there is an homeomorphism between the space of types of norm less than 1 in this model companion, and the space of quasistates of the C*-algebra ${\mathcal{A}}$ .     

C~* -代数上完全正映射的刻画

本文给出C* -代数之间完全正映射的刻画,证明:如果A,B是有单位元的C*-代数,则映射Φ:A→B为完全正映射当且仅当存在保单位*-同态πA:A→B(K)、等距* -同态πB:B→B(H)及有界线性算子V:H→K,使得πB(Φ(1))=V*V 且■a∈A,都有πB(Φ(a))=V*π(a)V.作为推论,得到著名的Stinespring膨胀定理.     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

A simple separable exact C*-algebra not anti-isomorphic to itself

We give an example of an exact, stably finite, simple, separable C*-algebra D which is not isomorphic to its opposite algebra. Moreover, D has the following additional properties. It is stably finite, approximately divisible, has real rank zero and stable rank one, has a unique tracial state, and the order on projections over D is determined by traces. It also absorbs the Jiang-Su algebra Z, and in fact absorbs the 3^∞ UHF algebra. We can also explicitly compute the K-theory of D, namely ${K_0 (D) \cong {\mathbb{Z}} [ \tfrac{1}{3}]}$ with the standard order, and K ₁ (D) =  0, as well as the Cuntz semigroup of D, namely ${W (D) \cong {\mathbb{Z}} [ \tfrac{1}{3} ]_{+} \sqcup (0, \infty).}$      

The maximal C*-algebra of quotients as an operator bimodule

In this article we extend the work on strongly p-embedded subgroups in Parker and Stroth (Strongly p-embedded subgroups, arxiv:0901.0805) to include the Lie type groups of rank 2.     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.     

纯无限单的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*-代数扩张的非稳定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)).     

The tiling C*-algebra viewed as a tight inverse semigroup algebra

We realize Kellendonk’s C*-algebra of an aperiodic tiling as the tight C*-algebra of the inverse semigroup associated to the tiling, thus providing further evidence that the tight C*-algebra is a good candidate to be the natural associative algebra to go along with an inverse semigroup.     

On stability of index of Fredholm complexes on the C* -algebra

This article deals with the index of Fredholm complexes of Λ-operators of the Hilbert Λ-modulus on C*-algebra. For this class of operators necessary and sufficient conditions in order to be a Fredholm, are obtained. Based on these results, a notion of Fredholm complex and its index is introduced. For this index, a stability theorem related to various perturbations is proved. In the second part of the article, a completation of a semigroup Fredholm complexes is analysed. It is proved that the group K _G (X, Λ) is the completation of G ? Λ-fibration of the above group on the compact space X.     

A simple separable C*-algebra not isomorphic to its opposite algebra

We give an example of a simple separable C*-algebra that is not isomorphic to its opposite algebra. Our example is nonnuclear and stably finite, has real rank zero and stable rank one, and has a unique tracial state. It has trivial , and its -group is order isomorphic to a countable subgroup of .

     

关于C*-代数Mn(A)上矩阵迹的一些不等式

C*-代数Mn(A)上矩阵迹是一个正线性映射τ∶Mn(A)→A且满足τ(u*au)=τ(a)(a∈Mn(A),u∈U(Mn(A)))及τ(a2)≤(τ(a))2(a≥0).论文讨论这种矩阵迹的一些性质,给出了若干不等式性质,并且证明:对Mn(A)中的H erm itian元a,b,当m=2k(k∈N)时,τ((ab)m)≤τ(ambm)成立.同时还证明了当m=2k(k∈N)时,对Mn(A)中任一元a,不等式τ(am(a*)m)≤τ((aa*)m)成立.