Showing papers in "arXiv: Operator Algebras in 2013"

The classification of subfactors of index at most 5

Abstract: A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general group-like algebraic structures. These algebraic structures are closely related to tensor categories and have played important roles in knot theory, quantum groups, statistical mechanics, and topological quantum field theory. There's a measure of size of a subfactor, called the index. Remarkably the values of the index below 4 are quantized, which suggests that it may be possible to classify subfactors of small index. Subfactors of index at most 4 were classified in the '80s and early '90s. The possible index values above 4 are not quantized, but once you exclude a certain family it turns out that again the possibilities are quantized. Recently the classification of subfactors has been extended up to index 5, and (outside of the infinite families) there are only 10 subfactors of index between 4 and 5. We give a summary of the key ideas in this classification and discuss what is known about these special small subfactors.

The Choquet boundary of an operator system

Abstract: We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.

Free Probability for Pairs of Faces I

Abstract: We consider a notion of bi-freeness for systems of non-commutative random variables with two faces, one of left variables and another of right variables. This includes bi-free convolution operations, bi-free cumulants and the bi-free central limit.

CCAP for universal discrete quantum groups

Abstract: We show that the discrete duals of the free orthogonal quantum groups have the Haagerup property and the completely contractive approximation property. Analogous results hold for the free unitary quantum groups and the quantum automorphism groups of finite-dimensional C*-algebras. The proof relies on the monoidal equivalence between free orthogonal quantum groups and SUq(2) quantum groups, on the construction of a sufficient supply of bounded central functionals for SUq(2) quantum groups, and on the free product techniques of Ricard and Xu. Our results generalize previous work in the Kac setting due to Brannan on the Haagerup property, and due to the second author on the CCAP.

The Haagerup property for locally compact quantum groups

Abstract: The Haagerup property for locally compact groups is generalised to the context of locally compact quantum groups, with several equivalent characterisations in terms of the unitary representations and positive-definite functions established. In particular it is shown that a locally compact quantum group G has the Haagerup property if and only if its mixing representations are dense in the space of all unitary representations. For discrete G we characterise the Haagerup property by the existence of a symmetric proper conditionally negative functional on the dual quantum group $\hat{G}$; by the existence of a real proper cocycle on G, and further, if G is also unimodular we show that the Haagerup property is a von Neumann property of G. This extends results of Akemann, Walter, Bekka, Cherix, Valette, and Jolissaint to the quantum setting and provides a connection to the recent work of Brannan. We use these characterisations to show that the Haagerup property is preserved under free products of discrete quantum groups.

The Rokhlin dimension of topological Z^m-actions

Abstract: We study the topological variant of Rokhlin dimension for topological dynamical systems (X,{\alpha},Z^m) in the case where X is assumed to have finite covering dimension. Finite Rokhlin dimension in this sense is a property that implies finite Rokhlin dimension of the induced action on C*-algebraic level, as was discussed in a recent paper by Ilan Hirshberg, Wilhelm Winter and Joachim Zacharias. In particular, it implies under these conditions that the transformation group C*-algebra has finite nuclear dimension. Generalizing a result of Yonatan Gutman, we show that free Z^m-actions on finite dimensional spaces satisfy a strengthened version of the so-called marker property, which yields finite Rokhlin dimension for said actions.

Continuous orbit equivalence of topological Markov shifts and Cuntz-Krieger algebras

Abstract: Let A,B be square irreducible matrices with entries in {0,1}. We will show that if the one-sided topological Markov shifts (X_A,\sigma_A) and (X_B,\sigma_B) are continuously orbit equivalent, then the two-sided topological Markov shifts (\bar X_A,\bar\sigma_A) and (\bar X_B,\bar\sigma_B) are flow equivalent, and hence det(id-A)=det(id-B). As a result, the one-sided topological Markov shifts (X_A,\sigma_A) and (X_B,\sigma_B) are continuously orbit equivalent if and only if the Cuntz-Krieger algebras O_A and O_B are isomorphic and det(id-A)=det(id-B).

Convergence of Fuzzy Tori and Quantum Tori for the Quantum Gromov-Hausdorff Propinquity: An Explicit Approach

Abstract: Quantum tori are limits of finite dimensional C*-algebras for the quantum Gromov-Hausdorff propinquity, a metric defined by the author as a strengthening of Rieffel's quantum Gromov-Hausdorff designed to retain the C*-algebraic structure. In this paper, we propose a proof of the continuity of the family of quantum and fuzzy tori which relies on explicit representations of the C*-algebras rather than on more abstract arguments, in a manner which takes full advantage of the notion of bridge defining the quantum propinquity.

Free actions of compact quantum group on unital C*-algebras

Abstract: Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.

Tannaka-Kreùõn duality for compact quantum homogeneous spaces. I. General theory

Abstract: An ergodic action of a compact quantum group G on an operator algebra A can be interpreted as a quantum homogeneous space for G. Such an action gives rise to the category of finite equivariant Hilbert modules over A, which has a module structure over the tensor category ReppGq of finite-dimensional representations of G. We show that there is a one-to-one correspondence between the quantum G-homogeneous spaces up to equivariant Morita equivalence, and indecomposable module C u -categories over ReppGq up to natural equivalence. This gives a global approach to the duality theory for ergodic actions as developed by C. Pinzari and J. Roberts.

Simple Lie groups without the Approximation Property

Abstract: For a locally compact group G, let A(G) denote its Fourier algebra, and let M_0A(G) denote the space of completely bounded Fourier multipliers on G. The group G is said to have the Approximation Property (AP) if the constant function 1 can be approximated by a net in A(G) in the weak-* topology on the space M_0A(G). Recently, Lafforgue and de la Salle proved that SL(3,R) does not have the AP, implying the first example of an exact discrete group without it, namely SL(3,Z). In this paper we prove that Sp(2,R) does not have the AP. It follows that all connected simple Lie groups with finite center and real rank greater than or equal to two do not have the AP. This naturally gives rise to many examples of exact discrete groups without the AP.

Quantum chromatic numbers via operator systems

Abstract: We define several new types of quantum chromatic numbers of a graph and characterise them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes.

The Law of Large Numbers for the Free Multiplicative Convolution

Abstract: In classical probability the law of large numbers for the multiplicative convolution follows directly from the law for the additive convolution. In free probability this is not the case. The free additive law was proved by D. Voiculescu in 1986 for probability measures with bounded support and extended to all probability measures with first moment by J.M. Lindsay and V. Pata in 1997, while the free multiplicative law was proved only recently by G. Tucci in 2010. In this paper we extend Tucci’s result to measures with unbounded support while at the same time giving a more elementary proof for the case of bounded support. In contrast to the classical multiplicative convolution case, the limit measure for the free multiplicative law of large numbers is not a Dirac measure, unless the original measure is a Dirac measure. We also show that the mean value of lnx is additive with respect to the free multiplicative convolution while the variance of lnx is not in general additive. Furthermore we study the two parameter family (μ α, β ) α, β ≥ 0 of measures on (0, ∞) for which the S-transform is given by \(S_{\mu _{\alpha,\beta }}(z) = {(-z)}^{\beta }{(1 + z)}^{-\alpha }\), 0 < z < 1.

Duality theory for nonergodic actions

Abstract: Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of our construction of a C*-algebra from a functor to some well-known crossed product type constructions, such as cross-sectional algebras of Fell bundles and crossed products by Hilbert bimodules. We also relate our setting to recent work of De Commer and Yamashita by showing that any object in a module C*-category over Rep G produces a weak unitary tensor functor, and, as a consequence, actions can also be described in terms of (Rep G)-module C*-categories. As an application we discuss deformations of C*-algebras by cocycles on discrete quantum groups.

Exchange relation planar algebras of small rank

Abstract: The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras, subfactor planar algebras generated by 2-boxes with 4 dimensional 2-boxes and at most 23 dimensional 3-boxes; subfactor planar algebras generated by 2-boxes, such that the quotient of 3-boxes by the basic construction ideal is abelian. They extend the classification of singly generated planar algebras obtained by Bisch, Jones and the author.

Pick Interpolation for free holomorphic functions

Abstract: We give necessary and sufficient conditions to solve an interpolation problem for free holomorphic functions bounded in norm on a free polynomial polyhedron. As an application, we prove that every bounded holomorphic function on a polynomial polyhedron extends to a bounded free function.

The Quantum Gromov-Hausdorff Propinquity

Abstract: We introduce the quantum Gromov-Hausdorff propinquity, a new distance between quantum compact metric spaces, which extends the Gromov-Hausdorff distance to noncommutative geometry and strengthens Rieffel's quantum Gromov-Hausdorff distance and Rieffel's proximity by making *-isomorphism a necessary condition for distance zero, while being well adapted to Leibniz seminorms. This work offers a natural solution to the long-standing problem of finding a framework for the development of a theory of Leibniz Lip-norms over C*-algebras.

Strong Banach Property (T) for Simple Algebraic Groups of Higher Rank

Abstract: In [Laf08], [Laf09], Vincent Lafforgue proved strong Banach property (T) for $SL_3$ over a non archimedean local field $F.$ In this paper, we extend his results to $Sp_4$ and therefore to any connected almost $F$-simple algebraic group with $F$-split rank $\geq 2.$ As applications, the family of expanders constructed from any lattice of such a group do not admit a uniform embedding into any Banach space of type $>1,$ and any isometric affine action of such a group, or its cocompact lattice, on a Banach space of type $>1$ has a fixed point.

Nuclear dimension and Z-stability of non-simple C*-algebras

Abstract: We investigate the interplay of the following regularity properties for non-simple C*-algebras: finite nuclear dimension, Z-stability, and algebraic regularity in the Cuntz semigroup We show that finite nuclear dimension implies algebraic regularity in the Cuntz semigroup, provided that known type I obstructions are avoided We demonstrate how finite nuclear dimension can be used to study the structure of the central sequence algebra, by factorizing the identity map on the central sequence algebra, in a manner resembling the factorization arising in the definition of nuclear dimension Results about the central sequence algebra are used to attack the conjecture that finite nuclear dimension implies Z-stability, for sufficiently non-type I, separable C*-algebras We prove this conjecture in the following cases: (i) the C*-algebra has no purely infinite subquotients and its primitive ideal space has a basis of compact open sets, (ii) the C*-algebra has no purely infinite quotients and its primitive ideal space is Hausdorff In particular, this covers C*-algebras with finite decomposition rank and real rank zero Our results hold more generally for C*-algebras with locally finite nuclear dimension which are (M,N)-pure (a regularity condition of the Cuntz semigroup)

Completely bounded representations of convolution algebras of locally compact quantum groups

Abstract: Given a locally compact quantum group G, we study the structure of completely bounded homomorphisms π:L1(G)→B(H), and the question of when they are similar to ∗-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra A(G)), we are led to consider the associated map π∗:L1♯(G)→B(H) given by π∗(ω)=π(ω♯)∗. We show that the corepresentation Vπ of L∞(G) associated to π is invertible if and only if both π and π∗ are completely bounded. Moreover, we show that the co-efficient operators of such representations give rise to completely bounded multipliers of the dual convolution algebra $L^1(\hat \mathbb G)$. An application of these results is that any (co)isometric corepresentation is automatically unitary. An averaging argument then shows that when G is amenable, π is similar to a *-homomorphism if and only if π∗ is completely bounded. For compact Kac algebras, and for certain cases of A(G), we show that any completely bounded homomorphism π is similar to a *-homomorphism, without further assumption on π∗. Using free product techniques, we construct new examples of compact quantum groups G such that L1(G) admits bounded, but not completely bounded, representations.

Strong classification of extensions of classifiable C*-algebras

Abstract: We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient We apply our result to give a complete classification of graph C*-algebras with exactly one ideal

Representations of C ∗ -dynamical systems implemented by Cuntz families

Abstract: Given a dynamical system (A,�) where A is a unital C � -algebra andis a (possibly nonunital) ∗-endomorphism of A, we examine families (�,{Ti}) such thatis a representation of A, {Ti} is a Toeplitz-Cuntz family and a covariance relation holds. We compute a variety of nonselfadjoint operator algebras that depend on the choice of the co- variance relation, along with the smallest C � -algebra they generate, namely the C � -envelope. We then relate each occurrence of the C�-envelope to (a full corner of) an appropriate twisted crossed product. We provide a counterexample to show the extent of this variety. In the context of C�-algebras, these results can be interpreted as analogues of Stacey's famous result, for nonautomorphic systems and n > 1. Our study involves also the one variable generalized crossed products of Stacey and Exel. In particular, we refine a result that appears in the pioneering paper of Exel on (what is now known as) Exel systems.

W*-superrigidity for arbitrary actions of central quotients of braid groups

Abstract: For any $n\geqslant 4$ let $\tilde B_n=B_n/Z(B_n)$ be the quotient of the braid group $B_n$ through its center. We prove that any free ergodic probability measure preserving (pmp) action $\tilde B_n\curvearrowright (X,\mu)$ is W$^*$-superrigid in the following sense: if $L^{\infty}(X)\rtimes\tilde B_n\cong L^{\infty}(Y)\rtimes\Lambda$, for an arbitrary free ergodic pmp action $\Lambda\curvearrowright (Y, u)$, then the actions $\tilde B_n\curvearrowright X,\Lambda\curvearrowright Y$ are stably (or, virtually) conjugate. Moreover, we prove that the same holds if $\tilde B_n$ is replaced with a finite index subgroup of the direct product $\tilde B_{n_1}\times\cdots\times\tilde B_{n_k}$, for some $n_1,\ldots,n_k\geqslant 4$. The proof uses the dichotomy theorem for normalizers inside crossed products by free groups from \cite{PV11} in combination with the OE superrigidity theorem for actions of mapping class groups from \cite{Ki06}.

Finite part of operator K-theory for groups finitely embeddable into Hilbert space and the degree of non-rigidity of manifolds

Abstract: In this paper, we study lower bounds on the K-theory of the maximal $C^*$-algebra of a discrete group based on the amount of torsion it contains We call this the finite part of the operator K-theory and give a lower bound that is valid for a large class of groups, called the "finitely embeddable groups" The class of finitely embeddable groups includes all residually finite groups, amenable groups, Gromov's monster groups, virtually torsion free groups (eg $Out(F_n)$), and any group of analytic diffeomorphisms of an analytic connected manifold fixing a given point It is an open question if every countable group is finitely embeddable We apply this result to measure the degree of non-rigidity for any compact oriented manifold $M$ with dimension $4k-1$ $(k>1)$ We derive a lower bound on the rank of the structure group $S(M)$ in this case For a compact Riemannian manifold $M$ with dimension greater than or equal to 5 and positive scalar curvature metric, there is an abelian group $P(M)$ that measures the size of the space of all positive scalar curvature metrics on $M$ We obtain a lower bound on the rank of the abelian group $P(M)$ when the compact smooth spin manifold $M$ has dimension $2k-1$ $(k>2)$ and the fundamental group of $M$ is finitely embeddable

Berezin transforms on noncommutative varieties in polydomains

Abstract: In this paper, we study noncommutative varieties in polydomains in $B(H)^n$. The goal is to understand the structure of these varieties, determine their elements and classify them up to unitary equivalence. Using noncommutative Berezin transforms associated with each variety, we develop an operator model theory and dilation theory for large classes of varieties in noncommutative polydomains. This includes various commutative cases which are close connected to the theory of holomorphic functions in several complex variables and algebraic geometry.

Metrics and spectral triples for Dirichlet and resistance forms

Abstract: The article deals with intrinsic metrics, Dirac operators and spectral triples induced by regular Dirichlet and resistance forms. We show, in particular, that if a local resistance form is given and the space is compact in resistance metric, then the intrinsic metric yields a geodesic space. Given a regular Dirichlet form, we consider Dirac operators within the framework of differential 1-forms proposed by Cipriani and Sauvageot, and comment on its spectral properties. If the Dirichlet form admits a carre operator and the generator has discrete spectrum, then we can construct a related spectral triple, and in the compact and strongly local case the associated Connes distance coincides with the intrinsic metric. We finally give a description of the intrinsic metric in terms of vector fields.

A II$_1$ factor approach to the Kadison-Singer problem

Abstract: We show that the Kadison-Singer problem, asking whether the pure states of the diagonal subalgebra $\ell^\infty\Bbb N\subset \Cal B(\ell^2\Bbb N)$ have unique state extensions to $\Cal B(\ell^2\Bbb N)$, is equivalent to a similar statement in II$_1$ factor framework, concerning the ultrapower inclusion $D^\omega \subset R^\omega$, where $D$ is the Cartan subalgebra of the hyperfinite II$_1$ factor $R$, and $\omega$ is a free ultraflter. While we do not settle the problem in this latter form, we prove that if $A$ is any singular maximal abelian subalgebra of $R$, then the inclusion $A^\omega \subset R^\omega$ does satisfy the Kadison-Singer property.

Finite group actions on certain stably projectionless C*-algebras with the Rohlin property

Abstract: We introduce the Rohlin property and the approximate representability for finite group actions on stably projectionless C*-algebras and study their basic properties. We give some examples of finite group actions on the Razak-Jacelon algebra and show some classification results of these actions. This study is based on the work of Izumi, Robert's classification theorem and Kirchberg's central sequence C*-algebras.

Character rigidity for lattices and commensurators

Abstract: We prove an operator algebraic superrigidity statement for homomorphisms of irreducible lattices, and also their commensurators, in certain higher-rank groups into unitary groups of finite factors. This extends the authors' previous work regarding non-free measure-preserving actions, and also answers a question of Connes for such groups.

Conformal nets I: coordinate-free nets

Abstract: We describe a coordinate-free perspective on conformal nets, as functors from intervals to von Neumann algebras. We discuss an operation of fusion of intervals and observe that a conformal net takes a fused interval to the fiber product of von Neumann algebras. Though coordinate-free nets do not a priori have vacuum sectors, we show that there is a vacuum sector canonically associated to any circle equipped with a conformal structure. This is the first in a series of papers constructing a 3-category of conformal nets, defects, sectors, and intertwiners.