We describe a general method to construct completely bounded idempotent mappings on operator spaces, starting from amenable semigroups of completely bounded mappings. We then explore several applications of that method to injective operator spaces, fixed points of completely contractive mappings, Toeplitz operators, dynamical systems and similarity orbits of group representat ions.
We completely characterize connected Lie groups all of whose countable subgroups are weakly amenable. We also provide a characterization of connected semisimple Lie groups that are weakly amenable. Finally, we show that a connected Lie group is weakly amenable if the group is weakly amenable as a discrete group.
Let $G$ be a locally compact group, and let $A_\cb(G)$ denote the closure of $A(G)$, the Fourier algebra of $G$, in the space of completely bounded multipliers of $A(G)$. If $G$ is a weakly amenable, discrete group such that $\cstar(G)$ is residually finite-dimensional, we show that $A_\cb(G)$ is operator amenable. In particular, $A_\cb(F_2)$ is operator amenable even though $F_2$, the free group in two generators, is not an amenable group. Moreover, we show that, if $G$ is a discrete group such that $A_\cb(G)$ is operator amenable, a closed ideal of $A(G)$ is weakly completely complemented in…
We establish several new characterizations of amenable $W^*$- and $C^*$-dynamical systems over arbitrary locally compact groups. In the $W^*$-setting we show that amenability is equivalent to (1) a Reiter property and (2) the existence of a certain net of completely positive Herz-Schur multipliers of $(M,G,α)$ converging point weak* to the identity of $G\bar{\ltimes}M$. In the $C^*$-setting, we prove that amenability of $(A,G,α)$ is equivalent to an analogous Herz-Schur multiplier approximation of the identity of the reduced crossed product $G\ltimes A$, as well as a particular case of the pos…
Amenability for groups can be extended to metric spaces, algebras over commutative fields and $C^*$-algebras by adapting the notion of Følner nets. In the present article we investigate the close ties among these extensions and show that these three pictures unify in the context of the uniform Roe algebra $C_u^*(X)$ over a metric space $(X,d)$ with bounded geometry. In particular, we show that the following conditions are equivalent: (1) $(X,d)$ is amenable; (2) the translation algebra generating $C_u^*(X)$ is algebraically amenable (3) $C_u^*(X)$ has a tracial state; (4) $C_u^*(X)$ is not pro…
Column and row operator spaces - which we denote by COL and ROW, respectively - over arbitrary Banach spaces were introduced by the first-named author; for Hilbert spaces, these definitions coincide with the usual ones. Given a locally compact group $G$ and $p,p' \in (1,\infty)$ with $\frac{1}{p} + \frac{1}{p'} = 1$, we use the operator space structure on $CB(COL(L^{p'}(G)))$ to equip the Figa-Talamanca-Herz algebra $A_p(G)$ with an operator space structure, turning it into a quantized Banach algebra. Moreover, we show that, for $p \leq q \leq 2$ or $2 \leq q \leq p$ and amenable $G$, the cano…
We study the existence of certain completely bounded Paley projection on the anisotropic Sobolev spaces on tori. Our result should be viewed as a generalization of a similar result obtained by Pełczy{ń}ski and Wojciechowski. By a transference method, we obtain similar results on the Sobolev spaces on quantum tori.
We investigate some extremal cases of exactness constant and completely bounded projection constant. More precisely, for an $n$-dimensional operator space $E$ we prove that $λ_{cb}(E) = \sqrt{n}$ if and only if $ex(E) = \sqrt{n}$, which is equivalent to $λ_{cb}(E) < \sqrt{n}$ if and only if $ex(E) < \sqrt{n}$.
We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the algebra if the associated quotient is abelian. We also prove that injective completely bounded representations of the algebra are similar to complete isometries. The main motivating example for these investigations is the recent construction of Choi, Farah and Ozawa of an amenable operator algebra that is not similar to a $C^*$-algebra, and we show how it fits i…
Completely positive and completely bounded mutlipliers on rigid $C^{\ast}$-tensor categories were introduced by Popa and Vaes. Using these notions, we define and study the Fourier-Stieltjes algebra, the Fourier algebra and the algebra of completely bounded multipliers of a rigid $C^{\ast}$-tensor category. The rich structure that these algebras have in the setting of locally compact groups is still present in the setting of rigid $C^{\ast}$-tensor categories. We also prove that Leptin's characterization of amenability still holds in this setting, and we collect some natural observations on pro…
The main goal of this paper is to find operator algebra variants of certain deep results of Stormer, Friedman and Russo, Choi and Effros, Effros and Stormer, Robertson and Youngson, Youngson, and others, concerning projections on C*-algebras and their ranges. (See papers of these authors referenced in the bibliography.) In particular we investigate the `bicontractive projection problem' and related questions in the category of operator algebras. To do this, we will add the ingredient of `real positivity' from recent papers of the first author with Read.
We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator algebras, and we provide an affirmative answer for representations whose range is residually finite-dimensional. Furthermore, we show that weak-${}^*$ closed, amenable, residually finite-dimensional operator algebras are similar to $C^*$-algebras, and in particular have the property that all their bounded representations are completely bounded. We prove our results…
In this paper we will study the projetivity of various natural modules associated to operator Segal algebras of the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules will be projective in the category of operator spaces. Projectivity often implies that the underlying group is discrete or even finite. We will also look at the projectivity for modules of $A_{cb}(G)$, the closure of $A(G)$ in the space of its completely bounded mutipliers. Here we give an evidence to show that weak amenability of $G$ plays an important role.
Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p(G)$ for $p \in [1,\infty]$ introduced by G. Pisier to define operator space analogues $OA_p(G)$ of the classical Figa-Talamanca-Herz algebras $A_p(G)$. If $p \in (1,\infty)$ is arbitrary, then $A_p(G) \subset OA_p(G)$ such that the inclusion is a contraction; if p = 2, then $OA_2(G) \cong A(G)$ as Banachspaces spaces, but not necessarily as operator spaces. We show that $OA_p(G)$ is a completely contractive Banach algebra for each $p \in (1,\infty)$, and that $OA_q(G) \subset OA_p(G)$ completely …
We consider a class of quantum dissipative systems governed by a one parameter completely positive maps on a von-Neumann algebra. We introduce a notion of recurrent and metastable projections for the dynamics and prove that the unit operator can be decomposed into orthogonal projections where each projections are recurrent or metastable for the dynamics.
Practically and intrinsically, inclusions of operator algebras are of fundamental interest. The subject of this paper is intermediate operator algebras of inclusions. There are two previously known theorems which naturally and completely describe all intermediate operator algebras: the Galois Correspondence Theorem and the Tensor Splitting Theorem. Here we establish the third, new complete description theorem which gives a canonical bijective correspondence between intermediate operator algebras and intermediate extensions of dynamical systems. One can also regard this theorem as a crossed pro…
Building on recent progress in constructing derivations on Fourier algebras, we provide the first examples of locally compact groups whose Fourier algebras support non-zero, alternating 2-cocycles; this is the first step in a larger project. Although such 2-cocycles can never be completely bounded, the operator space structure on the Fourier algebra plays a crucial role in our construction, as does the opposite operator space structure. Our construction has two main technical ingredients: we observe that certain estimates from [H. H. Lee, J. Ludwig, E. Samei, N. Spronk, Weak amenability of Fou…
We construct some separable infinite dimensional homogeneous Hilbertian operator spaces which generalize the row and column spaces R and C. We show that separable infinite-dimensional Hilbertian JC*-triples are completely isometric to an element of the set of (infinite) intersections of these spaces. This set includes the operator spaces R, C, their intersection, and the space spanned by creation operators on the full anti-symmetric Fock space. In fact, we show that these new spaces are completely isometric to the space of creation (resp. annihilation) operators on the anti-symmetric tensors o…
If there exists a completely bounded projection of B(H) onto a von Neumann algebra M on H, then M is injective. If there exists a bounded projection and M is properly infinite, the same conclusion holds.
We study the quantum ($C^*$) convexity structure of normalized positive operator valued measures (POVMs) on measurable spaces. In particular, it is seen that unlike extreme points under classical convexity, $C^*$-extreme points of normalized POVMs on countable spaces (in particular for finite sets) are always spectral measures (normalized projection valued measures). More generally it is shown that atomic $C^*$-extreme points are spectral. A Krein-Milman type theorem for POVMs has also been proved. As an application it is shown that a map on any commutative unital $C^*$-algebra with countable …
Parallel to the study of finite dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces H_n^k,0< k < n+1, generalizing the row and column Hilbert spaces R_n,C_n and show that an atomic subspace X of B(H) which is the range of a contractive projection on B(H) is isometrically completely contractive to a direct sum of the H_n^k and Cartan factors of types 1 to 4. In particular, for finite dimensional X, this answers a question posed by Oikhberg and Rosenthal. Explicit in the proof is a classific…
We introduce a noncommutative analogue of the absolute value of a regular operator acting on a noncommutative $\mathrm{L}^p$-space. We equally prove that two classical operator norms, the regular norm and the decomposable norm are identical. We also describe precisely the regular norm of several classes of regular multipliers. This includes Schur multipliers and Fourier multipliers on some unimodular locally compact groups which can be approximated by discrete groups in various senses. A main ingredient is to show the existence of a bounded projection from the space of completely bounded $\mat…
Using free random varaibles we find an embedding of the operator space $OH$ in the predual of a von Neumann algebra. The properties of this embedding allow us to determined the projection constant of $OH_n$, i.e. there exists a projection $P:B(\ell_2)\to OH_n$ whose completely bounded norm behaves as n^{1/2}/(1+ln n)^{1/2}. According to recent results of Pisier/Shlyahtenko, the lower bound holds for every projection. Improving a previous estimate of order $(1+ ln n)$ of the author, Pisier/Shlyahtenko obtained a `logarithmic little Grothendieck inequality'. We find a second proof of this inequa…
The Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg is the unique separable $1$-exact operator space that is approximately injective in the category of $1$-exact operator spaces and completely isometric linear maps. We prove that a separable operator space $X$ is nuclear if and only if there exist a linear complete isometry $φ:X\rightarrow \mathbb{NG}$ and a completely contractive projection from $\mathbb{NG}$ onto the range of $φ$. This can be seen as the operator space analog of Kirchberg's nuclear embedding theorem. We also establish the natural operator system analog of Kirchbe…
Motivated by the recent interest in the examination of unital completely positive maps and their effects in C*-theory, we revisit an older result concerning the existence of the Šilov ideal. The direct proof of Hamana's theorem for the existence of an injective envelope for a unital operator subspace X of some B(H) that we provide implies that the Šilov ideal is the intersection of C*(X) with any maximal boundary operator subsystem in B(H). As an immediate consequence we deduce that the Šilov ideal is the biggest boundary operator subsystem for X in C*(X). The new proof of the existence of the…
The manuscript is devoted to the construction of $Ψ^\star$- algebras containing the Bergman projection on the unit ball $B_n$ of $\mathbb C^n$. We consider the $C^\star$-algebra $\mathcal{L}(L^2(B_n))$ of bounded operator acting on the Hilbert space of square integrable functions on $B_n$ with respect to the standard probability measure. We search for spectral invariant Fréchet subalgebras of $\mathcal{L}(L^2(B_n))$ containing the Bergman projection $P$ which is defined on $L^2(B_n)$ with values in the space of holomorphic functions. We use the commutator method as introduced by Gramsch. This …
