Equivalence Bimodule between Spherical Noncommutative Tori

Let n _i ,m _j > 1. In [5], the sperical noncommutative torus was defined by twisting in by a totally skew multiplier p on for T ^pd a pd-homogeneous C*-algebra over . It is shown that is strongly Morita equivalent to . This work is supported by Grant No. 1999-2-102-001-3 from the interdisciplinary research program year of the KOSEF     

Equivalence of the C*-Algebras qℂ and C 0(ℝ2) in the Asymptotic Category

The results of Kasparov, Connes, Higson, and Loring imply the coincidence of the functors [[qℂ ⊗ K, B ⊗ K]] = [[C ₀(ℝ²) ⊗ K, B ⊗ K]] for any C*-algebra B; here[[A, B]] denotes the set of homotopy classes of asymptotic homomorphisms from A to B. Inthe paper, this assertion is strengthened; namely, it is shown that the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are equivalent in the category whose objects are C*-algebras and morphisms are classes of homotopic asymptotic homomorphisms. Some geometric properties of the obtained equivalence are studied. Namely, the algebras qℂ ⊗ K and C ₀(ℝ²) ⊗ K are represented as fields of C*-algebras; it is proved that the equivalence is not fiber-preserving, i.e., is does not take fibers to fibers. It is also proved that the algebras under consideration are not homotopy equivalent.__________Translated from Matematicheskie Zametki, vol. 77, no. 5, 2005, pp. 788–796.Original Russian Text Copyright ©2005 by T. V. Shul’man.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

<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

).

     

A bott periodicity map for crossed products of C*-algebras by discrete groups

A generalization is given of the canonical map from a discrete group into K ₁ of the group C ^*-algebra. Our map also generalizes Rieffel's construction of a projection in an irrational rotation C ^*-algebra.     

Approximately Linear Mappings in Banach Modules over a C^＊-algebra

Let X and Y be vector spaces. The authors show that a mapping f ： X →Y satisfies the functional equation 2d f（∑^2d j=1（-1）^j＋1xj/2d）=∑^2dj=1（-1）^j＋1f（xj） with f（0） = 0 if and only if the mapping f ： X→ Y is Cauchy additive, and prove the stability of the functional equation （≠） in Banach modules over a unital C^＊-algebra, and in Poisson Banach modules over a unital Poisson C＊-algebra. Let A and B be unital C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊- algebras. As an application, the authors show that every almost homomorphism h ： A →B of A into is a homomorphism when h（（2d-1）^nuy） =- h（（2d-1）^nu）h（y） or h（（2d-1）^nuoy） = h（（2d-1）^nu）oh（y） for all unitaries u ∈A, all y ∈ A, n = 0, 1, 2,.... Moreover, the authors prove the stability of homomorphisms in C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊-algebras.     

The pressure in operator algebras

We introduce two notions of the pressure in operator algebras, one is the pressure Pα（π, T） for an automorphism α of a unital exact C^＊-algebra A at a self-adjoint element T in A with respect to a faithful unital ＊-representation π the other is the pressure Pτ,α（T） for an automorphism α of a hyperfinite von Neumann algebra M at a self-adjoint element T in M with respect to a faithful normal α-invariant state τ. We give some properties of the pressure, show that it is a conjugate invaxiant, and also prove that the pressure of the implementing inner automorphism of a crossed product A×α Z at a self-adjoint operator T in A equals that of α at T.     

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed&gt;1 and {0} if d&gt;1.Let Bcd be a cd-homogeneous C^*-algebra over S^2&#215;T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2&#215;Z^m-2) in Bcd &#215;C^*(Z^m-3) by a totally skew multiplier ρ on T^2&#215;Z^m-2。It is shown that Sρ^cd&#215;Mρ∞ is isomorphic to C(S^2)&#215;C^*(T^2&#215;Z^m-2,ρ）&#215; Mcd(C)&#215;Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.     

Limit Theorems for Non-Commutative Random Variables

We study the weak law of large numbers and the central limit theorem for non-commutative random variables. We first define the concepts of variance and expectation for probability measures on homogeneous spaces, and formulate the weak law of large numbers and the central limit theorem for probability measures on locally compact groups. Then, we consider the non-commutative case, where the homogeneous space is replaced by a C^*-algebra that is equipped with a locally compact group G of automorphisms. We define the concepts of variance and expectation in the non-commutative situation. Furthermore, we prove that the weak law of large numbers and the central limit theorem hold for non-commutative random variables on if they hold on the group G of automorphisms.     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have . Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have . We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d. B. Burgstaller was supported by the Austrian Schr?dinger stipend J2471-N12.     

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.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

Kaplansky Density and Kadison Transitivity Theorems for Irreducible Representations of Real C＊-Algebras

We prove analogs of the Kaplansky Density Theorem and the Kadison Transitivity Theorem for irreducible representations of a real C＊-algebra on a real Hilbert space. Specifically, if a C＊-algebra is acting irreducibly on a real Hilbert space, then the Hilbert space has either a real, complex, or quaternionic structure with respect to which the density and transitivity theorems hold.     

On locally <Emphasis Type="Italic">A</Emphasis>-convex <Emphasis Type="Italic">H</Emphasis>*-algebras

We endow any proper A-convex H*-algebra (E, τ) with a locally pre-C*-topology. The latter is equivalent to that introduced by the pre C*-norm given by Ptàk function when (E, τ) is a Q-algebra. We also prove that the algebra of complex numbers is the unique proper locally A-convex H*-algebra which is barrelled and Q-algebra.      

Groupoid structure of Toeplitz algebra over L-shaped domain

The structure of the groupoidG associated with the ToeplitzC ^*-algebraC ^*(Ω) of the L-shaped domain is discussed. The detailed characterization ofM _∞ by the classification of the closed subgroup of the Euclidean space is presented. Project supported partially by the National Natural Science Foundation of China, Fok Yingtung Educational Foundation and the Foundation of the State Education Commission of China.     

Real <Emphasis Type="Italic">AW</Emphasis><Superscript>*</Superscript>-Algebras of type I

Let R be a real AW ^*-algebra, and suppose that its complexification M = R + iR is also a (complex) AW ^*-algebra. We prove that R is of type I if and only if so is M.Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 38, No. 4, pp. 79–81, 2004Original Russian Text Copyright © by Sh. A. Ayupov     

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: