We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of 'peak projections', and in the separable case compact projections are just the peak projections. We also establish new forms of the noncommutative Urysohn lemma relative to an operator algebra, and we show that a projection is compact iff the associated face in the state space of the algebra is...

We investigate a notion of relative operator entropy, which develops the theory started by J. I. Fujii and E. Kamei [Math. Japonica 34 (1989), 341-348]. For two finite sequences A = (A₁,...,Aₙ) and B = (B₁,...,Bₙ) of positive operators acting on a Hilbert space, a real number q and an operator monotone function f we extend the concept of entropy by setting $S_q^f\left(A\right|B):={\sum }_{j=1}^n{A}_j^{1/2}{\left(A_j^{-1/2}{B}_j{A}_j^{-1/2}\right)}^{q}f\left(A_j^{-1/2}{B}_j{A}_j^{-1/2}\right)A_j^{1/2}$, and then give upper and lower bounds for $S_q^f\left(A\right|B)$ as an extension of an inequality due to T. Furuta [Linear Algebra Appl. 381 (2004), 219-235] under...

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively for amenable...

We show that the Moore-Penrose inverse of an operator T is idempotent if and only if it is a product of two projections. Furthermore, if P and Q are two projections, we find a relation between the entries of the associated operator matrix of PQ and the entries of associated operator matrix of the Moore-Penrose inverse of PQ in a certain orthogonal decomposition of Hilbert C*-modules.

Let G be a locally compact group, A(G) its Fourier algebra and L¹(G) the space of Haar integrable functions on G. We study the Segal algebra S¹A(G) = A(G) ∩ L¹(G) in A(G). It admits an operator space structure which makes it a completely contractive Banach algebra. We compute the dual space of S¹A(G). We use it to show that the restriction operator ${u\mapsto u|}_H:S¹A\left(G\right)\to A\left(H\right)$, for some non-open closed subgroups H, is a surjective complete quotient map. We also show that if N is a non-compact closed subgroup, then the averaging...

We generalize an important class of Banach spaces, the M-embedded Banach spaces, to the non-commutative setting of operator spaces. The one-sided M-embedded operator spaces are the operator spaces which are one-sided M-ideals in their second dual. We show that several properties from the classical setting, like the stability under taking subspaces and quotients, unique extension property, Radon-Nikodým property and many more, are retained in the non-commutative setting. We also discuss the dual...

The aim of this paper is to prove that derivations of a C*-algebra A can be characterized in the space of all linear continuous operators T : A → A by the conditions T(1) = 0, T(L∩R) ⊂ L + R for any closed left ideal L and right ideal R. As a corollary we get an extension of the result of Kadison [5] on local derivations in W*-algebras. Stronger results of this kind are proved under some additional conditions on the cohomologies of A.

We present an operator-valued version of the conditionally free product of states and measures, which in the scalar case was studied by Bożejko, Leinert and Speicher. The related combinatorics and limit theorems are provided.

For $\left(P_k\right)$ being Rademacher, Fermion or q-Gaussian (-1 ≤ q ≤ 0) operators, we find the optimal constants $C_{2n}$, n∈ ℕ, in the inequality $\parallel {\sum }_{k=1}^N{A}_k\otimes P_k{\parallel }_{2n}\le {\left[C_{2n}\right]}^{1/2n}max{\parallel ({\sum }_{k=1}^{N}A{*}_k{A}_k}^{1/2}{\parallel }_{L_{2n}},\parallel ({\sum }_{k=1}^N{A}_{k}A{*}_k$1/2∥L2n$,$valid for all finite sequences of operators $\left(A_k\right)$ in the non-commutative $L_{2n}$ space related to a semifinite von Neumann algebra with trace. In particular, $C_{2n}=(2nr-1)!!$ for the Rademacher and Fermion sequences.