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.     

On Quantum Dynamics on <Emphasis Type="Italic">C</Emphasis>*-Algebras

We study three related extremal problems in the space H of functions analytic in the unit disk such that their boundary values on a part γ₁ of the unit circle Γ belong to the space \(L_{{\psi _1}}^\infty ({\gamma _1})\)of functions essentially bounded on γ₁ with weight ψ₁ and their boundary values on the set γ₀ = Γ γ₁ belong to the space \(L_{{\psi _0}}^\infty ({\gamma _0})\)with weight ψ₀. More exactly, on the class Q of functions from H such that the \(L_{{\psi _0}}^\infty ({\gamma _0})\)-norm of their boundary values on γ₀ does not exceed 1, we solve the problem of optimal recovery of an analytic function on a subset of the unit disk from its boundary values on γ₁ specified approximately with respect to the norm of \(L_{{\psi _1}}^\infty ({\gamma _1})\). We also study the problem of the optimal choice of the set γ₁ for a given fixed value of its measure. The problem of the best approximation of the operator of analytic continuation from a part of the boundary by bounded linear operators is investigated.     

The Proof of Inseparable Prime AW^＊—Algebras Being Primitive C^＊—Algebras

The relation between the inseparable prime C^*-algebras and primitive C^*-algebras is studied,and we prove that prime AW^*-algebras are all primitive C^*-algebras.     

On a Class of Graded Ideals of Semigroup <Emphasis Type="Italic">C</Emphasis>*-Algebras

We present general results about graded C*-algebras and continue the previously initiated research of the C*-algebra generated by the left regular representation of an abelian semigroup. We study the invariant ideals of this C*-algebra invariant with respect to the representation of a compact group G in the automorphism group of this algebra. We prove that the invariance of the ideal is equivalent to the fact that this ideal is graded C*-algebra, that there is a maximum of all invariant ideals, and it is the commutator ideal. Separately we study a class of graded primitive ideals generated by a single projector.     

<Emphasis Type="Italic">C</Emphasis>-Algebras on some Free-Banach Spaces

The main goal of this work is to study the Gelfand spaces of some commutative Banach algebras with unit within the space of bounded linear operators. We will also show, under special condition, that this algebra is isometrically isomorphic to some space of continuous functions defined over a compact. Such isometries preserve idempotent elements. This fact will allow us to define the respective associated measure which is known as spectral measure. Let us also notice that this measure is obtained by restriction of the reciprocal of the Gelfand transform to the set of characteristic functions of clopen subsets of the spectrum of above algebra. We will finish this work showing that each element of such algebras described above can be represented as an integral of some continuous function, where the integral has been defined through the spectral measure.     

Translation Invariant Asymptotic Homomorphisms and Extensions of <Emphasis Type="Italic">C</Emphasis>*-Algebras

Let A and B be C*-algebras, let A be separable, and let B be σ-unital and stable. We introduce the notion of translation invariance for asymptotic homomorphisms from S A = C₀(?) ? A to B and show that the Connes—Higson construction applied to any extension of A by B is homotopic to a translation invariant asymptotic homomorphism. In the other direction we give a construction which produces extensions of A by B from a translation invariant asymptotic homomorphism. This leads to our main result that the homotopy classes of extensions coincide with the homotopy classes of translation invariant asymptotic homomorphisms.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Criterion of Irreducibility

We study the operator algebra associated with a self-mapping ? on a countable set X which can be represented as a directed graph. The algebra is generated by the family of partial isometries acting on the corresponding l²(X). We study the structure of involutive semigroup multiplicatively generated by the family of partial isometries. We formulate the criterion when the algebra is irreducible on the Hilbert space. We consider the concrete examples of operator algebras. In particular, we give the examples of nonisomorphic C*-algebras, which are the extensions by compact operators of the algebra of continuous functions on the unit circle.     

On the <Emphasis Type="Italic">K</Emphasis>-Theory of Graph <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

We classify graph C ^*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph, up to strict isomorphism. This is done by a purely graph theoretical calculation of the K-theory of the C ^*-algebras and the method also provides an independent proof of the classification up to Morita equivalence and stable equivalence of such algebras, without using the boundary operator algebra. A direct relation is given between the K ₁-group of the algebra and the cycle space of the graph. We thank Jakub Byszewski for his input in Sect. 2.8. The position of the unit in K ₀( _Ч) was guessed based on some example calculations by Jannis Visser in his SCI 291 Science Laboratory at Utrecht University College.     

<Emphasis Type="Italic">C</Emphasis>*-Homomorphisms and duality of <Emphasis Type="Italic">C</Emphasis>*-discrete quantum groups

Let

Open image in new window

be a C*-discrete quantum group and let

Open image in new window

be the discrete quantum group associated with

Open image in new window

. Suppose that there exists a continuous action of

Open image in new window

on a unital C*-algebra

Open image in new window

so that

Open image in new window

becomes a

Open image in new window

-algebra. If there is a faithful irreducible vacuum representation π of

Open image in new window

on a Hilbert space H =

Open image in new window

with a vacuum vector Ω, which gives rise to a

Open image in new window

-invariant state, then there is a unique C*-representation (θ, H) of

Open image in new window

supplemented by the action. The fixed point subspace of

Open image in new window

under the action of

Open image in new window

is exactly the commutant of θ(

Open image in new window

).

     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Some Notes on <Emphasis Type="Italic">C</Emphasis>- and <Emphasis Type="Italic">C</Emphasis>*-quotients of Frames

We characterise C*-quotients and C-quotients of completely regular frames in terms of ?ech-Stone compactifications and Lindelöfications, respectively. The latter is a frame-theoretic result with no spatial counterpart. We also characterise C*-quotients and dense C-quotients of completely regular frames in terms of normal covers.     

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     

On the computation of <Emphasis Type="Italic">C</Emphasis>* certificates

The cone of completely positive matrices C* is the convex hull of all symmetric rank-1-matrices xx ^T with nonnegative entries. While there exist simple certificates proving that a given matrix \({B\in C^*}\) is completely positive it is a rather difficult problem to find such a certificate. We examine a simple algorithm which—for a given input B—either determines a certificate proving that \({B\in C^*}\) or converges to a matrix \({\bar S}\) in C* which in some sense is “close” to B. Numerical experiments on matrices B of dimension up to 200 conclude the presentation.     

Commutative <Emphasis Type="Italic">C</Emphasis>*-Algebras of Toeplitz Operators on Complex Projective Spaces

We prove the existence of commutative C*-algebras of Toeplitz operators on every weighted Bergman space over the complex projective space \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}. The symbols that define our algebras are those that depend only on the radial part of the homogeneous coordinates. The algebras presented have an associated pair of Lagrangian foliations with distinguished geometric properties and are closely related to the geometry of \mathbbPⁿ\mathbb(C){{\mathbb{P}^n}\mathbb{(C)}}.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Classification of Invariant Subspaces

We continue the study of an operator algebra associated with a self-mapping ? on a countable setX which can be represented as a directed graph. This C*-algebra belongs to a class of operator algebras, generated by a family of partial isometries satisfying some relations on their source and range projections. Earlier we have formulated the irreducibility criterion of such algebras, which give us a possibility to examine the structure of the corresponding Hilbert space. We will show that for reducible algebras the underlying Hilbert space can be represented either as an infinite sum of invariant subspaces or as a tensor product of a finite-dimensional Hilbert space with l²(Z). In the first case we present a conditions under which the studied algebra has an irreducible representation into a C*-algebra generated by a weighted shift operator. In the second case, the algebra has the irreducible finite-dimensional representations indexed by the unit circle.     

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>*-Non-Linear Second Quantization

We construct an inductive system of C*-algebras each of which is isomorphic to a finite tensor product of copies of the one-mode n-th degree polynomial extension of the usual Weyl algebra constructed in our previous paper (Accardi and Dhahri in Open Syst Inf Dyn 22(3):1550001, 2015). We prove that the inductive limit C*-algebra is factorizable and has a natural localization given by a family of C*-sub-algebras each of which is localized on a bounded Borel subset of \({\mathbb{R}}\). Finally, we prove that the corresponding family of Fock states, defined on the inductive family of C*-algebras, is projective if and only if n = 1. This is a weak form of the no-go theorems which emerge in the study of representations of current algebras over Lie algebras.     

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.     

Approximate Isomorphisms in <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

This paper is a survey on the Hyers–Ulam–Rassias stability of the following Cauchy–Jensen functional equation in C ^*-algebras:

Differences of Idempotents In <Emphasis Type="Italic">C</Emphasis>*-Algebras and the Quantum Hall Effect

Let ? be a trace on the unital C*-algebra A and M _? be the ideal of the definition of the trace ?. We obtain a C*analogue of the quantum Hall effect: if P,Q ∈ A are idempotents and P ? Q ∈ M _? , then ?((P ? Q)²ⁿ⁺¹) = ?(P ? Q) ∈ R for all n ∈ N. Let the isometries U ∈ A and A = A*∈ A be such that I+A is invertible and U-A ∈ M _? with ?(U-A) ∈ R. Then I-A, I?U ∈ M _? and ?(I?U) ∈ R. Let n ∈ N, dimH = 2n + 1, the symmetry operators U, V ∈ B(H), and W = U ? V. Then the operator W is not a symmetry, and if V = V*, then the operator W is nonunitary.