The Effros-Ruan conjecture for bilinear forms on C^*-algebras

DOI10.1007/S00222-008-0137-7MaRDI QIDQ944253zbMATH OpenOpenAlexWikidataFDO

Authors Uffe Haagerup, Magdalena Musat

Publication date 15 September 2008

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0711.1851

zbMATH Keywords

Effros-Ruan's conjectureGrothendieck inequality.jointly completely bounded bilinear forms

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Operator spaces (= matricially normed spaces) (47L25)

Abstract: In 1991 Effros and Ruan conjectured that a certain Grothendieck-type inequality for a bilinear form on C${}^{\ast }$-algebras holds if (and only if) the bilinear form is jointly completely bounded. In 2002 Pisier and Shlyakhtenko proved that this inequality holds in the more general setting of operator spaces, provided that the operator spaces in question are exact. Moreover, they proved that the conjecture of Effros and Ruan holds for pairs of C${}^{\ast }$-algebras, of which at least one is exact. In this paper we prove that the Effros-Ruan conjecture holds for general C${}^{\ast }$-algebras, with constant one. More precisely, we show that for every jointly completely bounded (for short, j.c.b.) bilinear form on a pair of C${}^{\ast }$-algebras $A$ and $B$, there exist states $f_1$, $f_2$ on $A$ and $g_1$, $g_2$ on $B$ such that for all $ainA$ and $binB$, |u(a, b)| leq ||u||_{jcb}(f_1(aa^*)^{1/2}g_1(b^*b)^{1/2} + f_2(a^*a)^{1/2}g_2(bb^*)^{1/2}) . While the approach by Pisier and Shlyakhtenko relies on free probability techniques, our proof uses more classical operator algebra theory, namely, Tomita-Takesaki theory and special properties of the Powers factors of type III${}_{l}ambda$, $0<lambda<1$ .

Review text

This remarkable paper solves the main problem left open in the previous work by \textit{G.\,Pisier} and \textit{D.\,Shlyakhtenko} on the same subject [Invent.\ Math.\ 150, No.\,1, 185--217 (2002; Zbl 1033.46044)]. Namely, it proves the following Grothendieck inequality for bilinear forms on C*-algebras, in the framework of operator spaces. Let \(A,B\) be C*-algebras and let \(u:A\times B\to\mathbb C\) be a jointly completely bounded bilinear form. Then there exist states \(f_1,f_2\) on \(A\) and \(g_1,g_2\) on \(B\) such that \[ |u(a, b)|\leq \|u\|_{\text{jcb}}\left(f_1(aa^*)^{1/2}g_1(b^*b)^{1/2} +f_2(a^*a)^{1/2}g_2(bb^*)^{1/2}\right) \] for any \(a\in A\) and \(b \in B\), thereby confirming a conjecture of Effros-Ruan and Blecher in full generality. \textit{G.\,Pisier} and \textit{D.\,Shlyakhtenko} [loc.\,cit.]\ had proved the inequality above under the additional assumption that \(A\) or \(B\) is exact. The proof given here relies on the Grothendieck-Haagerup-Pisier inequality for C*-algebras in the Banach space setting and on special properties of Powers' III\(_{\lambda}\)-factors.

Recommendations

• Elementary proofs of Grothendieck theorems for completely bounded norms
• On the Grothendieck theorem for jointly completely bounded bilinear forms
• The Grothendieck inequality for bilinear forms on \(C^*\)-algebras
• A specific form of Grothendieck's inequality for the two-dimensional case, with applications to C*-algebras
• Grothendieck's inequalities for \(\mathrm{JB}^*\)-triples: proof of the Barton-Friedman conjecture

Cites work

• A New Approach to Operator Spaces
• A Survey of Completely Bounded Operators
• Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
• Grothendieck's theorem for noncommutative \(C^*\)-algebras, with an appendix on Grothendieck's constants
• Grothendieck's theorem for operator spaces
• scientific article; zbMATH DE number 3969404 (Why is no real title available?)
• scientific article; zbMATH DE number 125312 (Why is no real title available?)
• scientific article; zbMATH DE number 3626044 (Why is no real title available?)
• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1544066 (Why is no real title available?)
• Operator-space Grothendieck inequalities for noncommutative \(L_p\)-spaces
• Self-duality for the Haagerup tensor product and Hilbert space factorizations
• The Grothendieck inequality for bilinear forms on \(C^*\)-algebras
• The injective factors of type \(III_{\lambda}\), \(0<\lambda <1\)
• The operator Hilbert space 𝑂𝐻, complex interpolation and tensor norms
• The structure of a von Neumann algebra with a homogeneous periodic state
• Theory of operator algebras. III
• Une classification des facteurs de type ${\rm III}$

Cited in

(23)

• Bounded linear operators between \(C^*\)-algebras
• Polynomials in operator space theory: matrix ordering and algebraic aspects
• Mapping ideals of quantum group multipliers
• On the relation between completely bounded and \((1,{cb})\)-summing maps with applications to quantum XOR games
• Bilinear ideals in operator spaces
• Rank-one quantum games
• A Maurey type result for operator spaces
• Representation of certain homogeneous Hilbertian operator spaces and applications
• Survey on nonlocal games and operator space theory
• Quantum XOR games
• The Structure of Bounded Bilinear Forms on Products of C ∗ -Algebras
• Random matrices and subexponential operator spaces
• Elementary proofs of Grothendieck theorems for completely bounded norms
• Failure of the trilinear operator space Grothendieck theorem
• On the Grothendieck theorem for jointly completely bounded bilinear forms
• Factorization and dilation problems for completely positive maps on von Neumann algebras
• Grothendieck’s Theorem, past and present
• The operator space projective tensor product: embedding into the second dual and ideal structure
• Jordan norms for multilinear maps on \(C^{\ast}\)-algebras and Grothendieck's inequalities
• Arens regularity of projective tensor products
• Operator space tensor products of \(C^*\)-algebras
• Maurey's factorization theory for operator spaces
• A transference method in quantum probability

This page was built for publication: The Effros-Ruan conjecture for bilinear forms on \(C^{*}\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q944253)