Approximate equivalence in von Neumann algebras

One formulation of D. Voiculescu's theorem on approximate unitary equivalence is that two unital representations π and ρ of a separable C*-algebra are approximately unitarily equivalent if and only if rank οπ = rank ορ. We study the analog when the ranges of π and ρ are contained in a von Neumann algebra R, the unitaries inducing the approximate equivalence must come from R, and "rank" is replaced with "R -rank" (defined as the Murray-von Neumann equivalence of the range projection).     

√z-Ideals and √z^o-Ideals in C（X）

It is well known that every prime ideal minimal over a z-ideal is also a z-ideal. The converse is also well known in C（X）. Thus whenever I is an ideal in C（X）, then √I is a z-ideal if and only if I is, in which case √I = I. We show the same fact for z~-ideals and then it turns out that the sum of a primary ideal and a z-ideal （z^o-ideal） in C（X） which are not in a chain is a prime z-ideal （z^o-ideal）. We also show that every decomposable z-ideal （z^o-ideal） in C（X） is the intersection of a finite number of prime z-ideals （z^o-ideal）. Some counter-examples in general rings and some characterizations for the largest （smallest） z-ideal and z^o-ideal contained in （containing） an ideal are given.     

von Neumann Regular Rings and Right SF-rings

A ring R is called a left (right) SF-ring if all simple left (right) R-modules are flat. It is known that von Neumann regular rings are left and right SF-rings. In this paper, we study the regularity of right SF-rings and prove that if R is a right SF-ring whose all maximal (essential) right ideals are GW-ideals, then R is regular.     

$f$-投射与$f$-内射模

Let R be a ring. A fight R-module M is called f-projective if Ext^1 （M, N） = 0 for any f-injective right R-module N. We prove that （F-proj,F-inj） is a complete cotorsion theory, where （F-proj （F-inj） denotes the class of all f-projective （f-injective） right R-modules. Semihereditary rings, von Neumann regular rings and coherent rings are characterized in terms of f-projective modules and f-injective modules.     

Property T＊＊ for C＊-algebras

Extending the notion of property T of finite von Neumann algebras to general von Neumann algebras, we define and study in this paper property T** for (possibly non-unital) C* -algebras. We obtain several results of property T** parallel to those of property T for unital C* -algebras. Moreover, we show that a discrete group Γ has property T if and only if the group C* -algebra Cr* (Γ) (or equivalently, the reduced group C* -algebra Cr* (Γ)) has property T**. We also show that the compact operators K(l2 ) has property T** but c0 does not have property T**.     

On the properties of some sets of von Neumann algebras under perturbation

Let L be a type II1 factor with separable predual and τ be a normal faithful tracial state of L. We first show that the set of subfactors of L with property Γ, the set of type II1 subfactors of L with similarity property and the set of all Mc Duff subfactors of L are open and closed in the Hausdorff metric d2 induced by the trace norm; then we show that the set of all hyperfinite von Neumann subalgebras of L is closed in d2. We also consider the connection of perturbation of operator algebras under d2 with the fundamental group and the generator problem of type II1 factors. When M is a finite von Neumann algebra with a normal faithful trace,the set of all von Neumann subalgebras B of M such that B  M is rigid is closed in the Hausdorff metric d2.     

Some Results Connected with the Class Number Problem in Real Quadratic Fields

We investigate arithmetic properties of certain subsets of square-free positive integers and obtain in this way some results concerning the class number h（d） of the real quadratic field Q（√d）. In particular, we give a new proof of the result of Hasse, asserting that in this case h（d） = 1 is possible only if d is of the form p, 2q or qr. where p.q. r are primes and q≡r≡3（mod 4）.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert W*-module

In this paper, we introduce the concept of operator-valued quadratic form based on Hilbert W*-module l2 A, and give a one to one correspondence between the set of positive self-adjoint regular module operators on l2A and the set of regular quadratic forms, where A is a finite and σ-finite von Neumann algebra. Furthermore, we obtain that a strict continuous symmetric regular module operator semigroup {Tt }t∈R + L(l2A) is Markovian if and only if the associated A-valued quadratic form is a Dirichlet form, where L(l2A) is the von Neumann algebra of all adjointable module maps on l2A.     

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.     

A Characterization of ＊-Automorphism on B（H）

Let H be a Hilbert space and A be a standard ＊-subalgebra of B（H）. We show that a bijective map Ф ： A →A preserves the Lie-skew product AB - BA＊ if and only if there is a unitary or conjugate unitary operator U ∈A（H） such that Ф（A） = UAU＊ for all A ∈ A, that is, Фis a linear ＊ -isomorphism or a conjugate linear ＊-isomorphism.     

Conorm and Essential Conorm in C*-Algebras

Let A be a unital C^*-algebra with non-zero socle (soc(A)). We introduce the essential conorm of an element a in A (denoted by γ _e (a)), as the conorm of the element π(a), where π denotes the canonical projection of A onto . It is established that for every von Neumann regular element , γ _e (a) = max . We characterize the continuity points of the conorm and essential conorm for extremally rich C^*-algebras. Some formulae for the distance from zero to the generalized spectrum and Atkinson spectrum are also obtained. Authors partially supported by I+D MEC projects no. MTM2005-02541 and MTM2007-65959, and Junta de Andalucía grants FQM0199 and FQM1215.     

Local Rings of Rings of Quotients

The aim of this paper is to characterize those elements in a semiprime ring R for which taking local rings at elements and rings of quotients are commuting operations. If Q denotes the maximal ring of left quotients of R, then this happens precisely for those elements if R which are von Neumann regular in Q. An intrinsic characterization of such elements is given. We derive as a consequence that the maximal left quotient ring of a prime ring with a nonzero PI-element is primitive and has nonzero socle. If we change Q to the Martindale symmetric ring of quotients, or to the maximal symmetric ring of quotients of R, we obtain similar results: an element a in R is von Neumann regular if and only if the ring of quotients of the local ring of R at a is isomorphic to the local ring of Q at a. Partially supported by the Ministerio de Educación y Ciencia and Fondos Feder, jointly, trough projects MTM2004-03845, MTM2007-61978 and MTM2004-06580-C02-02, MTM2007-60333, by the Junta de Andalucía, FQM-264, FQM336 and FQM02467 and by the Plan de Investigación del Principado de Asturias FICYT-IB05-017.     

Subdifferentiability of the norm and the Banach-Stone theorem for real and complex JB*-triples

We study the points of strong subdifferentiability for the norm of a real JB*-triple. As a consequence we describe weakly compact real JB*-triples and rediscover the Banach-Stone Theorem for complex JB*-triples.Authors Partially supported by I+D MCYT projects no. BFM2002-01529 and BFM2002-01810, and Junta de Andalucía grant FQM 0199Mathematics Subject Classification (2000): 46B04, 46L05, 46L70Revised version: 2 May 2004Acknowledgements. The authors would like to thank A. Rodr{\i}guez Palacios for fruitful comments and discussions during the preparation of this paper and to the referee for his or her interesting suggestions.     

Derivations on Real and Complex JB*-Triples

At the regional conference held at the University of California,Irvine, in 1985 [24], Harald Upmeier posed three basic questionsregarding derivations on JB*-triples: (1) Are derivations automatically bounded? (2) When are all bounded derivations inner? (3) Can bounded derivations be approximated by inner derivations? These three questions had all been answered in the binary cases.Question 1 was answered affirmatively by Sakai [17] for C*-algebrasand by Upmeier [23] for JB-algebras. Question 2 was answeredby Sakai [18] and Kadison [12] for von Neumann algebras andby Upmeier [23] for JW-algebras. Question 3 was answered byUpmeier [23] for JB-algebras, and it follows trivially fromthe Kadison–Sakai answer to question 2 in the case ofC*-algebras. In the ternary case, both question 1 and question 3 were answeredby Barton and Friedman in [3] for complex JB*-triples. In thispaper, we consider question 2 for real and complex JBW*-triplesand question 1 and question 3 for real JB*-triples. A real orcomplex JB*-triple is said to have the inner derivation propertyif every derivation on it is inner. By pure algebra, every finite-dimensionalJB*-triple has the inner derivation property. Our main results,Theorems 2, 3 and 4 and Corollaries 2 and 3 determine whichof the infinite-dimensional real or complex Cartan factors havethe inner derivation property.     

The Dunford-Pettis property in Jb*-Triples

JB*-triples occur in the study of bounded symmetric domainsin several complex variables and in the study of contractiveprojections on C*-algebras. These spaces are equipped with aternary product {·,·,·}, the Jordan tripleproduct, and are essentially geometric objects in that the linearisometries between them are exactly the linear bijections preservingthe Jordan triple product (cf. [23]).     

COMPARATIVE PROBABILITY ON THE C* ALGEBRA OF COMPACT OPERATORS

Abstract

Let A be a von Neumann algebra on a Hilbert space H and let P(A) denote the projections of A. A comparative probability (CP) on A (or more correctly on P(A)) is a preorder ? on P(A) satisfying:

0 ? P ? P ε P(A) with Q ≠ 0 for some Q ε P(A).

If P, Q ε P(A) then either P ? Q or Q ? P.

If P, Q and R are all in P(A) and P⊥R, Q⊥R, then P ? Q ? P + R ? Q + R.

Let τ be any of the usual locally convex topologies on A. We say ? is τ continuous if the interval topology induced on P(A) by ? is weaker than the τ topology on P(A). If μ an additive (completely additive) measure on P(A) then μ induces a uniformly (weakly) continuous CP ?μ on P(A) given by P ?_μ Q if μ(P) ? μ(Q). We show that if A is the C* algebra C(H) of compact operators on an infinite dimensional Hilbert space H, the converse is true under an extra boundedness condition on the CP which is automatically satisfied whenever the identity is present in A = P(C(H)).     

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.     

Relatively weakly open sets in closed balls of Banach spaces,and real <Emphasis Type="Italic">JB</Emphasis><Superscript>*</Superscript>-triples of finite rank

We prove that, given a real JB^*-triple X, there exists a nonempty relatively weakly open subset of the closed unit ball of X with diameter less than 2 (if and) only if the Banach space of X is isomorphic to a Hilbert space. Moreover we give the structure of real JB^*-triples whose Banach spaces are isomorphic to Hilbert spaces. Such real JB^*-triples are also characterized in two different purely algebraic ways.Mathematics Subject Classification (2000): 46B04, 46B22, 46L05, 46L70Partially supported by Junta de Andalucía grant FQM 0199.Revised version: 30 September 2003     

Grothendieck's Inequalities for Real and Complex JBW*-Triples

We prove that, if and >0, if V and W are complex JBW*-triples (with preduals V_* andW_*, respectively), and if U is a separately weak*-continuousbilinear form on V x W, then there exist norm-one functionals₁, ₂ V_* and ₁, ₂ W_* satisfying for all (x, y) V x W. Here, for a norm-one functional on acomplex JB*-triple V, |·| stands for the prehilbertianseminorm on V associated to given by for all x W, where z V^** satisfies z = |z| =1. We arrive at this form of ‘Grothendieck's inequality’through results of C.-H. Chu, B. Iochum, and G. Loupias, andan amended version of the ‘little Grothendieck's inequality’for complex JB*-triples due to T. Barton and Y. Friedman. Wealso obtain extensions of these results to the setting of realJB*-triples. 2000 Mathematical Subject Classification: 17C65,46K70, 46L05, 46L10, 46L70.     

Weak-local derivations and homomorphisms on C*-algebras

We prove that every weak-local derivation on a C*-algebra is continuous, and the same conclusion remains valid for weak*-local derivations on von Neumann algebras. We further show that weak-local derivations on C*-algebras and weak*-local derivations on von Neumann algebras are derivations. We also study the connections between bilocal derivations and bilocal*-automorphism with our notions of extreme-strong-local derivations and automorphisms.