Classification Theory for Inductive Limit C^＊-algebras

This paper is a survey on the recent work of the authors and their col-laborators on the Classification of Inductive Limit C*-algebras. Some examples are presented to explain several important ideas.     

有限维实C^＊—代数

本文对有限维实Ｃ＾＊－代数的构造定理用算子代数方法给出了一个证明。     

K0-group Transmissibilities of the Tracial Limit of C^＊-algebras

We introduce the tracial limit A = (t4) limn→n∞ (An,pn) and show that if K0(An) has ordered relation, K0(A) has ordered relation naturally. In the case that A is simple and K0(An) is weakly unperforated for every n, K0(A) is weakly unperforated too. Furthermore, the Riesz interpolation property of K0(An) can be transmitted to K0(A).     

不可分素C^k—代数与本原C^＊—代数的讨论

本文证明：若Ａ是不可分的素Ｃ＾＊－代数，且包含非０的Ｌｉｍｉｎａｌ遗传Ｃ＾＊－子代数，则Ａ是本原Ｃ＾＊－代数，本文还给出了Ｉ型Ｃ＾＊－代数为本原Ｃ＾＊－代数的充要条件。     

Pairing and Quantum Double of Finite Hopf C^＊-Algebras

This paper defines a pairing of two finite Hopf C^＊-algebras A and B, and investigates the interactions between them. If the pairing is non-degenerate, then the quantum double construction is given. This construction yields a new finite Hopf C^＊-algebra D（A, B）. The canonical embedding maps of A and B into the double are both isometric.     

Von Neumann Regularity and Quadratic Conorms in JB^＊-triples and C^＊-algebras

We revise the notion of von Neumann regularity in JB^＊-triples by finding a new characterisation in terms of the range of the quadratic operator Q（a）. We introduce the quadratic conorm of an element a in a JB^＊-triple as the minimum reduced modulus of the mapping Q（a）. It is shown that the quadratic conorm of a coincides with the infimum of the squares of the points in the triple spectrum of a. It is established that a contractive bijection between JBW^＊-triples is a triple isomorphism if, and only if, it preserves quadratic conorms. The continuity of the quadratic conorm and the generalized inverse are discussed. Some applications to C^＊-algebras and von Neumann algebras are also studied.     

C^＊—模理论的若干结果

本文把代数结构与分析体系结合起来，运用同调的方法，较系统地确定了A上C^*－模的部分理论，这里A为复数域C上的交换C^*－代数。即不仅定义了与C^*－模有关的某些新概念，而且还得到了有关C^*－模的若干结果。     

<Emphasis Type="Italic">C</Emphasis>*-algebras generated by semigroups

In this paper we study C*-algebras generated by a commuting family of isometric operators. Such algebras naturally generalize the Toeplitz algebra. We investigate *-automorphisms and ideals of C*-algebras generated by semigroups.     

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.     

<Emphasis Type="Italic">C</Emphasis>*-algebras of generalized Hecke pairs

We generalize the concept of Hecke pairs and study representations of the corresponding C*-algebra. We introduce the notions of covariant pairs and matrix unit pairs of representations in this general setting and show that covariant pairs are exactly faithful matrix unit pairs.     

On the commutativity of <Emphasis Type="Italic">C</Emphasis>* -algebras

Let be a C* -algebra. Let f be a non-constant complex-valued continuous function defined on a closed interval I. We shall show that f densely spans As an application, is commutative if f(x)f(y)=f(y)f(x) for all self-adjoint elements x and y in with spectrums contained in I.Mathematics Subject Classification (1991):Primary 46L05     

Differences of idempotents in <Emphasis Type="Italic">C</Emphasis>*-algebras

Suppose that P and Q are idempotents on a Hilbert space H, while Q = Q* and I is the identity operator in H. If U = P ? Q is an isometry then U = U* is unitary and Q = I ? P. We establish a double inequality for the infimum and the supremum of P and Q in H and P ? Q. Applications of this inequality are obtained to the characterization of a trace and ideal F-pseudonorms on a W*-algebra. Let φ be a trace on the unital C*-algebra A and let tripotents P and Q belong to A. If P ? Q belongs to the domain of definition of φ then φ(P ? Q) is a real number. The commutativity of some operators is established.     

<Emphasis Type="Italic">C</Emphasis>*-algebras which are Grothendieck spaces

Each monotoneσ-completeC*-algebra is a Grothendieck space.     

On topologically finite-dimensional simple <Emphasis Type="Italic">C</Emphasis>*-algebras

We show that, if a simple C*-algebra A is topologically finite-dimensional in a suitable sense, then not only K₀(A) has certain good properties, but A is even accessible to Elliott’s classification program. More precisely, we prove the following results:If A is simple, separable and unital with finite decomposition rank and real rank zero, then K₀(A) is weakly unperforated.If A has finite decomposition rank, real rank zero and the space of extremal tracial states is compact and zero-dimensional, then A has stable rank one and tracial rank zero. As a consequence, if B is another such algebra, and if A and B have isomorphic Elliott invariants and satisfy the Universal coefficients theorem, then they are isomorphic.In the case where A has finite decomposition rank and the space of extremal tracial states is compact and zero-dimensional, we also give a criterion (in terms of the ordered K₀-group) for A to have real rank zero. As a byproduct, we show that there are examples of simple, stably finite and quasidiagonal C*-algebras with infinite decomposition rank.Supported by: EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280) and Deutsche Forschungsgemeinschaft (SFB 478).     

<Emphasis Type="Italic">C</Emphasis>*-algebras generated by cancellative semigroups

A C*-algebra generated by a commuting family of isometries is a natural generalization of the Toeplitz algebra. We study the *-automorphisms and invariant ideals of the C*-algebra geerated by a semigroup.     

Problem of invariant subspaces in <Emphasis Type="Italic">C</Emphasis>*-algebras

Let A be a separable simple C*-algebra. For each ;) on A such that π(a) has a non-trivial invariant subspace in Hπ.     

On Homomorphisms between <Emphasis Type="Italic">C</Emphasis>*-Algebras and Linear Derivations on <Emphasis Type="Italic">C</Emphasis>*-Algebras

It is shown that every almost linear Pexider mappings f, g, h from a unital C*-algebra into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ _uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all unitaries u ∈ , all y ∈ , and all n ∈ ℤ, and that every almost linear continuous Pexider mappings f, g, h from a unital C*-algebra of real rank zero into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all u ∈ {v ∈ : v = v* and v is invertible}, all y ∈ and all n ∈ ℤ. Furthermore, we prove the Cauchy-Rassias stability of *-homomorphisms between unital C*-algebras, and ℂ-linear *-derivations on unital C*-algebras. This work was supported by Korea Research Foundation Grant KRF-2003-042-C00008. The second author was supported by the Brain Korea 21 Project in 2005.