Approximation properties and absence of Cartan subalgebra for free Araki–Woods factors

We show that all the free Araki–Woods factors Γ^″(HR,Ut) have the complete metric approximation property. Using Ozawa–Popa?s techniques, we then prove that every nonamenable subfactor N⊂Γ^″(HR,Ut) which is the range of a normal conditional expectation has no Cartan subalgebra. We finally deduce that the type III₁ factors constructed by Connes in the ?70s can never be isomorphic to any free Araki–Woods factor, which answers a question of Shlyakhtenko and Vaes.     

Graph C *-Algebras and Their Ideals Defined by Cuntz-Krieger Family of Possibly Row-Infinite Directed Graphs

Let E be a possibly row-infinite directed graph. In this paper, first we prove the existence of the universal C^*-algebra C^*(E) of E which is generated by a Cuntz-Krieger E-family {s_e, p_v}, and the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for the ideal of C^*(E). Then we get our main results about the ideal structure of Finally the simplicity and the pure infiniteness of is discussed.     

The Weyl group and the normalizer of a conditional expectation

We define a discrete groupW(E) associated to a faithful normal conditional expectationE : M N forN M von Neuman algebras. This group shows the relation between the unitary groupU _N and the normalizerN _E ofE, which can be also considered as the isotropy of the action of the unitary groupU _M ofM onE. It is shown thatW(E) is finite if dimZ(N)< and bounded by the index in the factor case. Also sharp bounds of the order ofW(E) are founded.W(E) appears as the fibre of a covering space defined on the orbit ofE by the natural action of the unitary group ofM. W(E) is computed in some basic examples.     

On a conjecture by Ghahramani-Lau and related problems concerning topological centres

Let A be a Banach algebra, and consider A^** equipped with the first Arens product. We establish a general criterion which ensures that A is left strongly Arens irregular, i.e., the first topological centre of A^** is reduced to A itself. Using this criterion, we prove that for a very large class of locally compact groups, Ghahramani-Lau's conjecture (cf. [Lau 94] and [Gha-Lau 95]) stating the left strong Arens irregularity of the measure algebra M(G), holds true. (Our methods obviously yield as well the right strong Arens irregularity in the situation considered.)Furthermore, the same condition used above implies that every linear left A^**-module homomorphism on A^* is automatically bounded and w^*-continuous. We finally show that our criterion also yields a partial answer to a question raised by Lau-Ülger (Trans. Amer. Math. Soc. 348 (3) (1996) 1191) on the topological centre of the algebra (A^*⊙A)^*, for A having a right approximate identity bounded by 1.     

Epigraph of operator functions

It is known that a real function f is convex if and only if the set E(f) = {(x, y) ∈ ? × ?; f (x) ≤ y}, the epigraph of f is a convex set in ?². We state an extension of this result for operator convex functions and C^?-convex sets as well as operator log-convex functions and C^?-log-convex sets. Moreover, the C^?-convex hull of a Hermitian matrix has been represented in terms of its eigenvalues.     

On the asymptotic tensor C*-norm

We introduce a new asymptotic one-sided and symmetric tensor norm, the latter of which can be considered as the minimal tensor norm on the category of separable C^*-algebras with homotopy classes of asymptotic homomorphisms as morphisms. We show that the one-sided asymptotic tensor norm differs in general from both the minimal and the maximal tensor norms and discuss its relation to semi-invertibility of C^*-extensions. Received: 23 September 2004; revised: 30 May 2005     

LINEAR MAPPINGS THAT PRESERVE THE DERIVATIONAL STRUCTURE OF C*-ALGEBRAS

Abstract

Given a C*-algebra A and a suitable set of derivations on A, we consider the algebras A _n of n-differentiable elements of A as described in [B], before passing to an analysis of important classes of bounded linear maps between two such spaces. We show that even in this general framework, all the main features of the theory for the case C^(m)(U) → C ^(p) (V) where U and V are open balls in suitable Banach spaces, are preserved (see for example [A-G-L], [Gu-L], [Ja] and [L]). As part of the theory developed we obtain a non-trivial extension of the Kleinecke-Shirokov theorem in the category of C*-algebras to unbounded partially defined *-derivations. This indicates the existence of a single mathematical principle governing both the non-increasibility of differentiability by continuous homomorphisms and the untenability of the Heisenberg Uncertainty Principle for bounded observables.     

Derivations on the Algebra of τ-Compact Operators Affiliated with a Type I von Neumann Algebra

Let M be a type I von Neumann algebra with the center Z, and a faithful normal semi-finite trace τ. Consider the algebra L(M, τ) of all τ-measurable operators with respect to M and let S ₀(M, τ) be the subalgebra of τ-compact operators in L(M, τ). We prove that any Z-linear derivation of S ₀(M, τ) is spatial and generated by an element from L(M, τ).      

Positive Projective Space of a <Emphasis Type="Italic">C</Emphasis>*-Algebra with a Tracial Conditional Expectation

Let be a C*-algebra, a subalgebra of its center and Φ: → a tracial faithful conditional expectation. We define the positive projective space as the quotient where G⁺ is the space of positive invertible elements of , and if there exists g invertible in such that a′ = |g|²a. When is abelian, this space is a set of representatives for probability densities equivalent to a given one. The aim of this paper is to endow ℙ⁺ with differentiable structure, a linear connection and a Finsler metric. This is done in a way that given any pair of elements in ℙ⁺, there is a unique geodesic of this connection, which is the shortest curve joining such endpoints for the given metric. The metric space ℙ⁺ with the given geodesic distance is non positively curved.     

On ergodic theorems for free group actions on noncommutative spaces

We extend in a noncommutative setting the individual ergodic theorem of Nevo and Stein concerning measure preserving actions of free groups and averages on spheres s_2n of even radius. Here we study state preserving actions of free groups on a von Neumann algebra A and the behaviour of (s_2n(x)) for x in noncommutative spaces L^p(A). For the Cesàro means this problem was solved by Walker. Our approach is based on ideas of Bufetov. We prove a noncommutative version of Rota ``Alternierende Verfahren' theorem. To this end, we introduce specific dilations of the powers of some noncommutative Markov operators.     

Inverse closedness ofC *-algebras in Banach algebras

LetA denote a unital Banach algebra, and letB denote aC ^*-algebra which is contained as a unital subalgebra inA. We prove thatB is inverse closed inA if the norms ofA andB coincide. This generalizes well known result about inverse closedness ofC ^*-subalgebras inC ^*-algebras.     

Characterizations of Noncommutative H ∞

We transfer a large part of the circle of theorems characterizing the generalization of classical H^∞ known as ‘weak* Dirichlet algebras’, to Arveson’s very general noncommutative setting of subalgebras of finite von Neumann algebras. This solves the long-standing open question of the equivalence of principles such as Szeg?’s theorem, the weak* density of A + A*, and so on, within the noncommutative setting. The techniques should also be useful in future developments in noncommutative H^p theory.     

Subfactors with principal graph E 6 (1)

We characterize irreducible II₁ subfactorsN M with principal graphE ₆ ⁽¹⁾ as N=P Z ₃ P A ₄, whereA ₄ acts outerly on a factorP.     

Linear maps between C*-algebras that are *-homomorphisms at a fixed point

Let A and B be C*-algebras. A linear map T : A → B is said to be a *-homomorphism at an element z ∈ A if ab* = z in A implies T (ab*) = T (a)T (b)* = T (z), and c*d = z in A gives T (c*d) = T (c)*T (d) = T (z). Assuming that A is unital, we prove that every linear map T : A → B which is a *-homomorphism at the unit of A is a Jordan *-homomorphism. If A is simple and infinite, then we establish that a linear map T : A → B is a *-homomorphism if and only if T is a *-homomorphism at the unit of A. For a general unital C*-algebra A and a linear map T : A → B, we prove that T is a *-homomorphism if, and only if, T is a *-homomorphism at 0 and at 1. Actually if p is a non-zero projection in A, and T is a ^?-homomorphism at p and at 1 ? p, then we prove that T is a Jordan *-homomorphism. We also study bounded linear maps that are *-homomorphisms at a unitary element in A.     

Subfactors associated to compact Kac algebras

We construct inclusions of the form (B ₀P) ^G (B ₁P) ^G , whereG is a compact quantum group of Kac type acting on an inclusion of finite dimensional C^*-algebrasB ₀B ₁ and on aII ₁ factorP. Under suitable assumptions on the actions ofG, this is a subfactor, whose Jones tower and standard invariant can be computed by using techniques of A. Wassermann. The subfactors associated to subgroups of compact groups, to projective representations of compact groups, to finite quantum groups, to finitely generated discrete groups, to vertex models and to spin models are of this form.     

C *-algebras generated by orthogonal projections and their applications

We study the following problem: Given a Hilbert spaceH and a set of orthogonal projectionsP, Q ₁, ..., Q_n on it, with the conditionsQ _j ·Q _k = _j,k Q _k , , describe theC ^*-algebraC ^*(P, Q ₁, ..., Q_n) generated by these projections.Applications to Naimark dilation theorems and to Toeplitz operators associated with the Heisenberg group are given.Dedicated to the memory of M. G. Krein.This work was partially supported by CONACYT Project 3114P-E9608, México.     

Transitivity of the norm on Banach spaces¶ having a Jordan structure

We study transitivity conditions on the norm of JB ^*-triples, C ^*-algebras, JB-algebras, and their preduals. We show that, for the predual X of a JBW ^*-triple, each one of the following conditions i) and ii) implies that X is a Hilbert space. i) The closed unit ball of X has some extreme point and the norm of X is convex transitive. ii) The set of all extreme points of the closed unit ball of X is non rare in the unit sphere of X. These results are applied to obtain partial affirmative answers to the open problem whether every JB ^*-triple with transitive norm is a Hilbert space. We extend to arbitrary C ^*-algebras previously known characterizations of transitivity [20] and convex transitivity [36] of the norm on commutative C ^*-algebras. Moreover, we prove that the Calkin algebra has convex transitive norm. We also prove that, if X is a JB-algebra, and if either the norm of X is convex transitive or X has a predual with convex transitive norm, then X is associative. As a consequence, a JB-algebra with almost transitive norm is isomorphic to the field of real numbers. Received: 9 June 1999 / Revised version: 20 February 2000     

On<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-algebras whose Glimm ideals are primitive

Every Glimm ideal of anAW ^*-algebra is a (minimal) primitive ideal.     

On a class of stably finite nuclear C*-algebras

In this note we show that a separable C^*-algebra is nuclear and has a quasidiagonal extension by (the ideal of compact operators on an infinite-dimensional separable Hilbert space) if and only if it is anuclear finite algebra (NF-algebra) in the sense of Blackadar and Kirchberg, and deduce that every nuclear C^*-subalgebra of aNF-algebra isNF. We show that strongNF-algebras satisfy a Følner type condition.     

Geometry and the Jones projection of a state

LetA be a von Neumann algebra and a faithful normal state. ThenO = { ºAd(g ¹) :g G _A }andU = { ºAd(u ^*) :u U _A are homogeneous reductive spaces. IfA is aC ^* algebra,e the Jones projection of the faithful state viewed as a conditional expectation, then we prove that the similarity orbit ofe by invertible elements ofA can be imbedded inAA in such a way thate is carried to 1 1 and the orbit ofe to a homogeneous reductive space and an analytic submanifold ofAA.