Showing papers in "arXiv: Operator Algebras in 2001"

The Annular Structure of Subfactors

Abstract: Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors.

Matrix algebras converge to the sphere for quantum Gromov--Hausdorff distance

Abstract: On looking at the literature associated with string theory one finds statements that a sequence of matrix algebras converges to the 2-sphere (or to other spaces). There is often careful bookkeeping with lengths, which suggests that one is dealing with ``quantum metric spaces''. We show how to make these ideas precise by means of Berezin quantization using coherent states. We work in the general setting of integral coadjoint orbits for compact Lie groups.

A unified approach to Exel-Laca algebras and C*-algebras associated to graphs

Abstract: We define an ultragraph, which is a generalization of a directed graph, and describe how to associate a C*-algebra to it. We show that the class of ultragraph algebras contains the C*-algebras of graphs as well as the Exel-Laca algebras. We also show that many of the techniques used for graph algebras can be applied to ultragraph algebras and that the ultragraph provides a useful tool for analyzing Exel-Laca algebras. Our results include versions of the Cuntz-Krieger Uniqueness Theorem and the Gauge-Invariant Uniqueness Theorem for ultragraph algebras.

Covering Dimension for Nuclear C*-algebras

Abstract: We introduce the completely positive rank, a notion of covering dimension for nuclear $C^*$-algebras and analyze some of its properties. The completely positive rank behaves nicely with respect to direct sums, quotients, ideals and inductive limits. For abelian $C^*$-algebras it coincides with covering dimension of the spectrum and there are similar results for continuous trace algebras. As it turns out, a $C^*$-algebra is zero-dimensional precisely if it is $AF$. We consider various examples, particularly of one-dimensional $C^*$-algebras, like the irrational rotation algebras, the Bunce-Deddens algebras or Blackadar's simple unital projectionless $C^*$-algebra. Finally, we compare the completely positive rank to other concepts of noncommutative covering dimension, such as stable or real rank.

Computing K-theory and Ext for graph C*-algebras

Abstract: K-theory and Ext are computed for the C*-algebra C*(E) of any countable directed graph E. The results generalize the K-theory computations of Raeburn and Szymanski and the Ext computations of Tomforde for row-finite graphs. As a consequence, it is shown that if A is a countable {0,1} matrix and E_A is the graph obtained by viewing A as a vertex matrix, then C*(E_A) is not necessarily Morita equivalent to the Exel-Laca algebra O_A.

The Connes-Kasparov conjecture for almost connected groups

Abstract: Let $G$ be a locally compact group with cocompact connected component. We prove that the assembly map from the topological $\k$-theory of $G$ to the $\k$-theory of the reduced $C^*$-algebra of $G$ is an isomorphism.

Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

Abstract: We prove the following results for a unital simple direct limit $A$ of recursive subhomogeneous algebras with no dimension growth: (1) A has stable rank 1. (2) The projections in $M_{\infty} (A)$ satisfy cancellation: if $e \oplus q \sim f \oplus q$, then $e \sim f$. (3) $A$ satisfies Blackadar's Second Fundamental Comparability Question: if $p, q \in M_{\infty} (A)$ are projections such that $\tau (p) < \tau (q)$ for all normalized traces $\tau$ on $A$, then $p$ is equivalent to a subprojection of $q$. (4) $K_0 (A)$ is unperforated for the strict order: if $\eta \in K_0 (A)$ and there is $n > 0$ such that $n \eta > 0$, then $\eta > 0$. The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product $C^* (Z, X, h)$ obtained from a minimal homeomorphism of an infinite finite dimensional compact metric space $X$. Specifically, $K_0 (C^* (Z, X, h))$ is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if $\eta \in K_0 (A)$ satisfies $\tau_* (\et) > 0$ for all normalized traces $\tau$ on $A$, then there is a projection $p \in M_{\infty} (A)$ such that $\eta = [p]$.

Operator-valued distributions: I. Characterizations of freeness

Abstract: Let $M$ be a $B$-probability space. Assume that $B$ itself is a $D$-probability space; then $M$ can be viewed as $D$-probability space as well. Let $X$ be in $M$. We look at the question of relating the properties of $X$ as $B$-valued random variable to its properties as $D$-valued random variable. We characterize freeness of $X$ from $B$ with amalgamation over $D$: (a) in terms of a certain factorization condition linking the $B$-valued and $D$-valued cumulants of $X$, and (b) for $D$ finite-dimensional, in terms of linking the $B$-valued and the $D$-valued Fisher information of $X$. We give an application to random matrices. For the second characterization we derive a new operator-valued description of the conjugate variable and introduce an operator-valued version of the liberation gradient.

Banach KK-theory and the Baum-Connes conjecture

Abstract: The report below describes the applications of Banach KK-theory to a conjecture of P. Baum and A. Connes about the K-theory of group C*-algebras.

Biseparating maps between operator algebras

Abstract: We prove that a biseparating map between spaces B(E), and some other Banach algebras, is automatically continuous and an algebra isomorphism.

R-cyclic families of matrices in free probability

Abstract: We introduce the concept of ``R-cyclic family'' of matrices with entries in a non-commutative probability space; the definition consists in asking that only the ``cyclic'' non-crossing cumulants of the entries of the matrices are allowed to be non-zero. Let A_{1}, ..., A_{s} be an R-cyclic family of d \times d matrices over a non-commutative probability space. We prove a convolution-type formula for the explicit computation of the joint distribution of A_{1}, ..., A_{s} (considered in M_{d} (\A) with the natural state), in terms of the joint distribution (considered in the original space) of the entries of the s matrices. Several important situations of families of matrices with tractable joint distributions arise by application of this formula. Moreover, let A_{1}, ..., A_{s} be a family of d \times d matrices over a non-commutative probability space, let \D \subset M_{d} (\A) denote the algebra of scalar diagonal matrices, and let {\cal C} be the subalgebra of M_{d} (\A) generated by \{A_{1}, ..., A_{s} \} \cup \D. We prove that the R-cyclicity of A_{1}, ..., A_{s} is equivalent to a property of {\cal C} -- namely that {\cal C} is free from M_{d} (\C), with amalgamation over \D.

Crossed-Products by Finite Index Endomorphisms and KMS states

Abstract: Given a unital C*-algebra A, an injective endomorphism \alpha:A --> A preserving the unit, and a conditional expectation E from A to the range of \alpha we consider the crossed-product of A by \alpha relative to the transfer operator L=\alpha^{-1}E. When E is of index-finite type we show that there exists a conditional expectation G from the crossed-product to A which is unique under certain hypothesis. We define a "gauge action" on the crossed-product algebra in terms of a central positive element h and study its KMS states. The main result is: if h>1 and E(ab)=E(ba) for all a,b in A (e.g. when A is commutative) then the KMS_\beta states are precisely those of the form \psi = \phi G, where \phi is a trace on A satisfying the identity \phi(a) = \phi(L(h^{-\beta}ind(E)a)), where ind(E) is the Jones-Kosaki-Watatani index of E.

The Haar measure on some locally compact quantum groups

Abstract: A locally compact quantum group is a pair (A,�) of a C ∗ -algebra A and a ∗ -homomorphism � from A to the multiplier algebra M(A ⊗ A) of the minimal C ∗ -tensor product A ⊗ A satisfying certain assumptions (see [K-V1] and [K-V2]). One of the assumptions is the existence of the Haar weights. These are densely defined, lower semi-continuous faithful KMS-weights satisfying the correct invariance properties. Many examples of C ∗ -algebras with a comultiplication arise from quantizations of classical locally compact groups. These are first obtained on the Hopf ∗ -algebra level and then lifted to the C ∗ -algebra context. This step is usually rather complicated (but interesting analysis is involved). It is necessary if one wants to have the Haar weights. It is Woronowicz who has done remarkable work in this direction. However, his technique to pass from the Hopf ∗ -algebra level to the C ∗ -level does not give the Haar weights. In this paper, we will study a recent example of Woronowicz, the quantum az + b-group, and obtain the Haar weights. We use a technique that is useful in other cases as well (as we in fact show at the end of our paper). An important feature of the example we study here is that the Haar weights are not invariant, but only relatively invariant with respect to the scaling group (coming from the polar decomposition of the antipode). This phenomenon was expected from the theory, but up to now, no such example existed. It is another indication that the notion of a locally compact quantum group, as introduced and studied by Kustermans and Vaes in [K-V1] and [K-V2], is the correct one.

KMS states for generalized gauge actions on Cuntz-Krieger algebras (An application of the Ruelle-Perron-Frobenius Theorem)

Abstract: Given a zero-one matrix A we consider certain one-parameter groups of automorphisms of the Cuntz-Krieger algebra O_A, generalizing the usual gauge group, and depending on a positive continuous function H defined on the Markov space \Sigma_A. The main result consists of an application of Ruelle's Perron-Frobenius Theorem to show that these automorphism groups admit a single KMS state.

Actions of ${\mathbb Z}^k$ associated to higher rnak graphs

Abstract: An action of ${\mathbb Z}^k$ is associated to a higher rank graph $\Lambda$ satisfying a mild assumption. This generalises the construction of a topological Markov shift arising from a nonnegative integer matrix. We show that the stable Ruelle algebra of $\Lambda$ is strongly Morita equivalent to $C^*(\Lambda)$. Hence, if $\Lambda$ satisfies the aperiodicity condition, the stable Ruelle algebra is simple, stable and purely infinite.

Semiprojectivity for certain purely infinite C*-algebras

Abstract: It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.

Fractals in Noncommutative Geometry

Abstract: To any spectral triple (A, D,H) a dimension d is associated, in analogy with the Hausdorff dimension for metric spaces. Indeed d is the unique number, if any, such that |D| −d has non trivial logarithmic Dixmier trace. Moreover, when d 2 (0,1), there always exists a singular trace which is finite nonzero on |D| −d , giving rise to a noncommutative integration on A. Such results are applied to fractals in R, using Connes' spectral triple, and to limit fractals in R n , a class which generalises self-similar fractals, using a new spectral triple. The noncommutative dimension or measure can be computed in some cases. They are shown to coincide with the (classical) Hausdorff dimension and measure in the case of self- similar fractals.

Hochschild Cohomology of Factors with Property $\Gamma$

Abstract: The main result of this paper is that the k^{\rm th} continuous Hochschild cohomology groups H^k(\cl M,\cl M) and H^k(\cl M,B(H)) of a von Neumann factor ${\cl M}\subseteq B(H) of type {\rm II}_1 with property Gamma are zero for all positive integers k. The method of proof involves the construction of hyperfinite subfactors with special properties and a new inequality of Grothendieck type for multilinear maps. We prove joint continuity in the $\|\cdot\|_2$-norm of separately ultraweakly continuous multilinear maps, and combine these results to reduce to the case of completely bounded cohomology which is already solved.

Continuous Fields of $C^*$-Algebras Arising from Extensions of Tensor $C^*$-Categories

Abstract: The notion of extension of a given $C^*$-category $C$ by a $C^*$-algebra $A$ is introduced. In the commutative case $A = C(\Omega)$, the objects of the extension category are interpreted as fiber bundles over $\Omega$ of objects belonging to the initial category. It is shown that the Doplicher-Roberts algebra (DR-algebra in the following) associated to an object in the extension of a strict tensor $C^*$-category is a continuous field of DR-algebras coming from the initial one. In the case of the category of the hermitian vector bundles over $\Omega$ the general result implies that the DR-algebra of a vector bundle is a continuous field of Cuntz algebras. Some applications to Pimsner $C^*$-algebras are given.

The ideal structures of crossed products of Cuntz algebras by quasi-free actions of abelian groups

Abstract: We completely determine the ideal structures of the crossed products of Cuntz algebras by quasi-free actions of abelian groups and give another proof of A. Kishimoto's result on the simplicity of such crossed products. We also give a necessary and sufficient condition that our algebras become primitive, and compute the Connes spectra and K-groups of our algebras.

Hecke algebras of semidirect products

Abstract: We consider group-subgroup pairs in which the group is a semidirect product and the subgroup is contained in the normal part. We give conditions for the pair to be a Hecke pair and we show that the enveloping Hecke algebra and Hecke C*-algebra are canonically isomorphic to semigroup crossed products, generalizing earlier results of Arledge, Laca and Raeburn and of Brenken.

Full duality for coactions of discrete groups

Abstract: Using the strong relation between coactions of a discrete group G on C*-algebras and Fell bundles over G, we prove a new version of Mansfield's imprimitivity theorem for coactions of discrete groups. Our imprimitivity theorem works for the universally defined full crossed products and arbitrary subgroups of G, as opposed to the usual theory which uses the spatially defined reduced crossed products and normal subgroups of G. Moreover, our theorem factors through the usual one by passing to appropriate quotients. As applications we show that a Fell bundle over a discrete group is amenable in the sense of Exel if and only if the double dual action is amenable in the sense that the maximal and reduced crossed products coincide. We also give a new characterization of induced coactions in terms of their dual actions.

AF-embeddability of crossed products of Cuntz algebras

Abstract: We investigate crossed products of Cuntz algebras by quasi-free actions of abelian groups. We prove that our algebras are AF-embeddable when actions satisfy a certain condition. We also give a necessary and sufficient condition that our algebras become simple and purely infinite, and consequently our algebras are either purely infinite or AF-embeddable when they are simple.

Convex Multivariable Trace Functions

Abstract: For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2, ..., x_n) --> \tau (f(x_1, x_2, ..., x_n)) is convex on the space \bigoplus_{i=1}^n (A_i)_{self-adjoint}. If furthermore the function f is log-convex or root-convex, so is the corresponding trace function. We also introduce a generalization of log-convexity and root-convexity called \ell-convexity, show how it applies to traces, and give a few examples. In particular we show that the trace of an operator mean is always dominated by the corresponding mean of the trace values.

Homology of complete symbols and noncommutative geometry

Abstract: We identify the periodic cyclic homology of the algebra of complete symbols on a differential groupoidGin terms of the cohomology ofS* (G), the cosphere bundle ofA(G), whereA(G)is the Lie algebroid ofG.We also relate the Hochschild homology of this algebra with the homogeneous Poisson homology of the space, A* (G) \ 0 ≅ S* (G) × (0, ∞), the dual ofA(G)with the zero section removed. We use then these results to compute the Hochschild and cyclic homologies of the algebras of complete symbols associated with manifolds with corners, when the corresponding Lie algebroid is rationally isomorphic to the tangent bundle.

Ito formula for free stochastic integrals

Abstract: The objects under investigation are the stochastic integrals with respect to free Levy processes. We define such integrals for square-integrable integrands, as well as for a certain general class of bounded integrands. Using the product form of the Ito formula, we prove the full functional Ito formula in this context.

Extensions of locally compact quantum groups and the bicrossed product construction

Abstract: In the framework of locally compact quantum groups, we study cocycle actions. We develop the cocycle bicrossed product construction, starting from a matched pair of locally compact quantum groups. We define exact sequences and establish a one-to-one correspondence between cocycle bicrossed products and cleft extensions. In this way, we obtain new examples of locally compact quantum groups.

Local automorphisms of some quantum mechanical structures

Abstract: Let H be a separable infinite dimensional complex Hilbert space. We prove that every continuous 2-local automorphism of the poset (that is, partially ordered set) of all idempotents on H is an automorphism. Similar results concerning the orthomodular poset of all projections and the Jordan ring of all selfadjoint operators on H without the assumption on continuity are also presented.

The fine structure of the Kasparov groups I: continuity of the KK-pairing

Abstract: In this paper it is demonstrated that the Kasparov pairing is continuous with respect to the natural topology on the Kasparov groups, so that a KK-equivalence is an isomorphism of topological groups. In addition, we demonstrate that the groups have a natural pseudopolonais structure, and we prove that various KK-structural maps are continuous.

Representations of Hecke algebras and dilations of semigroup crossed products

Abstract: We consider a family of Hecke C*-algebras which can be realised as crossed products by semigroups of endomorphisms. We show by dilating representations of the semigroup crossed product that the category of representations of the Hecke algebra is equivalent to the category of continuous unitary representations of a totally disconnected locally compact group.